上海高校示范性全英语教学课程建设

Size: px
Start display at page:

Download "上海高校示范性全英语教学课程建设"

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 号 邮 编 近 两 年 来 授 课 教 学 研 究 情 况 近 似 算 法 数 据 通 信 与 数 据 工 程 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) 教 学 资 料, 包 括 课 件 作 业 及 答 案 课 程 设 计 及 相 关 辅 助 材 料 课 程 邮 件 列 表 功 能 : 发 布 课 程 参 考 资 料 互 动 交 流 答 疑 等 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 文 档 格 式 如 实 填 写 各 项 二 表 格 文 本 中 外 文 名 词 第 一 次 出 现 时, 要 写 清 全 称 和 缩 写, 再 次 出 现 时 可 以 使 用 缩 写 三 涉 密 内 容 不 填 写, 有 可 能 涉 密 和 不 宜 大 范 围 公

填 写 要 求 一 以 word 文 档 格 式 如 实 填 写 各 项 二 表 格 文 本 中 外 文 名 词 第 一 次 出 现 时, 要 写 清 全 称 和 缩 写, 再 次 出 现 时 可 以 使 用 缩 写 三 涉 密 内 容 不 填 写, 有 可 能 涉 密 和 不 宜 大 范 围 公 2013 年 度 上 海 高 校 市 级 精 品 课 程 申 报 表 ( 本 科 ) 学 校 名 称 东 华 大 学 课 程 名 称 计 算 机 系 统 与 网 络 技 术 课 程 类 型 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 所 属 二 级 学 科 名 称 课 程 负 责 人 申 报 日 期 工 科 计 算 机

More information

附3

附3 普 通 高 等 学 校 本 科 专 业 设 置 申 请 表 ( 备 案 专 业 适 用 ) 080910T 3-6 2 016 7 6 4884878 目 录 填 表 说 明 ⒈ ⒉ ⒊ ⒋ ⒌ 1. 普 通 高 等 学 校 增 设 本 科 专 业 基 本 情 况 表 080910T 3-6 1978 36 ( 1978) ( 2008) 2017 60 120 / S J ⒉ 学 校 基 本 情

More information

論文寫作技巧

論文寫作技巧 論 文 寫 作 注 意 事 項 (How to Write a Paper) 初 版 合 撰 者 : (2/3/2004) 中 央 大 學 資 工 系 許 健 平 教 授 長 榮 大 學 資 管 系 陳 宗 禧 教 授 淡 江 大 學 資 工 系 張 志 勇 教 授 淡 江 大 學 資 工 系 石 貴 平 教 授 中 正 大 學 資 工 系 陳 裕 賢 教 授 一 題 目 (Title) 1. 題

More information

高等学校教师职务申报表(高级职务)

高等学校教师职务申报表(高级职务) 编 号 : 二 级 学 科 : 检 测 技 术 与 自 动 化 装 置 高 等 学 校 教 师 职 务 申 报 表 学 校 名 称 : 北 京 科 技 大 学 教 师 姓 名 : 孟 伟 所 在 单 位 : 自 动 化 学 院 现 任 职 务 : 研 究 科 学 家 拟 聘 职 务 : 副 教 授 北 京 科 技 大 学 制 填 表 说 明 1. 本 表 可 从 校 OA 网 下 载 2. 填 写

More information

附件1:

附件1: 增 列 硕 士 专 业 学 位 授 权 点 申 请 表 硕 士 专 业 学 位 类 别 ( 工 程 领 域 ): 工 程 硕 士 ( 计 算 机 技 术 ) 申 报 单 位 名 称 : 上 海 电 力 学 院 国 务 院 学 位 委 员 会 办 公 室 制 表 2016 年 6 月 26 日 填 目 录 一 申 请 增 列 硕 士 专 业 学 位 授 权 点 论 证 报 告... 1 1. 人 才

More information

白峰杉:数学的人文内涵与科技外延

白峰杉:数学的人文内涵与科技外延 目 录 会 议 信 息 第 三 届 并 行 结 构 算 法 与 编 程 国 际 研 讨 会 2 第 11 届 并 行 分 布 式 计 算 及 应 用 国 际 学 术 会 议 4 2010 华 人 数 学 家 国 际 会 议 5 第 三 届 全 国 计 算 机 数 学 学 术 会 议 6 会 议 纪 要 中 国 计 算 数 学 会 第 七 届 常 务 理 事 会 第 四 次 会 议 纪 要 10 第

More information

<4D6963726F736F667420576F7264202D20C9CFBAA3BFC6BCBCB4F3D1A7D0C5CFA2D1A7D4BA32303136C4EAC7EFBCBEC8EBD1A7B2A9CABFD7CAB8F1BFBCCAD4CAB5CAA9CFB8D4F22D30343036C8B7B6A8B8E5>

<4D6963726F736F667420576F7264202D20C9CFBAA3BFC6BCBCB4F3D1A7D0C5CFA2D1A7D4BA32303136C4EAC7EFBCBEC8EBD1A7B2A9CABFD7CAB8F1BFBCCAD4CAB5CAA9CFB8D4F22D30343036C8B7B6A8B8E5> 上 海 科 技 大 学 信 息 科 学 与 技 术 学 院 年 度 博 士 资 格 考 试 实 施 细 则 一 总 则 本 细 则 由 上 海 科 技 大 学 信 息 科 学 与 技 术 学 院 ( 以 下 简 称 信 息 学 院 ) 教 学 指 导 委 员 会 讨 论 制 定, 适 用 于 信 息 学 院 2014 级 硕 士 研 究 生 的 年 度 博 士 资 格 考 试 信 息 学 院 2014

More information

<4D6963726F736F667420576F7264202D20B8BDBCFE3220BDCCD3FDB2BFD6D8B5E3CAB5D1E9CAD2C4EAB6C8BFBCBACBB1A8B8E6A3A8C4A3B0E5A3A92E646F6378>

<4D6963726F736F667420576F7264202D20B8BDBCFE3220BDCCD3FDB2BFD6D8B5E3CAB5D1E9CAD2C4EAB6C8BFBCBACBB1A8B8E6A3A8C4A3B0E5A3A92E646F6378> 批 准 立 项 年 份 2007 通 过 验 收 年 份 2013 教 育 部 重 点 实 验 室 年 度 报 告 ( 2015 年 1 月 2015 年 12 月 ) 实 验 室 名 称 : 机 器 智 能 与 先 进 计 算 教 育 部 重 点 实 验 室 实 验 室 主 任 : 张 军 实 验 室 联 系 人 / 联 系 电 电 : 詹 志 辉 /13826089486 E-mail 地 址

More information

北 京 大 学

北 京 大 学 北 京 大 学 硕 士 研 究 生 培 养 方 案 ( 信 息 工 程 学 院 报 表 修 订 版 本 ) 一 级 学 科 名 称 专 业 名 称 计 算 机 科 学 与 技 术 计 算 机 应 用 技 术 专 业 代 码 081203 北 京 大 学 研 究 生 院 制 表 填 表 日 期 :2012 年 06 月 16 日 一 学 科 ( 专 业 ) 主 要 研 究 方 向 序 研 究 方 向

More information

untitled

untitled 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 information

关于2007年硕士研究生培养方案修订几点要求的说明

