上海高校示范性全英语教学课程建设
|
|
- 榆达 嵇
- 7 years ago
- Views:
Transcription
1 上 海 高 校 示 范 性 全 英 语 教 学 课 程 建 设 项 目 申 报 表 学 校 名 称 ( 盖 章 ) 课 程 名 称 ( 中 文 ) 上 海 交 通 大 学 可 计 算 理 论 ( 英 文 ) Computability Theory 课 程 类 别 专 业 基 础 课 专 业 课 基 础 课 课 程 对 象 ( 院 系 专 业 ) 计 算 机 科 学 与 技 术 专 业, 软 件 工 程 专 业 等 选 用 教 材 ( 名 称 出 版 单 位 ) Computability: An Introduction to Recursive Function Theory, Cambridge University Press 开 设 学 期 课 程 负 责 人 申 报 日 期 第 六 学 期 高 晓 沨 2013 年 4 月 28 日 上 海 市 教 育 委 员 会 制
2 填 写 要 求 一 以 word 文 档 格 式 如 实 填 写 各 项, 空 缺 项 要 填 无 二 表 格 文 本 中 外 文 名 词 第 一 次 出 现 时, 要 写 清 全 称 和 缩 写, 再 次 出 现 时 可 以 使 用 缩 写 三 涉 密 内 容 不 填 写, 有 可 能 涉 密 和 不 宜 大 范 围 公 开 的 内 容, 请 在 说 明 栏 中 注 明 四 开 设 学 期 是 指 在 教 学 计 划 中 的 开 课 学 期 五 表 格 空 间 不 足 的, 可 以 扩 展 或 另 附 纸 张 ; 均 用 A4 纸 打 印, 于 左 侧 装 订 成 册 2
3 1. 课 程 负 责 人 情 况 姓 名 高 晓 沨 性 别 女 出 生 年 月 1982 年 9 月 最 终 学 历 博 士 研 究 生 专 业 技 术 职 务 副 教 授 电 话 基 本 信 息 学 位 博 士 行 政 职 务 传 真 所 在 院 系 通 信 地 址 研 究 方 向 计 算 机 科 学 与 工 程 系 学 科 专 业 计 算 机 科 学 与 技 术 上 海 市 闵 行 区 东 川 路 800 号 邮 编 gao-xf@cs.sjtu.edu.cn 近 两 年 来 授 课 教 学 研 究 情 况 近 似 算 法 数 据 通 信 与 数 据 工 程 1-2 教 学 情 况 授 课 情 况 : [1] 2013 年 春 季 算 法 分 析 与 理 论 ( 英 语 ) 3 学 时 / 周 学 生 27 人 [2] 2013 年 春 季 可 计 算 理 论 ( 英 语 ) 3 学 时 / 周 学 生 41 人 [3] 2012 年 秋 季 计 算 机 科 学 导 论 ( 致 远 学 院 ) 3 学 时 / 周 学 生 54 人 [4] 2012 年 秋 季 离 散 数 学 ( 基 础 平 台 课 程 ) 2 学 时 / 周 学 生 177 人 [5] 2012 年 春 季 可 计 算 理 论 ( 英 语 ) 3 学 时 / 周 学 生 50 人 教 学 研 究 课 题 : [1] 985 工 程 三 期 可 计 算 理 论 本 科 生 全 英 语 教 学 课 程 建 设, 负 责 人 [2] 985 工 程 三 期 算 法 分 析 与 理 论 研 究 生 全 英 语 教 学 课 程 建 设, , 负 责 人 [3] 离 散 数 学 上 海 市 精 品 课 程, 主 要 参 与 人 [4] 上 海 交 通 大 学 基 础 学 科 拔 尖 学 生 培 养 计 划 特 别 课 程 计 算 机 科 学 导 论 ( 致 远 学 院 ), 数 理 学 科 负 责 人 近 两 年 来 科 研 情 况 1-3 学 术 研 究 课 程 负 责 人 高 晓 沨 于 2011 年 9 月 加 入 上 海 交 通 大 学 计 算 机 系 近 五 年 内 在 近 似 算 法 网 络 优 化 数 据 工 程 等 领 域 取 得 了 一 系 列 科 研 成 果, 已 发 表 高 质 量 论 文 46 篇 ( 包 括 期 刊 22 篇, 会 议 20 篇, 专 著 章 节 4 篇 ), 其 中 SCI 收 录 16 篇,EI 23 篇,ISTP 6 篇 这 些 期 刊 会 议 论 文 包 括 Theoretical Computer Science (TCS), Journal of Combinatorial Optimization (JOCO), ACM SIGKDD Conference on Knowledge Discovery and Data Mining (SIGKDD),International Conference on Distributed Computing Systems (ICDCS), and International Conference on Database and Expert Systems Applications (DEXA) 等, 大 多 为 国 际 一 流 会 议 和 顶 级 学 术 刊 物 google scholar 显 示 5 年 内 被 引 次 数 275 次, 3
4 H-Index 为 10,i10-Index 为 10 近 两 年 来 科 研 情 况 如 下 : 学 术 研 究 课 题 : [1] 国 家 自 然 科 学 基 金 青 年 项 目 ( 项 目 主 持 人, 编 号 :NSFC , 时 间 2013 年 1 月 至 2015 年 12 月 ) [2] 国 家 自 然 科 学 基 金 面 上 项 目 ( 第 一 参 与 者, 编 号 :NSFC , 时 间 2013 年 1 月 至 2016 年 12 月 ) [3] 上 海 市 自 然 科 学 基 金 青 年 项 目 ( 项 目 主 持 人, 编 号 :12ZR , 时 间 2012 年 9 月 至 2015 年 8 月 ) [4] 上 海 市 教 育 委 员 会 2012 年 度 晨 光 计 划 ( 项 目 主 持 人, 编 号 :12CG09 时 间 2012 年 9 月 至 2014 年 8 月 ) [5] 上 海 交 通 大 学 SMC- 晨 星 青 年 学 者 奖 励 计 划 (B 类 项 目 支 持 人, 时 间 2013 年 1 月 至 2014 年 12 月 ) [6] 上 海 交 通 大 学 新 进 青 年 教 师 启 动 计 划 ( 项 目 主 持 人, 时 间 2011 年 12 月 至 2013 年 12 月 ) 近 两 年 发 表 学 术 研 究 论 文 : [1] Xiaofeng Gao, Zaixin Lu, Weili Wu, and Bing Fu, Algebraic Data Retrieval Algorithms for Multi-Channel Wireless Data Broadcast, Theoretical Computer Science, online published, (SCI Indexed, 计 算 机 系 A 类 奖 励 期 刊 ) [2] Jiaofei Zhong, Weili Wu, Xiaofeng Gao, and Yan Shi, Xiaodong Yue, Efficient Redesign and Comparison of Various Indexing Schemes for Wireless Data Broadcasting, to appear on Knowledge and Information Systems (KAIS), (SCI Indexed, Corresponding Author) [3] Xiaofeng Gao, Weili Wu, Xuefei Zhang, and Xianyue Li, A Constant-Factor Approximation for d-hop Connected Dominating Sets in Unit Disk Graph, International Journal of Sensor Networks, Vol. 12, No. 3, pp , [4] Jun Li, and Xiaofeng Gao, Performance Analysis for Approximating MCDS in Wireless Ad-Hoc Network, Information: An International Interdisciplinary Journal, Vol.15, No.12, pp , (SCI Indexed, Corresponding Author) [5] Shan Shan, Weili Wu, Wei Wang, Hongjie Du, Xiaofeng Gao, Ailian Jiang: Constructing minimum interference connected dominating set for multi-channel multi-radio multi-hop wireless network, International Journal of Sensor Networks, 11(2): , (SCI Indexed) [6] Yi Zhu, Xiaofeng Gao, Weili Wu, Jason Jue, Efficient impairment-constrained 3R regenerator placement for light-trees in optical networks, IEEE/OSA Journal of Optical Communications and Networking, 3(4): , (SCI Indexed) 4
5 [7] Shuo Zhang, Xiaofeng Gao, Weili Wu, Jianzhong Li, and Hong Gao, Efficient Algorithms for Supergraph Query Processing on Graph Database, Journal of Combinatorial Optimization, 21(2): , (SCI Indexed) [8] Ling Ding, Xiaofeng Gao, Weili Wu, Wonjun Lee, Xu Zhu and Ding-Zhu Du, An Exact Algorithm for Minimum CDS with Shortest Path Constraint in Wireless Networks, Optimization Letters, 5(2): , [9] Suogang Gao, Zengti Li, Jiangchen Yu, Xiaofeng Gao, and Weili Wu, DNA Library Screening, Pooling Design and Unitary Spaces, Theoretical Computer Science, 412(3): , [10] Yongtian Yang, Xiaofeng Gao, Xinlu, Jiaofei Zhong and Guihai Chen, Distributed AH-Tree Based Index Technology for Multi-Channel Wireless Data Broadcast, The 18th International Conference on Database Systems for Advanced Applications (DASFAA), (Corresponding Author) [11] Wei Wei, Xuanzhong Wei, Tao Chen, Xiaofeng Gao, and Guihai Chen, Dynamic Correlative VM Placement for Quality-Assured Cloud Service, IEEE International Conference On Communications (IEEE ICC), (Corresponding Author) [12] Xiaofeng Gao, Yi Zhu, Donghyun Kim, Jianzhong Li, and Weili Wu, A Novel Multi-Channel Data Broadcast Scheme for Multimedia Database System, Proceedings of the 18th International Conference on Parallel and Distributed Systems (IEEE ICPADS), December 17-19, [13] Xin Lu, Xiaofeng Gao, and Yongtian Yang, SETMES: A Scalable and Efficient Tree-based Mechanical Scheme for Multi-Channel Wireless Data Broadcast, The 7th International Conference on Ubiquitous Information Management and Communication (ACM ICUIMC 2013), Sep (Corresponding Author). [14] Guobao Sun, Fan Wu, Xiaofeng Gao, and Guihai Chen, PHED: Pre-Handshaking Neighbor Discovery Protocols in Full Duplex Wireless Ad Hoc Networks, to appear on the IEEE Global Communications Conference (IEEE GLOBECOM), December 3-7, [15] Kai Yang, Yan Shi, Weili Wu, Xiaofeng Gao, and Jiaofei Zhong, A Novel Hash-Based Streaming Scheme for Energy Efficient Full-Text Search in Wireless Data Broadcast, The 16th International Conference on Database Systems for Advanced Applications (DASFAA), Part I, LNCS 6587, pp , [16] Jiaofei Zhong, Weili Wu, Yan Shi, and Xiaofeng Gao, Energy-Efficient Tree-Based Indexing Schemes for Information Retrieval in Wireless Data Broadcast, The 16th International Conference on Database Systems for Advanced Applications (DASFAA), Part II, LNCS 6588, pp ,
6 国 外 学 习 经 历 ; 英 语 教 学 经 历 ( 含 课 程 名 称 学 时 数 学 生 数 开 设 时 间 ) 海 外 学 习 工 作 经 历 : [1] , 美 国 德 克 萨 斯 大 学 达 拉 斯 分 校, 计 算 机 科 学 与 工 程 系, 获 博 士 学 位 [2] , 美 国 佐 吉 亚 温 纳 特 学 院, 信 息 技 术 方 向, 助 理 教 授 1-4 英 语 水 平 及 英 语 教 学 海 外 教 学 经 历 : 美 国 佐 吉 亚 温 纳 特 学 院, 任 2 门 课 程 主 讲 人 ( 共 6 次 ) [1] 2011 春,ITEC1001 Introduction to Computing (3 Sections,4 学 时 / 周, 共 63 人 ) [2] 2010 秋,ITEC1001 Introduction to Computing (2 Sections,4 学 时 / 周, 共 42 人 ) [3] 2010 秋,ITEC2110 Digital Media (1 Section,4 学 时 / 周, 共 23 人 ) 美 国 德 克 萨 斯 大 学 达 拉 斯 分 校, 任 11 门 课 程 助 教 ( 共 15 次 ) [4] 2009 秋,CS6363 Design & Analysis-Computer Algorithm (Graduate) [5] 2009 秋,CS6369 Complexity for Combinatorial Algorithm (Graduate) [6] 2009 春,CS6360 Database Design (Graduate) [7] 2009 春,CS4347 Database System (Undergraduate) [8] 2008 秋,CS5349 Automata Theory (Graduate) [9] 2008 秋,CS4384 Automata (Undergraduate) [10] 2008 夏,CS6385 Telecommunication Network Management [11] 2008 春,CS6360 Database Design (Graduate) [12] 2008 春,CS4347 Database System (Undergraduate) [13] 2007 秋,CS5349 Automata Theory (Graduate) [14] 2007 秋,CS4384 Automata (Undergraduate) [15] 2007 春,CS5333 Discrete Structure (Undergraduate) [16] 2007 春,CS1337 Computer Science I (Java, Undergraduate) [17] 2006 秋,CS3354 Software Engineering (Undergraduate) [18] 2006 秋,CS1337 Computer Science I (Java, Undergraduate) 近 两 年 教 学 科 研 获 奖 情 况 1-5 获 奖 情 况 [1] 2012 年 度 上 海 市 教 育 委 员 会 晨 光 计 划 奖 励 [2] 2012 年 度 上 海 交 通 大 学 SMC- 晨 星 青 年 学 者 奖 励 计 划 (B 类 ) [3] 2012 年 度 国 际 运 筹 育 管 理 科 学 大 会 (IMS) 最 佳 论 文 奖 (Best Paper Award) [4] 2011 年 度 新 疆 维 吾 尔 自 治 区 第 十 一 届 自 然 科 学 优 秀 学 术 论 文 二 等 奖 ( 第 二 完 成 人 ) [5] 2011 年 度 中 国 运 筹 协 会 第 十 届 运 筹 新 人 奖 [6] 第 二 学 期 电 子 信 息 与 电 气 工 程 学 院 英 语 授 课 奖 励 6
7 奖 状 与 证 书 7
8 2. 教 学 队 伍 情 况 2-1 人 员 构 成 ( 含 外 聘 教 师 ) 姓 名 性 别 出 生 年 月 专 业 技 术 职 务 学 科 专 业 在 教 学 中 承 担 的 工 作 傅 育 熙 男 教 授 计 算 机 科 学 与 技 术 高 晓 沨 女 副 教 授 计 算 机 科 学 与 技 术 龙 环 女 讲 师 计 算 机 科 学 与 技 术 课 程 建 设 与 授 课 课 程 建 设 与 授 课 课 程 建 设 与 授 课 除 课 程 负 责 人 外 的 其 他 主 讲 教 师 情 况 简 介 ( 国 外 学 习 经 历 ; 近 两 年 来 授 课 教 学 研 究 情 况 ) 主 讲 教 师 傅 育 熙 情 况 简 介 2-2 主 讲 教 师 情 况 个 人 简 介 傅 育 熙, 博 士 教 授 博 士 生 导 师, 国 家 杰 出 青 年 获 得 者 1994 年 1 月 起 在 上 海 交 通 大 学 计 算 机 科 学 与 工 程 系 工 作,1999 年 2 月 任 上 海 交 通 大 学 计 算 机 科 学 与 工 程 系 常 务 副 主 任,2000 年 2 月 年 5 月 任 上 海 交 通 大 学 计 算 机 科 学 与 工 程 系 主 任,2004 年 任 全 国 示 范 性 软 件 学 院 院 长 联 席 会 主 席 现 为 上 海 交 通 大 学 软 件 学 院 院 长 上 海 高 校 软 件 理 论 研 究 中 心 主 任 教 育 部 高 等 学 校 计 算 机 科 学 与 技 术 教 学 指 导 委 员 会 专 业 教 学 指 导 分 委 员 会 委 员 教 育 部 高 等 学 校 计 算 机 科 学 与 技 术 教 学 指 导 委 员 会 计 算 机 科 学 与 技 术 专 业 教 学 指 导 分 委 员 会 副 主 任 委 员 国 务 院 学 位 委 员 会 第 六 届 学 科 评 议 组 成 员 上 海 市 计 算 机 学 会 副 理 事 长 Asian Association for Foundation of Software 的 执 行 委 员 上 海 市 计 算 机 行 业 协 会 副 会 长 是 Mathematical Structures in Computer Science 等 十 多 个 学 术 刊 物 的 编 委 目 前 主 要 从 事 理 论 计 算 机 科 学 基 础 理 论 研 究, 曾 先 后 在 法 国 巴 黎 七 大 日 本 东 京 大 学 法 国 国 家 信 息 研 究 所 进 行 访 问 研 究 在 国 际 学 术 刊 物 上 发 表 论 文 五 十 余 篇, 先 后 担 任 多 个 国 际 会 议 的 cochair, 多 个 国 际 会 议 ( 如 ICSE 2006) 的 程 序 委 员 会 成 员 曾 负 责 近 二 十 个 国 家 级 科 研 项 目 的 研 究 海 外 学 习 工 作 经 历 : [1] 1988 年 由 国 家 教 委 公 派 至 英 国 曼 彻 斯 特 大 学 计 算 机 系 攻 读 博 士 学 位, 1992 年 获 博 士 学 位 [2] 1993 年 至 1994 年 在 曼 彻 斯 特 大 学 计 算 机 系 作 研 究 助 理 近 两 年 授 课 情 况 : [1] 2013 春 季 计 算 理 论 ( 研 究 生 英 语 ) 3 学 时 / 周 学 生 14 人 [2] 2013 春 季 程 序 语 言 理 论 ( 研 究 生 英 语 ) 3 学 时 / 周 学 生 10 人 [3] 2012 秋 季 可 计 算 理 论 3 学 时 / 周 学 生 107 人 [4] 2012 春 季 可 计 算 理 论 3 学 时 / 周 学 生 30 人 [5] 2011 秋 季 算 法 原 理 3 学 时 / 周 学 生 数 121 人 8
9 学 术 研 究 课 题 : [1] 新 型 逻 辑 框 架 和 新 型 计 算 模 型,863 高 科 技 项 目,1994 年 1 月 至 1995 年 12 月, 课 题 负 责 人 ; [2] 逻 辑 类 型 理 论, 国 家 教 委 留 学 回 国 人 员 基 金,1995 年 1 月 至 1997 年 12 月, 课 题 负 责 人 ; [3] 逻 辑 类 型 理 论 的 语 义 及 其 应 用, 国 家 自 然 科 学 基 金 项 目,1996 年 1 月 至 1997 年 12 月, 课 题 负 责 人 ; [4] 并 发 计 算 的 元 模 型,863 高 科 技 项 目,1998 年 1 月 至 2000 年 12 月, 课 题 负 责 人 ; [5] 并 发 计 算 模 型 c - 演 算 的 理 论 研 究, 国 家 自 然 科 学 基 金 项 目 1999 年 1 月 至 2001 年 12 月, 课 题 负 责 人 ; [6] 内 类 型 理 论, 国 家 自 然 科 学 基 金,2000 年 1 月 至 2002 年 12 月, 课 题 负 责 人 ; [7] 基 本 并 发 计 算 模 型 的 理 论 研 究, 教 育 部 资 助 优 秀 青 年 教 师,2000 年 1 月 至 2001 年 12 月, 课 题 负 责 人 ; [8] 元 并 发 模 型 的 理 论 研 究, 高 等 学 校 骨 干 教 师 资 助 计 划,2000 年 1 月 至 2001 年 12 月, 课 题 负 责 人 ; [9] M- 可 解 性 M- 计 算 复 杂 性 与 计 算 机 科 学 的 模 型 理 论, 国 家 自 然 科 学 基 金 重 点 项 目, 课 题 负 责 人 ; [10] 计 算 机 科 学 的 结 构 与 核 心 基 础 理 论, 上 海 市 科 委 学 科 带 头 人 项 目, 项 目 负 责 人 ; [11] 多 线 程 程 序 语 言 的 程 序 分 析 研 究, 国 家 自 然 科 学 基 金 国 际 ( 地 区 ) 合 作 与 交 流 项 目, 项 目 负 责 人 代 表 性 学 术 研 究 成 果 : [1] Chaodong He, Yuxi Fu, Hongfei Fu. Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. In Proceedings of FSEN 2011, volume 7141 of Lecture Notes in Computer Science, page Springer, [2] Xiaojuan Cai, Yuxi Fu. The λ-calculus in the π-calculus. Mathematical Structures in Computer Science, 21(5): (2011). [3] Yuxi Fu. Theory by Process. In Proceedings of CONCUR 2010, volume 6296 of Lecture Notes in Computer Science, pages , Springer, [4] Yuxi Fu, Hao Lu. On the Expressiveness of Interaction. Theoretical Computer Science, 411: , [5] Yuxi Fu. Fair ambients, Acta Informatica, 43(8): , 2007 [6] Yuxi Fu. On quasi open bisimulation. Theoretical Computer Science, 338:96-126, [7] Yuxi Fu, Zhengrong Yang. Understanding the mismatch combinator in chi calculus. Theoretical Computer Science, 290: , [8] Yuxi Fu. Testing congruence for mobile process. Journal of Computer Science and Technology, 17(1):73-82,
10 [9] Yuxi Fu. Semantics of constructions (I): The traditional approach. Journal of Computer Science and Technology, 16(1):13-25, [10] Yuxi Fu. Semantics of constructions (II): The initial algebraic approach. Journal of Computer Science and Technology, 16(2): , 获 奖 情 况 : [1] 2011 年 度 上 海 市 优 秀 学 科 带 头 人 [2] 2003 年 度 国 家 杰 出 青 年 基 金 获 得 者 [3] 2000 年 度 国 务 院 政 府 特 殊 津 贴 [4] 2000 年 度 上 海 市 政 府 特 殊 津 贴 [5] 1999 年 度 中 创 软 件 奖 [6] 1997 年 度 上 海 市 优 秀 青 年 教 师 主 讲 教 师 龙 环 情 况 简 介 个 人 简 介 龙 环, 博 士 讲 师 硕 士 生 导 师 2009 年 获 上 海 交 通 大 学 计 算 机 科 学 与 工 程 专 业 博 士, 同 年 起 在 上 海 交 通 大 学 计 算 机 科 学 与 工 程 系 工 作, 现 为 上 海 高 校 软 件 理 论 研 究 中 心 助 理 研 究 员 中 国 计 算 机 学 会 成 员, 目 前 主 要 从 事 理 论 计 算 机 科 学 基 础 理 论 的 研 究, 曾 在 日 本 Nagoya University 进 行 访 问 研 究, 即 将 由 国 家 留 学 基 金 委 员 会 公 派 赴 英 国 爱 丁 堡 大 学 学 习 在 国 际 学 术 刊 物 上 发 表 论 文 十 余 篇 近 两 年 授 课 情 况 : [1] 2013 春 季 离 散 数 学 ( 英 语 ) 3 学 时 / 周 学 生 58 人 [2] 2013 春 季 可 计 算 理 论 3 学 时 / 周 学 生 81 人 [3] 2012 秋 季 计 算 机 科 学 导 论 3 学 时 / 周 学 生 54 人 [4] 2012 春 季 可 计 算 理 论 3 学 时 / 周 学 生 79 人 [5] 2012 春 季 离 散 数 学 ( 英 语 ) 3 学 时 / 周 学 生 78 人 [6] 2011 春 季 离 散 数 学 ( 英 语 ) 3 学 时 / 周 学 生 54 人 海 外 学 习 经 历 : [1] 2012 年 日 本 Nagoya University Visiting Scholar [2] 2013 年 英 国 爱 丁 堡 大 学 Visiting Scholar 学 术 研 究 课 题 : [1] 国 家 自 然 科 学 基 金 青 年 项 目,2013 年 1 月 至 2015 年 12 月, 课 题 负 责 人 ; [2] 国 家 教 育 部 博 士 点 基 金 新 教 师 类,2013 年 1 月 至 2014 年 12 月, 课 题 负 责 人 10
11 3. 课 程 描 述 3-1 本 课 程 教 学 理 念 与 目 标 可 计 算 理 论 (Computability Theory), 又 称 算 法 理 论, 是 计 算 机 理 论 基 础 的 重 要 基 石, 也 是 算 法 设 计 与 分 析 的 基 础 它 是 研 究 计 算 一 般 性 质 的 数 学 理 论, 通 过 建 立 计 算 的 数 学 模 型 ( 例 如 图 灵 机 ), 精 确 区 分 哪 些 问 题 是 可 计 算 的, 哪 些 问 题 是 不 可 计 算 的 它 从 广 义 上 描 绘 了 什 么 样 的 问 题 可 以 使 用 计 算 机 来 解 决, 使 得 人 们 不 必 浪 费 时 间 在 不 可 能 解 决 的 问 题 上 ( 因 而 可 以 尽 早 转 而 使 用 除 计 算 机 以 外 更 加 有 效 的 手 段 ), 集 中 资 源 在 可 以 解 决 的 问 题 可 计 算 理 论 是 算 法 设 计 软 件 开 发 等 应 用 的 理 论 基 础, 也 是 计 算 复 杂 性 的 前 驱 工 作, 在 计 算 机 理 论 科 学 中 有 着 重 要 意 义, 也 使 得 可 计 算 理 论 课 程 在 计 算 机 科 学 体 系 中 占 有 至 关 重 要 的 地 位, 并 成 为 计 算 机 科 学 与 软 件 工 程 学 科 培 养 计 划 中 的 基 础 课 程 对 可 计 算 理 论 的 学 习 是 计 算 机 科 学 软 件 工 程 专 业 学 生 需 要 掌 握 的 重 要 基 础 课 程, 它 就 如 微 积 分 高 等 代 数 课 程 一 般 是 计 算 机 学 科 其 他 课 程 的 基 础 构 架 本 课 程 所 依 托 的 上 海 交 通 大 学 计 算 机 科 学 与 技 术 学 科 是 教 育 部 认 定 的 国 家 一 级 重 点 学 科 希 望 通 过 全 英 语 教 学 的 实 施, 能 够 使 本 课 程 的 教 学 内 容 更 加 符 合 国 际 化 一 流 化 和 前 沿 化 的 目 标, 让 学 生 实 时 掌 握 最 新 的 理 论 和 实 践 知 识, 提 高 他 们 应 对 高 速 发 展 的 计 算 机 领 域 的 问 题 解 决 能 力 可 计 算 理 论 Computability Theory 课 程 主 要 介 绍 计 算 可 解 性 的 概 念 与 理 论 本 课 程 的 教 学 目 标 是, 让 学 生 掌 握 计 算 数 学 模 型 的 基 本 概 念, 了 解 计 算 可 解 性 的 概 念, 掌 握 计 算 机 可 解 性 的 一 般 规 律 通 过 本 课 程 的 学 习, 学 生 将 理 解 计 算 机 理 论 基 础 与 计 算 能 力 范 畴, 为 将 来 学 习 计 算 机 应 用 与 软 件 工 程 打 下 坚 实 基 础 3-2 教 学 内 容 选 择 与 安 排 可 计 算 理 论 Computability Theory 是 计 算 机 科 学 的 基 础 课 程, 课 程 理 论 教 学 包 含 48 学 时, 其 最 核 心 最 基 本 的 内 容 可 分 为 计 算 模 型 广 义 模 型 可 计 算 集 三 大 部 分 三 部 分 之 间 呈 递 进 关 系, 逐 步 向 学 生 展 示 可 计 算 理 论 的 核 心 思 想 和 计 算 模 型 的 可 计 算 性 具 体 内 容 组 织 安 排 如 下 : ( 一 ) 可 计 算 理 论 概 论 (2 学 时 ) 1. 教 学 目 标 : 通 过 介 绍 可 计 算 理 论 的 历 史 发 展 重 要 概 念 分 支 学 科, 使 学 生 对 整 门 课 程 有 整 体 了 解, 达 到 自 顶 向 下 提 纲 挈 领 的 作 用 同 时 涵 盖 基 础 课 程 复 习 与 概 念 介 绍, 帮 助 学 生 复 习 预 备 知 识, 并 统 一 符 号 与 概 念 体 系 2. 基 本 概 念 :Computational Complexity, Computability Theory, Formal Language, Complexity Class, Chomsky Hierarchy, Set, Degree, Function, Relation, Computable Functions, Turing machine, Symbols, Notations, URM, Decidable 3. 综 合 性 问 题 :History of Computation, Branches for Theory of Computation, Church s 11
12 Thesis, Computational Complexity Theory, Formal Languages, Complexity Classes, Recursive, Linear-Bounded Automata, Preliminary for Computation, Fundamental Concepts for Computation ( 二 ) 计 算 模 型 (16 学 时, 课 程 重 点 ) 1. 教 学 目 标 : 通 过 对 无 限 注 册 机 图 灵 机 递 归 函 数 等 计 算 模 型 的 介 绍, 让 学 生 理 解 什 么 是 抽 象 的 计 算 模 型, 计 算 模 型 的 定 义 与 演 算 方 式, 计 算 模 型 的 能 力 统 一 性, 并 最 终 理 解 可 计 算 问 题 与 可 计 算 函 数 的 概 念 2. 基 本 概 念 :Algorithm, Effective Procedures, Computable, Decidable, Coding, Recursive Function, Mineralization, Basic Functions, Standard Form, Turing Computable Function, Post System, Denumerable 3. 综 合 性 问 题 :Unlimited Register Machine, Turing machine, Join Programs, Ackermann Function, Primitive/Partial Recursive Functions, Diagonal Method ( 三 ) 广 义 模 型 (15 学 时, 课 程 重 点 ) 1. 教 学 目 标 : 通 过 介 绍 丘 奇 - 图 灵 定 理 歌 德 尔 编 码 通 用 程 序 等 理 论, 让 学 生 从 更 高 地 角 度 理 解 可 计 算 性 的 概 念, 并 进 一 步 认 识 到 计 算 机 计 算 能 力 的 局 限 性 与 统 一 性, 理 解 计 算 机 理 论 模 型 的 通 用 性 2. 基 本 概 念 :Church s Thesis, Universal Programs, Universal Functions, Godel Encoding, Effective Denumerable, Godel's Incompleteness Theory 3. 综 合 性 问 题 :Effective Operation, Kleene s Normal Form Theorem, Diagonal Method, Numbering Computable Functions, The s-m-n Theorem, Proof Using Church s Thesis ( 四 ) 可 计 算 集 (15 学 时, 高 阶 扩 展 ) 1. 教 学 目 标 : 通 过 对 可 计 算 问 题 的 进 一 步 分 类, 让 学 生 理 解 可 计 算 问 题 的 难 度 特 性, 并 学 会 区 分 问 题 的 可 解 性 这 部 分 内 容 对 学 生 以 后 的 学 习 十 分 重 要, 是 学 生 进 一 步 理 解 可 计 算 理 论 的 扩 展 与 细 化 2. 基 本 概 念 :Decidability, Undecidability, Partial Decidability, Recursive Set, Recursively Enumerable Set, Productive Set, Creative Set, Simple Set, Reducibility, Turing Degrees, Diophantine Equation, Post System 3. 综 合 性 问 题 :The Halting Problem, Rice Theorem, Turing Reducibility, Many-one Reducibility, Many-one Equivalent, URMO, Relative Computability, m-complete, m-degrees 四 个 部 分 之 间 呈 链 式 递 进 关 系, 由 浅 入 深 逐 步 细 化, 从 不 同 角 度 不 同 方 式 展 现 计 算 机 科 学 的 理 论 基 础, 使 得 学 生 了 解 什 么 样 的 问 题 是 计 算 机 可 以 求 解 的, 计 算 机 求 解 问 题 的 效 率 如 何, 为 学 生 今 后 的 实 践 操 作 与 算 法 学 习 打 下 坚 实 的 基 础 以 下 图 1 是 2012 年 度 可 计 算 理 论 的 课 程 安 排, 图 2 是 该 年 度 课 程 表 12
13 图 1:2012 年 度 可 计 算 理 论 日 程 安 排 图 2:2012 年 度 可 计 算 理 论 排 课 情 况 13
14 3-3 教 学 方 法 手 段 ( 举 例 说 明 采 用 的 各 种 教 学 方 法 及 手 段 的 使 用 目 的 实 施 过 程 实 施 效 果 ) 可 计 算 理 论 Computability Theory 是 一 门 理 论 性 的 基 础 核 心 课 程, 根 据 本 课 程 的 特 点, 教 学 组 采 用 启 发 式 教 学 模 式, 利 用 深 入 式 互 动 促 进 师 生 交 流, 通 过 计 算 模 型 深 入 理 解 知 识, 建 立 自 顶 而 下 刚 要 引 领 的 课 程 设 计 体 系, 并 将 教 学 与 科 研 有 机 结 合, 取 得 了 较 好 的 教 学 效 果 1. 启 发 式 教 学 模 式 在 明 确 的 教 学 目 标 引 领 下, 通 过 在 授 课 过 程 中 逐 步 引 导 学 生 掌 握 解 决 问 题 的 方 式 方 法, 让 学 生 直 接 参 与 探 索 教 学, 充 分 发 挥 学 生 的 主 观 能 动 性, 开 发 学 生 的 创 新 能 力, 使 学 生 在 学 习 中 有 成 就 感 例 如, 通 过 举 例 企 业 在 开 发 软 件 过 程 中, 应 用 可 计 算 理 论 可 以 避 免 许 多 徒 劳 无 果 的 尝 试, 进 而 让 学 生 们 领 会 到 可 计 算 理 论 在 计 算 机 领 域 的 重 要 性 通 过 播 放 可 计 算 理 论 历 史 的 教 学 视 频 让 学 生 对 该 学 科 的 发 展 有 更 直 观 的 认 识 通 过 往 届 的 上 课 同 学 在 研 究 生 入 学 考 试 及 找 工 作 的 面 试 经 历 让 学 生 体 会 到 工 业 界 和 学 术 界 对 可 计 算 理 论 的 重 视 实 践 证 明, 这 种 启 发 式 的 教 学 模 式 对 于 理 论 性 较 强 的 课 程 适 用 良 好, 课 堂 教 学 效 率 较 高 图 3: 可 计 算 理 论 历 史 发 展 教 学 视 频 示 例 14
15 2. 深 入 式 互 动 交 流 由 于 理 论 课 程 特 有 的 难 以 理 解 抽 象 复 杂 的 特 征, 许 多 同 学 在 学 习 过 程 中 缺 乏 兴 趣, 积 极 性 低, 对 课 程 了 解 也 并 不 清 晰 因 此 理 论 性 课 程 往 往 缺 勤 率 高 作 业 完 成 质 量 低 学 生 学 习 效 果 和 教 评 分 数 都 不 十 分 理 想 为 克 服 这 一 问 题, 本 课 程 特 别 注 重 注 重 师 生 之 间 同 学 之 间 的 互 动 交 流, 以 增 加 同 学 积 极 性 和 参 与 感, 培 养 课 堂 默 契, 培 养 师 生 感 情 具 体 思 想 为, 注 重 学 生 反 馈, 及 时 调 整 教 学 方 式 ; 结 合 教 学 内 容, 利 用 案 例 教 学 法 讨 论 法 角 色 扮 演 法 等 教 学 方 法, 通 过 积 极 参 与 共 同 促 进 的 双 向 沟 通 方 式 来 进 行 授 课, 寓 教 于 乐 例 如, 通 过 给 学 生 制 作 桌 牌, 让 课 堂 更 为 正 式, 增 添 学 生 的 责 任 感 ; 通 过 给 课 程 建 设 学 生 名 册, 让 同 学 彼 此 更 了 解 课 堂, 增 添 学 生 的 从 属 感 ; 通 过 照 相 记 录 课 堂 情 况, 增 加 师 生 的 互 动 了 解, 并 督 促 学 生 考 勤 ; 通 过 和 学 生 单 独 见 面 沟 通, 清 楚 掌 握 学 生 在 课 程 教 学 上 的 需 求 ; 借 助 于 google group 邮 件 群, 加 强 和 同 学 之 间 的 学 术 讨 论 ; 通 过 设 置 答 疑 时 间, 方 便 同 学 随 时 求 学 解 惑 ; 通 过 对 助 教 的 专 业 培 养, 增 加 助 教 辅 助 作 用, 使 得 学 生 有 更 多 机 会 获 得 专 业 指 导 实 践 证 明, 深 入 交 流 互 动 能 够 增 强 学 生 对 课 程 的 兴 趣, 并 能 激 发 学 生 的 自 主 能 动 性, 他 们 不 但 认 真 完 成 课 程 任 务, 还 会 主 动 帮 忙 共 同 建 设 课 程 图 4:2012 年 度 可 计 算 理 论 班 级 合 影 图 5:2012 年 度 可 计 算 理 论 课 堂 记 录 (2012 年 3 月 28 日 ) 15
16 图 6: 课 程 邮 件 群 (Google Group) 使 用 图 7: 课 程 信 件 示 例 16
17 图 8: 可 计 算 理 论 课 程 网 页 展 示 17
18 3. 计 算 模 型 深 化 理 解 通 过 提 供 课 外 阅 读 和 网 络 参 考 资 源, 能 够 开 阔 学 生 的 视 野, 使 学 生 更 加 深 入 地 理 解 可 计 算 理 论 中 的 基 本 概 念 例 如, 在 讲 授 无 限 注 册 机 (URM) 的 过 程 中, 通 过 提 供 URM 测 试 网 站, 使 同 学 们 可 以 自 己 测 试 URM 的 运 行 方 式, 对 URM 知 识 点 更 加 清 楚 在 讲 授 哥 德 尔 不 完 备 定 理 时, 提 供 原 始 手 稿 等 材 料, 让 学 生 对 可 计 算 理 论 的 发 展 有 更 直 观 的 认 识 图 9: 无 限 注 册 机 模 拟 网 页 展 示 图 10: 无 限 注 册 机 课 件 展 示 18
19 4. 自 顶 而 下 纲 要 引 领 课 程 教 授 过 程 中, 有 必 要 不 时 地 将 所 学 知 识 进 行 归 纳 总 结, 将 看 似 独 立 的 知 识 串 连 起 来, 从 整 体 把 握 全 局, 使 得 学 生 可 以 更 加 清 楚 明 白 可 计 算 理 论 的 内 涵 例 如, 考 前 通 过 提 供 Question List 和 Checklist, 可 以 帮 助 学 生 更 好 地 梳 理 所 学 知 识, 把 握 自 顶 向 下 的 结 构, 更 加 深 入 理 解 计 算 机 的 运 算 限 制 和 有 效 可 解 问 题 的 概 念 图 11:2012 年 度 可 计 算 理 论 复 习 纲 要 19
20 5. 教 学 与 科 研 相 结 合 教 学 过 程 中, 穿 插 相 关 科 研 前 沿 动 态, 如 介 绍 最 新 的 PCP 复 杂 性 定 理 等 最 新 结 论, 鼓 励 学 生 参 与 科 研 项 目, 培 养 学 生 的 创 新 能 力 目 前, 已 有 多 名 本 科 生 在 相 关 领 域 取 得 了 突 破 性 的 进 展, 且 相 关 工 作 发 表 在 近 似 算 法 计 算 机 网 络 数 据 工 程 等 领 域 的 多 个 国 际 著 名 期 刊 和 会 议 如 参 与 过 本 课 程 的 2009 级 本 科 生, 目 前 已 发 表 算 法 相 关 论 文 多 篇, 正 在 参 与 2013 年 度 可 计 算 理 论 的 同 学 还 有 若 干 投 出 论 文 在 审 稿 过 程 和 准 备 过 程 中 已 发 表 论 文 列 表 : [1]. Wei Wei, Xuanzhong Wei, Tao Chen, Xiaofeng Gao, and Guihai Chen. Dynamic Correlative VM Placement for Quality-Assured Cloud Service, IEEE International Conference On Communications (IEEE ICC 2013). [2]. Wei Wei, Xuanzhong Wei, Xiaofeng Gao, and Guihai Chen. Wireless Technology for Data- center Networks, ZTE Communications, vol. 18, pp. 1 6, [3]. Guobao Sun, Fan Wu, Xiaofeng Gao, and Guihai Chen, PHED: Pre-Handshaking Neighbor Discovery Protocols in Full Duplex Wireless Ad Hoc Networks, IEEE Global Communications Conference (IEEE GLOBECOM 2012), Anaheim, CA, USA, Dec. 3-7, [4]. Guobao Sun, Fan Wu, Xiaofeng Gao, Guihai Chen, and Wei Wang, Time-Efficient Protocols for Neighbor Discovery in Wireless Ad Hoc Networks, to appear in IEEE Transactions on Vehicular Technology (TVT), 已 投 出 与 在 准 备 论 文 列 表 : [1]. Xiaofeng Gao, Wei Wei, Xuanzhong Wei, Tao Chen, Guihai Chen, NEMO: A Novel Efficient Multicast Routing Scheme for Hybrid Data Center Networks, Submission to IEEE Global Communications Conference (IEEE GLOBECOM 2013), Atlanta, USA, Dec. 9-13, [2]. Wanchao Liang, Wei Wei. Xiaofeng Gao, Guihai Chen, RobinHood: Traffic Load Balancing of Devolved Controllers in Data Center Network, to submit to the 33rd IEEE International Conference on Computer Communications (IEEE INFOCOM 2014). [3]. Xiaofeng Gao, Wei Wei, Xuanzhong Wei, Haibin Guan, Guihai Chen, Wireless Communications in Data Center Networks, to submit to Journal of Network and Computer Applications (JNCA),
21 3-4 考 核 ( 考 试 ) 方 法 考 核 准 则 : 1) 强 调 概 念 与 理 解 : 考 试 分 为 选 择 判 断 问 答 证 明 阅 读 几 种 题 型, 覆 盖 主 要 知 识 点 2) 多 阶 段 综 合 测 试 : 通 过 期 中 考 试 平 时 测 验 期 末 考 试 分 阶 段 测 试, 督 促 学 生 深 入 理 解, 融 会 贯 通 3) 结 合 平 时 表 现 : 采 用 激 励 机 制, 鼓 励 学 生 参 与 互 动, 多 问 问 题, 认 真 完 成 作 业 4) 英 语 实 用 能 力 : 要 求 学 生 在 教 学 的 各 个 环 节 均 使 用 英 语, 提 高 英 语 实 用 能 力 最 终 成 绩 由 课 堂 表 现 平 时 作 业 期 中 考 试 和 期 末 考 试 成 绩 综 合 组 成 每 个 部 分 所 占 比 例 和 考 核 内 容 如 下 : 项 目 所 占 比 例 考 核 内 容 课 堂 表 现 10% 考 核 课 堂 参 与 度 独 立 思 考 能 力 和 判 断 力 平 时 作 业 30% 考 核 概 念 理 解 程 度 文 字 表 达 能 力 Latex 软 件 应 用 能 力 期 中 考 试 30% 考 核 可 计 算 基 本 原 理 和 计 算 模 型 的 理 解 程 度 期 末 考 试 30% 考 核 理 论 重 要 性 质 与 可 计 算 集 合 的 掌 握 程 度 补 充 说 明 : 使 用 编 译 软 件 提 交 电 子 版 作 业 可 获 得 加 分, 上 限 为 总 分 5%; 正 确 回 答 课 堂 提 问 或 提 出 有 建 设 意 义 的 问 题 可 获 得 课 堂 表 现 加 分, 上 限 为 总 分 的 3%; 小 测 验 计 入 作 业 成 绩 3-5 教 材 ( 含 英 语 教 材 使 用 与 建 设 ; 扩 充 性 英 语 资 料 使 用 情 况 ) 教 材 : Computability: An Introduction to Recursive Function Theory, by Nigel L., Cutland, published by Cambridge University Press 这 是 可 计 算 理 论 的 经 典 教 材, 内 容 难 度 最 适 合 本 科 生 教 学 参 考 书 : [1] Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, by Robert I. Soare, published by Springer-Verlag Berlin Heidelberg. [2] Theory of Computational Complexity, by Ding-Zhu Du, and Ker-I Ko, published by John Wiley & Sons, Inc. [3] Computational Complexity: A Modern Approach, by Sanjeev Arora and Boaz Barak, Cambridge University Press. 21
22 3-6 网 络 资 源 ( 含 网 络 硬 件 环 境, 网 上 资 源 名 称 列 表 网 址 链 接 及 在 教 学 中 的 使 用 情 况 ) 课 程 网 站 提 供 资 源 包 括 : 1) 授 课 教 师 信 息 2) 教 学 大 纲 与 教 学 安 排 3) 教 学 资 料, 包 括 课 件 作 业 及 答 案 课 程 设 计 及 相 关 辅 助 材 料 课 程 邮 件 列 表 sjtu_cs363@googlegroups.com 功 能 : 发 布 课 程 参 考 资 料 互 动 交 流 答 疑 等 3-7 教 学 效 果 ( 学 生 评 教 指 标 和 校 内 管 理 部 门 提 供 的 近 两 年 的 学 生 评 价 分 数 及 评 语 ; 课 程 负 责 人 教 学 录 像 要 点 ) 本 课 程 从 学 年 第 二 学 期 开 始 在 上 海 交 通 大 学 计 算 机 科 学 与 工 程 系 开 设, 目 前 已 开 设 2 个 学 期 第 一 次 教 评 得 分 94.13, 具 体 教 评 结 果 请 见 下 表 ( 证 明 材 料 见 附 件 ); 第 二 次 教 评 将 于 近 期 公 布 总 体 评 价 : 学 年 学 期 选 课 学 生 数 参 评 学 生 数 评 教 率 教 师 得 分 院 系 排 名 全 校 排 名 % / /1990 具 体 评 价 : 序 号 指 标 内 容 学 生 评 分 1 我 感 觉 老 师 是 用 心 备 课 老 师 上 课 有 吸 引 力, 能 激 发 我 思 考 和 探 究 的 兴 趣 老 师 具 有 人 格 魅 力, 对 我 的 影 响 很 大 老 师 评 估 学 生 的 表 现 时 公 平 一 致, 对 作 业 及 测 验 成 绩 很 重 视 老 师 关 注 学 生 的 课 堂 表 现 并 能 维 持 良 好 的 学 习 环 境 老 师 批 改 作 业 及 时 认 真, 会 根 据 作 业 情 况 指 导 我 的 学 习 老 师 合 理 运 用 板 书 和 课 件, 便 于 我 理 解 教 学 内 容 在 我 需 要 的 时 候 ( 包 括 课 后 ) 能 够 得 到 老 师 的 指 导 和 帮 助 老 师 会 结 合 学 科 前 沿 或 社 会 热 点, 对 教 材 知 识 进 行 拓 展 性 讲 解 老 师 帮 我 进 一 步 掌 握 了 知 识 的 获 取 方 法 和 理 解 途 径 9.42 (10-9 分 代 表 完 全 同 意,8-7 分 代 表 同 意,6-5 分 代 表 基 本 同 意,4-3 分 代 表 不 同 意, 2-0 分 代 表 完 全 不 同 意 ) 22
23 学 生 评 语 摘 选 : [1] 学 到 了 可 计 算 的 知 识 知 道 了 这 个 世 界 上 有 很 多 东 西 是 不 可 计 算 的 跟 高 老 师 学 到 了 很 多 做 人 的 东 西, 也 很 有 收 获 学 到 了 latex, 很 有 用! 高 老 师 和 助 教 都 非 常 nice, 态 度 很 认 真, 为 人 很 和 蔼, 做 事 很 公 允 [2] 对 理 论 计 算 机 有 了 进 一 步 的 了 解 与 学 习, 学 到 很 多 有 用 的 东 西 高 中 以 来 一 直 从 Matrix67 的 Blog 之 类 的 地 方 看 到 的 哥 德 尔, 还 有 停 机 问 题 等 等, 终 于 系 统 的 学 到 了 虽 然 大 家 以 后 准 备 搞 理 论 的 可 能 比 较 少, 但 是 多 学 学 数 学 课 收 获 是 很 大 的 高 老 师 超 赞 的 ~ 像 这 样 用 心 的 话, 再 过 一 两 年 很 快 会 入 选 最 受 学 生 欢 迎 教 师 的 ~ [3] 在 可 计 算 理 论 方 面 确 实 懂 了 一 些 东 西 ( 其 实 本 来 就 对 这 方 面 挺 感 兴 趣 的 ); 认 识 了 哥 德 尔 这 个 大 神, 现 在 变 成 他 的 崇 拜 者 ; 基 本 能 使 用 TeX 进 行 技 术 交 流 ; 数 学 能 力 似 乎 有 点 恢 复 了 老 师 上 课 很 体 贴 阿, 看 到 我 们 跟 不 上 了 就 会 放 慢 脚 步 ; 谢 谢 老 师 及 其 周 到 的 考 虑 以 及 对 我 各 方 面 的 帮 助 ~ 您 是 我 见 过 的 最 负 责 的 老 师 之 一 ~ [4] 可 计 算 理 论 虽 然 难, 但 是 在 学 习 这 门 课 的 知 识 的 同 时 更 锻 炼 的 自 己 思 辨 和 理 解 的 能 力 ( 其 实 很 多 难 的 课 都 能 锻 炼 到, 但 以 前 一 般 碰 到 这 样 的 课 我 就 放 弃 了 ) 每 次 看 老 师 把 这 么 难 的 课 讲 解 的 很 有 条 理, 想 必 老 师 为 备 课 付 出 了 很 大 的 心 血 老 师 都 这 么 认 真 负 责, 我 们 当 然 也 要 对 自 己 负 责 了 [5] 对 可 计 算 理 论 有 了 一 定 的 了 解, 算 是 最 大 的 收 获 吧, 不 管 自 己 是 否 喜 欢 这 个 分 支, 至 少 丰 富 了 自 己 的 知 识 面 这 门 课 一 定 程 度 上 也 改 变 了 我 对 Computer Science 的 看 法, 原 来 Computer Science 这 样 我 认 为 非 常 偏 Application 的 课 程 也 有 这 么 深 的 理 论 基 础 [6] 学 习 可 计 算 课 程 收 获 超 级 多 ~ 除 了 知 识 层 面 的, 还 有 很 多 为 人 处 事 方 面 的 我 真 心 的 非 常 非 常 喜 欢 你 高 老 师, 大 学 至 今, 我 觉 得 你 是 我 大 学 期 间 印 象 最 深, 对 我 帮 助 最 大 的 老 师 交 大 不 乏 有 好 老 师, 但 是 很 多 这 样 的 好 老 师 对 我 的 帮 助 也 只 是 知 识 层 面 上 的, 其 实 大 学 生 也 很 希 望 和 老 师 在 心 灵 上 有 更 多 的 交 流, 其 实 老 师 的 一 言 一 行 也 可 以 对 我 们 很 有 启 发 我 觉 得 老 师 是 一 个 细 节 做 的 很 好 也 是 个 心 思 很 细 腻 的 人, 举 个 例 子 吧, 老 师 你 可 以 叫 出 我 们 每 个 同 学 的 名 字, 甚 至 还 记 得 我 们 的 籍 贯, 虽 然 这 其 实 是 个 很 小 的 事 情, 但 自 己 真 的 很 感 动, 就 像 我 们 的 大 姐 姐 一 样, 超 级 贴 心 ; 另 外 我 觉 的 老 师 的 备 课 以 及 答 疑 真 的 很 认 真, 看 着 老 师 凌 晨 4 点 还 给 我 们 做 hint 我 就 觉 得 超 感 动, 然 后 也 很 惭 愧, 所 以 虽 然 自 己 成 绩 不 是 很 好, 学 的 也 比 较 吃 力, 但 是 依 然 很 努 力 的 去 理 解 去 学 习 再 次 谢 谢 老 师! [7] 可 计 算 方 面 懂 了 不 少 ; 老 师 做 的 很 好 也 很 尽 职, 大 概 是 我 们 碰 到 最 负 责 任 也 最 关 心 我 们 的 一 个 老 师 了, 很 感 谢 您 [8] 太 负 责 任 了! 难 得 在 大 学 遇 到 这 么 负 责 任, 这 么 专 注 于 教 学, 这 么 为 学 生 着 想 的 老 师 请 下 次 一 定 参 加 最 受 学 生 欢 迎 的 教 师 的 评 选 ~~ 课 程 太 有 人 文 关 怀 了 都 关 照 到 每 一 个 学 生 这 个 太 感 人 了!mua~ [9] 老 师 真 的 非 常 非 常 认 真, 真 的 感 谢 老 师 的 努 力 付 出, 老 师 的 一 些 细 节 也 深 深 影 响 我, 之 前 我 没 有 遇 到 哪 一 位 老 师 在 这 么 多 人 的 课 堂 上 能 够 记 住 每 一 个 学 生, 之 前 也 没 有 遇 到 哪 一 个 老 师 在 学 生 考 试 成 绩 不 理 想 的 时 候 会 找 学 生 谈 心, 这 一 切 都 让 我 很 感 动, 也 学 到 了 很 多 23
24 课 程 负 责 人 教 学 录 像 要 点 录 制 内 容 : 递 归 集 与 递 归 可 枚 举 集 录 制 时 间 : 2013 年 4 月 23 日 录 制 长 度 : 45 分 钟 教 学 内 容 : 讲 解 递 归 集 与 递 归 可 枚 举 集 的 概 念, 定 义 原 因 界 定 作 用, 以 及 介 绍 相 关 定 理 和 举 例 讲 解 教 学 要 点 : 递 归 集 指 可 以 用 计 算 机 模 型 在 有 限 时 间 内 终 止 并 判 定 一 个 给 定 元 素 是 否 属 于 这 个 集 合 的 问 题 结 合, 是 判 定 可 计 算 性 的 重 要 界 定 标 准, 属 于 本 课 程 的 重 点 与 难 点 部 分 本 课 程 通 过 以 下 几 点 来 完 成 递 归 集 与 递 归 可 枚 举 集 的 介 绍 : 1) 回 顾 前 期 学 过 的 可 判 定 问 题 与 递 归 函 数, 引 入 递 归 集 的 定 义 2) 提 问 递 归 函 数 的 构 造 方 式, 使 学 生 进 一 步 了 解 递 归 集 的 扩 展 性 3) 通 过 多 媒 体 与 板 书 剖 析 递 归 集 的 特 性 并 举 例 示 范 4) 通 过 总 结 进 一 步 加 深 该 集 合 概 念 图 12: 课 堂 讲 解 与 多 媒 体 使 用 情 况 图 13: 提 问 情 况 图 14: 学 生 学 习 情 况 图 15: 课 件 示 例 24
25 4. 课 程 建 设 规 划 4-1 本 课 程 四 年 内 建 设 规 划 ( 含 课 程 网 站 建 设 规 划 ) 本 课 程 的 建 设 目 标 是 国 内 一 流 课 程 水 平, 计 划 分 四 阶 段 建 设 第 一 阶 段 ( 已 经 启 动 ) 本 阶 段 主 要 进 行 教 学 方 法 手 段 的 实 践 利 用 两 学 期 的 时 间 对 拟 定 的 教 学 方 法 和 教 学 手 段 通 过 课 堂 教 学 实 践 教 学 来 验 证, 从 中 摸 索 出 一 套 针 对 本 课 程 来 说 行 之 有 效 的 教 学 方 法 和 手 段 主 要 方 式 有 : 尝 试 多 种 教 学 方 法, 如 实 例 教 学, 启 发 式 教 学, 习 题 训 练 等, 摸 索 对 本 课 程 最 适 用 的 教 学 法 引 入 国 外 先 进 教 学 理 念, 如 规 范 课 程 大 纲, 规 范 课 程 安 排, 引 导 学 生 对 课 程 产 生 全 局 性 观 念, 提 纲 挈 领 地 把 握 课 程 内 容 尝 试 多 元 交 互, 通 过 课 堂 交 流 网 络 互 动 课 后 会 面 等 方 式 把 握 学 生 对 课 程 的 掌 握 情 况 对 课 程 内 容 进 行 调 整, 把 握 市 场 对 计 算 机 专 业 人 才 的 需 求, 与 时 俱 进 第 二 阶 段 本 阶 段 主 要 进 行 资 源 的 整 理, 包 括 教 学 资 源 实 践 资 源 以 及 信 息 化 资 源, 建 设 一 个 功 能 齐 备 的 网 络 教 学 平 台 主 要 方 式 有 : 制 作 完 善 规 范 课 程 教 案 和 多 媒 体 课 件 制 作 更 新 调 整 课 程 网 站, 并 搭 建 一 体 化 教 学 平 台 设 计 引 入 多 种 新 式 教 学 手 段, 并 使 之 规 范 化 第 三 阶 段 将 整 理 设 计 的 教 学 及 实 践 资 源 应 用 到 教 学 及 实 践 中, 通 过 实 践 形 成 一 整 套 课 程 建 设 体 系 主 要 工 作 有 : 通 过 多 次 实 践 掌 握 课 程 难 点 与 重 点 逐 步 调 整 教 学 内 容 与 教 学 大 纲 录 制 课 堂 视 频, 完 成 一 套 示 范 性 教 学 参 考 资 料 第 四 阶 段 推 广 课 程 使 用 材 料, 公 开 示 范 性 教 学 资 料, 使 课 程 达 到 标 准 化 公 开 化 示 范 化 的 效 果, 为 同 类 别 计 算 机 理 论 性 课 程 提 供 指 导 参 考 与 借 鉴 作 用 课 程 资 料 上 网 计 划 : 目 前 所 有 的 教 学 资 源 都 已 上 网, 最 新 内 容 会 随 时 增 添 25
26 4-2 聘 请 国 外 教 师 ( 专 家 ) 来 华 授 课 计 划 本 课 程 教 学 团 队 成 员 均 具 有 多 年 海 外 留 学 和 工 作 经 历, 与 许 多 国 外 教 师 已 建 立 了 良 好 的 合 作 关 系 为 进 一 步 建 设 好 本 全 英 语 教 学 课 程, 计 划 邀 请 国 外 在 理 论 计 算 机 方 面 具 有 顶 级 水 平 的 专 家 学 者 向 学 生 讲 解 可 计 算 理 论 计 算 复 杂 性 理 论 的 最 新 研 究 成 果, 并 介 绍 国 际 学 术 前 沿 发 展 的 最 新 动 向 拟 邀 请 来 讲 学 的 有 美 国 Cornell 大 学 的 图 灵 奖 获 得 者 John Hopcroft 教 授 和 美 国 Univ of Texas 的 Ding-Zhu Du 教 授 图 16: 与 图 灵 奖 获 得 者 John Hopcroft 合 影 及 讲 课 片 断 4-3 学 校 鼓 励 全 英 语 教 学 课 程 建 设 的 政 策 措 施 及 实 施 情 况 上 海 交 通 大 学 已 开 始 实 施 全 英 语 教 学 专 业 建 设 计 划, 以 推 动 学 校 国 际 化 战 略 目 标 的 实 现, 努 力 提 高 国 际 化 办 学 效 率 水 平 和 层 次, 提 升 学 校 的 核 心 竞 争 力 和 国 际 影 响 力 并 于 2011 年 3 月 30 日 成 立 全 英 语 教 学 建 设 专 家 组, 以 保 障 全 英 语 教 学 专 业 建 设 计 划 顺 利 实 施 上 海 交 通 大 学 计 算 机 科 学 与 工 程 系 采 取 专 门 立 项 的 方 式, 在 985 工 程 三 期 中 立 项 建 设 11 门 本 科 生 全 英 语 课 程,5 门 研 究 生 全 英 语 课 程, 分 别 给 予 专 项 经 费 支 持 ; 同 时, 在 常 规 的 教 学 政 策 和 经 费 投 入 中 向 全 英 语 教 学 课 程 倾 斜, 全 英 语 教 学 课 程 任 课 教 师 的 教 学 工 作 量 作 为 原 课 程 工 作 量 的 1.5 倍 计 算 另 外, 上 海 交 通 大 学 教 学 发 展 中 心 每 学 期 开 设 教 师 英 语 授 课 能 力 培 训 班, 通 过 集 中 式 培 训 模 式 提 高 教 师 英 语 语 言 运 用 能 力, 训 练 教 师 适 应 授 课 语 言 转 换 带 来 的 课 堂 环 境, 教 学 方 法, 教 学 思 维 等 相 应 转 换, 并 注 重 保 持 培 训 课 程 的 相 关 性, 实 效 性 和 趣 味 性 目 前 该 培 训 课 程 已 开 展 六 期 26
27 5. 学 校 意 见 5-1 课 程 负 责 人 本 人 承 诺 : 表 中 所 填 内 容 均 真 实 有 效 签 字 : 日 期 : 5-2 教 务 处 意 见 本 课 程 符 合 申 报 条 件, 申 报 材 料 已 于 2013 年 4 月 25 日 至 2013 年 4 月 28 日 在 学 校 网 站 上 公 示 负 责 人 签 字 ( 盖 章 ): 江 志 斌 日 期 :2013 年 4 月 27 日 5-3 学 校 意 见 同 意 申 报 2013 年 上 海 高 校 示 范 性 全 英 语 教 学 课 程 建 设 项 目 主 管 校 长 签 字 ( 盖 章 ): 黄 震 日 期 :2013 年 4 月 28 日 27
山东省招生委员会
附 件 2: 2012 年 度 山 东 大 学 精 品 课 程 申 报 表 课 程 名 称 课 程 负 责 人 所 属 院 系 网 站 建 设 与 设 计 连 莉 副 教 授 计 算 机 学 院 课 程 类 型 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 践 ( 验 ) 课 所 属 专 业 大 类 所 属 专 业 类 理 工 电 子 信 息 科 学 类 联 系 电 话 13256167020
More information填 写 要 求 一 以 word 文 档 格 式 如 实 填 写 各 项 二 表 格 文 本 中 外 文 名 词 第 一 次 出 现 时, 要 写 清 全 称 和 缩 写, 再 次 出 现 时 可 以 使 用 缩 写 三 涉 密 内 容 不 填 写, 有 可 能 涉 密 和 不 宜 大 范 围 公
2013 年 度 上 海 高 校 市 级 精 品 课 程 申 报 表 ( 本 科 ) 学 校 名 称 东 华 大 学 课 程 名 称 计 算 机 系 统 与 网 络 技 术 课 程 类 型 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 所 属 二 级 学 科 名 称 课 程 负 责 人 申 报 日 期 工 科 计 算 机
More information論文寫作技巧
論 文 寫 作 注 意 事 項 (How to Write a Paper) 初 版 合 撰 者 : (2/3/2004) 中 央 大 學 資 工 系 許 健 平 教 授 長 榮 大 學 資 管 系 陳 宗 禧 教 授 淡 江 大 學 資 工 系 張 志 勇 教 授 淡 江 大 學 資 工 系 石 貴 平 教 授 中 正 大 學 資 工 系 陳 裕 賢 教 授 一 題 目 (Title) 1. 題
More information附3
普 通 高 等 学 校 本 科 专 业 设 置 申 请 表 ( 备 案 专 业 适 用 ) 080910T 3-6 2 016 7 6 4884878 目 录 填 表 说 明 ⒈ ⒉ ⒊ ⒋ ⒌ 1. 普 通 高 等 学 校 增 设 本 科 专 业 基 本 情 况 表 080910T 3-6 1978 36 ( 1978) ( 2008) 2017 60 120 / S J ⒉ 学 校 基 本 情
More information2 3. 1,,,.,., CAD,,,. : 1) :, 1,,. ; 2) :,, ; 3) :,; 4) : Fig. 1 Flowchart of generation and application of 3D2digital2building 2 :.. 3 : 1) :,
3 1 Vol. 3. 1 2008 2 CAA I Transactions on Intelligent Systems Feb. 2008, (,210093) :.,; 3., 3. :; ; ; ; : TP391 :A :167324785 (2008) 0120001208 A system f or automatic generation of 3D building models
More information附件1:
增 列 硕 士 专 业 学 位 授 权 点 申 请 表 硕 士 专 业 学 位 类 别 ( 工 程 领 域 ): 工 程 硕 士 ( 计 算 机 技 术 ) 申 报 单 位 名 称 : 上 海 电 力 学 院 国 务 院 学 位 委 员 会 办 公 室 制 表 2016 年 6 月 26 日 填 目 录 一 申 请 增 列 硕 士 专 业 学 位 授 权 点 论 证 报 告... 1 1. 人 才
More information高等学校教师职务申报表(高级职务)
编 号 : 二 级 学 科 : 检 测 技 术 与 自 动 化 装 置 高 等 学 校 教 师 职 务 申 报 表 学 校 名 称 : 北 京 科 技 大 学 教 师 姓 名 : 孟 伟 所 在 单 位 : 自 动 化 学 院 现 任 职 务 : 研 究 科 学 家 拟 聘 职 务 : 副 教 授 北 京 科 技 大 学 制 填 表 说 明 1. 本 表 可 从 校 OA 网 下 载 2. 填 写
More information<4D6963726F736F667420576F7264202D20C9CFBAA3BFC6BCBCB4F3D1A7D0C5CFA2D1A7D4BA32303136C4EAC7EFBCBEC8EBD1A7B2A9CABFD7CAB8F1BFBCCAD4CAB5CAA9CFB8D4F22D30343036C8B7B6A8B8E5>
上 海 科 技 大 学 信 息 科 学 与 技 术 学 院 年 度 博 士 资 格 考 试 实 施 细 则 一 总 则 本 细 则 由 上 海 科 技 大 学 信 息 科 学 与 技 术 学 院 ( 以 下 简 称 信 息 学 院 ) 教 学 指 导 委 员 会 讨 论 制 定, 适 用 于 信 息 学 院 2014 级 硕 士 研 究 生 的 年 度 博 士 资 格 考 试 信 息 学 院 2014
More informationSep (SCI) 10. Jiann-Ming Wu, Annealing by two sets of interactive dynamics, IEEE Trans. on Systems Man and Cybernetics Part B-Cybernetics 34 (3)
03-863-3531 E-mail jmwu@mail.ndhu.edu.tw /(1990/06-1994/06) (1988/06-1990/06) (1984/09-1988/06) / (1997/8-) (1996/08-1997/07) () 1996 8 Wu, Jiann-Ming ( SCI EI SSCI TSSCI EconLit A&HCI ) 1. Pei-Hsun Hsu
More information<4D6963726F736F667420576F7264202D20B8BDBCFE3220BDCCD3FDB2BFD6D8B5E3CAB5D1E9CAD2C4EAB6C8BFBCBACBB1A8B8E6A3A8C4A3B0E5A3A92E646F6378>
批 准 立 项 年 份 2007 通 过 验 收 年 份 2013 教 育 部 重 点 实 验 室 年 度 报 告 ( 2015 年 1 月 2015 年 12 月 ) 实 验 室 名 称 : 机 器 智 能 与 先 进 计 算 教 育 部 重 点 实 验 室 实 验 室 主 任 : 张 军 实 验 室 联 系 人 / 联 系 电 电 : 詹 志 辉 /13826089486 E-mail 地 址
More information白峰杉:数学的人文内涵与科技外延
目 录 会 议 信 息 第 三 届 并 行 结 构 算 法 与 编 程 国 际 研 讨 会 2 第 11 届 并 行 分 布 式 计 算 及 应 用 国 际 学 术 会 议 4 2010 华 人 数 学 家 国 际 会 议 5 第 三 届 全 国 计 算 机 数 学 学 术 会 议 6 会 议 纪 要 中 国 计 算 数 学 会 第 七 届 常 务 理 事 会 第 四 次 会 议 纪 要 10 第
More information北 京 大 学
北 京 大 学 硕 士 研 究 生 培 养 方 案 ( 信 息 工 程 学 院 报 表 修 订 版 本 ) 一 级 学 科 名 称 专 业 名 称 计 算 机 科 学 与 技 术 计 算 机 应 用 技 术 专 业 代 码 081203 北 京 大 学 研 究 生 院 制 表 填 表 日 期 :2012 年 06 月 16 日 一 学 科 ( 专 业 ) 主 要 研 究 方 向 序 研 究 方 向
More information关于2007年硕士研究生培养方案修订几点要求的说明
学 科 门 类 : 管 理 学 一 级 学 科 : 管 理 科 学 与 工 程 管 理 信 息 系 统 学 科 培 养 方 案 ( 二 级 学 科 代 码 :1201Z1) 一 学 科 概 况 管 理 信 息 系 统 是 一 个 集 管 理 科 学 信 息 技 术 和 行 为 科 学 等 多 学 科 交 叉 的 综 合 性 学 科 本 学 科 主 要 研 究 如 何 利 用 信 息 技 术 提 高
More informationuntitled
1. 95 年 度 2 老 2 老 8 10 11 理 4 2007.3.12 2. 更 Cisco 2960 switch 路 更 路 更 路 更 更 NIS 狀 料 兩 數 Visual Studio Standard.net 2005 老 2007.4.19 Panel talk 行 95 年 度 良 老 葉 羅 老 45 參 行 領 力 立 C 行 力 行 路 力 95 年 度 路 97 年
More informationMicrosoft Word - 103-4 記錄附件
國 立 虎 尾 技 大 103 年 度 第 4 次 教 務 會 議 記 錄 附 件 中 華 民 國 104 年 6 月 16 日 受 文 者 : 國 立 虎 尾 技 大 發 文 日 期 : 中 華 民 國 104 年 5 月 28 日 發 文 字 號 : 臺 教 技 ( 二 ) 字 第 1040058590 號 速 別 : 最 速 件 密 等 及 解 密 條 件 或 保 密 期 限 : 附 件 :
More information附件4
附 件 2 2015 年 省 级 精 品 资 源 共 享 课 申 报 书 ( 本 科 ) 申 报 学 校 西 华 师 范 大 学 课 程 名 称 数 值 方 法 与 计 算 机 技 术 课 程 类 型 公 共 基 础 课 专 业 基 础 课 专 业 课 其 它 所 属 学 科 门 类 理 学 ( 数 学 ) 所 属 专 业 类 名 称 课 程 负 责 人 数 学 与 应 用 数 学 信 息 与 计
More informationXXX专业本科人才培养方案
计 算 机 科 学 与 技 术 专 业 本 科 人 才 培 养 方 案 (Computer Science and Technology 080901) 一 培 养 目 标 本 专 业 培 养 德 智 体 美 全 面 发 展, 具 有 良 好 的 科 学 与 人 文 素 养, 熟 悉 经 济 管 理 法 律 等 相 关 基 础 知 识, 系 统 地 掌 握 计 算 机 硬 件 软 件 方 面 的 基
More informationMicrosoft Word - 专论综述1.doc
2016 年 第 25 卷 第 期 http://www.c-s-a.org.cn 计 算 机 系 统 应 用 1 基 于 节 点 融 合 分 层 法 的 电 网 并 行 拓 扑 分 析 王 惠 中 1,2, 赵 燕 魏 1,2, 詹 克 非 1, 朱 宏 毅 1 ( 兰 州 理 工 大 学 电 气 工 程 与 信 息 工 程 学 院, 兰 州 730050) 2 ( 甘 肃 省 工 业 过 程 先
More information普通高等学校本科专业设置管理规定
普 通 高 等 学 校 本 科 专 业 设 置 申 请 表 ( 备 案 专 业 适 用 ) 学 校 名 称 ( 盖 章 ): 学 校 主 管 部 门 : 专 业 名 称 : 浙 江 外 国 语 学 院 浙 江 省 教 育 厅 金 融 工 程 专 业 代 码 : 020302 所 属 学 科 门 类 及 专 业 类 : 金 融 学 / 金 融 工 程 类 学 位 授 予 门 类 : 修 业 年 限 :
More information附件1:
申 请 学 士 学 位 授 予 权 专 业 申 报 表 学 科 门 类 工 学 门 类 代 码 0809 专 业 名 称 网 络 工 程 专 业 代 码 080903 批 准 时 间 2012 年 学 校 名 称 西 安 交 通 大 学 城 市 学 院 单 位 代 码 13677 陕 西 省 学 位 委 员 会 办 公 室 2016 年 3 月 15 日 填 1 Ⅰ 专 业 简 况 与 自 评 (
More information报 告 1: 郑 斌 教 授, 美 国 俄 克 拉 荷 马 大 学 医 学 图 像 特 征 分 析 与 癌 症 风 险 评 估 方 法 摘 要 : 准 确 的 评 估 癌 症 近 期 发 病 风 险 和 预 后 或 者 治 疗 效 果 是 发 展 和 建 立 精 准 医 学 的 一 个 重 要 前
东 北 大 学 中 荷 生 物 医 学 与 信 息 工 程 学 院 2016 年 度 生 物 医 学 与 信 息 工 程 论 坛 会 议 时 间 2016 年 6 月 8 日, 星 期 三,9:30 至 16:00 会 议 地 址 会 议 网 址 主 办 单 位 东 北 大 学 浑 南 校 区 沈 阳 市 浑 南 区 创 新 路 195 号 生 命 科 学 大 楼 B 座 619 报 告 厅 http://www.bmie.neu.edu.cn
More information封皮:
北 京 交 通 大 学 电 子 信 息 工 程 学 院 硕 士 研 究 生 报 考 指 南 北 京 市 海 淀 区 上 园 村 3 号 邮 编 100044 招 生 咨 询 电 话 :010-51687344-803 http://eaie.bjtu.edu.cn 北 京 交 通 大 学 概 况 : 教 育 部 直 属 的 全 国 重 点 大 学, 原 名 : 北 方 交 通 大 学 1896 年
More informationMicrosoft Word - sbs.doc
精 品 资 源 共 享 课 推 荐 表 ( 本 科 类 ) 推 荐 单 位 仲 恺 农 业 工 程 学 院 所 属 学 校 仲 恺 农 业 工 程 学 院 ( 是 否 部 属 ) 否 课 程 名 称 数 据 库 原 理 及 应 用 课 程 类 型 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 所 属 二 级 学 科 名 称
More informationMicrosoft Word - 互联网物联网探索-讲习班.doc
中 国 计 算 机 学 会 学 科 前 沿 讲 习 班 The CCF Advanced Disciplines Lectures 第 51 期 互 联 网 与 物 联 网 的 新 探 索 2014 年 9 月 19-21 日 上 海 本 期 CCF 学 科 前 沿 讲 习 班 互 联 网 与 物 联 网 的 新 探 索 邀 请 到 了 互 联 网 和 物 联 网 领 域 重 量 级 的 专 家 学
More informationMicrosoft PowerPoint - Aqua-Sim.pptx
Peng Xie, Zhong Zhou, Zheng Peng, Hai Yan, Tiansi Hu, Jun-Hong Cui, Zhijie Shi, Yunsi Fei, Shengli Zhou Underwater Sensor Network Lab 1 Outline Motivations System Overview Aqua-Sim Components Experimental
More informationMicrosoft Word - 201506定版
56 Chinese Journal of Library and Information Science for Traditional Chinese Medicine Dec. 2015 Vol. 39 No. 6 综 述 中 医 药 学 语 言 系 统 研 究 综 述 于 彤, 贾 李 蓉, 刘 静, 杨 硕 *, 董 燕, 朱 玲 中 国 中 医 科 学 院 中 医 药 信 息 研 究 所,
More informationy 1 = 槡 P 1 1h T 1 1f 1 s 1 + 槡 P 1 2g T 1 2 interference 2f 2 s y 2 = 槡 P 2 2h T 2 2f 2 s 2 + 槡 P 2 1g T 2 1 interference 1f 1 s + n n
37 1 Vol 37 No 1 2013 1 Journal of Jiangxi Normal UniversityNatural Science Jan 2013 1000-5862201301-0037-05 MISO 郭荣新, 袁继昌 361021 2 RVQ 2 MISO 3 TN 911 7 A 0 MIMO 2 MISO 3 MIMOnetwork MIMO 3GPP LTE-A 2
More information中文模板
软 件 学 报 doi: 10.13328/j.cnki.jos.004932 中 文 公 众 事 件 信 息 熵 计 算 方 法 靳 锐 +, 张 宏 莉, 张 玥, 王 星 ( 哈 尔 滨 工 业 大 学 计 算 机 科 学 与 技 术 学 院, 哈 尔 滨 150001) Calculation Method of Chinese Public Event Information Entropy
More information1. 课 程 负 责 人 情 况 姓 名 蒋 效 宇 性 别 男 出 生 年 月 基 本 信 息 最 终 学 历 研 究 生 职 称 副 教 授 电 话 学 位 博 士 职 务 无 传 真 研 究 方 向 MIS 系 统 整 合 电 子
北 京 服 装 学 院 精 品 课 程 建 设 立 项 申 报 表 课 程 名 称 管 理 信 息 系 统 所 属 部 门 商 学 院 课 程 类 型 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 所 属 二 级 学 科 名 称 课 程 负 责 人 管 理 科 学 与 工 程 管 理 信 息 系 统 蒋 效 宇 申 报 日
More information5 77 IDLH immediately dangerous to life or health concentration 20 mm 8 2 k - ε 1 Thorney Island Trial ( 2 k ) a 0 a k 1 4 Q ELY 0 kg /s
18 5 2013 10 Vol 18 No 5 JOURNAL OF HARBIN UNIVERSITY OF SCIENCE AND TECHNOLOGY Oct 2013 150080 IDLH Fluent 1 ~ 1 5 m 2 5 m X928 02 A 1007-2683 2013 05-0076- 06 The Arrangement of Ammonia Refrigeration
More informationIP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I
2004 5 IP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I Abstract The techniques of digital video processing, transferring
More information,,.,, : 1),,,,, 2),,,,, 3),,,,,,,,,, [6].,,, ( ),, [9], : 1), 2),,,,, 3),,, 2.,, [10].,,,,,,,,, [11]. 2.1,, [12],, ;, ; Fig. 1 1 Granular hier
36 7 Vol. 36, No. 7 2010 7 ACTA AUTOMATICA SINICA July, 2010 1, 2 1, 2, 3 1, 2,,,,,,, DOI,,, 10.3724/SP.J.1004.2010.00923 Distributed Simulation System Hierarchical Design Model Based on Quotient Space
More information59 1 CSpace 2 CSpace CSpace URL CSpace 1 CSpace URL 2 Lucene 3 ID 4 ID Web 1. 2 CSpace LireSolr 3 LireSolr 3 Web LireSolr ID
58 2016. 14 * LireSolr LireSolr CEDD Ajax CSpace LireSolr CEDD Abstract In order to offer better image support services it is necessary to extend the image retrieval function of our institutional repository.
More information一 课 程 负 责 人 情 况 姓 名 吴 翊 性 别 男 出 生 年 月 1948.08.28 1. 基 本 信 息 学 位 硕 士 职 称 教 授 职 务 所 在 院 系 理 学 院 数 学 与 系 统 科 学 系 电 话 13808485157 研 究 方 向 数 据 处 理 近 三 年 来
湖 南 省 普 通 高 等 学 校 省 级 精 品 课 程 复 核 申 报 表 学 校 名 称 : 课 程 名 称 : 课 程 负 责 人 : 立 项 时 间 : 国 防 科 技 大 学 概 率 论 与 数 理 统 计 吴 翊 2009 年 课 程 网 站 地 址 :jpkc2009.nudt.edu.cn/gllysltj jpkc.nudt.edu.cn/gltj 湖 南 省 教 育 厅 制 二
More information实验室代码
实 验 室 编 号 上 次 评 估 日 期 XJDX0905 自 治 区 重 点 实 验 室 五 年 工 作 总 结 (2010 年 1 月 1 日 2014 年 12 月 31 日 ) 实 验 室 名 称 : 实 验 室 主 任 : 新 疆 多 语 种 信 息 技 术 重 点 实 验 室 吾 守 尔 斯 拉 木 依 托 单 位 名 称 : 新 疆 大 学 联 系 电 话 : 0991-8582762
More information1.3
Software Engineering 软 件 工 程 Prof. Mei Hong 洪 玫 College of Computer Science and Software Engineering 四 川 大 学 计 算 机 ( 软 件 学 院 ) E-Mail: hongmei@scu.edu.cn Office: B502, Second Laboratory Building, Jiangan
More information填 写 说 明 1. 申 请 书 中 各 项 内 容 用 小 四 号 仿 宋 体 填 写 表 格 空 间 不 足 的, 可 以 扩 展 2. 中 心 工 作 职 责 是 指 在 中 心 承 担 的 具 体 教 学 和 管 理 任 务 3. 兼 职 人 员 是 指 编 制 不 在 中 心, 但 在 中
广 东 省 高 等 学 校 实 验 教 学 示 范 中 心 申 请 书 推 荐 单 位 : 学 校 名 称 : 中 心 名 称 : 暨 南 大 学 信 息 科 学 技 术 学 院 暨 南 大 学 计 算 机 科 学 技 术 实 验 中 心 中 心 网 址 : http://cs.jnu.edu.cn/shiyan/index.html 中 心 联 系 电 话 : 020-85228341 中 心 通
More information目 录
目 录 学 院 概 况... 1 计 算 机 与 信 息 学 院 ( 常 州 )... 2 物 联 网 工 程 专 业 介 绍... 3 物 联 网 工 程 专 业 介 绍... 4 专 业 人 才 培 养 方 案... 3 物 联 网 工 程 专 业 本 科 人 才 培 养 方 案... 6 课 程 教 学 大 纲... 15 第 一 部 分 基 础 课...16 电 路 教 学 大 纲... 16
More information[1] Liu Hongwei,2013, Study on Comprehensive Evaluation of Iron and Steel Enterprises Production System s Basic Capacities, International Asia Confere
刘 洪 伟 工 业 工 程 系 副 教 授 CV 下 载 办 公 电 话 : 电 子 邮 箱 :hw_liu999@tju.edu.cn 研 究 方 向 : 精 益 生 产 与 精 益 管 理 理 论 及 应 用 ; 工 业 工 程 与 信 息 技 术 集 成 管 理 ; 系 统 可 靠 性 理 论 与 方 法 ; 医 院 管 理 理 论 及 应 用 教 育 与 工 作 经 历 时 间 单 位 专
More informationMAXQ BA ( ) / 20
MAXQ BA11011028 2016 6 7 () 2016 6 7 1 / 20 1 2 3 4 () 2016 6 7 2 / 20 RoboCup 2D 11 11 100ms/ 1: RoboCup 2D () 2016 6 7 3 / 20 2: () 2016 6 7 4 / 20 () 2016 6 7 5 / 20 Markov Decision Theory [Puterman,
More information理 成 可 做 關 聯 分 析 的 格 式, 再 應 用 統 計 統 計 計 算 軟 體 R (R Core Team, 2013) 中 的 延 伸 套 件 arules (Hahsler, Gruen, and Hornik, 2005; Hahsler, Buchta, Gruen, and H
連 鎖 輕 食 店 之 產 品 關 聯 分 析 - 以 茗 人 為 例 Association Analysis of Deli Chain Example of MingZen 摘 要 所 謂 關 聯 分 析, 就 是 從 商 店 銷 售 交 易 資 料 庫 中, 找 出 項 目 之 間 的 關 聯 性, 並 探 勘 出 在 資 料 間 具 有 相 關 性 的 隱 藏 規 則 有 趣 的 是, 商
More information2011年上海市高校精品课程申报表(本科)
2012 年 度 上 海 高 校 市 级 精 品 课 程 申 报 表 ( 本 科 ) 学 校 名 称 课 程 名 称 课 程 类 型 上 海 电 机 学 院 数 据 库 原 理 及 应 用 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 工 学 所 属 二 级 学 科 名 称 课 程 负 责 人 计 算 机 科 学 与 技
More information专 技 能 1. 精 通 Matlab/Simulink 平 台 下 的 海 洋 运 载 器 运 动 控 制 系 统 与 仿 真 建 模 设 计 ; 2. 精 通 51 单 片 机 AVR 单 片 机 Arduino 开 源 板 的 开 发 和 设 计 ; 3. 精 通 基 于 Arduino 板
姓 名 董 早 鹏 性 别 男 出 生 年 月 1988 年 8 月 籍 贯 江 西 鹰 潭 基 本 情 况 政 治 面 貌 中 共 党 员 婚 姻 状 况 未 婚 最 高 学 历 工 学 博 士 外 语 水 平 英 语 六 级 联 系 方 式 电 话 :18945069498 E-mail:dongzaopeng@hrbeu.edu.cn 地 址 : 哈 尔 滨 市 南 岗 区 哈 尔 滨 工 程
More informationMechanical Science and Technology for Aerospace Engineering October Vol No. 10 Web SaaS B /S Web2. 0 Web2. 0 TP315 A
2012 10 31 10 Mechanical Science and Technology for Aerospace Engineering October Vol. 31 2012 No. 10 Web2. 0 400030 SaaS B /S Web2. 0 Web2. 0 TP315 A 1003-8728 2012 10-1638-06 Design and Implementation
More information,,, () 20 80,,,,, ;,, ;,, ;,,,,,,,,, [1 ], :,,,,2 2,,, () (),,,,:,,,,:,,,, :, [2 ] :,,,,,,, : AN NA,,,,,, ( ),:,,: ( F) = (A1 + A2 + A3 + An -
23 5 2009 9 J OU RNAL OF CH IN ESE IN FORMA TION PROCESSIN G Vol. 23, No. 5 Sep., 2009 : 100320077 (2009) 0520009210, (,) :,, ;,,,, ;,, : ;; ;;; : TP391 : A A Semantic Construction Model bet ween Adjectives
More information國立屏東教育大學碩士班研究生共同修業要點
目 錄 壹 國 立 屏 東 大 學 碩 士 班 研 究 生 共 同 修 業 辦 法...1 貳 國 立 屏 東 大 學 應 用 數 學 系 碩 士 班 研 究 生 修 業 要 點...5 參 應 用 數 學 系 碩 士 班 課 程 結 構...9 肆 應 用 數 學 系 專 任 師 資 簡 介...15 伍 應 用 數 學 系 碩 士 班 歷 屆 研 究 生 論 文 資 料...17 附 錄 一 國
More informationMixtions Pin Yin Homepage
an tai yin 安 胎 饮 775 ba wei dai xia fang 八 味 带 下 方 756 ba zhen tang 八 珍 汤 600 ba zheng san 八 正 散 601 bai he gu jin tang 百 合 固 金 汤 680 bai hu jia ren shen tang 白 虎 加 人 参 汤 755 bai hu tang 白 虎 汤 660 bai
More information标题
第 19 卷 摇 第 4 期 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 模 式 识 别 与 人 工 智 能 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Vol. 19 摇 No. 4 摇 006 年 8 月 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 PR & AI 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Aug 摇 摇
More information第 一 章 数 学 系 的 历 史 沿 革 第 一 节 数 学 系 的 渊 源 和 机 构 变 革 情 况 1949 年 6 月, 邸 耀 宗 厉 瑞 康 在 太 原 市 北 郊 上 兰 村 原 进 山 中 学 的 废 墟 上 筹 建 兵 工 职 业 学 校,1950 年 改 为 兵 工 高 级 职
前 言 中 北 大 学 数 学 系 是 伴 随 着 学 校 的 发 展, 在 几 代 人 的 努 力 下 不 断 发 展 壮 大 起 来 的 从 1953 年 太 原 机 械 工 业 学 校 数 学 教 研 组 到 2006 年 理 学 院 数 学 系, 其 间 凝 聚 了 中 北 几 代 数 学 人 的 汗 水 2011 年, 正 值 中 北 大 学 建 校 70 周 年 校 庆, 我 们 认 为
More information#4 ~ #5 12 m m m 1. 5 m # m mm m Z4 Z5
2011 6 6 153 JOURNAL OF RAILWAY ENGINEERING SOCIETY Jun 2011 NO. 6 Ser. 153 1006-2106 2011 06-0014 - 07 300142 ABAQUS 4. 287 mm 6. 651 mm U455. 43 A Analysis of Impact of Shield Tunneling on Displacement
More information現代學術之建立 陳平 998 7-3-3592-6 美學十五講 淩繼堯 美學 23 7-3-643-4 論集 徐複觀 書店出版社 的方位 陳寶生 宣傳 敦煌文藝出版社 論集續篇 徐複觀 書店出版社 莊子哲學 王博 道家 7-3-666-3 的天方學 沙宗平 伊斯蘭教 7-3-6844- 周易 經傳十
東西方比較研究 範明生, 陳超南 物流發展報告 物流與採購聯合會 物流發展報告 物流與採購聯合會 物流發展報告 丁俊發 唯物史觀與歷史科學 地理學 社會科學院出版 23 23 物流 研究報告 2 物資出版社 22 7-547-88-5 物流 物資出版社 7-547-22-3 龐卓恒 歷史唯物主義 高等教育出版社 7-4-4333-X 周尚意, 孔翔, 朱竑 地理學 高等教育出版社 7-4-446-
More information240 ( )
BIBLID 1026-5279 (2007) 96:2 p. 239-252252 (2007.12) 239 國家圖書館館刊 九十六年索引 ( 一 ) 中文 96 1 2007.6 87-122 96 1 2007.6 41-86 綉 綉 96 1 2007.6 1-39 96 2 2007.12 91-159 96 1 2007.6 96 1 2007.6 41-86 96 2 2007.12
More informationSTEAM STEAM STEAM ( ) STEAM STEAM ( ) 1977 [13] [10] STEM STEM 2. [11] [14] ( )STEAM [15] [16] STEAM [12] ( ) STEAM STEAM [17] STEAM STEAM STEA
2017 8 ( 292 ) DOI:10.13811/j.cnki.eer.2017.08.017 STEAM 1 1 2 3 4 (1. 130117; 2. + 130117; 3. 130022;4. 518100) [ ] 21 STEAM STEAM STEAM STEAM STEAM STEAM [ ] STEAM ; ; [ ] G434 [ ] A [ ] (1970 ) E-mail:ddzhou@nenu.edu.cn
More informationsp_overview.pptx
系統程式設計 Systems Programming 鄭卜壬教授臺灣大學資訊工程系 Tei-Wei Kuo, Chi-Sheng Shih, Hao-Hua Chu, and Pu-Jen Cheng 2008 Goal of SP Course You are expected. to be familiar with the UNIX-like systems to become good system
More information元培科技大學 年度「傑出校友」推薦表
101 年 度 傑 出 校 友 蕭 文 達 本 校 畢 業 年 屆 民 國 74 年 畢 業 科 系 土 木 工 程 科 五 專 部 二 專 日 間 部 進 修 部 二 技 日 間 部 進 修 部 四 技 日 間 部 進 修 部 進 修 學 院 學 經 歷 學 歷 經 歷 國 立 中 興 大 學 土 木 工 程 學 系 博 士 朝 陽 科 技 大 學 環 境 安 全 衛 生 中 心 組 長 (90.2~
More information标题
第 33 卷 摇 第 9 期 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 014 年 9 月 情 摇 报 摇 杂 摇 志 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 JOURNAL OF INTELLIGENCE Vol. 33 摇 No. 9 Sep. 摇 014 基 于 专 利 的 大 数 据 技 术 发 展 情 报 * 分 析 及 战 略 研 究 1 1 李 鹏 飞 摇 卢 摇
More information<D2BDC1C6BDA1BFB5CDB6C8DAD7CAB8DFB7E5C2DBCCB3B2CEBBE1C3FBB5A52E786C7378>
参 会 人 员 名 单 Last Name 姓 名 公 司 Tel Fax Bai 柏 煜 康 复 之 家 8610 8761 4189 8610 8761 4189 Bai 白 威 久 禧 道 和 股 权 投 资 管 理 ( 天 津 ) 有 限 公 司 8610 6506 7108 8610 6506 7108 Bao 包 景 明 通 用 技 术 集 团 投 资 管 理 有 限 公 司 8610
More informationMicrosoft Word - CWSN2010-PROGRAM.doc
第 四 届 中 国 传 感 器 网 络 学 术 会 议 CWSN2010 程 序 册 中 国 湖 南 长 沙 2010 年 10 月 28 日 -30 日 第 四 届 中 国 传 感 器 网 络 学 术 会 议 组 织 机 构 名 单 主 办 单 位 中 国 计 算 机 学 会 传 感 器 网 络 专 业 委 员 会 承 办 单 位 湖 南 大 学 协 办 单 位 湖 南 科 技 大 学 大 会 主
More informationUniversity of Science and Technology of China A dissertation for master s degree Research of e-learning style for public servants under the context of
中 国 科 学 技 术 大 学 硕 士 学 位 论 文 新 媒 体 环 境 下 公 务 员 在 线 培 训 模 式 研 究 作 者 姓 名 : 学 科 专 业 : 导 师 姓 名 : 完 成 时 间 : 潘 琳 数 字 媒 体 周 荣 庭 教 授 二 一 二 年 五 月 University of Science and Technology of China A dissertation for
More informationUDC The Design and Implementation of a Specialized Search Engine Based on Robot Technology 厦门大学博硕士论文摘要库
10384 200128011 UDC The Design and Implementation of a Specialized Search Engine Based on Robot Technology 2004 5 2004 2004 2004 5 World Wide Web Robot Web / (Focused Crawling) Web Meta data Web Web I
More information究 公 司 内 控 与 公 司 治 理 等 ) 中 国 会 计 学 会 会 计 基 本 理 论 专 业 委 员 会 委 员, 财 政 部 会 计 学 术 领 军 人 才 ( 后 备 ) 班 学 员 ( 第 一 批 ) 1985 年 毕 业 于 江 苏 大 学 动 力 机 械 工 程 系 ( 流 体
上 海 大 学 管 理 学 院 博 士 后 流 动 站 合 作 导 师 简 介 刘 人 怀 ( 男 ), 博 士, 教 授 主 要 研 究 领 域 : 创 新 与 知 识 管 理 工 业 工 程 与 质 量 管 理 1963 年 毕 业 于 兰 州 大 学 数 学 力 学 系,1978 1986 年 任 教 于 中 国 科 技 大 学,1986 1991 任 教 于 上 海 工 业 大 学, 担 任
More information資 訊 國 力 發 展 論 壇 2016 年 度 報 告 資 訊 軟 體 人 力 向 下 扎 根 與 培 育 指 導 單 位 : 教 育 部 行 政 院 科 技 會 報 主 辦 單 位 : 國 立 成 功 大 學 國 立 臺 灣 科 技 大 學 國 立 臺 灣 師 範 大 學 協 辦 單 位 : 電 腦 學 會 資 訊 學 會 執 行 單 位 : 教 育 部 資 通 訊 軟 體 創 新 人 才 推
More information* CUSUM EWMA PCA TS79 A DOI /j. issn X Incipient Fault Detection in Papermaking Wa
2 *. 20037 2. 50640 CUSUM EWMA PCA TS79 A DOI 0. 980 /j. issn. 0254-508X. 207. 08. 004 Incipient Fault Detection in Papermaking Wastewater Treatment Processes WANG Ling-song MA Pu-fan YE Feng-ying XIONG
More information93碩簡章
104 學 年 度 學 士 後 第 二 專 長 學 士 學 位 學 程 招 生 簡 章 配 合 產 業 用 人 需 求, 強 化 民 眾 職 場 就 業 能 力, 培 養 第 二 專 長, 本 校 辦 理 商 業 巨 量 資 料 管 理 工 程 法 律 實 務 數 位 音 樂 應 用 運 動 健 康 產 業 等 學 士 後 第 二 專 長 學 士 學 位 學 程, 歡 迎 已 取 得 學 士 以 上
More information101 101 3 7 1-1-1 100 2 34 1 2 34 3 97 1 3 97 5 211 3 80 1 21 3 9 312 3 112 1 12 1 31 3 5 155 1 19 3 162 1 4 181 1 29 1 1 29 10 24 808 1 2 1-2-1 () 1. 2. 1. 1. 2. 1. 2. 3. 1. 98 2. 99 1. 2. 1. 2.
More information交流活动
信 息 科 学 技 术 学 院 简 报 School of Electronics Engineering and Computer Science 二 零 一 六 年 第 二 期 ( 总 第 102 期 ) 北 京 大 学 信 息 科 学 技 术 学 院 二 零 一 六 年 三 月 三 十 一 日 党 政 : 3 月 7 日, 北 京 大 学 校 长 助 理 教 育 基 金 会 秘 书 长 邓 娅
More informationMicrosoft Word - A201009-646.doc
# 中 国 网 络 游 戏 外 挂 问 题 现 状 分 析 * 兰 晓, 尹 杰 ( 中 国 传 媒 大 学 信 息 工 程 学 院 ) 摘 要 : 网 络 游 戏 外 挂 的 泛 滥 严 重 阻 碍 了 中 国 网 络 游 戏 产 业 的 正 常 发 展 本 文 给 出 了 网 络 游 戏 外 挂 的 定 义, 并 对 当 前 中 国 网 络 游 戏 存 在 的 安 全 问 题 进 行 了 分 析,
More informationYour Paper's Title Starts Here: Please Center
International Conference on Advanced Information and Communication Technology for Education (ICAICTE 2014) Analysis about the influence of English Science News to the College English Study of College Students
More informationscope_d2d2.pdf
LAN 2 1. 5G 1. 5G 2. 1000 3. 4. mmwave 2. Bluetooth 1. Bluetooth 2. Bluetooth 3. 4. 3. MTC 1. MTC 2. MTC 3. MTC 4. MTC 5. MTC 1.1 5G 4G 5G [1] 1) a. 4G 1000 b. 5% 100Mbps 4G 100 a. 10Gbps 1.1 5G 2) 4G
More informationIT 36% Computer Science Teachers Association, CSTA K K-12 CSTA K-12 K-12 K-6 K6-9 K STEM STEM STEM
2017 4 357 GLOBAL EDUCATION Vol. 46 No4, 2017 K-12 2016 K-12 K-12 / 200062 / 200062 2015 8 2015 STEM STEM 1 Computer Science Association for Computing Machinery ACM Code Computer Science Teachers Association
More information14-1-人文封面
107 14 157-70 1 1 2 2 2 2 1 2 imonsters Trend Micro Incorporated 2015 2012 35 2013 2 140 2014 Android 400 2012 10 2015 800 imonsters 58 imonsters All, Castellar, & Van Looy, 2016 Piaget 1962 Vygotsky 1978
More informationuntitled
LBS Research and Application of Location Information Management Technology in LBS TP319 10290 UDC LBS Research and Application of Location Information Management Technology in LBS , LBS PDA LBS
More information2016 YOUNG MATHEMATICIAN FORUM Introduction To promote academic communication and cooperation between young staffs from the SMS and the BICMR of Pekin
2016 YOUNG MATHEMATICIAN FORUM Introduction To promote academic communication and cooperation between young staffs from the SMS and the BICMR of Peking University and overseas outstanding young scholars,
More information一 新 闻 新 闻 速 递 侯 伯 宇 先 进 事 迹 报 告 团 来 浙 巡 回 报 告 赵 洪 祝 葛 慧 君 赵 一 德 等 看 望 报 告 团 成 员 我 很 多 想 不 明 白 的 问 题, 直 到 看 了 侯 先 生 的 相 关 著 作, 才 恍 然 大 悟 10 月 17 日 下 午,
浙 江 工 业 大 学 经 贸 管 理 学 院 教 学 简 报 第 一 期 (2012 年 10 月 ) 目 录 新 闻 速 递 侯 伯 宇 先 进 事 迹 报 告 团 来 浙 巡 回 报 告 赵 洪 祝 葛 慧 君 赵 一 德 等 看 望 报 告 团 成 员 ------------ 1 我 省 首 届 高 校 优 秀 教 师 表 彰 会 召 开 夏 宝 龙 葛 慧 君 吴 国 华 郑 继 伟 徐
More informationg 100mv /g 0. 5 ~ 5kHz 1 YSV8116 DASP 1 N 2. 2 [ M] { x } + [ C] { x } + [ K]{ x } = { f t } 1 M C K 3 M C K f t x t 1 [ H( ω )] = - ω 2
10 2016 10 No. 10 Modular Machine Tool & Automatic Manufacturing Technique Oct. 2016 1001-2265 2016 10-0012 - 05 DOI 10. 13462 /j. cnki. mmtamt. 2016. 10. 004 * 116024 MIMO TH166 TG502 A Dynamic Performance
More information<4D6963726F736F667420506F776572506F696E74202D20C8EDBCFEBCDCB9B9CAA6D1D0D0DEBDB2D7F92E707074>
软 件 架 构 师 研 修 讲 座 胡 协 刚 软 件 架 构 师 UML/RUP 专 家 szjinco@public.szptt.net.cn 中 国 软 件 架 构 师 网 东 软 培 训 中 心 小 故 事 : 七 人 分 粥 当 前 软 件 团 队 的 开 发 现 状 和 面 临 的 问 题 软 件 项 目 的 特 点 解 决 之 道 : 从 瀑 布 模 型 到 迭 代 模 型 解 决 项
More information2 ( 自 然 科 学 版 ) 第 20 卷 波 ). 这 种 压 缩 波 空 气 必 然 有 一 部 分 要 绕 流 到 车 身 两 端 的 环 状 空 间 中, 形 成 与 列 车 运 行 方 向 相 反 的 空 气 流 动. 在 列 车 尾 部, 会 产 生 低 于 大 气 压 的 空 气 流
第 20 卷 第 3 期 2014 年 6 月 ( 自 然 科 学 版 ) JOURNAL OF SHANGHAI UNIVERSITY (NATURAL SCIENCE) Vol. 20 No. 3 June 2014 DOI: 10.3969/j.issn.1007-2861.2013.07.031 基 于 FLUENT 测 轨 道 交 通 隧 道 中 电 波 折 射 率 结 构 常 数 张 永
More informationMicrosoft Word - 作者声明.docx
关 于 野 鸡 杂 志 和 野 鸡 出 版 社, 开 源 在 线 出 版, 以 及 吐 槽 写 给 那 些 经 常 露 面 和 经 常 路 过 偶 尔 露 下 面 的 砖 家 和 童 鞋 们 作 者 : 学 术 女 流 氓 * 声 明 : 真 人 真 事, 请 勿 人 肉 * Corresponding Author: Daiqin Tao, PhD. E-mail: taodaiqin@hotmail.com
More informationuntitled
2007 Scientific and Technical Documents Publishing House 90 167 183 9 6000 2001 20052006 100100 100100 55 520105 5 (Essential Science IndicatorsESI) 14 (1)5 (2)5 (3)5 = 5 5 (4) = 5 5 (5)50% 50 49.80
More informationMicrosoft Word - 971管理學院工作報告2
管 理 學 院 97 學 年 度 第 一 學 期 校 務 會 議 工 作 報 告 管 理 學 院 1. 師 資 面 (1) 學 院 師 資 結 構 年 齡 學 位 職 級 的 組 成 本 院 專 任 教 師 共 88 位, 教 授 4 位 副 教 授 41 位 助 理 教 授 25 位 講 師 18 位 師 資 結 構 表 如 下 數 量 與 素 質 企 管 系 國 企 系 會 計 系 觀 光 系
More information2013 年 7 月 总 第 235 期 主 办 单 位 : 中 国 科 学 院 自 动 化 研 究 所 CONTENTS 中 国 科 学 院 自 动 化 研 究 所 所 刊 卷 首 语 节 令 是 一 种 命 令 毕 淑 敏 1 聚 焦 CASIA 自 动 化 所 召 开 庆 祝 建 党 92 周
卷 首 语 首 节 令 是 一 种 命 令 文 / 毕 淑 敏 夏 初, 买 菜 老 人 对 我 说, 买 我 的 吧 看 他 的 菜 摊, 好 似 堆 积 着 银 粉 色 的 乒 乓 球 我 说, 这 么 小 啊, 还 青, 远 没 有 冬 天 时 我 吃 的 西 红 柿 好 老 人 不 悦 地 说, 冬 天 的 西 红 柿 算 什 么 西 红 柿! 吃 它 们 哪 里 是 吃 菜, 分 明 是
More information1104102- 复 变 函 数 与 积 分 变 换 147 1 1 0 4 4 0 2 - 常 微 分 方 程 1 5 0 1 1 0 6 1 0 1 - 数 值 分 析 1 5 7 1106103- 数 值 分 析 课 程 实 习 162 1 1 0 6 1 0 6 - 微 分 方 程 数 值
教 学 计 划 计 算 机 科 学 与 技 术 专 业 教 学 计 划.4 信 息 管 理 与 信 息 系 统 专 业 教 学 计 划.10 信 息 与 计 算 科 学 专 业 教 学 计 划. 1 5 空 间 信 息 与 数 字 技 术 专 业 教 学 计 划.21 教 学 大 纲 1101401- 高 等 数 学 A( 一 )( 甲 班 ) 25 1101401- 高 等 数 学 A( 一 )(
More informationMicrosoft Word - 19王建华.doc
2012 年 12 月 图 学 学 报 December 2012 第 33 卷 第 6 期 JOURNAL OF GRAPHICS Vol.33 No.6 工 程 图 学 计 算 机 辅 助 教 学 实 践 与 思 考 王 建 华, 郝 育 新, 刘 令 涛 ( 北 京 信 息 科 技 大 学 机 电 学 院, 北 京 100192) 摘 要 : 随 着 计 算 机 技 术 的 迅 猛 发 展 和
More informationuntitled
JABEE ED JABEE (ED) 2007 JABEE JABEE EDJABEE JABEE (Plan) (Do) (Do) (Do) (Check) (Action) ED 1 20022003 (1) (e) 20042007 (1) (e) WA (1)(e) JABEE (1/3) JABEE 1. 2. (2/3) JABEE 3. (3/3) JABEE 4. 5. 6. 2007
More information08_729.dvi
2007 55 1 113 124 c 2007 1 1 2,3 Jung Jin Lee 4 2006 8 2 2007 3 2 Jasp Jasp 1., 2005 Chang, 2006 1 1 769 2193 1314 1 2 106 8569 4 6 7 3 106 8569 4 6 7 4 Department of Statistics, Soong Sil University,
More informationMicrosoft Word - 07.docx
應 用 GeoGebra 數 學 軟 體 於 數 學 課 程 的 教 學 Using Dynamic Mathematical Software GeoGebra in Mathematical Course 姜 正 雄 Cheng-Hsiung Chiang 玄 奘 大 學 資 訊 管 理 學 系 Department of Information Management, Hsuan Chuang
More information科 研 信 息 化 技 术 与 应 用,2015, 6 (1) of identity and the framework of identity management, this paper analyses the development trend of Identity Management
科 研 信 息 化 技 术 与 应 用 2015, 6(1): 41 49 应 用 / APPLICATION 身 份 管 理 发 展 趋 势 和 中 国 科 学 院 身 份 管 理 系 统 薛 聪 1,2, 向 继 1 1, 高 能 1. 中 国 科 学 院 信 息 工 程 研 究 所 信 息 安 全 国 家 重 点 实 验 室, 北 京 100093 2. 中 国 科 学 院 大 学, 北 京
More informationWelch & Bishop, [Kalman60] [Maybeck79] [Sorenson70] [Gelb74, Grewal93, Maybeck79, Lewis86, Brown92, Jacobs93] x R n x k = Ax k 1 + Bu k 1 + w
Greg Welch 1 and Gary Bishop 2 TR 95-041 Department of Computer Science University of North Carolina at Chapel Hill 3 Chapel Hill, NC 27599-3175 : 2006 7 24 2007 1 8 1960 1 welch@cs.unc.edu, http://www.cs.unc.edu/
More information2013国际营销科学与信息技术大会(MSIT2013)
2013 国 际 营 销 科 学 与 信 息 技 术 大 会 (MSIT2013) 邀 请 函 随 着 全 球 市 场 环 境 的 不 断 变 化 和 网 络 信 息 技 术 的 日 新 月 异, 营 销 科 学 和 营 销 方 式 的 创 新 对 于 企 业 的 发 展 起 着 越 来 越 大 的 作 用 为 了 进 一 步 推 动 国 内 外 营 销 学 者 的 学 术 交 流 与 合 作, 促
More informationCIP /. 2005. 12 ISBN 7-5062 - 7683-6 Ⅰ.... Ⅱ.... Ⅲ. Ⅳ. G624.203 CIP 2005 082803 櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶櫶 17 710001 029-87232980 87214941 029-87279675 87279676 880 1230 1/64 4.0 110 2006 2 1 2006 2 1 ISBN
More information数学与应用数学专业本科培养计划
信 息 与 计 算 科 学 专 业 本 科 培 养 计 划 Undergraduate Program for Specialty in Information and Computing Science 一 培 养 目 标 Ⅰ.Educational Objectives 本 学 科 是 研 究 以 信 息 领 域 为 背 景 的 数 学 基 础 理 论 方 法 和 应 用 的 学 科 本 专 业
More information填 表 须 知 一 本 申 报 书 适 用 于 申 报 安 徽 省 高 层 次 科 技 人 才 团 队 填 写 二 申 报 书 中 有 关 栏 目 需 选 择 填 写 的, 请 按 照 填 写 说 明 如 实 并 准 确 填 写 三 申 报 书 内 容 要 逐 项 填 写, 实 际 内 容 不 发
安 徽 省 高 层 次 科 技 人 才 团 队 申 报 书 项 目 编 号 : 团 队 领 军 人 才 姓 名 : 叶 乐 所 从 事 专 业 或 产 业 领 域 : 电 子 科 学 与 技 术 公 司 拟 注 册 地 : 铜 陵 市 铜 官 山 区 单 位 地 址 : 北 京 市 海 淀 区 颐 和 园 路 5 号 微 纳 电 子 大 厦 543 邮 政 编 码 :100871 团 队 联 系 人
More information2013_6_3.indd
中 国 科 技 资 源 导 刊 ISSN 1674-1544 2013 年 11 月 第 45 卷 第 6 期 95-99, 107 CHINA SCIENCE & TECHNOLOGY RESOURCES REVIEW ISSN 1674-1544 Vol.45 No.6 95-99, 107 Nov. 2013 构 建 基 于 大 数 据 的 智 能 高 校 信 息 化 管 理 服 务 系 统
More information高 职 计 算 机 类 优 秀 教 材 书 目 * 序 号 书 号 (ISBN) 书 名 作 者 定 价 出 版 / 印 刷 日 期 ** 配 套 资 源 页 码 计 算 机 基 础 课 1 978-7-111-30658-0 计 算 机 应 用 基 础 刘 升 贵 29.00 2012 年 8 月
高 职 计 算 机 类 优 秀 教 材 书 目 * 序 号 书 号 (ISBN) 书 名 作 者 定 价 出 版 / 印 刷 日 期 ** 配 套 资 源 页 码 计 算 机 基 础 课 1 978-7-111-30658-0 计 算 机 应 用 基 础 刘 升 贵 29.00 2012 年 8 月 电 子 教 案 P1 2 978-7-111-27081-2 计 算 机 应 用 基 础 ( 第 2
More information262 管 理 與 系 統 countries including Taiwan. Because of the liberalization policy of Taiwan s power industry, there is a critical demand to explore the m
管 理 與 系 統 第 十 六 卷 第 二 期 民 國 九 十 八 年 四 月 261-284 頁 Journal of Management & Systems Vol. 16, No. 2, April 2009 pp. 261-284 我 國 電 力 自 由 化 市 場 交 易 機 制 與 配 套 措 施 研 究 A Study on Market Mechanism and Ancillary
More information中 国 系 统 工 程 学 会 理 事 会 民 主 管 理 办 法 中 国 系 统 工 程 学 会 行 政 人 员 人 事 管 理 制 度 中 国 系 统 工 程 学 会 财 务 管 理 办 法 教 育 系 统 工 程 专 业 委 员 会 2015 年 工 作 总 结 过 程 系 统 工 程 专 业
中 国 系 统 工 程 学 会 情 况 简 报 中 国 系 统 工 程 学 会 编 ( 总 84 期 ) Tel : 010-82541242 Email: sesc@ iss.ac.cn http://www.sesc.org.cn/htm/index.htm 二 一 五 年 十 二 月 二 十 日 中 国 系 统 工 程 学 会 在 2014 年 度 全 国 学 会 财 务 决 算 工 作 中
More information/3 CAD JPG GIS CAD GIS GIS 1 a CAD CAD CAD GIS GIS ArcGIS 9. x 10 1 b 1112 CAD GIS 1 c R2VArcscan CAD MapGIS CAD 1 d CAD U
1006-3862 2010 05-0059 - 07 361005 1 GIS 2 3 What if 2. 0 1 2 3 4 GIS TU984. 11 A 1 Planning Support System MIS PSS 1989 1 90 23 4-7 GIS Planning Support GIS System SDSS PSS GIS GIS CAD GIS SDSS CAD CAD
More information穨423.PDF
Chinese Journal of Science Education 2002,, 423-439 2002, 10(4), 423-439 1 2 1 1 1 2 90 8 10 91 4 9 91 8 22 ) NII 1995 7 14, 1999 1997 (Cooperative Remotely Accessible Learning CORAL) 424 (Collaborative
More information一 本 学 科 概 况 ( 学 科 一 般 情 况 ) 1.1 学 科 概 况 ( 管 理 科 学 与 工 程 ) 管 理 科 学 与 工 程 是 管 理 学 门 类 中 的 一 级 学 科, 其 下 不 设 二 级 学 科 管 理 科 学 与 工 程 学 科 是 以 人 类 社 会 组 织 管 理
深 圳 大 学 管 理 科 学 与 工 程 一 级 学 科 学 术 学 位 硕 士 研 究 生 培 养 方 案 修 订 前 期 调 研 报 告 学 院 :( 盖 章 ) 学 科 ( 位 ) 点 名 称 : 管 理 科 学 与 工 程 ( 一 级 学 科 ) 负 责 人 : 王 家 远 1 一 本 学 科 概 况 ( 学 科 一 般 情 况 ) 1.1 学 科 概 况 ( 管 理 科 学 与 工 程
More information7 2 2012 26 (1) ( ) : (3), (12) (7) (10)
1 2 3.4 1* 3* (Case-based reasoning) (15) 2012 7(2) 25-45 1 2 3 4 168 (05)2720411 ~ 33110, : naiwei@cs.ccu.edu.tw (05)2648000-5542 :yehlinlo@gmail.com 7 2 2012 25 7 2 2012 26 (1) ( ) : (3), (12) (7) (10)
More information