专业名称计算机应用技术Word格式文档下载.docx
《专业名称计算机应用技术Word格式文档下载.docx》由会员分享，可在线阅读，更多相关《专业名称计算机应用技术Word格式文档下载.docx（23页珍藏版）》请在冰豆网上搜索。
数理逻辑
MathematicalLogic
硕士学位选修课
计算机软件与理论、计算机应用技术、计算机系统结构、系统理论、系统分析与集成
数理逻辑与计算机科学有着十分紧密的联系，数理逻辑在计算机科学中得到了广泛和深刻的应用，其重要性越来越为计算机科学界所认识。
数理逻辑是数学的一个分支，但从某种程度上讲，计算机科学界反而更推崇数理逻辑，计算机科学的发展对数理逻辑产生了很大的影响，推动了数理逻辑的发展，开辟了许多新的数理逻辑分支。
然而，通常在离散数学中所介绍的数理逻辑理论远不能满足计算机工作者的需要。
本课程以经典的一阶谓词演算为核心和基础来展开，以数理逻辑在计算机科学中的应用为导向，着重于陈述有关的理论体系，而尽可能少涉及不十分必要的证明细节。
此外，还要介绍几种针对计算机科学而发展起来的非经典的逻辑系统，主要是模态逻辑和时序逻辑，也简要地介绍了其他一些非经典的逻辑系统，如非单调逻辑等等。
基本要求：
本课程将使学生对计算机科学有更深刻的理解，为今后进行科研提供有力的工具。
考试
离散数学
1.陆钟万:
《面向计算机科学的数理逻辑》,科学出版社，1998年
2.王元元：
《计算机科学中的现代逻辑学》，科学出版社，2001年
3.A.G.Hamilton：
《LogicforMathematicians（RevisedEdition）》，清华大学出版社，2003年
4.S.B.George,P.B.John,C.J.Richard：
《ComputabilityandLogic（FourthEdition）》，电子工业出版社，2003年
5.B.John：
《HandbookofMathematicalLogic》，North-HollandPublishingCompany,1977
章炯民副教授审核人：
S0*******12005课程名称：
程序设计方法学
ProgrammingMethodology
硕士学位基础课
计算机软件与理论、计算机应用技术、计算机系统结构、系统分析与集成、系统理论
第一章．综述；
第二章．程序的基本结构；
第三章．程序的数据结构；
第四章．程序的正确性证明；
第五章．程序的形式推导方法；
第六章．程序设计的形式化方法；
第七章．并行程序设计方法。
了解程序设计方法学的地位和重要性；
掌握程序控制结构构成的基本原理、基本成份；
明确数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言的影响及重要性并掌握相关技术；
掌握程序正确性证明的基本方法，具有构造程序规范的能力；
熟悉并掌握传统的和面向对象的软件开发方法与基本理论；
理解形式化软件开发的基本原理和典型方法；
理解并行程序设计基本概念,具有并行程序设计的初步能力.
笔试。
数据库基础。
1.《程序设计方法学》胡正国国防工业出版社
2.《程序设计方法学基础》陈火旺湖南科学技术出版社
3.《程序设计方法学》仲萃豪吉林大学出版社
4.《程序设计方法学教程》张幸儿南京大学出版社
5.《现代软件工程》周之英科学出版社
6.《形式语义学基础与形式说明》屈延文科学出版社
7.《TheScienceofProgramming》Gries,D.
8.《CommunicatingSequentialProcessor》Hoare,C.A.R
9.《ProgrammingfromSpecification》CarrollMorgan
杨宗源教授审核人：
顾君忠教授
S0112010812006课程名称：
多媒体技术
MultimediaTechnology
硕士学位专业/选修课
系统分析与集成、计算机应用技术、计算机系统结构（硕士学位专业课）;
系统理论、计算机软件与理论（硕士学位选修课）
着重介绍了多媒体系统的设计原理和技术。
从多媒体技术基础入手，介绍媒体、数据压缩和相应的软硬件。
在此基础上，介绍基于时间的媒体同步、多媒体操作系统设计原理、超文本与超媒体、多媒体数据库与基于内容的多媒体数据检索。
另外，结合一些多媒体应用，介绍和多媒体系统相关的通信，分布式的应用系统的设计等问题。
同时，课程结合数据压缩、智能多媒体技术、多媒体数据模型、多媒体检索等内容展开一些讨论。
学生通过课堂学习并阅读一定量的相关论文，深入理解基本原理和知识，并对多媒体技术领域类的前沿技术及发展方向有所了解。
无
1.胡晓峰、李国辉:
《多媒体系统》，人民邮电出版社
2.RalfSteinmetz,KlaraNahrstedt（潘志庚等译）：
《多媒体技术：
计算、通信和应用》，清华大学出版社
杨静博士审核人：
S0*******12009课程名称：
高级计算机系统结构
AdvancedComputerArchitecture
计算机系统结构、计算机应用技术、计算机软件与理论
1.体系结构的层次结构、分类、设计技术、评价标准、定量分析。
2.指令集架构及设计；
3.存储层次结构与实现、Cache性能优化；
4.标量流水处理器，超标量、超流水、超长指令字结构处理器；
SIMD计算机模型、结构、实例；
5.并行系统概论；
6.嵌入式系统结构概论；
学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。
同时，课程将结合ARM嵌入式处理器结构来分析讲解，使学生理解计算机体系结构与OS、编译、软件效率的密切关系。
计算机组成原理、微机系统、C语言程序设计、操作系统。
1.郑纬民汤志忠:
《计算机系统结构》（第2版），清华大学出版社,2001-06。
2．（美）JohnL.Hennessy,DavidA.Patterson：
《ComputerArchitecture:
AQuantitativeApproach,ThirdEdition》,MorganKaufmann,2002。
3.（美）AndrewN.SLOSS,DominicSYMES,ChrisWRIGHT：
《ARMSystemDeveloper'
sGuide,DesigningandOptimizingSystemSoftware》，MorganKaufmannPublishers,2003。
沈建华副教授审核人：
张卫教授
S0112010812011课程名称：
高级算法
AdvancedAlgorithm
2学分总学时：
36学时
计算机应用技术、计算机系统结构、计算机软件与理论
1.堆的一种性质的发现和证明；
2.一种生成所有堆的枚举实用算法；
3.一种计算最大值堆的枚举总数的算法；
4.一种计算最大值堆的枚举总数的改进算法；
5.求图中两顶点间所有最短路径的一种实用算法；
6.求图中带单一限制条件的最短路径的一种算法；
7.求图中受顶点数限制的最短路径的一种算法。
研究报告。
数据结构、算法设计与分析。
1．《算法设计技巧与分析（第一版）》，电子工业出版社。
2．国内外核心杂志上关于最短路径和树的枚举的最新论文。
孙强副教授审核人：
S0112010812013课程名称：
计算机仿真
ComputerSimulation
硕士学位选修课
适用专业:
系统理论、系统分析与集成、计算机应用技术、计算机系统结构
教学内容及基本要求：
1、计算机仿真概论、
2、离散事件系统仿真系统的原理
3、与离散事件系统仿真有关的概率统计知识
4、随机变量的产生
5、从输入数据得到概率分布类型
6、排队系统的仿真建模
7、库存系统的仿真建模
通过本课程的学习，使硕士研究生具有初步的从事离散事件系统仿真的能力。
笔试/研究报告
概率论
1.熊光楞、肖田元、张燕之:
《连续系统仿真与离散事件系统仿真》，清华大学出版社，1991年
2.黄柯棣、张金槐、李剑川：
《系统仿真技术》，国防科技大学出版社，1998年
胡幼华教授审核人：
顾国庆教授
S0*******12017课程名称：
计算机网络技术及发展
TechnologiesonComputerNetworks
2周学时总学时：
36
计算机应用技术、计算机系统结构
本课程主要通过讨论班的形式组织学生学习、研究计算机网络领域一些重要技术，特别是当前热门技术及各项技术的最新发展，主要包括MPLS、Ad-hoc、WirelessSensorNetworks、SIP、NAT、Kerberos、IPsec、IPv6、MobileIP、SNMP、RADIUS、DHCP、DNS、SMTP、POP3、IMAP、MIME、FTP、RIP、OSPF、BGP、PPP等。
要求学生阅读大量的RFC等英文技术文档和相关英文论文，每个学生要负责主讲2个技术专题并组织讨论。
本课程旨在加强学生对计算机网络技术的熟悉程度、提高学生计算机网络技术的知识面、并提高专业英语的阅读能力。
研究报告
计算机网络
1．RFC文档及草案
2．论文
俞黎阳讲师审核人：
S0112010812021课程名称：
计算理论基础
IntroductiontotheTheoryofComputation
3周学时总学时：
硕士学位基础课/专业/选修课
计算机软件与理论（硕士学位基础课）；
计算机应用技术、系统理论、系统分析与集成（硕士学位专业课）、计算机系统结构（硕士学位选修课）
1、有限自动机；
2、正则表达式与正则语言；
3、上下文无关文法与上下文无关语言；
4、下推自动机；
5、图灵机导引。
学生在理解课程内容的基础上，初步掌握“问题、形式化描述、自动化”这一典型的计算机问题求解思路，提高形式化描述和抽象思维能力。
离散数学。
1.J.EHopcroft等:
《自动机理论、语言和计算导论（第二版）》（英文影印版），清华大学出版社，2002年，
2．蒋宗礼等：
《形式语言与自动机理论》，清华大学出版社，2003年，
3．M.Sipser著，张立昂等译：
《计算理论导引》，机械工业出版社，2000年。
李志斌教授审核人：
顾国庆教授
S0*******12022课程名称：
网络组播技术
NetworksMulticastTechnology
计算机系统结构、计算机应用技术
讨论因特网内的组播技术原理，组播路由协议，组播的QoS,移动环境下的组播，组播的安全性，MPLS域内的组播，应用层组播，组播技术的比较。
通过本课程学习使学生对当前网络组播技术的进展和趋势有一个较宽的视野，并具有阅读、分析、综合科技文献的能力。
论文。
现代计算机网络
电子版科技文档和技术标准
张卫教授审核人：
S0112010812023课程名称：
ContemporaryComputerNetworks
硕士学位基础/专业课
计算机系统结构、计算机应用技术、系统理论、系统分析与集成（硕士学位基础课）；
计算机软件与理论（硕士学位专业课）
按照网络协议模型（物理层、数据链路层、介质访问控制子层、网络层、传输层和应用层），系统地介绍计算机网络的体系结构、基本原理,讨论近年来发展起来的各种网络技术，以及计算机网络的研究、分析、设计和实现方法。
学生在理解讲课内容的基础上，阅读相关参考书籍和论文，从而深入理解计算机网络基本知识和发展趋势，同时了解前沿技术。
数据结构，操作系统，计算机组成，程序设计。
Andrew
S.
Tanenbaum:
《ComputerNetworks,FourthEdition》
S0*******12027课程名称：
模式识别
PatternRecognition
系统分析与集成、系统理论、计算机应用技术（硕士学位专业课）；
计算机软件与理论（硕士学位选修课）
模式识别是伴随用计算机处理多媒体信号而迅速发展的学科，它将计算机对外界的感知转化为计算机的内部处理能力，应用领域从最初的光学字符识别发展到如今的笔输入计算机、生物身份鉴别、人脸及表情识别、医学影像识别、信息检索和数据挖掘等领域。
本课程介绍该学科的基本理论与方法，包括最近十几年发展起来并被实践证明行之有效的新技术。
根据不同专业的导师对该课程的要求，选修该课程的学生可以对基本知识和前沿技术有深入的理解或者全面的了解。
综合报告与测验相结合。
本科生相关课程。
1.R.O.Duda等:
《PatternClassification》第二版的中译本,机械工业出版社。
2.傅京孙：
《模式识别应用》，北京大学出版社。
3.沈清、汤霖：
《模式识别导论》，国防科技大学出版社。
曹立副教授审核人：
顾国庆教授
S0112010812031课程名称：
数字移动通信系统
Digitalmobiletelecommunicationsystem
学分：
3学分总学时：
54学时
硕士学位专业/选修课
计算机系统结构（硕士学位专业课）；
计算机应用技术、系统分析与集成（硕士学位选修课）
本课程以无线接口的协议结构原理为重点，系统介绍当代数字移动通信系统GSM/GPRS和UMTS的体系结构、无线接口信令协议的物理层、无线链路控制、无线资源管理、移动和安全管理、通信管理的原理和协议以及终端设备的测试技术和标准。
开卷笔试
具有通信协议的基本知识
1.MichelMoulyandMarie-BernadettePautet：
《TheGSMSystemforMobileCommunications》，中译本：
《GSM数字移动通信系统》
2.钟章队、蒋文怡等：
《GPRS通用分组无线业务》，人民邮电出版社
3.李小文、李贵勇、陈贤亮等：
《第三代移动通信系统、信令及实现》，人民邮电出版社
4.HarriHolmaandAnttiToskala：
《WCDMAforUMTS,radioaccessforthirdgenerationmobilecommunication》
5.3GPP的有关标准文档
王能教授审核人：
S0*******12038课程名称：
数字信号处理
DigitalSignalProcessing
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.SenM.Kuo,BobH.Lee:
《Real-TimeDigitalSignalProcessing:
Implementations,ApplicationsandExperimentswiththeTMS320C55x（影印版）》，清华大学出版社
2.应启洐，冯一云，窦维蓓：
《离散时间信号分析和处理》，清华大学出版社
3.刘树棠译《信号与系统》，西安交通大学出版社
4.王春梅、孙洪波、任治刚：
《TMS320C5000系列DSP系统设计与开发实例》，电子工业出版社
续晋华博士审核人：
S0112010812041课程名称：
数字图像处理
DigitalImageProcessing
系统理论，系统分析与集成、计算机系统结构、计算机软件与理论（硕士学位专业课）；
尽管数字图像处理的发展历史不长，但却已经引起各方面人士的广泛重视。
首先，视觉是人类最重要的感知手段，图像又是视觉的基础。
因此，数字图像成为心理学、生理学、计算机科学等诸多领域内的学者们研究视觉感知的有效工具。
其次，图像处理在军事、遥感、气象等大型应用中有不断增长的需求。
此外，数字成像（如数字摄像机、扫描仪等）、图像打印机和数字印刷技术的快速发展，使得图像处理设备已不再昂贵，给图像处理的发展提供了很好的条件。
数字图像处理是一门实用的学科，同时也具有坚实的理论基础。
本课程使计算机科学技术以及系统科学的研究生以后在图像科学方面科研提供必要的基础。
高等数学。
1．KennethR.Castleman：
《数字图像处理》，电子工业出版社
S0*******12042课程名称：
数字系统设计方法
TheMethodsofDigitalSystemDesign
本课程以嵌入式系统设计为主线，论述数字系统设计的基本方法，并从系统开发环境、EDA设计方法、硬件描述语言的应用、系统可靠性技术、设计方案评价等方面介绍数字系统开发过程中的常用技术，为系统开发特别是硬件系统开发提供相关知识。
通过学习。
学生能了解数字系统的基本开发方法和相关的前沿技术，并通过实例分析，能理解在理解系统开发主要技术，为实际应用提供基础。
无。
1.肖东荣：
《微型计算机实时控制的抗干扰》，湖北科学技术出版社，1985年；
2.包明、赵明富、陈渝光：
《EDA技术与数字系统设计》，北京航空航天大学出版社，2002年；
3.MarkZwolinski：
《VHDL数字系统设计（第二版）》，电子工业出版社,2004年。
王荣良副教授审核人：
S0*******1
升级会员 