关于2007年硕士研究生培养方案修订几点要求的说明 学 科 门 类 : 管 理 学 一 级 学 科 : 管 理 科 学 与 工 程 管 理 信 息 系 统 学 科 培 养 方 案 ( 二 级 学 科 代 码 :1201Z1) 一 学 科 概 况 管 理 信 息 系 统 是 一 个 集 管 理 科 学 信 息 技 术 和 行 为 科 学 等 多 学 科 交 叉 的 综 合 性 学 科 本 学 科 主 要 研 究 如 何 利 用 信 息 技 术 提 高

More information

Microsoft Word - 103-4 記錄附件

Microsoft Word - 103-4 記錄附件 國 立 虎 尾 技 大 103 年 度 第 4 次 教 務 會 議 記 錄 附 件 中 華 民 國 104 年 6 月 16 日 受 文 者 : 國 立 虎 尾 技 大 發 文 日 期 : 中 華 民 國 104 年 5 月 28 日 發 文 字 號 : 臺 教 技 ( 二 ) 字 第 1040058590 號 速 別 : 最 速 件 密 等 及 解 密 條 件 或 保 密 期 限 : 附 件 :

More information

附件4

附件4 附 件 2 2015 年 省 级 精 品 资 源 共 享 课 申 报 书 ( 本 科 ) 申 报 学 校 西 华 师 范 大 学 课 程 名 称 数 值 方 法 与 计 算 机 技 术 课 程 类 型 公 共 基 础 课 专 业 基 础 课 专 业 课 其 它 所 属 学 科 门 类 理 学 ( 数 学 ) 所 属 专 业 类 名 称 课 程 负 责 人 数 学 与 应 用 数 学 信 息 与 计

More information

XXX专业本科人才培养方案

XXX专业本科人才培养方案 计 算 机 科 学 与 技 术 专 业 本 科 人 才 培 养 方 案 (Computer Science and Technology 080901) 一 培 养 目 标 本 专 业 培 养 德 智 体 美 全 面 发 展, 具 有 良 好 的 科 学 与 人 文 素 养, 熟 悉 经 济 管 理 法 律 等 相 关 基 础 知 识, 系 统 地 掌 握 计 算 机 硬 件 软 件 方 面 的 基

More information

Microsoft Word - 专论综述1.doc

Microsoft 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: 郑 斌 教 授, 美 国 俄 克 拉 荷 马 大 学 医 学 图 像 特 征 分 析 与 癌 症 风 险 评 估 方 法 摘 要 : 准 确 的 评 估 癌 症 近 期 发 病 风 险 和 预 后 或 者 治 疗 效 果 是 发 展 和 建 立 精 准 医 学 的 一 个 重 要 前

报 告 1: 郑 斌 教 授, 美 国 俄 克 拉 荷 马 大 学 医 学 图 像 特 征 分 析 与 癌 症 风 险 评 估 方 法 摘 要 : 准 确 的 评 估 癌 症 近 期 发 病 风 险 和 预 后 或 者 治 疗 效 果 是 发 展 和 建 立 精 准 医 学 的 一 个 重 要 前 东 北 大 学 中 荷 生 物 医 学 与 信 息 工 程 学 院 2016 年 度 生 物 医 学 与 信 息 工 程 论 坛 会 议 时 间 2016 年 6 月 8 日, 星 期 三,9:30 至 16:00 会 议 地 址 会 议 网 址 主 办 单 位 东 北 大 学 浑 南 校 区 沈 阳 市 浑 南 区 创 新 路 195 号 生 命 科 学 大 楼 B 座 619 报 告 厅 http://www.bmie.neu.edu.cn

More information

附件1:

