专业名称：计算机应用技术.doc

专业名称：计算机应用技术课程编号：S0112010711021 课程名称：最优化方法课程英文名称：Methods in Optimization学分: 3 周学时 总学时：54课程性质：硕士学位基础/选修课 适用专业：系统理论、系统分析与集成（硕士学位基础课）；计算机应用技术、 计算机系统结构、 计算机软件与理论（硕士学位选修课）教学内容及基本要求:教学内容：最优化方法是一门新兴的应用数学分支，讲授实现最优目标的方法。近二三十年来随着电子计算机的普遍应用而迅猛发展，最优化已经广泛地应用于国民经济各个部门和科学技术的各个领域中。最优化理论和方法的内容极其广博，根据工科研究生课程指导委员会制定的“工学硕士研究生最优化方法课程教学基本要求”，本课程选取了线性规划、非线性规划、多目标规划与动态规划四部分每部分内容着重阐明基本理论与基本方法既阐述了经过长期考验被认为是有效的方法，也给出了很有实用价值的新方法，并辅之以相应的例题和习题，使学生在该领域的进一步学习和研究打下良好的基础。考核方式及要求：考试。学习本课程的前期课程要求：高等数学教材及主要参考书目、文献与资料：1 解可新、韩健、林友联编：最优化方法，天津大学出版社填写人：顾国庆 教授 审核人：杨宗源 教授课程编号： S0112010711031 课程名称：数理逻辑课程英文名称：Mathematical Logic学分: 3 周学时 总学时：54课程性质：硕士学位选修课 适用专业：计算机软件与理论、计算机应用技术、计算机系统结构、系统理论、系统分析与集成教学内容及基本要求:教学内容：数理逻辑与计算机科学有着十分紧密的联系，数理逻辑在计算机科学中得到了广泛和深刻的应用，其重要性越来越为计算机科学界所认识。数理逻辑是数学的一个分支，但从某种程度上讲，计算机科学界反而更推崇数理逻辑，计算机科学的发展对数理逻辑产生了很大的影响，推动了数理逻辑的发展，开辟了许多新的数理逻辑分支。然而，通常在离散数学中所介绍的数理逻辑理论远不能满足计算机工作者的需要。本课程以经典的一阶谓词演算为核心和基础来展开，以数理逻辑在计算机科学中的应用为导向，着重于陈述有关的理论体系，而尽可能少涉及不十分必要的证明细节。此外，还要介绍几种针对计算机科学而发展起来的非经典的逻辑系统，主要是模态逻辑和时序逻辑，也简要地介绍了其他一些非经典的逻辑系统，如非单调逻辑等等。基本要求：本课程将使学生对计算机科学有更深刻的理解，为今后进行科研提供有力的工具。考核方式及要求：考试学习本课程的前期课程要求：离散数学教材及主要参考书目、文献与资料：1. 陆钟万:面向计算机科学的数理逻辑,科学出版社，1998年2. 王元元：计算机科学中的现代逻辑学，科学出版社，2001年3. A. G. Hamilton：Logic for Mathematicians (Revised Edition)，清华大学出版社，2003年4. S. B. George, P. B. John, C. J. Richard：Computability and Logic (Fourth Edition)，电子工业出版社，2003年5. B. John：Handbook of Mathematical Logic， North-Holland Publishing Company,1977填写人：章炯民 副教授 审核人：杨宗源 教授课程编号：S0112010812005 课程名称：程序设计方法学课程英文名称：Programming Methodology学分: 3 周学时 总学时：54课程性质：硕士学位基础课 适用专业：计算机软件与理论、计算机应用技术、计算机系统结构、系统分析与集成、系统理论教学内容及基本要求:教学内容：第一章 综述；第二章 程序的基本结构；第三章 程序的数据结构；第四章 程序的正确性证明；第五章 程序的形式推导方法；第六章 程序设计的形式化方法；第七章 并行程序设计方法。基本要求：了解程序设计方法学的地位和重要性；掌握程序控制结构构成的基本原理、基本成份；明确数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言的影响及重要性并掌握相关技术；掌握程序正确性证明的基本方法，具有构造程序规范的能力；熟悉并掌握传统的和面向对象的软件开发方法与基本理论；理解形式化软件开发的基本原理和典型方法；理解并行程序设计基本概念,具有并行程序设计的初步能力.考核方式及要求：笔试。学习本课程的前期课程要求：数据库基础。教材及主要参考书目、文献与资料：1. 程序设计方法学 胡正国 国防工业出版社2. 程序设计方法学基础陈火旺 湖南科学技术出版社 3. 程序设计方法学 仲萃豪 吉林大学出版社 4. 程序设计方法学教程张幸儿 南京大学出版社 5. 现代软件工程 周之英 科学出版社6. 形式语义学基础与形式说明 屈延文 科学出版社 7. The Science of Programming Gries, D. 8. Communicating Sequential ProcessorHoare,C.A.R9. Programming from Specification Carroll Morgan填写人：杨宗源 教授 审核人：顾君忠 教授课程编号：S0112010812006 课程名称：多媒体技术课程英文名称：Multimedia Technology学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：系统分析与集成、计算机应用技术、计算机系统结构（硕士学位专业课）;系统理论、计算机软件与理论（硕士学位选修课）教学内容及基本要求:教学内容：着重介绍了多媒体系统的设计原理和技术。从多媒体技术基础入手，介绍媒体、数据压缩和相应的软硬件。在此基础上，介绍基于时间的媒体同步、多媒体操作系统设计原理、超文本与超媒体、多媒体数据库与基于内容的多媒体数据检索。另外，结合一些多媒体应用，介绍和多媒体系统相关的通信，分布式的应用系统的设计等问题。同时，课程结合数据压缩、智能多媒体技术、多媒体数据模型、多媒体检索等内容展开一些讨论。基本要求：学生通过课堂学习并阅读一定量的相关论文，深入理解基本原理和知识，并对多媒体技术领域类的前沿技术及发展方向有所了解。考核方式及要求：考试。学习本课程的前期课程要求：无教材及主要参考书目、文献与资料：1. 胡晓峰、李国辉:多媒体系统，人民邮电出版社2. Ralf Steinmetz, Klara Nahrstedt（潘志庚等译）：多媒体技术：计算、通信和应用，清华大学出版社填写人：杨静 博士 审核人：顾君忠 教授课程编号：S0112010812009 课程名称：高级计算机系统结构课程英文名称：Advanced Computer Architecture学分: 3 周学时 总学时：54课程性质：硕士学位基础课 适用专业：计算机系统结构、计算机应用技术、计算机软件与理论教学内容及基本要求:教学内容：1. 体系结构的层次结构、分类、设计技术、评价标准、定量分析。2. 指令集架构及设计；3. 存储层次结构与实现、Cache性能优化；4. 标量流水处理器，超标量、超流水、超长指令字结构处理器；SIMD计算机模型、结构、实例；5. 并行系统概论；6. 嵌入式系统结构概论；基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。同时，课程将结合ARM嵌入式处理器结构来分析讲解，使学生理解计算机体系结构与OS、编译、软件效率的密切关系。考核方式及要求：考试。学习本课程的前期课程要求：计算机组成原理、微机系统、C语言程序设计、操作系统。教材及主要参考书目、文献与资料：1. 郑纬民 汤志忠:计算机系统结构（第2版），清华大学出版社,2001-06。2（美）John L.Hennessy, David A.Patterson：Computer Architecture:A Quantitative Approach,Third Edition, Morgan Kaufmann, 2002。 3. （美）Andrew N.SLOSS, Dominic SYMES, Chris WRIGHT：ARM System Developers Guide, Designing and Optimizing System Software，Morgan Kaufmann Publishers, 2003。填写人：沈建华 副教授 审核人：张卫 教授课程编号：S0112010812011 课程名称：高级算法课程英文名称：Advanced Algorithm学分: 2学分 总学时：36学时课程性质：硕士学位选修课 适用专业：计算机应用技术、计算机系统结构、计算机软件与理论教学内容及基本要求:教学内容：1. 堆的一种性质的发现和证明；2. 一种生成所有堆的枚举实用算法；3. 一种计算最大值堆的枚举总数的算法；4. 一种计算最大值堆的枚举总数的改进算法；5. 求图中两顶点间所有最短路径的一种实用算法；6. 求图中带单一限制条件的最短路径的一种算法；7. 求图中受顶点数限制的最短路径的一种算法。基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。考核方式及要求：研究报告。学习本课程的前期课程要求：数据结构、算法设计与分析。教材及主要参考书目、文献与资料：1算法设计技巧与分析（第一版），电子工业出版社。2国内外核心杂志上关于最短路径和树的枚举的最新论文。填写人：孙强 副教授 审核人：杨宗源 教授课程编号：S0112010812013 课程名称：计算机仿真课程英文名称：Computer Simulation学分: 2学分 总学时：36学时课程性质： 硕士学位选修课 适用专业: 系统理论、系统分析与集成、计算机应用技术、计算机系统结构教学内容及基本要求：教学内容：1、计算机仿真概论、2、离散事件系统仿真系统的原理3、与离散事件系统仿真有关的概率统计知识4、随机变量的产生5、从输入数据得到概率分布类型6、排队系统的仿真建模7、库存系统的仿真建模基本要求：通过本课程的学习，使硕士研究生具有初步的从事离散事件系统仿真的能力。考核方式及要求：笔试/研究报告学习本课程的前期课程要求：概率论教材及主要参考书目、文献与资料：1. 熊光楞、肖田元、张燕之:连续系统仿真与离散事件系统仿真，清华大学出版社，1991年2. 黄柯棣、张金槐、李剑川：系统仿真技术，国防科技大学出版社，1998年填写人：胡幼华 教授 审核人：顾国庆 教授课程编号：S0112010812017 课程名称：计算机网络技术及发展课程英文名称：Technologies on Computer Networks学分: 2 周学时 总学时：36课程性质：硕士学位选修课 适用专业：计算机应用技术、计算机系统结构教学内容及基本要求:教学内容：本课程主要通过讨论班的形式组织学生学习、研究计算机网络领域一些重要技术，特别是当前热门技术及各项技术的最新发展，主要包括MPLS、Ad-hoc、Wireless Sensor Networks、SIP、NAT、Kerberos、IPsec、IPv6、Mobile IP、SNMP、RADIUS、DHCP、DNS、SMTP、POP3、IMAP、MIME、FTP、RIP、OSPF、BGP、PPP等。基本要求：要求学生阅读大量的RFC等英文技术文档和相关英文论文，每个学生要负责主讲2个技术专题并组织讨论。本课程旨在加强学生对计算机网络技术的熟悉程度、提高学生计算机网络技术的知识面、并提高专业英语的阅读能力。 考核方式及要求：研究报告学习本课程的前期课程要求：计算机网络教材及主要参考书目、文献与资料：1RFC文档及草案2论文填写人：俞黎阳 讲师 审核人：张卫 教授课程编号：S0112010812021 课程名称：计算理论基础课程英文名称：Introduction to the Theory of Computation学分: 3 周学时 总学时：54课程性质：硕士学位基础课/专业/选修课 适用专业：计算机软件与理论(硕士学位基础课)；计算机应用技术、系统理论、系统分析与集成（硕士学位专业课）、计算机系统结构（硕士学位选修课）教学内容及基本要求:教学内容：1、 有限自动机；2、 正则表达式与正则语言；3、 上下文无关文法与上下文无关语言；4、 下推自动机；5、 图灵机导引。基本要求：学生在理解课程内容的基础上，初步掌握“问题、形式化描述、自动化”这一典型的计算机问题求解思路，提高形式化描述和抽象思维能力。考核方式及要求：考试。学习本课程的前期课程要求：离散数学。教材及主要参考书目、文献与资料：1. J. E Hopcroft 等:自动机理论、语言和计算导论（第二版）（英文影印版），清华大学出版社，2002年，2蒋宗礼等：形式语言与自动机理论，清华大学出版社，2003年，3M. Sipser著，张立昂等译：计算理论导引，机械工业出版社，2000年。填写人：李志斌 教授 审核人：顾国庆教授课程编号：S0112010812022 课程名称：网络组播技术课程英文名称：Networks Multicast Technology学分: 2 周学时 总学时：36课程性质：硕士学位选修课 适用专业：计算机系统结构、计算机应用技术教学内容及基本要求:教学内容：讨论因特网内的组播技术原理，组播路由协议，组播的QoS,移动环境下的组播，组播的安全性，MPLS域内的组播，应用层组播，组播技术的比较。基本要求：通过本课程学习使学生对当前网络组播技术的进展和趋势有一个较宽的视野，并具有阅读、分析、综合科技文献的能力。考核方式及要求：论文。学习本课程的前期课程要求：现代计算机网络教材及主要参考书目、文献与资料：电子版科技文档和技术标准填写人：张卫 教授 审核人：杨宗源 教授课程编号：S0112010812023 课程名称：现代计算机网络课程英文名称：Contemporary Computer Networks学分: 3 周学时 总学时：54课程性质：硕士学位基础/专业课 适用专业：计算机系统结构、计算机应用技术、系统理论、系统分析与集成（硕士学位基础课）；计算机软件与理论（硕士学位专业课）教学内容及基本要求:教学内容：按照网络协议模型（物理层、数据链路层、介质访问控制子层、网络层、传输层和应用层），系统地介绍计算机网络的体系结构、基本原理, 讨论近年来发展起来的各种网络技术，以及计算机网络的研究、分析、设计和实现方法。基本要求：学生在理解讲课内容的基础上，阅读相关参考书籍和论文，从而深入理解计算机网络基本知识和发展趋势，同时了解前沿技术。考核方式及要求：考试。学习本课程的前期课程要求：数据结构，操作系统，计算机组成，程序设计。教材及主要参考书目、文献与资料：AndrewS.Tanenbaum:Computer Networks, Fourth Edition填写人：张卫 教授 审核人：杨宗源 教授课程编号：S0112010812027 课程名称：模式识别课程英文名称：Pattern Recognition 学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：系统分析与集成、系统理论、计算机应用技术（硕士学位专业课）； 计算机软件与理论（硕士学位选修课）教学内容及基本要求:教学内容：模式识别是伴随用计算机处理多媒体信号而迅速发展的学科，它将计算机对外界的感知转化为计算机的内部处理能力，应用领域从最初的光学字符识别发展到如今的笔输入计算机、生物身份鉴别、人脸及表情识别、医学影像识别、信息检索和数据挖掘等领域。本课程介绍该学科的基本理论与方法，包括最近十几年发展起来并被实践证明行之有效的新技术。基本要求：根据不同专业的导师对该课程的要求，选修该课程的学生可以对基本知识和前沿技术有深入的理解或者全面的了解。考核方式及要求：综合报告与测验相结合。学习本课程的前期课程要求：本科生相关课程。教材及主要参考书目、文献与资料：1. R.O.Duda等:Pattern Classification第二版的中译本,机械工业出版社。2. 傅京孙：模式识别应用，北京大学出版社。3. 沈清、汤霖：模式识别导论，国防科技大学出版社。填写人：曹立 副教授 审核人： 顾国庆 教授课程编号：S0112010812031 课程名称：数字移动通信系统课程英文名称：Digital mobile telecommunication system学分： 3学分 总学时：54学时课程性质：硕士学位专业/选修课适用专业：计算机系统结构（硕士学位专业课）；计算机应用技术、系统分析与集成（硕士学位选修课）教学内容及基本要求：本课程以无线接口的协议结构原理为重点，系统介绍当代数字移动通信系统GSM/GPRS和UMTS的体系结构、无线接口信令协议的物理层、无线链路控制、无线资源管理、移动和安全管理、通信管理的原理和协议以及终端设备的测试技术和标准。考核方式及要求：开卷笔试学习本课程的前期课程要求：具有通信协议的基本知识教材及主要参考书目、文献与资料：1. Michel Mouly and Marie-Bernadette Pautet：The GSM System for Mobile Communications，中译本：GSM数字移动通信系统2. 钟章队、蒋文怡等：GPRS通用分组无线业务，人民邮电出版社3. 李小文、李贵勇、陈贤亮等：第三代移动通信系统、信令及实现，人民邮电出版社4. Harri Holma and Antti Toskala：WCDMA for UMTS, radio access for third generation mobile communication5. 3GPP的有关标准文档填写人：王能 教授 审核人：张卫 教授课程编号：S0112010812038 课程名称：数字信号处理课程英文名称：Digital Signal Processing学分: 3+1 周学时 总学时：54(上课)+18(实验)课程性质：硕士学位专业/选修课 适用专业：系统理论、系统分析与集成、计算机系统结构（硕士学位专业课）；计算机应用技术（硕士学位选修课）教学内容及基本要求:教学内容：1. 数字信号处理器(DSP)原理（CPU结构、寻址方式、指令系统）；2. Fourier级数和Fourie变换；3. 离散傅立叶变换(DFT)；4. 快速傅立叶变换(FFT)；5. Z变换；6. FIR滤波器的设计和实现；7. IIR滤波器的设计和实现；8. DSP的应用基本要求：学生在掌握数字信号处理基本理论的基础上，在数字信号处理器(DSP)上实现有关算法，从而加深对基本知识的理解和了解数字信号处理技术的应用和实现。考核方式及要求：闭卷考试（50%）+实验成绩（50%）学习本课程的前期课程要求：信号与系统。教材及主要参考书目、文献与资料：1. Sen M. Kuo, Bob H. Lee:Real-Time Digital Signal Processing: Implementations, Applications and Experiments with the TMS320C55x (影印版)，清华大学出版社2. 应启洐，冯一云，窦维蓓：离散时间信号分析和处理，清华大学出版社3. 刘树棠译 信号与系统，西安交通大学出版社4. 王春梅、孙洪波、任治刚：TMS320C5000系列DSP系统设计与开发实例，电子工业出版社填写人：续晋华 博士 审核人：张卫 教授课程编号：S0112010812041 课程名称：数字图像处理课程英文名称：Digital Image Processing学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：系统理论，系统分析与集成、计算机系统结构、计算机软件与理论（硕士学位专业课）；计算机应用技术（硕士学位选修课）教学内容及基本要求：教学内容：尽管数字图像处理的发展历史不长，但却已经引起各方面人士的广泛重视。首先，视觉是人类最重要的感知手段，图像又是视觉的基础。因此，数字图像成为心理学、生理学、计算机科学等诸多领域内的学者们研究视觉感知的有效工具。其次，图像处理在军事、遥感、气象等大型应用中有不断增长的需求。此外，数字成像(如数字摄像机、扫描仪等)、图像打印机和数字印刷技术的快速发展，使得图像处理设备已不再昂贵，给图像处理的发展提供了很好的条件。基本要求：数字图像处理是一门实用的学科，同时也具有坚实的理论基础。本课程使计算机科学技术以及系统科学的研究生以后在图像科学方面科研提供必要的基础。考核方式及要求：笔试。学习本课程的前期课程要求：高等数学。教材及主要参考书目、文献与资料：1 Kenneth R. Castleman：数字图像处理，电子工业出版社填写人：顾国庆 教授 审核人：杨宗源 教授课程编号：S0112010812042 课程名称：数字系统设计方法课程英文名称：The Methods of Digital System Design 学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：计算机系统结构（硕士学位专业课）；计算机应用技术（硕士学位选修课）教学内容及基本要求:教学内容：本课程以嵌入式系统设计为主线，论述数字系统设计的基本方法，并从系统开发环境、EDA设计方法、硬件描述语言的应用、系统可靠性技术、设计方案评价等方面介绍数字系统开发过程中的常用技术，为系统开发特别是硬件系统开发提供相关知识。基本要求：通过学习。学生能了解数字系统的基本开发方法和相关的前沿技术，并通过实例分析，能理解在理解系统开发主要技术，为实际应用提供基础。考核方式及要求：考试。学习本课程的前期课程要求：无。教材及主要参考书目、文献与资料：1. 肖东荣：微型计算机实时控制的抗干扰，湖北科学技术出版社，1985年；2. 包明、赵明富、陈渝光：EDA技术与数字系统设计，北京航空航天大学出版社，2002年；3. Mark Zwolinski：VHDL数字系统设计(第二版)，电子工业出版社,2004年。填写人：王荣良 副教授 审核人：张卫 教授课程编号：S0112010812052 课程名称：软件过程课程英文名称：Software Process学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：计算机应用技术、计算机软件与理论（硕士学位专业课）；计算机系统结构（硕士学位选修课）教学内容及基本要求:教学内容：1、 软件过程成熟度模型集成（CMMI）；2、 Rational统一过程（RUP）；3、 微软解决方案框架（MSF）；4、 极限编程（XP）；5、 开放源码软件（OSS）；6、 软件过程中改进的思想、方法和软性因素。基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解、对前沿技术有全面的了解并能在所从事的领域中进行运用。考核方式及要求：开卷考试。学习本课程的前期课程要求：软件工程、信息系统建模与设计。教材及主要参考书目、文献与资料：1CMMI软件过程改进与评估，电子工业出版社；2.微软软件开发解决方案框架MSF，北京航空航天大学出版社；3IT项目管理，机械工业出版社；4.Rational统一过程：实践者指南,中国电力出版社；5.重构极限编程XP的实践与反思,清华大学出版社。填写人：吕钊 副教授 审核人：顾君忠 教授课程编号：S0112010812053 课程名称：分布式数据库系统课程英文名称：Systems and Architecture of Distributed Databases学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：系统理论、计算机应用技术、计算机软件与理论（硕士学位专业课）；计算机系统结构（硕士学位选修课）教学内容及基本要求:教学内容：本课程主要讨论分布式数据库系统的原理，技术和系统结构。在第一部分，介绍DBMS的主要成分。第二部分介绍经典的分布数据库系统理论和系统。第三部分主要讨论Internet/Intranet时代的分布数据库理论和系统。基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。考核方式及要求：考试。学习本课程的前期课程要求：数据库系统基础，计算机网络基础教材及主要参考书目、文献与资料：1 周龙骧等：分布式数据库管理系统实现技术，科学出版社，1998。2 Ceri, S.， Pelagatti, G.：Distributed Database-Principles and Systems, McGraw-Hill Book Company, 1984。3 Bernstein, P.A. et al ：Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987。4 M. Tamer Ozsu, Patrick Valduriez：Principles of Distributed Database Systems, 清华大学出版社。填写人：顾君忠 教授 审核人：杨宗源 教授 课程编号：S0112010812054 课程名称：计算机支持的协同工作课程英文名称：Computer Supported Cooperative Work学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：系统分析与集成、计算机应用技术、计算机软件与理论(硕士学位专业课)；系统理论、计算机系统结构（硕士学位选修课）教学内容及基本要求:教学内容：本课程讨论计算机支持的协同工作（CSCW），从CSCW的基本原理，支持技术（分布计算技术、工作流技术、多媒体会议系统、数据库支持技术等）、和应用（如协同写作、协同决策支持、e-Learning，e-Commerce，e-Government）等方面介绍计算机支持的协同工作。基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。考核方式及要求：考试。学习本课程的前期课程要求：无。教材及主要参考书目、文献与资料：1. 顾君忠：计算机支持的协同工作导论，清华大学出版社2. 史美林：计算机支持的协同工作，电子工业出版社填写人：顾君忠 教授 审核人：杨宗源 教授课程编号：S0112010812055 课程名称：Internet协议原理与实现课程英文名称：Internet Protocols,Principles,and Architectures学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：计算机应用技术、计算机系统结构（硕士学位专业课）;计算机软件与理论（硕士学位选修课）教学内容及基本要求:教学内容：1. 介绍和讨论Internet体系结构、协议分层、协议原理、基于Socket的编程方法；2. ARP/RARP、IP/ICMP、TCP/UDP、组播协议、BOOTP/DHCP；3. 无类型和子网地址扩展(CIDR)与地址转换技术；4. 路由选择技术与协议；5. ATM网络上的TCP/IP；6. 域名系统、远程登录、文件传输与访问、电子邮件；7. 网络管理；8. 移动IP、Internet安全性IPsec、IP上的声音和视频传输RTP以及下一代TCP/IP协议IPv6等。基本要求：通过听课与作业练习使学生对Internet协议原理和实现技术有总体的了解和对具体的协议技术有基本掌握。阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。考核方式及要求：撰写报告加编程作业。学习本课程的前期课程要求：计算机网络、计算机网络工程。教材及主要参考书目、文献与资料：1:用TCP/IP进行网际互连（第四版）著者： 美DOUGLAS E.COMER 作译者： 林摇等译 丛书名： 国外计算机科学教材系列，电子工业出版社。填写人：沈富可 副教授 审核人：张卫 教授课程编号：S0112010812059 课程名称：智能决策系统课程英文名称：Intelligent Decision System学分: 3学分 总学时：54学时课程性质：硕士学位选修课适用专业：系统理论、系统分析与集成、计算机应用技术、计算机软件与理论教学内容及基本要求:教学内容：在计算机信息处理系统中，底层是操作型信息系统，中层是管理信息系统，最高层是决策支持系统，即对人的决策行为提供支持。决策支持系统是在20世纪70年代提出，到了80年代出现了各种各样的专家系统，以及充分结合人工智能和数据库技术的知识库系统，但是应用效果并不理想，产生了许多研究热点问题。从20世纪90年代起，人们认识到数据的决策分析与数据的事务操作有很大程度的不同，于是发展了数据仓库技术，并在延续统计学方法和人工智能技术的基础上发展了它们在大数据量上的应用技术，形成了联机分析处理和数据挖掘技术。到了21世纪，数据仓库技术和数据挖掘技术更被认为是互联网之后的技术热点，也形成了智能化数据的决策分析的主要技术内涵。基于本课程具有的极大的发展潜力和应用前景，结合经典案例，主要讲授与研讨智能决策系统的架构、智能决策系统的建模方法、智能决策系统的决策分析的主要技术和实用的决策分析工具等内容。基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。并且能够以研究报告的形式对热点/难点问题阐述自己的见解和研讨成果。考核方式及要求：笔试/研究报告。学习本课程的前期课程要求：数据库原理、人工智能、算法分析和设计等教材及主要参考书目、文献与资料：1. 高洪深:决策支持系统（DSS）理论.方法.案例,清华大学出版社 ,1996 2施伯乐，朱扬勇：数据库与智能数据分析，复旦大学出版社,20033何新贵：模糊数据库系统，清华大学出版社，19944. 毛国君：高级数据库原理与技术，人民邮电出版社，2004填写人：孙蕾 副教授 审核人：杨宗源 教授课程编号：S0112010812060 课程名称：机器视觉课程英文名称：Machine Vision学分: 2 周学时 总学时：36课程性质：硕士学位专业/选修课 适用专业：系统理论、系统分析与集成（硕士学位专业课）；计算机应用技术、计算机软件与理论（硕士学位选修课）教学内容及基本要求:教学内容：1. 机器视觉的基本原理和组成；2. 机器视觉系统的图像处理与分析方法；3. 机器视觉系统中的识别方法；4. 机器视觉系统中的相机；5. 如何设计和实现机器视觉系统；6. 机器视觉在工业控制与检测中的应用基本要求：学生在理解讲课内容的基础上，阅读相关论文，结合机器视觉的一些应用案例对机器视觉系统有深入的理解和对相关前沿技术有全面的认识。考核方式及要求：研究报告。学习本课程的前期课程要求：无。教材及主要参考书目、文献与资料：1. Milan Sonka, Vaclav Hlavac, Roger Boyle:Image Processing, Analysis, and Machine Vision (Second Edition)，人民邮电出版社。填写人：吕岳 教授 审核人：顾国庆 教授 课程编号：S0112010812061 课程名称：数理形态学课程英文名称：Mathematical Morphology学分: 3 总学时：54课程性质：硕士学位选修课 适用专业：计算机应用技术、计算机软件与理论、系统分析与集成、系统理论教学内容及基本要求:教学内容：数理形态学是建立在严密数学基础上的理论体系,它已经成为图像学中的一个重要分支。它在医疗诊断、模式识别等方面有着重要应用。本课程讲授数理形态学的基本理论和其实际应用，主要包括下面内容：1、Minkowski和差运算；2、2值图像的数理形态变换；3、多值图像的数理形态变换；4、形态滤波；5、形态骨架变换；6、形态谱变换；7、数理形态学的应用基本要求：理解数理形态学的基本原理，能独立用C+、VC编写基于数理形态学基本算子的图像处理程序。考核方式及要求：研究报告。学习本课程的前期课程要求：基本会使用C+、VC。教材及主要参考书目、文献与资料：1小畑秀文 （日本）:（数理形态学），CORONA出版社，1996年2R.C.Gonzalez、R.E.Woods著，阮秋琦、阮宇智译：数字图像处理（第二版），电子工业出版社，2004年填写人：童卫青 副教授 审核人：杨宗源 教授课程编号：S0112010812067 课程名称：分布式系统课程英文名称：Distributed Systems学分: 3 周学时 总学时：54课程性质：硕士学位选修课适用专业：计算机应用技术、计算机系统结构、计算机软件与理论教学内容及基本要求:教学内容：在当今的信息社会中，分布式系统，尤其是互联网络及基于互联网络的各类应用和服务正扮演着越来越重要的作用，本课程将着重从分布式系统的内部入手，在组织结构，运行特征，计算能力，基础规则和支撑技术各个方面讲解分布式系统，包括面向因特网和非因特网的分布式系统。基本要求：分布式系统课程将覆盖进程间通信，远程调用，分布式命名系统，密码安全技术，分布式文件系统，数据复制，分布式事务处理机制，中间件技术，分布式多媒体技术，分布式协同工作机制等技术，希望通过这门课程的学习，学生将能掌握这些方面的知识基础，并通过学习具备分析和设计分布式系统的能力。考核方式及要求：开卷笔试学习本课程的前期课程要求：计算机操作系统、计算机网络、程序设计方法学、数据库原理教材及主要参考书目、文献与资料：1Larry L. Peterson ，Bruce S. Davie:Computer Networks: A System Approach, Morgan Kaufmann, 1996。 2Andrew S. Tanenbaum: Distributed Operating Systems, Prentice Hall International, Inc., 1996。 3Andrew S. Tanenbaum: Computer Networks, Prentice Hall International, Inc., 1996。4 George Coulouris, Jean Dollimore ，Tim Kindberg:Distributed System Concepts and Design, China Machine Press, 2003。填写人：贺樑 副教授 审核人：顾君忠 教授课程编号：S0112010812069 课程名称：普及计算与语义Web课程英文名称：Ubiquitous Computing & Semantic Web学分: 3 周学时 总学时：54课程性质：硕士学位专业/选修课 适用专业：计算机应用技术（硕士学位专业课）；系统分析与集成、计算机软件与理论（硕士学位选修课）教学内容及基本要求:教学内容：本课程教授几方面的知识，移动计算技术、普及计算技术、语义WEB技术和网格计算技术。移动计算技术是近几年计算机和微电子技术发展的重要方向之一，无线网络、移动通信网络和各类移动设备基于互联网络上的发展不断实现着技术飞越，不同网络之间的接入和无缝计算的研究是这项技术的主流；普及计算技术针对不同性质的网络、终端以及平台组成的普及环境，提供统一的开发平台和应用服务，网格计算则是在普及环境下实现资源共享、服务共享的一种有效形式。语义Web通过以上环境在信息迅速增加的海量Web环境下提供更有效的智能的基于知识的资源描述和服务管理。基本要求：本课程对以上内容进行概念知识上的介绍，使学生在了解信息技术演变的基础上，把握未来广域网上的信息技术的发展，同时，通过适当的实践同身边实际发生的技术变化相结合，一方面能从感性上掌握新技术，另一方面也可培养灵活使用知识的能力。考核方式及要求：开卷笔试学习本课程的前期课程要求：离散数学，数据库原理，计算机网络，程序设计方法学教材及主要参考书目、文献与资料：1Abdelsalam HelalAny Time, Anywhere Computing：Mobile Computing Concepts and TechnologyKluwer Academic Publishers, 19992John Davies,Dieter Fensel，Frank van Harmelentowards The Semantic Web Ontology-driven Knowledge ManagementWiley 20023Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider The Description Logic Handbook Theory, Implementation and ApplicationsCambridge University