专业名称:计算机应用技术.docx
《专业名称:计算机应用技术.docx》由会员分享,可在线阅读,更多相关《专业名称:计算机应用技术.docx(26页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、专业名称:计算机应用技术课程编号:S21 课程名称:最优化方法课程英文名称:Methods in Optimization学分: 3 周学时 总学时:54课程性质:硕士学位根底/选修课 适用专业:系统理论、系统分析与集成硕士学位根底课;计算机应用技术、 计算机系统构造、 计算机软件与理论硕士学位选修课教学内容及根本要求:教学内容:最优化方法是一门新兴应用数学分支,讲授实现最优目标方法。近二三十年来随着电子计算机普遍应用而迅猛开展,最优化已经广泛地应用于国民经济各个部门和科学技术各个领域中。最优化理论和方法内容极其广博,根据工科研究生课程指导委员会制定“工学硕士研究生最优化方法课程教学根本要求,
2、本课程选取了线性规划、非线性规划、多目标规划与动态规划四局部每局部内容着重说明根本理论与根本方法既阐述了经过长期考验被认为是有效方法,也给出了很有实用价值新方法,并辅之以相应例题和习题,使学生在该领域进一步学习和研究打下良好根底。考核方式及要求:考试。学习本课程前期课程要求:高等数学教材及主要参考书目、文献与资料:1 解可新、韩健、林友联编:?最优化方法?,天津大学出版社填写人:顾国庆 教授 审核人:杨宗源 教授课程编号: S31 课程名称:数理逻辑课程英文名称:Mathematical Logic学分: 3 周学时 总学时:54课程性质:硕士学位选修课 适用专业:计算机软件与理论、计算机应用
3、技术、计算机系统构造、系统理论、系统分析与集成教学内容及根本要求:教学内容:数理逻辑与计算机科学有着十分严密联系,数理逻辑在计算机科学中得到了广泛和深刻应用,其重要性越来越为计算机科学界所认识。数理逻辑是数学一个分支,但从某种程度上讲,计算机科学界反而更推崇数理逻辑,计算机科学开展对数理逻辑产生了很大影响,推动了数理逻辑开展,开辟了许多新数理逻辑分支。然而,通常在离散数学中所介绍数理逻辑理论远不能满足计算机工作者需要。本课程以经典一阶谓词演算为核心和根底来展开,以数理逻辑在计算机科学中应用为导向,着重于陈述有关理论体系,而尽可能少涉及不十分必要证明细节。此外,还要介绍几种针对计算机科学而开展起
4、来非经典逻辑系统,主要是模态逻辑和时序逻辑,也简要地介绍了其他一些非经典逻辑系统,如非单调逻辑等等。根本要求:本课程将使学生对计算机科学有更深刻理解,为今后进展科研提供有力工具。考核方式及要求:考试学习本课程前期课程要求:离散数学教材及主要参考书目、文献与资料:1. 陆钟万:?面向计算机科学数理逻辑?,科学出版社,1998年2. 王元元:?计算机科学中现代逻辑学?,科学出版社,2001年3. A. G. Hamilton:?Logic for Mathematicians (Revised Edition)?,清华大学出版社,2003年4. S. B. George, P. B. John,
5、C. J. Richard:?Computability and Logic (Fourth Edition)?,电子工业出版社,2003年5. B. John:?Handbook of Mathematical Logic?, North-Holland Publishing Company,1977填写人:章炯民 副教授 审核人:杨宗源 教授课程编号:S05 课程名称:程序设计方法学课程英文名称:Programming Methodology学分: 3 周学时 总学时:54课程性质:硕士学位根底课 适用专业:计算机软件与理论、计算机应用技术、计算机系统构造、系统分析与集成、系统理论教学内容
6、及根本要求:教学内容:第一章 综述;第二章 程序根本构造;第三章 程序数据构造;第四章 程序正确性证明;第五章 程序形式推导方法;第六章 程序设计形式化方法;第七章 并行程序设计方法。根本要求:了解程序设计方法学地位和重要性;掌握程序控制构造构成根本原理、根本成份;明确数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言影响及重要性并掌握相关技术;掌握程序正确性证明根本方法,具有构造程序标准能力;熟悉并掌握传统和面向对象软件开发方法与根本理论;理解形式化软件开发根本原理和典型方法;理解并行程序设计根本概念,具有并行程序设计初步能力.考核方式及要求:笔试。学习本课程前期课程要求:数据库根底。
7、教材及主要参考书目、文献与资料:1. ?程序设计方法学? 胡正国 国防工业出版社2. ?程序设计方法学根底?陈火旺 湖南科学技术出版社 3. ?程序设计方法学? 仲萃豪 吉林大学出版社 4. ?程序设计方法学教程?张幸儿 南京大学出版社 5. ?现代软件工程? 周之英 科学出版社6. ?形式语义学根底与形式说明? 屈延文 科学出版社 7. ?The Science of Programming? Gries, D. 8. ?Communicating Sequential Processor9. ?Programming from Specification? Carroll Morgan填写
8、人:杨宗源 教授 审核人:顾君忠 教授课程编号:S06 课程名称:多媒体技术课程英文名称:Multimedia Technology学分: 3 周学时 总学时:54课程性质:硕士学位专业/选修课 适用专业:系统分析与集成、计算机应用技术、计算机系统构造硕士学位专业课;系统理论、计算机软件与理论硕士学位选修课教学内容及根本要求:教学内容:着重介绍了多媒体系统设计原理和技术。从多媒体技术根底入手,介绍媒体、数据压缩和相应软硬件。在此根底上,介绍基于时间媒体同步、多媒体操作系统设计原理、超文本与超媒体、多媒体数据库与基于内容多媒体数据检索。另外,结合一些多媒体应用,介绍和多媒体系统相关通信,分布式应
9、用系统设计等问题。同时,课程结合数据压缩、智能多媒体技术、多媒体数据模型、多媒体检索等内容展开一些讨论。根本要求:学生通过课堂学习并阅读一定量相关论文,深入理解根本原理和知识,并对多媒体技术领域类前沿技术及开展方向有所了解。考核方式及要求:考试。学习本课程前期课程要求:无教材及主要参考书目、文献与资料:1. 胡晓峰、李国辉:?多媒体系统?,人民邮电出版社2. Ralf Steinmetz, Klara Nahrstedt潘志庚等译:?多媒体技术:计算、通信和应用?,清华大学出版社填写人:杨静 博士 审核人:顾君忠 教授课程编号:S09 课程名称:高级计算机系统构造课程英文名称:Advanced
10、 Computer Architecture学分: 3 周学时 总学时:54课程性质:硕士学位根底课 适用专业:计算机系统构造、计算机应用技术、计算机软件与理论教学内容及根本要求:教学内容:1. 体系构造层次构造、分类、设计技术、评价标准、定量分析。2. 指令集架构及设计;3. 存储层次构造与实现、Cache性能优化;4. 标量流水处理器,超标量、超流水、超长指令字构造处理器;SIMD计算机模型、构造、实例;5. 并行系统概论;6. 嵌入式系统构造概论;根本要求:学生在理解讲课内容根底上,阅读大量相关论文,从而对根本知识有深入理解和对前沿技术有全面了解。同时,课程将结合ARM嵌入式处理器构造来
11、分析讲解,使学生理解计算机体系构造与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, Chri
12、s WRIGHT:?ARM System Developers Guide, Designing and Optimizing System Software?,Morgan Kaufmann Publishers, 2003。填写人:沈建华 副教授 审核人:张卫 教授课程编号:S11 课程名称:高级算法课程英文名称:Advanced Algorithm学分: 2学分 总学时:36学时课程性质:硕士学位选修课 适用专业:计算机应用技术、计算机系统构造、计算机软件与理论教学内容及根本要求:教学内容:1. 堆一种性质发现和证明;2. 一种生成所有堆枚举实用算法;3. 一种计算最大值堆枚举总数算法;
13、4. 一种计算最大值堆枚举总数改良算法;5. 求图中两顶点间所有最短路径一种实用算法;6. 求图中带单一限制条件最短路径一种算法;7. 求图中受顶点数限制最短路径一种算法。根本要求:学生在理解讲课内容根底上,阅读大量相关论文,从而对根本知识有深入理解和对前沿技术有全面了解。考核方式及要求:研究报告。学习本课程前期课程要求:数据构造、算法设计与分析。教材及主要参考书目、文献与资料:1?算法设计技巧与分析第一版?,电子工业出版社。2国内外核心杂志上关于最短路径和树枚举最新论文。填写人:孙强 副教授 审核人:杨宗源 教授课程编号:S13 课程名称:计算机仿真课程英文名称:Computer Simul
14、ation学分: 2学分 总学时:36学时课程性质: 硕士学位选修课 适用专业: 系统理论、系统分析与集成、计算机应用技术、计算机系统构造教学内容及根本要求:教学内容:1、计算机仿真概论、2、离散事件系统仿真系统原理3、与离散事件系统仿真有关概率统计知识4、随机变量产生5、从输入数据得到概率分布类型6、排队系统仿真建模7、库存系统仿真建模根本要求:通过本课程学习,使硕士研究生具有初步从事离散事件系统仿真能力。考核方式及要求:笔试/研究报告学习本课程前期课程要求:概率论教材及主要参考书目、文献与资料:1. 熊光楞、肖田元、张燕之:?连续系统仿真与离散事件系统仿真?,清华大学出版社,1991年2.
15、 黄柯棣、张金槐、李剑川:?系统仿真技术?,国防科技大学出版社,1998年填写人:胡幼华 教授 审核人:顾国庆 教授课程编号:S17 课程名称:计算机网络技术及开展课程英文名称:Technologies on Computer Networks学分: 2 周学时 总学时:36课程性质:硕士学位选修课 适用专业:计算机应用技术、计算机系统构造教学内容及根本要求:教学内容:本课程主要通过讨论班形式组织学生学习、研究计算机网络领域一些重要技术,特别是当前热门技术及各项技术最新开展,主要包括MPLS、Ad-hoc、Wireless Sensor Networks、SIP、NAT、Kerberos、IP
16、sec、IPv6、Mobile IP、SNMP、RADIUS、DHCP、DNS、SMTP、POP3、IMAP、MIME、OSPF、BGP、PPP等。根本要求:要求学生阅读大量RFC等英文技术文档和相关英文论文,每个学生要负责主讲2个技术专题并组织讨论。本课程旨在加强学生对计算机网络技术熟悉程度、提高学生计算机网络技术知识面、并提高专业英语阅读能力。 考核方式及要求:研究报告学习本课程前期课程要求:计算机网络教材及主要参考书目、文献与资料:1RFC文档及草案2论文填写人:俞黎阳 讲师 审核人:张卫 教授课程编号:S21 课程名称:计算理论根底课程英文名称:Introduction to the
17、Theory of Computation学分: 3 周学时 总学时:54课程性质:硕士学位根底课/专业/选修课 适用专业:计算机软件与理论(硕士学位根底课);计算机应用技术、系统理论、系统分析与集成硕士学位专业课、计算机系统构造硕士学位选修课教学内容及根本要求:教学内容:1、 有限自动机;2、 正那么表达式与正那么语言;3、 上下文无关文法与上下文无关语言;4、 下推自动机;5、 图灵机导引。根本要求:学生在理解课程内容根底上,初步掌握“问题、形式化描述、自动化这一典型计算机问题求解思路,提高形式化描述和抽象思维能力。考核方式及要求:考试。学习本课程前期课程要求:离散数学。教材及主要参考书目
18、、文献与资料:1. J. E Hopcroft 等:?自动机理论、语言和计算导论第二版?英文影印版,清华大学出版社,2002年,2蒋宗礼等:?形式语言与自动机理论?,清华大学出版社,2003年,3M. Sipser著,张立昂等译:?计算理论导引?,机械工业出版社,2000年。填写人:李志斌 教授 审核人:顾国庆教授课程编号:S22 课程名称:网络组播技术课程英文名称:Networks Multicast Technology学分: 2 周学时 总学时:36课程性质:硕士学位选修课 适用专业:计算机系统构造、计算机应用技术教学内容及根本要求:教学内容:讨论因特网内组播技术原理,组播路由协议,组播
19、QoS,移动环境下组播,组播平安性,MPLS域内组播,应用层组播,组播技术比拟。根本要求:通过本课程学习使学生对当前网络组播技术进展和趋势有一个较宽视野,并具有阅读、分析、综合科技文献能力。考核方式及要求:论文。学习本课程前期课程要求:现代计算机网络教材及主要参考书目、文献与资料:电子版科技文档和技术标准填写人:张卫 教授 审核人:杨宗源 教授课程编号:S23 课程名称:现代计算机网络课程英文名称:Contemporary Computer Networks学分: 3 周学时 总学时:54课程性质:硕士学位根底/专业课 适用专业:计算机系统构造、计算机应用技术、系统理论、系统分析与集成硕士学位
20、根底课;计算机软件与理论硕士学位专业课教学内容及根本要求:教学内容:按照网络协议模型物理层、数据链路层、介质访问控制子层、网络层、传输层和应用层,系统地介绍计算机网络体系构造、根本原理, 讨论近年来开展起来各种网络技术,以及计算机网络研究、分析、设计和实现方法。根本要求:学生在理解讲课内容根底上,阅读相关参考书籍和论文,从而深入理解计算机网络根本知识和开展趋势,同时了解前沿技术。考核方式及要求:考试。学习本课程前期课程要求:数据构造,操作系统,计算机组成,程序设计。教材及主要参考书目、文献与资料:AndrewS.Tanenbaum:?Computer Networks, Fourth Edit
21、ion?填写人:张卫 教授 审核人:杨宗源 教授课程编号:S27 课程名称:模式识别课程英文名称:Pattern Recognition 学分: 3 周学时 总学时:54课程性质:硕士学位专业/选修课 适用专业:系统分析与集成、系统理论、计算机应用技术硕士学位专业课; 计算机软件与理论硕士学位选修课教学内容及根本要求:教学内容:模式识别是伴随用计算机处理多媒体信号而迅速开展学科,它将计算机对外界感知转化为计算机内部处理能力,应用领域从最初光学字符识别开展到如今笔输入计算机、生物身份鉴别、人脸及表情识别、医学影像识别、信息检索和数据挖掘等领域。本课程介绍该学科根本理论与方法,包括最近十几年开展起
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 专业 名称 计算机应用技术
限制150内