附件1: 申 请 学 士 学 位 授 予 权 专 业 申 报 表 学 科 门 类 工 学 门 类 代 码 0809 专 业 名 称 网 络 工 程 专 业 代 码 080903 批 准 时 间 2012 年 学 校 名 称 西 安 交 通 大 学 城 市 学 院 单 位 代 码 13677 陕 西 省 学 位 委 员 会 办 公 室 2016 年 3 月 15 日 填 1 Ⅰ 专 业 简 况 与 自 评 (

More information

封皮:

封皮: 北 京 交 通 大 学 电 子 信 息 工 程 学 院 硕 士 研 究 生 报 考 指 南 北 京 市 海 淀 区 上 园 村 3 号 邮 编 100044 招 生 咨 询 电 话 :010-51687344-803 http://eaie.bjtu.edu.cn 北 京 交 通 大 学 概 况 : 教 育 部 直 属 的 全 国 重 点 大 学, 原 名 : 北 方 交 通 大 学 1896 年

More information

Microsoft Word - 201506定版

Microsoft Word - 201506定版 56 Chinese Journal of Library and Information Science for Traditional Chinese Medicine Dec. 2015 Vol. 39 No. 6 综 述 中 医 药 学 语 言 系 统 研 究 综 述 于 彤, 贾 李 蓉, 刘 静, 杨 硕 *, 董 燕, 朱 玲 中 国 中 医 科 学 院 中 医 药 信 息 研 究 所,

More information

Microsoft Word - 互联网物联网探索-讲习班.doc

Microsoft Word - 互联网物联网探索-讲习班.doc 中 国 计 算 机 学 会 学 科 前 沿 讲 习 班 The CCF Advanced Disciplines Lectures 第 51 期 互 联 网 与 物 联 网 的 新 探 索 2014 年 9 月 19-21 日 上 海 本 期 CCF 学 科 前 沿 讲 习 班 互 联 网 与 物 联 网 的 新 探 索 邀 请 到 了 互 联 网 和 物 联 网 领 域 重 量 级 的 专 家 学

More information

Microsoft Word - sbs.doc

Microsoft Word - sbs.doc 精 品 资 源 共 享 课 推 荐 表 ( 本 科 类 ) 推 荐 单 位 仲 恺 农 业 工 程 学 院 所 属 学 校 仲 恺 农 业 工 程 学 院 ( 是 否 部 属 ) 否 课 程 名 称 数 据 库 原 理 及 应 用 课 程 类 型 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 所 属 二 级 学 科 名 称

More information

电 信 领 域 排 名 前 20 名 占 15 席 1 IEEE Communications Surveys And Tutorials 874 6.311 3 IEEE Communications Magazine 6016 3.785 4 IEEE Journal On Selected A

电 信 领 域 排 名 前 20 名 占 15 席 1 IEEE Communications Surveys And Tutorials 874 6.311 3 IEEE Communications Magazine 6016 3.785 4 IEEE Journal On Selected A IEL Newsletter 2012 年 12 月 特 刊 : IEEE 期 刊 的 影 响 因 子 在 各 学 科 领 域 的 排 名 情 况 欢 迎 体 验 全 新 的 IEEE Xplore 数 字 图 书 馆 www.ieee.org/ieeexplore IEEE 成 立 于 1884 年, 是 全 球 最 大 的 技 术 行 业 协 会, 凭 借 其 多 样 化 的 出 版 物 会 议

More information

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

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 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

,,.,, : 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 information

中文模板

中文模板 软 件 学 报 doi: 10.13328/j.cnki.jos.004932 中 文 公 众 事 件 信 息 熵 计 算 方 法 靳 锐 +, 张 宏 莉, 张 玥, 王 星 ( 哈 尔 滨 工 业 大 学 计 算 机 科 学 与 技 术 学 院, 哈 尔 滨 150001) Calculation Method of Chinese Public Event Information Entropy

More information

1. 课 程 负 责 人 情 况 姓 名 蒋 效 宇 性 别 男 出 生 年 月 基 本 信 息 最 终 学 历 研 究 生 职 称 副 教 授 电 话 学 位 博 士 职 务 无 传 真 研 究 方 向 MIS 系 统 整 合 电 子

1. 课 程 负 责 人 情 况 姓 名 蒋 效 宇 性 别 男 出 生 年 月 基 本 信 息 最 终 学 历 研 究 生 职 称 副 教 授 电 话 学 位 博 士 职 务 无 传 真 研 究 方 向 MIS 系 统 整 合 电 子 北 京 服 装 学 院 精 品 课 程 建 设 立 项 申 报 表 课 程 名 称 管 理 信 息 系 统 所 属 部 门 商 学 院 课 程 类 型 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 所 属 二 级 学 科 名 称 课 程 负 责 人 管 理 科 学 与 工 程 管 理 信 息 系 统 蒋 效 宇 申 报 日

More information

國立屏東教育大學碩士班研究生共同修業要點

國立屏東教育大學碩士班研究生共同修業要點 目 錄 壹 國 立 屏 東 大 學 碩 士 班 研 究 生 共 同 修 業 辦 法...1 貳 國 立 屏 東 大 學 應 用 數 學 系 碩 士 班 研 究 生 修 業 要 點...5 參 應 用 數 學 系 碩 士 班 課 程 結 構...9 肆 應 用 數 學 系 專 任 師 資 簡 介...15 伍 應 用 數 學 系 碩 士 班 歷 屆 研 究 生 論 文 資 料...17 附 錄 一 國

More information

Mixtions Pin Yin Homepage

Mixtions 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

2011年上海市高校精品课程申报表(本科)

2011年上海市高校精品课程申报表(本科) 2012 年 度 上 海 高 校 市 级 精 品 课 程 申 报 表 ( 本 科 ) 学 校 名 称 课 程 名 称 课 程 类 型 上 海 电 机 学 院 数 据 库 原 理 及 应 用 理 论 课 ( 不 含 实 践 ) 理 论 课 ( 含 实 践 ) 实 验 ( 践 ) 课 所 属 一 级 学 科 名 称 工 学 所 属 二 级 学 科 名 称 课 程 负 责 人 计 算 机 科 学 与 技

More information

专 技 能 1. 精 通 Matlab/Simulink 平 台 下 的 海 洋 运 载 器 运 动 控 制 系 统 与 仿 真 建 模 设 计 ; 2. 精 通 51 单 片 机 AVR 单 片 机 Arduino 开 源 板 的 开 发 和 设 计 ; 3. 精 通 基 于 Arduino 板

专 技 能 1. 精 通 Matlab/Simulink 平 台 下 的 海 洋 运 载 器 运 动 控 制 系 统 与 仿 真 建 模 设 计 ; 2. 精 通 51 单 片 机 AVR 单 片 机 Arduino 开 源 板 的 开 发 和 设 计 ; 3. 精 通 基 于 Arduino 板 姓 名 董 早 鹏 性 别 男 出 生 年 月 1988 年 8 月 籍 贯 江 西 鹰 潭 基 本 情 况 政 治 面 貌 中 共 党 员 婚 姻 状 况 未 婚 最 高 学 历 工 学 博 士 外 语 水 平 英 语 六 级 联 系 方 式 电 话 :18945069498 E-mail:dongzaopeng@hrbeu.edu.cn 地 址 : 哈 尔 滨 市 南 岗 区 哈 尔 滨 工 程

More information

理 成 可 做 關 聯 分 析 的 格 式, 再 應 用 統 計 統 計 計 算 軟 體 R (R Core Team, 2013) 中 的 延 伸 套 件 arules (Hahsler, Gruen, and Hornik, 2005; Hahsler, Buchta, Gruen, and H

理 成 可 做 關 聯 分 析 的 格 式, 再 應 用 統 計 統 計 計 算 軟 體 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 information

一 课 程 负 责 人 情 况 姓 名 吴 翊 性 别 男 出 生 年 月 1948.08.28 1. 基 本 信 息 学 位 硕 士 职 称 教 授 职 务 所 在 院 系 理 学 院 数 学 与 系 统 科 学 系 电 话 13808485157 研 究 方 向 数 据 处 理 近 三 年 来

一 课 程 负 责 人 情 况 姓 名 吴 翊 性 别 男 出 生 年 月 1948.08.28 1. 基 本 信 息 学 位 硕 士 职 称 教 授 职 务 所 在 院 系 理 学 院 数 学 与 系 统 科 学 系 电 话 13808485157 研 究 方 向 数 据 处 理 近 三 年 来 湖 南 省 普 通 高 等 学 校 省 级 精 品 课 程 复 核 申 报 表 学 校 名 称 : 课 程 名 称 : 课 程 负 责 人 : 立 项 时 间 : 国 防 科 技 大 学 概 率 论 与 数 理 统 计 吴 翊 2009 年 课 程 网 站 地 址 :jpkc2009.nudt.edu.cn/gllysltj jpkc.nudt.edu.cn/gltj 湖 南 省 教 育 厅 制 二

More information

,,, () 20 80,,,,, ;,, ;,, ;,,,,,,,,, [1 ], :,,,,2 2,,, () (),,,,:,,,,:,,,, :, [2 ] :,,,,,,, : AN NA,,,,,, ( ),:,,: ( F) = (A1 + A2 + A3 + An -

,,, () 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

实验室代码

实验室代码 实 验 室 编 号 上 次 评 估 日 期 XJDX0905 自 治 区 重 点 实 验 室 五 年 工 作 总 结 (2010 年 1 月 1 日 2014 年 12 月 31 日 ) 实 验 室 名 称 : 实 验 室 主 任 : 新 疆 多 语 种 信 息 技 术 重 点 实 验 室 吾 守 尔 斯 拉 木 依 托 单 位 名 称 : 新 疆 大 学 联 系 电 话 : 0991-8582762

More information

目 录

目    录 目 录 学 院 概 况... 1 计 算 机 与 信 息 学 院 ( 常 州 )... 2 物 联 网 工 程 专 业 介 绍... 3 物 联 网 工 程 专 业 介 绍... 4 专 业 人 才 培 养 方 案... 3 物 联 网 工 程 专 业 本 科 人 才 培 养 方 案... 6 课 程 教 学 大 纲... 15 第 一 部 分 基 础 课...16 电 路 教 学 大 纲... 16

More information

填 写 说 明 1. 申 请 书 中 各 项 内 容 用 小 四 号 仿 宋 体 填 写 表 格 空 间 不 足 的, 可 以 扩 展 2. 中 心 工 作 职 责 是 指 在 中 心 承 担 的 具 体 教 学 和 管 理 任 务 3. 兼 职 人 员 是 指 编 制 不 在 中 心, 但 在 中

填 写 说 明 1. 申 请 书 中 各 项 内 容 用 小 四 号 仿 宋 体 填 写 表 格 空 间 不 足 的, 可 以 扩 展 2. 中 心 工 作 职 责 是 指 在 中 心 承 担 的 具 体 教 学 和 管 理 任 务 3. 兼 职 人 员 是 指 编 制 不 在 中 心, 但 在 中 广 东 省 高 等 学 校 实 验 教 学 示 范 中 心 申 请 书 推 荐 单 位 : 学 校 名 称 : 中 心 名 称 : 暨 南 大 学 信 息 科 学 技 术 学 院 暨 南 大 学 计 算 机 科 学 技 术 实 验 中 心 中 心 网 址 : http://cs.jnu.edu.cn/shiyan/index.html 中 心 联 系 电 话 : 020-85228341 中 心 通

More information

[1] Liu Hongwei,2013, Study on Comprehensive Evaluation of Iron and Steel Enterprises Production System s Basic Capacities, International Asia Confere

[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 information

1.3

1.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

現代學術之建立 陳平 998 7-3-3592-6 美學十五講 淩繼堯 美學 23 7-3-643-4 論集 徐複觀 書店出版社 的方位 陳寶生 宣傳 敦煌文藝出版社 論集續篇 徐複觀 書店出版社 莊子哲學 王博 道家 7-3-666-3 的天方學 沙宗平 伊斯蘭教 7-3-6844- 周易 經傳十

現代學術之建立 陳平 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 information

第 一 章 数 学 系 的 历 史 沿 革 第 一 节 数 学 系 的 渊 源 和 机 构 变 革 情 况 1949 年 6 月, 邸 耀 宗 厉 瑞 康 在 太 原 市 北 郊 上 兰 村 原 进 山 中 学 的 废 墟 上 筹 建 兵 工 职 业 学 校,1950 年 改 为 兵 工 高 级 职

第 一 章 数 学 系 的 历 史 沿 革 第 一 节 数 学 系 的 渊 源 和 机 构 变 革 情 况 1949 年 6 月, 邸 耀 宗 厉 瑞 康 在 太 原 市 北 郊 上 兰 村 原 进 山 中 学 的 废 墟 上 筹 建 兵 工 职 业 学 校,1950 年 改 为 兵 工 高 级 职 前 言 中 北 大 学 数 学 系 是 伴 随 着 学 校 的 发 展, 在 几 代 人 的 努 力 下 不 断 发 展 壮 大 起 来 的 从 1953 年 太 原 机 械 工 业 学 校 数 学 教 研 组 到 2006 年 理 学 院 数 学 系, 其 间 凝 聚 了 中 北 几 代 数 学 人 的 汗 水 2011 年, 正 值 中 北 大 学 建 校 70 周 年 校 庆, 我 们 认 为

More information

标题

标题 第 33 卷 摇 第 9 期 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 014 年 9 月 情 摇 报 摇 杂 摇 志 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 JOURNAL OF INTELLIGENCE Vol. 33 摇 No. 9 Sep. 摇 014 基 于 专 利 的 大 数 据 技 术 发 展 情 报 * 分 析 及 战 略 研 究 1 1 李 鹏 飞 摇 卢 摇

More information

#4 ~ #5 12 m m m 1. 5 m # m mm m Z4 Z5

#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

University 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 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 information

<D2BDC1C6BDA1BFB5CDB6C8DAD7CAB8DFB7E5C2DBCCB3B2CEBBE1C3FBB5A52E786C7378> 参 会 人 员 名 单 Last Name 姓 名 公 司 Tel Fax Bai 柏 煜 康 复 之 家 8610 8761 4189 8610 8761 4189 Bai 白 威 久 禧 道 和 股 权 投 资 管 理 ( 天 津 ) 有 限 公 司 8610 6506 7108 8610 6506 7108 Bao 包 景 明 通 用 技 术 集 团 投 资 管 理 有 限 公 司 8610

More information

Microsoft Word - CWSN2010-PROGRAM.doc

Microsoft Word - CWSN2010-PROGRAM.doc 第 四 届 中 国 传 感 器 网 络 学 术 会 议 CWSN2010 程 序 册 中 国 湖 南 长 沙 2010 年 10 月 28 日 -30 日 第 四 届 中 国 传 感 器 网 络 学 术 会 议 组 织 机 构 名 单 主 办 单 位 中 国 计 算 机 学 会 传 感 器 网 络 专 业 委 员 会 承 办 单 位 湖 南 大 学 协 办 单 位 湖 南 科 技 大 学 大 会 主

More information

Microsoft Word - A201009-646.doc

Microsoft Word - A201009-646.doc # 中 国 网 络 游 戏 外 挂 问 题 现 状 分 析 * 兰 晓, 尹 杰 ( 中 国 传 媒 大 学 信 息 工 程 学 院 ) 摘 要 : 网 络 游 戏 外 挂 的 泛 滥 严 重 阻 碍 了 中 国 网 络 游 戏 产 业 的 正 常 发 展 本 文 给 出 了 网 络 游 戏 外 挂 的 定 义, 并 对 当 前 中 国 网 络 游 戏 存 在 的 安 全 问 题 进 行 了 分 析,

More information

专 必 修 :9, 占. % 选 修 :0, 其 中 专 限 选 :, 占 5.0 %; 专 任 选 :, 占 9. % 公 共 选 修 :, 占 5. % 五 专 心 应 用 创 新 专 主 要 发 展 向 心 : 计 算 机 序 设 计 (I) 计 算 机 序 设 计 (II) 数 据 结 构

专 必 修 :9, 占. % 选 修 :0, 其 中 专 限 选 :, 占 5.0 %; 专 任 选 :, 占 9. % 公 共 选 修 :, 占 5. % 五 专 心 应 用 创 新 专 主 要 发 展 向 心 : 计 算 机 序 设 计 (I) 计 算 机 序 设 计 (II) 数 据 结 构 软 件 工 专 本 科 人 才 培 养 案 一 培 养 目 标 适 应 经 济 建 设 和 发 展 需 要 面 向 IT 技 术 及 软 件 产 界 对 工 型 技 术 人 才 及 管 人 才 的 需 求, 本 专 致 力 于 培 养 德 智 体 美 劳 全 面 发 展, 具 有 扎 的 软 件 工 基 础, 熟 练 掌 握 国 前 沿 软 件 开 发 技 术 及 现 代 软 件 工 规 范 与 法,

More information

计 算 机 与 软 件 本 科 人 才 培 养 方 案 开 设 数 比 例 (%) 数 比 例 (%) 1 综 合 必 修 课 % % 2 必 修 课 % % 3 综 合 课 % % 公 共 课 0

计 算 机 与 软 件 本 科 人 才 培 养 方 案 开 设 数 比 例 (%) 数 比 例 (%) 1 综 合 必 修 课 % % 2 必 修 课 % % 3 综 合 课 % % 公 共 课 0 计 算 机 与 软 件 本 科 人 才 培 养 方 案 深 圳 大 网 络 工 程 本 科 人 才 培 养 方 案 2012 级 网 络 工 程 一 培 养 目 标 本 旨 在 培 养 具 有 良 好 的 科 素 养, 系 统 掌 握 计 算 机 基 础 知 识 以 及 计 算 机 网 络 软 硬 件 的 基 本 理 论 基 本 知 识 和 基 本 技 能 与 方 法, 掌 握 各 种 网 络 系

More information

究 公 司 内 控 与 公 司 治 理 等 ) 中 国 会 计 学 会 会 计 基 本 理 论 专 业 委 员 会 委 员, 财 政 部 会 计 学 术 领 军 人 才 ( 后 备 ) 班 学 员 ( 第 一 批 ) 1985 年 毕 业 于 江 苏 大 学 动 力 机 械 工 程 系 ( 流 体

究 公 司 内 控 与 公 司 治 理 等 ) 中 国 会 计 学 会 会 计 基 本 理 论 专 业 委 员 会 委 员, 财 政 部 会 计 学 术 领 军 人 才 ( 后 备 ) 班 学 员 ( 第 一 批 ) 1985 年 毕 业 于 江 苏 大 学 动 力 机 械 工 程 系 ( 流 体 上 海 大 学 管 理 学 院 博 士 后 流 动 站 合 作 导 师 简 介 刘 人 怀 ( 男 ), 博 士, 教 授 主 要 研 究 领 域 : 创 新 与 知 识 管 理 工 业 工 程 与 质 量 管 理 1963 年 毕 业 于 兰 州 大 学 数 学 力 学 系,1978 1986 年 任 教 于 中 国 科 技 大 学,1986 1991 任 教 于 上 海 工 业 大 学, 担 任

More information

元培科技大學 年度「傑出校友」推薦表

元培科技大學      年度「傑出校友」推薦表 101 年 度 傑 出 校 友 蕭 文 達 本 校 畢 業 年 屆 民 國 74 年 畢 業 科 系 土 木 工 程 科 五 專 部 二 專 日 間 部 進 修 部 二 技 日 間 部 進 修 部 四 技 日 間 部 進 修 部 進 修 學 院 學 經 歷 學 歷 經 歷 國 立 中 興 大 學 土 木 工 程 學 系 博 士 朝 陽 科 技 大 學 環 境 安 全 衛 生 中 心 組 長 (90.2~

More information

Your Paper's Title Starts Here: Please Center

Your 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 information

資 訊 國 力 發 展 論 壇 2016 年 度 報 告 資 訊 軟 體 人 力 向 下 扎 根 與 培 育 指 導 單 位 : 教 育 部 行 政 院 科 技 會 報 主 辦 單 位 : 國 立 成 功 大 學 國 立 臺 灣 科 技 大 學 國 立 臺 灣 師 範 大 學 協 辦 單 位 : 電 腦 學 會 資 訊 學 會 執 行 單 位 : 教 育 部 資 通 訊 軟 體 創 新 人 才 推

More information

93碩簡章

93碩簡章 104 學 年 度 學 士 後 第 二 專 長 學 士 學 位 學 程 招 生 簡 章 配 合 產 業 用 人 需 求, 強 化 民 眾 職 場 就 業 能 力, 培 養 第 二 專 長, 本 校 辦 理 商 業 巨 量 資 料 管 理 工 程 法 律 實 務 數 位 音 樂 應 用 運 動 健 康 產 業 等 學 士 後 第 二 專 長 學 士 學 位 學 程, 歡 迎 已 取 得 學 士 以 上

More information

交流活动

交流活动 信 息 科 学 技 术 学 院 简 报 School of Electronics Engineering and Computer Science 二 零 一 六 年 第 二 期 ( 总 第 102 期 ) 北 京 大 学 信 息 科 学 技 术 学 院 二 零 一 六 年 三 月 三 十 一 日 党 政 : 3 月 7 日, 北 京 大 学 校 长 助 理 教 育 基 金 会 秘 书 长 邓 娅

More information

101 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

标题

标题 第 19 卷 摇 第 4 期 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 模 式 识 别 与 人 工 智 能 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Vol. 19 摇 No. 4 摇 006 年 8 月 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 PR & AI 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Aug 摇 摇

More information

untitled

untitled 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 information

untitled

untitled 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 information

2013 年 7 月 总 第 235 期 主 办 单 位 : 中 国 科 学 院 自 动 化 研 究 所 CONTENTS 中 国 科 学 院 自 动 化 研 究 所 所 刊 卷 首 语 节 令 是 一 种 命 令 毕 淑 敏 1 聚 焦 CASIA 自 动 化 所 召 开 庆 祝 建 党 92 周

2013 年 7 月 总 第 235 期 主 办 单 位 : 中 国 科 学 院 自 动 化 研 究 所 CONTENTS 中 国 科 学 院 自 动 化 研 究 所 所 刊 卷 首 语 节 令 是 一 种 命 令 毕 淑 敏 1 聚 焦 CASIA 自 动 化 所 召 开 庆 祝 建 党 92 周 卷 首 语 首 节 令 是 一 种 命 令 文 / 毕 淑 敏 夏 初, 买 菜 老 人 对 我 说, 买 我 的 吧 看 他 的 菜 摊, 好 似 堆 积 着 银 粉 色 的 乒 乓 球 我 说, 这 么 小 啊, 还 青, 远 没 有 冬 天 时 我 吃 的 西 红 柿 好 老 人 不 悦 地 说, 冬 天 的 西 红 柿 算 什 么 西 红 柿! 吃 它 们 哪 里 是 吃 菜, 分 明 是

More information

<4D6963726F736F667420506F776572506F696E74202D20C8EDBCFEBCDCB9B9CAA6D1D0D0DEBDB2D7F92E707074>

<4D6963726F736F667420506F776572506F696E74202D20C8EDBCFEBCDCB9B9CAA6D1D0D0DEBDB2D7F92E707074> 软 件 架 构 师 研 修 讲 座 胡 协 刚 软 件 架 构 师 UML/RUP 专 家 szjinco@public.szptt.net.cn 中 国 软 件 架 构 师 网 东 软 培 训 中 心 小 故 事 : 七 人 分 粥 当 前 软 件 团 队 的 开 发 现 状 和 面 临 的 问 题 软 件 项 目 的 特 点 解 决 之 道 : 从 瀑 布 模 型 到 迭 代 模 型 解 决 项

More information

一 新 闻 新 闻 速 递 侯 伯 宇 先 进 事 迹 报 告 团 来 浙 巡 回 报 告 赵 洪 祝 葛 慧 君 赵 一 德 等 看 望 报 告 团 成 员 我 很 多 想 不 明 白 的 问 题, 直 到 看 了 侯 先 生 的 相 关 著 作, 才 恍 然 大 悟 10 月 17 日 下 午,

一 新 闻 新 闻 速 递 侯 伯 宇 先 进 事 迹 报 告 团 来 浙 巡 回 报 告 赵 洪 祝 葛 慧 君 赵 一 德 等 看 望 报 告 团 成 员 我 很 多 想 不 明 白 的 问 题, 直 到 看 了 侯 先 生 的 相 关 著 作, 才 恍 然 大 悟 10 月 17 日 下 午, 浙 江 工 业 大 学 经 贸 管 理 学 院 教 学 简 报 第 一 期 (2012 年 10 月 ) 目 录 新 闻 速 递 侯 伯 宇 先 进 事 迹 报 告 团 来 浙 巡 回 报 告 赵 洪 祝 葛 慧 君 赵 一 德 等 看 望 报 告 团 成 员 ------------ 1 我 省 首 届 高 校 优 秀 教 师 表 彰 会 召 开 夏 宝 龙 葛 慧 君 吴 国 华 郑 继 伟 徐

More information

g 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

g 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

Microsoft Word - 作者声明.docx

Microsoft Word - 作者声明.docx 关 于 野 鸡 杂 志 和 野 鸡 出 版 社, 开 源 在 线 出 版, 以 及 吐 槽 写 给 那 些 经 常 露 面 和 经 常 路 过 偶 尔 露 下 面 的 砖 家 和 童 鞋 们 作 者 : 学 术 女 流 氓 * 声 明 : 真 人 真 事, 请 勿 人 肉 * Corresponding Author: Daiqin Tao, PhD. E-mail: taodaiqin@hotmail.com

More information

2 ( 自 然 科 学 版 ) 第 20 卷 波 ). 这 种 压 缩 波 空 气 必 然 有 一 部 分 要 绕 流 到 车 身 两 端 的 环 状 空 间 中, 形 成 与 列 车 运 行 方 向 相 反 的 空 气 流 动. 在 列 车 尾 部, 会 产 生 低 于 大 气 压 的 空 气 流

2 ( 自 然 科 学 版 ) 第 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 information

Microsoft Word - 07.docx

Microsoft Word - 07.docx 應 用 GeoGebra 數 學 軟 體 於 數 學 課 程 的 教 學 Using Dynamic Mathematical Software GeoGebra in Mathematical Course 姜 正 雄 Cheng-Hsiung Chiang 玄 奘 大 學 資 訊 管 理 學 系 Department of Information Management, Hsuan Chuang

More information

Welch & Bishop, [Kalman60] [Maybeck79] [Sorenson70] [Gelb74, Grewal93, Maybeck79, Lewis86, Brown92, Jacobs93] x R n x k = Ax k 1 + Bu k 1 + w

Welch & 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 information

262 管 理 與 系 統 countries including Taiwan. Because of the liberalization policy of Taiwan s power industry, there is a critical demand to explore the m

262 管 理 與 系 統 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

2013国际营销科学与信息技术大会(MSIT2013)

2013国际营销科学与信息技术大会(MSIT2013) 2013 国 际 营 销 科 学 与 信 息 技 术 大 会 (MSIT2013) 邀 请 函 随 着 全 球 市 场 环 境 的 不 断 变 化 和 网 络 信 息 技 术 的 日 新 月 异, 营 销 科 学 和 营 销 方 式 的 创 新 对 于 企 业 的 发 展 起 着 越 来 越 大 的 作 用 为 了 进 一 步 推 动 国 内 外 营 销 学 者 的 学 术 交 流 与 合 作, 促

More information

填 表 说 明 1. 本 表 用 钢 笔 填 写, 也 可 直 接 打 印, 不 要 以 剪 贴 代 填 字 迹 要 求 清 楚 工 整 2. 本 表 所 填 内 容 必 须 真 实 可 靠, 如 发 现 虚 假 信 息, 将 取 消 所 在 学 院 参 评 资 格 3. 本 表 涉 及 的 项 目

填 表 说 明 1. 本 表 用 钢 笔 填 写, 也 可 直 接 打 印, 不 要 以 剪 贴 代 填 字 迹 要 求 清 楚 工 整 2. 本 表 所 填 内 容 必 须 真 实 可 靠, 如 发 现 虚 假 信 息, 将 取 消 所 在 学 院 参 评 资 格 3. 本 表 涉 及 的 项 目 成 都 理 工 大 学 优 秀 教 学 系 部 申 报 表 系 部 名 称 : 系 部 负 责 人 : 空 间 物 理 与 信 息 技 术 系 陆 从 德 所 在 学 院 : 地 球 物 理 学 院 成 都 理 工 大 学 教 务 处 制 二 一 三 年 填 表 说 明 1. 本 表 用 钢 笔 填 写, 也 可 直 接 打 印, 不 要 以 剪 贴 代 填 字 迹 要 求 清 楚 工 整 2. 本

More information

高 职 计 算 机 类 优 秀 教 材 书 目 * 序 号 书 号 (ISBN) 书 名 作 者 定 价 出 版 / 印 刷 日 期 ** 配 套 资 源 页 码 计 算 机 基 础 课 1 978-7-111-30658-0 计 算 机 应 用 基 础 刘 升 贵 29.00 2012 年 8 月

高 职 计 算 机 类 优 秀 教 材 书 目 * 序 号 书 号 (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 information

(Microsoft Word - \261M\256\327\272\353\302\262\263\370\247iEnd.doc)

(Microsoft Word - \261M\256\327\272\353\302\262\263\370\247iEnd.doc) 摘 要 長 榮 大 學 資 訊 管 理 學 系 畢 業 專 案 實 作 專 案 編 號 : 旅 遊 行 程 規 劃 - 以 台 南 市 為 例 Tour Scheduling for Tainan City CJU-IM- PRJ-096-029 執 行 期 間 : 95 年 2 月 13 日 至 96 年 1 月 20 日 陳 貽 隆 陳 繼 列 張 順 憶 練 哲 瑋 專 案 參 與 人 員 :

More information

Microsoft Word - 971管理學院工作報告2

Microsoft Word - 971管理學院工作報告2 管 理 學 院 97 學 年 度 第 一 學 期 校 務 會 議 工 作 報 告 管 理 學 院 1. 師 資 面 (1) 學 院 師 資 結 構 年 齡 學 位 職 級 的 組 成 本 院 專 任 教 師 共 88 位, 教 授 4 位 副 教 授 41 位 助 理 教 授 25 位 講 師 18 位 師 資 結 構 表 如 下 數 量 與 素 質 企 管 系 國 企 系 會 計 系 觀 光 系

More information

Microsoft Word - 19王建华.doc

Microsoft Word - 19王建华.doc 2012 年 12 月 图 学 学 报 December 2012 第 33 卷 第 6 期 JOURNAL OF GRAPHICS Vol.33 No.6 工 程 图 学 计 算 机 辅 助 教 学 实 践 与 思 考 王 建 华, 郝 育 新, 刘 令 涛 ( 北 京 信 息 科 技 大 学 机 电 学 院, 北 京 100192) 摘 要 : 随 着 计 算 机 技 术 的 迅 猛 发 展 和

More information

数学与应用数学专业本科培养计划

数学与应用数学专业本科培养计划 信 息 与 计 算 科 学 专 业 本 科 培 养 计 划 Undergraduate Program for Specialty in Information and Computing Science 一 培 养 目 标 Ⅰ.Educational Objectives 本 学 科 是 研 究 以 信 息 领 域 为 背 景 的 数 学 基 础 理 论 方 法 和 应 用 的 学 科 本 专 业

More information

1104102- 复 变 函 数 与 积 分 变 换 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 - 微 分 方 程 数 值

1104102- 复 变 函 数 与 积 分 变 换 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 information

填 表 须 知 一 本 申 报 书 适 用 于 申 报 安 徽 省 高 层 次 科 技 人 才 团 队 填 写 二 申 报 书 中 有 关 栏 目 需 选 择 填 写 的, 请 按 照 填 写 说 明 如 实 并 准 确 填 写 三 申 报 书 内 容 要 逐 项 填 写, 实 际 内 容 不 发

填 表 须 知 一 本 申 报 书 适 用 于 申 报 安 徽 省 高 层 次 科 技 人 才 团 队 填 写 二 申 报 书 中 有 关 栏 目 需 选 择 填 写 的, 请 按 照 填 写 说 明 如 实 并 准 确 填 写 三 申 报 书 内 容 要 逐 项 填 写, 实 际 内 容 不 发 安 徽 省 高 层 次 科 技 人 才 团 队 申 报 书 项 目 编 号 : 团 队 领 军 人 才 姓 名 : 叶 乐 所 从 事 专 业 或 产 业 领 域 : 电 子 科 学 与 技 术 公 司 拟 注 册 地 : 铜 陵 市 铜 官 山 区 单 位 地 址 : 北 京 市 海 淀 区 颐 和 园 路 5 号 微 纳 电 子 大 厦 543 邮 政 编 码 :100871 团 队 联 系 人

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) 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 information

附件1

附件1 装 山 东 大 学 青 年 学 者 未 来 计 划 申 报 书 订 所 在 单 位 计 算 机 科 学 与 技 术 学 院 申 请 人 姜 海 涛 填 表 日 期 206 年 3 月 日 线 山 东 大 学 人 事 部 制 - - 填 写 说 明. 申 报 书 内 容 要 逐 项 填 写, 实 际 内 容 不 发 生 的, 请 注 明 无 有 字 数 限 制 的, 应 严 格 控 制 在 限 定 字

More information

中 国 系 统 工 程 学 会 理 事 会 民 主 管 理 办 法 中 国 系 统 工 程 学 会 行 政 人 员 人 事 管 理 制 度 中 国 系 统 工 程 学 会 财 务 管 理 办 法 教 育 系 统 工 程 专 业 委 员 会 2015 年 工 作 总 结 过 程 系 统 工 程 专 业

中 国 系 统 工 程 学 会 理 事 会 民 主 管 理 办 法 中 国 系 统 工 程 学 会 行 政 人 员 人 事 管 理 制 度 中 国 系 统 工 程 学 会 财 务 管 理 办 法 教 育 系 统 工 程 专 业 委 员 会 2015 年 工 作 总 结 过 程 系 统 工 程 专 业 中 国 系 统 工 程 学 会 情 况 简 报 中 国 系 统 工 程 学 会 编 ( 总 84 期 ) Tel : 010-82541242 Email: sesc@ iss.ac.cn http://www.sesc.org.cn/htm/index.htm 二 一 五 年 十 二 月 二 十 日 中 国 系 统 工 程 学 会 在 2014 年 度 全 国 学 会 财 务 决 算 工 作 中

More information

2013_6_3.indd

2013_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

国有大型能源企业财务风险内部控制研究

国有大型能源企业财务风险内部控制研究 Frontiers of International Accounting 国 际 会 计 前 沿, 2012, 1, 1-5 http://dx.doi.org/10.12677/fia.2012.11001 Published Online June 2012 (http://www.hanspub.org/journal/fia) A Study of Internal Control of

More information

56 包 装 工 程 1.2 眼 动 跟 踪 技 术 介 入 APP 图 形 用 户 界 面 可 用 性 评 估 眼 动 仪 是 基 于 眼 动 轨 迹 跟 踪 的 装 置, 用 于 测 量 眼 睛 的 位 置 和 眼 球 运 动 眼 动 仪 是 用 于 人 类 视 觉 系 统 心 理 学 认 知

56 包 装 工 程 1.2 眼 动 跟 踪 技 术 介 入 APP 图 形 用 户 界 面 可 用 性 评 估 眼 动 仪 是 基 于 眼 动 轨 迹 跟 踪 的 装 置, 用 于 测 量 眼 睛 的 位 置 和 眼 球 运 动 眼 动 仪 是 用 于 人 类 视 觉 系 统 心 理 学 认 知 第 36 卷 第 8 期 包装工程 PACKAGING ENGINEERING 55 基于眼动仪的智能手机 APP 图形用户界面设计可用性评估 常方圆 上海出版印刷高等专科学校 上海 200093 摘要 目的 用眼动追踪技术对APP用户图形界面设计原型进行可用性评估 方法 方法 采用创新的图形要素 分离概念 设计 3 组不同的平行设计测试 以兴趣区为范围 使用眼动仪收集主要眼动轨迹数据 如首次 进入时间

More information

一 本 学 科 概 况 ( 学 科 一 般 情 况 ) 1.1 学 科 概 况 ( 管 理 科 学 与 工 程 ) 管 理 科 学 与 工 程 是 管 理 学 门 类 中 的 一 级 学 科, 其 下 不 设 二 级 学 科 管 理 科 学 与 工 程 学 科 是 以 人 类 社 会 组 织 管 理

一 本 学 科 概 况 ( 学 科 一 般 情 况 ) 1.1 学 科 概 况 ( 管 理 科 学 与 工 程 ) 管 理 科 学 与 工 程 是 管 理 学 门 类 中 的 一 级 学 科, 其 下 不 设 二 级 学 科 管 理 科 学 与 工 程 学 科 是 以 人 类 社 会 组 织 管 理 深 圳 大 学 管 理 科 学 与 工 程 一 级 学 科 学 术 学 位 硕 士 研 究 生 培 养 方 案 修 订 前 期 调 研 报 告 学 院 :( 盖 章 ) 学 科 ( 位 ) 点 名 称 : 管 理 科 学 与 工 程 ( 一 级 学 科 ) 负 责 人 : 王 家 远 1 一 本 学 科 概 况 ( 学 科 一 般 情 况 ) 1.1 学 科 概 况 ( 管 理 科 学 与 工 程

More information

7 2 2012 26 (1) ( ) : (3), (12) (7) (10)

7 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

Microsoft Word - ä¸fi颟æ−¥å‚−_å“ı弋论_1104

Microsoft Word - ä¸fi颟æ−¥å‚−_å“ı弋论_1104 中 国 博 弈 论 新 近 进 展 及 展 望 摘 要 1944 年 著 名 数 学 家 冯 诺 伊 曼 和 经 济 学 家 莫 根 施 坦 合 著 并 出 版 的 博 弈 论 与 经 济 行 为 标 志 着 博 弈 论 作 为 一 门 独 立 学 科 的 诞 生 在 国 际 上, 从 1994 到 2012 年, 博 弈 论 学 家 已 先 后 获 得 6 届 诺 贝 尔 经 济 学 奖, 对 于

More information

yòu xù 373 375 xiá : guà jué qi n mi o dú k ng tóng luán xié háng yè jiào k n z z n shèn chì x 1óng l n t n kuáng qi q ch qì yì yùn yo q w zhuàn sù yí qìng hé p suì x tán cuàn mi o jù yú qìng shì sh

More information

Microsoft Word - 33-p0191-14skyd8.doc

Microsoft Word - 33-p0191-14skyd8.doc 第 20 卷 第 4 期 中 南 大 学 学 报 ( 社 会 科 学 版 ) Vol.20 No.4 2014 年 8 月 J. CENT. SOUTH UNIV. (SOCIAL SCIENCE) Aug. 2014 基 于 模 糊 层 次 分 析 法 的 政 府 干 部 胜 任 力 评 价 实 证 研 究 薛 琴 ( 南 京 工 程 学 院 经 济 与 管 理 学 院, 江 苏 南 京,211167)

More information

Microsoft Word - shenbaocailiao.doc

Microsoft Word - shenbaocailiao.doc 附 件 13: 陕 西 高 等 学 校 本 科 实 验 教 学 示 范 中 心 申 请 书 推 荐 单 位 : 西 北 工 业 大 学 明 德 学 院 学 校 名 称 : 西 北 工 业 大 学 明 德 学 院 中 心 名 称 : 电 子 与 通 信 实 验 教 学 中 心 中 心 网 址 : http://www.npumd.cn/teach/mingde/index.htm 中 心 联 系 电

More information

电力信息化2013年第1期.indb

电力信息化2013年第1期.indb 中图分类号 TP319 文献标志码 B 文章编号 1672-4844(213)1-87-6 摘要 SAP ERP 信息是很多大型企业的核心信息 是企业在进行容灾建设时主要关切的 信息 文章以双活方式运行的特点对 SAP ERP 信息进行了分析 推导出了 SAP ERP 信息以双活模式运行时操作响时间的计算公式 提出了影响操作响时间的主要因素是网 络时延 测试了 SAP ERP 产品以服务器双活模式运行的实际效果和以数据库双活

More information

A B A B S + V + Pt or Complement + Num-MP + O a b SVO c 2 9 * 10 * X Y

A B A B S + V + Pt or Complement + Num-MP + O a b SVO c 2 9 * 10 * X Y * / 1. 1 + + + 1 NPL + V + + NP A 1 B 5 2 6 3 7 4 8 * 1 2009. 10 557 24 2010 4 1996 2001 2001 2005 2006 2006 A B A B 2003 64 S + V + Pt or Complement + Num-MP + O a b SVO c 2 9 * 10 * 11 12 1. 2 1 + +

More information

[1] [4] Chetverikov Lerch[8,12] LeaVis CAD Limas-Serafim[6,7] (multi-resolution pyramids) 2 n 2 n 2 2 (texture) (calf leather) (veins)

[1] [4] Chetverikov Lerch[8,12] LeaVis CAD Limas-Serafim[6,7] (multi-resolution pyramids) 2 n 2 n 2 2 (texture) (calf leather) (veins) 38 8 38th Annual Conference of CSQ & 8th NQMS MCP IE 120 1. [1] [4] 1 2 3 2. Chetverikov Lerch[8,12] LeaVis CAD Limas-Serafim[6,7] (multi-resolution pyramids) 2 n 2 n 2 2 (texture) (calf leather) (veins)

More information

<4D6963726F736F667420576F7264202D20B3AFA977BBCABEFAA67EB5DBA740A5D8BFFD3230313530363330>

<4D6963726F736F667420576F7264202D20B3AFA977BBCABEFAA67EB5DBA740A5D8BFFD3230313530363330> 陳 定 銘 基 本 資 料 與 歷 年 著 作 目 錄 一 基 本 資 料 ( 一 ) 學 歷 國 立 政 治 大 學 公 共 行 政 學 系 博 士 東 吳 大 學 政 治 學 系 碩 士 台 北 市 立 師 範 學 院 語 文 教 育 學 系 學 士 ( 二 ) 現 職 與 經 歷 現 職 國 立 中 央 大 學 客 家 語 文 暨 社 會 科 學 學 系 教 授 法 鼓 文 理 學 院 社 會

More information

參、提升醫事人員專業素質及保健服務能力

參、提升醫事人員專業素質及保健服務能力 99 年 度 高 屏 區 醫 療 區 域 輔 導 與 醫 療 資 源 整 合 計 畫 目 錄 頁 碼 99 年 度 高 屏 醫 療 區 域 輔 導 與 醫 療 資 源 整 合 計 畫 分 項 計 畫 表 ----------------------------------------001 分 項 計 畫 成 果 報 告 --------------------------------------------------------------------------------------------002

More information

17

17 17 應 用 案 例 式 推 理 建 立 顧 客 關 係 管 理 之 行 銷 決 策 系 統 張 百 棧 * 王 彥 文 劉 鎮 豪 元 智 大 學 工 業 工 程 與 管 理 研 究 所 桃 園 縣 中 壢 市 遠 東 路 135 號 03-463-8800#287 iepchang@saturn.yzu.edu.tw 摘 要 近 年 來, 資 料 庫 行 銷 蓬 勃 發 展, 讓 許 多 企 業

More information

附件1:

附件1: 2016 年 增 列 硕 士 专 业 学 位 授 权 点 申 请 表 硕 士 专 业 学 位 类 别 : 金 融 申 报 单 位 名 称 : 东 华 大 学 国 务 院 学 位 委 员 会 办 公 室 制 表 2016 年 3 月 28 日 填 1 一 申 请 增 列 金 融 硕 士 专 业 学 位 授 权 点 论 证 报 告 ( 一 ) 金 融 专 业 硕 士 项 目 专 业 人 才 需 求 分

More information

RESEARCH ON HIGHER EDUCATION Number 4, 2013(General Serial No.78) CONTENTS Colleges and Universities Forum Three-Year Blueprint of Undergraduate Cours

RESEARCH ON HIGHER EDUCATION Number 4, 2013(General Serial No.78) CONTENTS Colleges and Universities Forum Three-Year Blueprint of Undergraduate Cours RESEARCH ON HIGHER EDUCATION 目 录 高 校 论 坛 李 晓 慧 等 北 京 服 装 学 院 本 科 教 学 与 人 才 培 养 三 年 设 想 3 国 家 级 实 验 教 学 示 范 中 心 建 设 赵 平 以 创 新 型 人 才 培 养 为 导 向 构 建 服 装 服 饰 实 践 教 学 平 台 4 王 永 进 服 装 专 业 实 验 室 建 设 与 实 验 教 学

More information

Microsoft Word - 793-797 tb20150504赵宏宇s-高校教改纵横.doc

Microsoft Word - 793-797 tb20150504赵宏宇s-高校教改纵横.doc 微 生 物 学 通 报 Microbiology China tongbao@im.ac.cn Apr. 20, 2016, 43(4): 793 797 http://journals.im.ac.cn/wswxtbcn DOI: 10.13344/j.microbiol.china.150504 高 校 教 改 纵 横 生 物 工 程 专 业 发 酵 课 程 群 建 设 探 索 * 赵 宏 宇

More information

[3] European Journal of Operational Research 管 理 科 学 学 报 系 统 工 程 学 报 等 刊 物 审 稿 专 家 承 担 科 研 项 目 [1] 国 家 自 然 科 学 基 金, 基 于 符 号 数 据 分 析 的 群 体 推 荐 用 户 建 模

[3] European Journal of Operational Research 管 理 科 学 学 报 系 统 工 程 学 报 等 刊 物 审 稿 专 家 承 担 科 研 项 目 [1] 国 家 自 然 科 学 基 金, 基 于 符 号 数 据 分 析 的 群 体 推 荐 用 户 建 模 郭 均 鹏 信 息 管 理 与 管 理 科 学 系 教 授 CV 下 载 办 公 电 话 : 电 子 邮 箱 :guojp@tju.edu.cn 研 究 方 向 : 本 专 业 研 究 方 向 : 信 息 管 理 与 数 据 分 析 ; 区 间 分 析 ; 优 化 评 价 与 决 策 ; 电 子 商 务 推 荐 系 统 MBA 研 究 方 向 : 企 业 信 息 化 ; 企 业 战 略 管 理 ;

More information