10院计算机学院硕士研究生课程目录及简介
计算机学院硕士研究生课程目录
序号
课程编号
课程名称
学时
学分
开课
学期
考核
形式
1
M10M
组合数学
60
3.0
1
考试
2
M10M
VLSI系统与电路设计
40
2.0
1
考试
3
M10M
形式语言与自动机
40
2.0
2
考试
4
M10M
系统仿真与虚拟现实技术
40
2.0
1
考试
5
M10M
软件形式化方法
40
2.0
2
考试
6
M10M
电子商务技术
40
2.0
2
考查
7
M10M
听觉与音频信号处理
40
2.0
2
考查
8
M10M
高级计算机系统结构
40
2.0
1
考试
9
M10M
模拟CMOS集成电路设计
40
2.0
1
考试
10
M10M
计算机测控技术
40
2.0
1
考查
11
M10M
科技论文写作
20
1.0
2
考查
12
M10M
前端微电子系统
40
2.0
2
考试
13
M10M
抗辐射集成电路设计
40
2.0
1
考试
14
M10M
现代软件工程体系与实践
40
2.0
2
考试
15
M10M
算法分析与设计
40
2.0
2
考试
16
M10M
并行计算系统
40
2.0
2
考试
17
M10M
高级计算机网络技术
40
2.0
1
考试
18
M10M
网络信息安全工程
40
2.0
2
考试
19
M10M
服务计算原理及应用
40
2.0
1
考试
20
M10M
嵌入式系统设计及应用
40
2.0
2
考试
21
M10M
图像工程
40
2.0
1
考试
22
M10M
模糊数学理论及应用
40
2.0
1
考试
23
M10M
智能决策支持系统
40
2.0
2
考试
24
M10M
无线传感器网络
40
2.0
2
考试
25
M10M
实时系统
40
2.0
2
考试
26
M10M
计算摄像学
40
2.0
2
考试
27
M10M
函数式程序设计方法
40
2.0
2
考试
28
M10M
物联网系统设计方法
40
2.0
2
考试
29
M10M
信息物理社会融合系统专题
40
2.0
1
考查
30
M10M
云计算及应用
40
2.0
2
考试
31
M10M
大数据处理
40
2.0
2
考试
32
M10M
计算机系统分析与性能评价
40
2.0
2
考试
33
M10M
无线通信与移动计算
40
2.0
2
考试
34
M10M
模拟CMOS集成电路设计实验
40
2.0
1
考查
35
M10M
全定制数字集成电路设计
40
2.0
1
考查
36
M10M
面向对象系统方法
40
2.0
2
考试
37
M10M
数字媒体计算技术
40
2.0
1
考试
38
M10M
模式分类
40
2.0
2
考试
39
M10M
分布式计算原理
40
2.0
1
考试
40
M10M
数据库系统原理与实现
40
2.0
1
考试
41
M10M
数字系统设计
40
2.0
2
考试
42
M10M
数据挖掘技术
40
2.0
1
考查
43
M10M
计算智能
40
2.0
1
考试
44
M10M
数字语音处理
40
2.0
2
考查
45
M10M
人工神经网络及应用
40
2.0
2
考试
46
M10M
人机交互与普适计算
40
2.0
1
考试
47
M10M
嵌入式软件设计与分析方法
40
2.0
2
考试
48
M10M
信息检索理论与应用
40
2.0
1
考试
49
M10M
流计算及其程序设计
40
2.0
2
考试
50
M10M
通信网的安全协议理论与技术
40
2.0
2
考试
51
M10M
实时智能系统设计
40
2.0
1
考试
52
M10M
软件缺陷分析与软件质量管理
40
2.0
2
考试
53
M10M
云计算及云存储系统实验
40
2.0
2
考查
54
M10M
SoC设计方法学
40
2.0
1
考查
55
M10M
计算生物学
40
2.0
1
考查
56
M10M
机器学习及应用
40
2.0
1
考查
57
M10E
机载计算机技术
40
2.0
1
考查
58
M10E
机载软件开发导论
40
2.0
1
考查
59
M10E
航空电子系统架构及机载总线网络技术
40
2.0
2
考查
60
M10E
大型软件系统设计与开发实践
40
2.0
1
考试
61
M10E
网络存储技术
40
2.0
1
考试
63
M10E
高性能计算及应用
40
2.0
1
考试
64
M10E
嵌入式操作系统设计
40
2.0
2
考试
计算机学院硕士研究生课程简介
序号：1
课程编号：M10M
课程名称：组合数学
任课教师：康慕宁
英文译名：CombinatorialMathematics
先修要求：离散数学、近世代数。
内容简介：1、排列组合、二项式系数；2、生成函数与递推关系；3、容斥原理与鸽巢原理；4、Polya定理；5、区组设计与编码。
主要参考书：（1）《组合数学》卢开澄清华大学出版社；（2）《组合数学》RichardA.Brualdi著，冯舜玺等译，机械工业出版社。
序号：2
课程编号：M10M
课程名称：VLSI系统与电路设计
任课教师：张萌韩茹
英文译名：VLSISystemandCircuitDesign
先修要求：数字电路、计算机组成原理。
内容简介：本课程为研究生系统结构方向专业基础课，课程介绍超大规模集成电路与系统的设计和分析方法。主要内容包括：半导体基础、集成电路工艺技术、晶体管器件基础、版图设计与验证、逻辑功效理论、静态与动态逻辑电路、时序电路、VLSI功能部件设计与分析、VLSI设计流程、VLSI计算机辅助工具。
主要参考书：（1）《超大规模集成电路——电路和系统设计》高德远康继昌编；
（2）《PrinciplesofCMOSVLSIDesign》。
序号：3
课程编号：M10M
课程名称：形式语言与自动机
任课教师：康慕宁林奕
英文译名：FormalLanguageAutomata
先修要求：程序设计语言、离散数学、编译原理。
内容简介：1、语言的有限描述或形式定义、语言的Chomsky分类；2、有限自动机；3、正则表达式、正则语言及其性质；4、上下文无关文法和语言及其性质；5、下推自动机；6、Turing机与递归可枚举语言；7、通用图灵机、停机问题、不可判定性；8、各类语言的运算性质；9、难解问题
主要参考书：（1）自动机理论、语言和计算导论J.Hopcroft等著，刘田等译，机械工业出版社；
（2）《形式语言及其与自动机的关系》J.Hopcroft，科学出版社
序号：4
课程编号：M10M
课程名称：系统仿真与虚拟现实技术
任课教师：翟正军杜承烈
英文译名：SystemSimulationandVirtualReality
先修要求：
内容简介：（1）系统仿真的相关理论和虚拟现实技术的基础理论；（2）系统形式化智能建模方法；（3）协同仿真技术与实现；（4）群体行为仿真与群体智能算法；（5）仿真模型有效性；（6）不确定信息的处理与表达；（7）虚拟现实技术及其应用。基于MATLAB的系统仿真，连续系统仿真和离散系统仿真，磁悬浮系统PID控制器的设计与仿真等；虚拟现实建模语言VRML，练习使用VRML构造基本造型以及其他常用节点，运用VRML时间传感器节点和插补器节点在虚拟场景中构造动画；虚拟现实环境的造型工具Creator、Java3D、OpenSceneGraph、3DMax，VRML的使用，系统仿真模型驱动设计，综合运用虚拟造型和VRMLScript构造复杂的仿真实验，交通系统仿真。
主要参考书：（1）《系统仿真导论》肖田元，清华大学出版社，年；
（2）《系统建模与仿真》吴重光，清华大学出版社，年；
（3）《离散事件系统仿真》（美）班克斯等，机械工业出版社，年；
（4）《生物建模仿真》，田心，清华大学出版社，年；
（5）《系统建模与仿真的校核验证和确认》，廖瑛等，国防科技大学出版社，；
（6）《虚拟现实技术》（美）伯迪、魏迎梅等，电子工业出版社，年；
（7）《DVENET分布式虚拟现实应用系统运行平台与开发工具》赵沁平著，科学出版
社，年；
（8）《基于Matlab/simulink的系统仿真技术与应用》薛定宇，清华大学出版社。
序号：5
课程编号：M10M
课程名称：软件形式化方法
任课教师：吴健
英文译名：FormalMethodsofSoftwareDevelopment
先修要求：离散数学、软件工程
内容简介：本课程讲授支撑软件需求分析、设计及实现过程中需要的基本的形式化方法。所谓形式化方法即指基于严格数学基础、具有精确数学语义的方法。具体内容包括基本有限状态机、Statecharts、Petri网、通信顺序进程（CSP）、通信系统演算（CCS）、基于一阶逻辑的程序正确性证明、时态逻辑基础、模型检验、Z及VDM方法。
主要参考书：（1）《软件开发的形式化方法》古天龙，北京：高等教育出版社，.1；
（2）《程序设计方法学》胡正国等，北京：国防工业出版社，；
（3）《CommunicatingSequentialProcesses》C.A.R.Hoare，ElectronicVersion,。
序号：6
课程编号：M10M
课程名称：电子商务技术
任课教师：王丽芳李慧贤
英文译名：ElectronicBusinessTechnology
先修要求：计算机网络
内容简介：1、电子商务；2、服务计算；3、SOA与分布式系统；4、WebService；5、电子商务模式软件架构设计；6、领域建模；7、电子商务安全技术；8、身份认证与访问控制；9、企业服务总线；10、电子商务应用解决方案。
主要参考书：（1）《电子商务安全》王丽芳等编著，电子工业出版社，；
（2）《SOA概念、技术与设计》[美]ThomasErl著，王满红等译，机械工业出版社，；
（3）《各大IT公司著名的解决方案、会议学术资料汇编等》
序号：7
课程编号：M10M
课程名称：听觉与音频信号处理
任课教师：付中华
英文译名：AuditoryandAudioSignalProcessing
先修要求：数字信号处理
内容简介：本课程以现代信号处理理论、自适应信号处理理论、阵列信号处理、时频分析等为基础工具，涉及声学理论、人耳听觉、乐音体系、音频工程、电声技术等众多领域。首先从声学角度出发，研究声信号基本属性、传播规律、声学环境特性，再从人耳听觉感知出发，研究心理声学模型、双耳定位原理、听觉场景分析，进而探讨声采集与重放技术；然后运用信号处理的方法研究各种数字音效滤波器、音频特效、时域处理和时频域处理；最后探讨噪声抑制、声信号分离与声源跟踪、虚拟听觉等典型音频应用技术。本课程围绕电声信号或音频信号，研究信号的采集、滤波、去噪、特效、分离、定位、分析、合成、重放等内容，是智能人机交互、语音通信、音频工程、虚拟现实等应用的重要组成部分。
本课程也可以作为专业硕士课程，拟开展以下几方面的实验：
虚拟声及环境音效设计：包括双耳听觉原理与虚拟声合成、常见数字音效滤波器设计等，要求掌握双耳听觉定位原理、音效物理模型，并会运用数字信号处理工具进行虚拟声合成，以及混响、变调、变速、多普勒频移等音效；
阵列声信号定位与增强：包括时延估计、声源跟踪原理及设计，还包括自适应波束形成、广义旁瓣抵消等阵列声信号增强。要求掌握阵列信号采集与分析方法、时延估计与定位关系、常规定位方法，以及阵列声信号增强设计；
多抽样子带分析与重构：包括多抽样率信号处理原理，尤其是采样率转换、子带分解与重构、正交镜像滤波器组设计、DFT调制滤波器组设计等。
主要参考书：（1）SpringerHandbookofSpeechProcessing，Springer,
（2）“DigitalAudioSignalProcessing”,UdoZ?lzer(Ed),JohnWiley,.
（3）“DigitalAudioEffects”,UdoZ?lzer(Ed),JohnWiley,.
（4）“SpectralAudioSignalProcessing”,JuliusO.SmithIII
（5）“AdvancedAudioSignalProcessing,”D.R.CompBell,UniversityofPaisley.
序号：8
课程编号：M10M
课程名称：高级计算机系统结构
任课教师：王党辉安建峰
英文译名：AdvancedComputerArchitecture
先修要求：计算机组成原理，计算机系统结构、数字电路
内容简介：本课程为研究生系统结构方向的专业基础课，主要讨论与微处理器设计有关的先进微体系结构。主要内容包括：1、计算机设计基本原理：计算机设计者的任务、性能评价、量化准则；2、流水线设计：流水线概念、相关处理、精确中断；3、指令级并行：超标量结构、分支预测与推测执行、动态调度、乱序执行、VLIW结构；4、多核与线程级并行：SMT结构、CMP结构、多核结构；5、存储系统：存储层次结构、对称共享存储器结构、分布式存储结构、虚拟存储器和虚拟机。
主要参考书：（1）JohnL.HennessyDavidA.Patterson—ComputerArchitecture:AQuantitativeApproach，电子工业出版社
（2）JosephA.Fisher,PaolpFaraboschiCliffYoung--EmbeddComputing:AVLIWApproachtoArchitecture,Compilers,andTools,电子工业出版社。
序号：9
课程编号：M10M
课程名称：模拟CMOS集成电路设计
任课教师：魏廷存高武
英文译名：DesignofanalogCMOSintegratedcircuits
先修要求：电路分析基础、模拟/数字电子电路基础
内容简介：主要介绍模拟CMOS集成电路的设计方法、设计流程及其典型电路模块的动作原理和设计方法，以及模拟CMOS集成电路的最新研发动态。主要内容有：1）模拟CMOS集成电路的发展历史及趋势、功能及应用领域、设计流程；2）CMOS元器件及其模型；3）单级放大电路；4）运算放大器与反馈；5）比较器；6）基准电压与电流产生电路；7）A/D与D/A变换电路；8）时钟信号产生电路。
主要参考书：（1）《模拟CMOS集成电路设计》，魏廷存，陈莹梅，胡正飞编著，清华大学出版社，年
（2）《模拟CMOS集成电路设计》，[美]毕查德·拉扎维著，陈贵灿等译，西安交通大学出版社，年
（3）《AnalogIntegratedCircuitDesign》,DavidA.JohnsKenMartin,JohnWileySons,Inc.
（4）《CMOS模拟集成电路设计》，[美]PhillipE.Allen,DouglasR.Holberg著，冯军等译，电子工业出版社,年
（5）《AnalysisandDesignofAnalogIntegratedCircuits》，P.R.Gray,P.J.Hurst,S.H.Lewis,andR.G.Meyer,JohnWileySons,Inc.
序号：10
课程编号：M10M
课程名称：计算机测控技术
任课教师：郭阳明翟正军
英文译名：ComputerMeasurementandControlTechnology
先修要求：计算机组成原理计算机控制技术
内容简介：１、测控系统的概念、组成和基本功能２、测控总线与测控网络技术３、实时测控软件设计方法４、测试理论与计算机控制系统基本原理５、虚拟试验、虚拟测试及虚拟仪器。
主要参考书：（1）计算机测控技术，刘君、邱宗明，西安电子科技大学出版社；
（2）《实时系统》(英文原版)，C.M.KrishnaKangG.Shin编著，清华大学出版社，；
（3）《计算机测控系统设计与应用》李正军著，机械工业出版社，年；
序号：11
课程编号：M10M
课程名称：科技论文写作
任课教师：谢磊
英文译名：TutorialofAcademicWriting
先修要求：
内容简介：1、学术思维德品格、模式和习惯；2、学术研究的一般方法；3、学术论文的种类、层次和价值；4、学术论文的选题与写作；5、学术论证的逻辑和技；6、参考资料的搜集与筛选；7、研究生开题报告、学术论文和学位论文的写作方法；8、科研项目的申报、开题、组织研究及成果验收；9、英文论文写作基本知识；10、英文学术论文的写作方法。
主要参考书：（1）《学术论文写作》高小和，南京大学出版社年；
（2）BrianDevlin,《英语论文写作教程》——基于国际标准的学术写作与发表，清华大学出版社，年；
（3）冯幼民编著，《高级英文写作教程：实用写作》，北京大学出版社，；
（4）冯幼民编著，《高级英文写作教程：论文写作》，北京大学出版社，；
（5）《科技论文写作入门》，张孙玮、黄有兴、张迅，化学工业出版社，.1。
序号：12
课程编号：M10M
课程名称：前端微电子系统
任课教师：高武
英文译名：Front-EndMicroelectronicsSystems
先修要求：模拟CMOS集成电路设计、全定制数字集成电路设计、模拟CMOS集成电路设计实验。
内容简介：前端微电子系统是微电子学、纳电子学和集成电路设计等专业的专业选修课，是一门理论性和实践性都很强的综合性课程，培养学生掌握用于半导体探测器和MEMS传感器的低噪声前端读出和信号处理的基本理论、工作原理、主要性能及其特点，掌握常用前端读出电路模块的工程设计方法和实验研究方法。课程的主要内容包括：（1）半导体探测器的工作原理及电学模型；2）半导体探测器低噪声前端读出策略；3）前置放大器和滤波器设计方法；4）前端信号处理集成电路设计和分析；5）多通路模数转换器（ADC）；6）锁相环和延迟锁相环技术；7）时间-数字变换器（TDC）；9)前端微电子系统的辐射效应及抗辐射加固技术。
主要参考书：
（1）《SemiconductorDetectorSystem》，HelmuthSpieler著，OxfordUniversityPress，
（2）《Front-EndElectronicsforMultichannelSemiconductordetectorsystem》，P.Grybos著，WarsawUniversityofTechnology—Warsaw
（3）《Time-to-DigitalConverters》,S.Henzler著，
（4）其他前端微电子方向最新发表的论文和专著等。
序号：13
课程编号：M10M
课程名称：抗辐射集成电路设计
任课教师：高武魏晓敏
英文译名：DesignofRadiation-HardnessIntegratedCircuits
先修要求：模拟CMOS集成电路设计、全定制数字集成电路设计、模拟CMOS集成电路设计实验
内容简介：本课程结合航空、航天、核领域、武器装备应用研究的重大需求，及纳米尺度集成电路设计的新特点，讲述辐射效应和集成电路辐射加固技术等方面的基本概念、基础理论和相关技术，介绍抗辐射集成电路的研究进展、最新的设计理论和发展方向。主要内容包括：1）空间辐射、核爆炸和核动力辐射环境；2）总剂量、单粒子和移位损伤等辐射效应；3）CMOS集成电路的辐射加固设计方法；4）存储器、ADC典型集成电路的辐射加固设计实例；5）电离总剂量效应测试及防护设计；6)单粒子效应测试及防护设计;7)位移损伤效试验测量及应对方法。
主要参考书：（1）《HandbookofRadiationEffects》,A.Holmes-Siedle,L.Adams著,OxfordUniversityPress,；
（2）《SoftErrorsinModernElectronicSystems》,M.Nicolasidis,Spinger，；
（3）《抗辐射集成电路概论》，韩郑生著，清华大学出版社，
序号：14
课程编号：M10M
课程名称：现代软件工程体系与实践
任课教师：张小芳李先国
英文译名：SoftwareEngineering
先修要求：数据结构、编译原理、操作系统、软件工程导论
内容简介：1、软件工程概论：2、过程和生命周期建摸；3、计划和管理项目；4、获取需求；5、设计体系结构；6、设计模式；7、系统的测试；8、软件质量度量与控制；9、缺陷分析与预防技术；10、软件工程的未来。
主要参考书：（1）《SoftwareEngineeringTheoryandPractice（FourthEdition）》ShariLawrence
Pfleeger著，人民邮电出版社；
（2）《质量评价与软件质量工程知识体系的研究》马慧杨一平著，人民邮电出版社；
（3）《缺陷预防最佳实践》MarcMcDonald著，清华大学出版社；
（4）《SoftwareEngineering3(Domains,Requirements,andSoftwareDesign)》Dines
Bjorner著，清华大学出版社。
序号：15
课程编号：M10M
课程名称：算法分析与设计
任课教师：赵政文
英文译名：AlgorithmDesignandAnalysis
先修要求：C语言、数据结构、离散数学、组合数学。
内容简介：1、基础理论；2、复杂性度量；3、设计技术：分治法，动态规划法，贪心算法，回溯法，分枝界限法；4、最优算法；5、图算法；6、网络优化算法；7、NP完全问题；8、并行算法的结构、设计与分析
主要参考书：（1）《计算机算法导引——设计与分析》卢开澄。清华大学出版社；
（2）《算法设计与分析》[沙特]M.H.Alsuwiyel著吴伟昶,方世昌译；电子工业出版社。
序号：16
课程编号：M10M
课程名称：并行计算系统
任课教师：苗克坚
英文译名：PrincipleofParallelComputing
先修要求：计算机组成原理、计算机系统结构、操作系统、数据结构。
内容简介：1、并行计算的基本概念；2、从SMP、NUMA到MPP；3、互连网络及通讯技
术；4、机群系统；5、并行软件系统
主要参考书：（1）《并行计算原理》康继昌主编；
（2）GREGORYF.PFISTER：INSEARCHOFCLUSTERS。
序号：17
课程编号：M10M
课程名称：高级计算机网络技术
任课教师：蔡皖东
英文译名：AdvancedComputerNetworkTechnology
先修要求：计算机组成原理、操作系统。
内容简介：1、计算机网络概论；2、IPv6技术；3、路由选择与拥塞控制技术；4、无线网络技术；5、移动IP技术；6、IP组播技术；7、P2P网络技术；8、多媒体通信技术；9、分布式多媒体应用；10、网络管理技术。
主要参考书：（1）《计算机网络(第三版)》，蔡皖东，西安电子科技大学出版社；
（2）《计算机网络》，吴功宜编著，清华大学出版社。
序号：18
课程编号：M10M
课程名称：网络信息安全工程
任课教师：蔡皖东
英文名称：NetworkandInformationSecurityEngineering
先修要求：计算机网络，网络信息安全
内容简介：1、网络信息安全概论；2、网络攻击技术；3、密码技术；4、认证技术；5、信息隐藏技术；6、安全协议；7、网络防护技术；8、网络检测技术；9、网络容灾技术；10、信息安全工程；11、可信计算平台技术。
主要参考书：（1）《网络与信息安全》，蔡皖东，西工大出版社；
（2）《信息安全工程导论》，沈昌祥，电子工业出版社。
序号：19
课程编号：M10M
课程名称：服务计算原理及应用
任课教师：谷建华赵天海
英文译名：ServiceComputing
先修要求：分布式系统，面向对象的程序设计语言
内容简介：主要介绍服务计算及SOA的主要概念和实现技术，理解面向服务体系架构特点，掌握面向服务的建模技术及编程模型，通过实验深入理解服务计算原理，掌握相关实现技术。课程主要内容包括：服务计算及SOA的基本概念和设计原则；SOA架构；SOA相关技术规范；Web服务技术；Restfulweb服务技术；服务组合；本体及语义Web；SCA/SDO编程模型；企业服务总线ESB以及服务计算最新研究与发展方向。
主要参考书：
RobertDaigneau著姚军译，《服务设计模式:SOAP/WSDL与RESTfulWeb服务设计解决方案》，北京:机械工业出版社，.11
Liang-jieZhang,JiaZhang,HongCai著，《服务计算》，清华大学出版社，年7月。
喻坚，韩燕波著，《面向服务的计算：原理和应用》，清华大学出版社，年12月。
MarkD.Hansen著，成保栋译，《使用JavaWeb服务构建SOA》，电子工业出版社，年3月。
王紫瑶等编著，《SOA核心技术及应用》，电子工业出版社,年5月。
毛新生著，《SOA原理?方法?实践》，电子工业出版社，年5月。
序号：20
课程编号：M10M
课程名称：嵌入式系统设计及应用
任课教师：蒋泽军张羽
英文译名：EmbeddedSystemDesignandApplication
先修要求：计算机操作系统，计算机组成原理，数据库技术
内容简介：嵌入式系统是以应用为中心，以计算机技术为基础，并且软硬件可裁剪，适用于应用系统对功能、可靠性、成本、体积、功耗有严格要求的专用计算机系统。它一般由嵌入式微处理器、外围硬件设备、嵌入式操作系统以及用户的应用程序等四个部分组成，用于实现对其他设备的控制、监视或管理等功能。本课程将重点介绍以下内容：1、嵌入式系统的历史及发展趋势；2、嵌入式系统的分类及应用；3、嵌入式系统的特点；4、嵌入式操作系统；5、嵌入式软件开发技术；6、嵌入式软件测试技术。
主要参考书：（1）《嵌入式系统设计(EmbeddedSystemDesignAUnifiedaedware/SoftwareIntroduction)》[美]FrankVahid,TonyGivargis著，骆丽译，北京航空航天大学出版社出版；
（2）《嵌入式系统开发与应用教程》天泽编著，北京航空航天大学出版社出版；
（3）《嵌入式的实时概念(Real-TimeConceptsforEmbeddedSystems)》，[美]QingLi著，CarolineYao助编，王安生译，北京航空航天大学出版社出版。
（4）《嵌入式系统设计(EmbeddedSystemsDesign)》[美]ArnoldBerer著，吕骏译，电子工业出版社。
序号：21
课程编号：M10M
课程名称：图像工程
任课教师：王庆张艳宁杨涛
英文译名：ImageEngineering
先修要求：数字信号处理、线性代数
内容简介：介绍图像工程的第一层次——图象处理，图像工程的第二层次——图像分析，图像工程的第三层次——图像理解的基本概念、基本原理、典型方法、实用技术以及国际上有关研究的新成果。主要内容：图像处理基础，图像编码基础，图像水印，多尺度图像技术，图像分割基础理论和方法，目标表达和描述，特征测量和误差分析，纹理、形状和运动分析，运动目标跟踪，视感觉和视知觉，高维图像采集，知识和表达，图像模式识别，图像理解理论和系统等、应用Matlab等。
主要参考书：（1）章毓晋编著，图像工程（第2版），清华大学出版社，；
（2）RafaelC.Gonzalez等著阮秋琦等译，数字图像处理（第二版），电子工业版社，；
（3）RafaelC.Gonzalez，RichardE.Woods，DigitalImageProcessing(SecondEdition)，电子工业出版社，；
（4）DavidA.Forsyth,JeanPonce著，林学訚等译，计算机视觉——一种现代方法，电子工业出版社，。
序号：22
课程编号：M10M
课程名称：模糊数学理论及应用
任课教师：蒋泽军张羽
英文译名：FuzzySets
先修要求：离散数学、线性代数、概率论。
内容简介：1、模糊集合；2、模糊关系；3、模糊映射与变换；4、模糊规划；5、模糊系统与模糊控制；6、模糊逻辑。
主要参考书：（1）《模糊数学引论》汪诚义著；
（2）A.Kaufmann:IntroductiontototheTheoryofFuzzySabsets,Volume1，。
序号：23
课程编号：M10M
课程名称：智能决策支持系统
任课教师：李伟华史豪斌
英文译名：IntelligentDecisionTechnology
先修要求：数据库概论、离散数学、数据结构。
内容简介：1、序论；2、系统分析；3、系统设计；4、线性规划；5、整数规划；6、动态
规划；7、对策论；8、典型的决策支持系统；9、目的性系统的形成化；10、
决策支持系统的数据库方法；11、决策支持的形式逻辑方法；12、决策支持的
数据库与形式逻辑集成方法；13、决策支持系统算法。
主要参考书：（1）《决策支持系统(DSS)理论、方法、案例》高洪深，清华大学出版社；
（2）《多媒体群体决策支持系统理论、方法、应用》李伟华，西北工业大学出版社；
（3）《决策支持系统数学基础》涡福德李伟华，西北工业大学出版社，；
（4）《决策支持系统》黄梯云，哈尔滨工业大学出版，。
序号：24
课程编号：M10M
课程名称：无线传感器网络
任课教师：李志刚
英文译名：SensorNetworks
先修要求：计算机网络
内容简介：传感网/物联网是我国大力发展的战略性新兴产业之一，课程根据无线传感网发展现状及趋势，主要讲述无线传感网体系结构，协议及算法设计，编程抽象及应用开发。主要内容包括传感网体系结构、MAC层协议，路由协议、传输协议、时钟同步、定位、覆盖控制、拓扑控制、网内处理，编程抽象、基于IPv6的传感网、传感网应用系统设计。
主要参考书：（1）孙利民，李建中，陈渝，朱红松，《无线传感器网络》，清华大学出版社，-5-1；
（2）李晓维，《无线传感器网络技术》，北京理工大学出版社，-8；
（3）HOLGERKARL,ANDREASWILLIG,邱天爽等译，《无线传感器网络：协议与体系结构》，电子工业出版社，-1-1；
（4）IvanStojmenovic,“HandbookofSensorNetworks-AlgorithmsandArchitectures”,Wiley-Interscience,-05。
序号：25
课程编号：M10M
课程名称：实时系统
任课教师：林奕张晓
英文译名：Real-TimeSystem
先修要求：C语言，计算机组成原理/微机原理/嵌入式系统，
计算机网络，操作系统，软件工程
内容简介：本课程将以介绍实时计算系统中的软件和通信协议为主要目标，在介绍实时计算理论、实时软件分析与设计方法等理论主题的同时，对实时操作系统、实时软件架构设计等实践技术进行详细介绍，并设计相应的试验内容。以其从理论与实践两个角度对学生进行能力培养。主要内容包括：实时系统概述、实时系统建模与分析技术、实时操作系统、时间触发的软件架构、实时通信与并发/分布实时计算技术。
主要参考书：（1）《实时系统》JaneW.S.Liu，高等教育出版社，；
（2）《时间触发的嵌入式系统设计模式》MichaelJ.Pont，中国电力出版社，；
（3）《嵌入式系统的实时概念》QingLi，CarolineYao，北京航空航天大学出版社，；
（4）《实时系统与编程语言》AlanBurns，AndyWellings，王振宇，陈利等译，机械工业出版社/中信出版社，；
（5）《UML与并行分布式实时应用程序设计》HassanGomaa，科学出版社，；
（6）《嵌入式与实时系统开发：使用UML、对象技术、框架和模式》BrucePowelDouglass，柳翔译，机械工业出版社，
序号：26
课程编号：M10M
课程名称：计算摄像学
任课教师：王庆周果清
英文译名：ComputationalImagingTechnology(MultipleViewGeometry)
先修要求：线性代数、高等几何
内容简介：计算光学成像是集几何光学、信息光学、计算光学、现代信号处理等理论与一体的新兴交叉技术研究领域，理论基点是光学与光谱成像的过程，可以利用数学模型精确描述，进而通过计算方法重构图谱，也能够根据某些系统衰变和误差模型提高图谱质量，包括计算光谱成像技术、计算光场成像技术、超远距离高分辨率成像技术、三维主动成像技术、数字超分辨率增强技术、高速信息处理技术等。
序号：27
课程编号：M10M
课程名称：函数式程序设计方法
任课教师：张凡
英文译名：IntroductiontoFunctionalProgramming
先修要求：程序设计语言
内容简介：本课程的主要任务是介绍λ演算及重要的函数式编程概念，如尾递归、高阶函数、运行中的函数构造和传递、局部环境、变动性、约束传播、积极求值和惰性求值（消极求值），无穷数据结构，继续传递（continuationpassing）等，并结合具体函数式编程语言Haskell进行实践。
主要参考书：（1）Thompson,Simon."Thecraftoffunctionalprogramming."().
（2）Hutton,Graham.ProgramminginHaskell.Vol.2.Cambridge:CambridgeUniversityPress,.
（3）OSullivan,Bryan,JohnGoerzen,andDonaldBruceStewart.Realworldhaskell.OReillyMedia,Inc.,.
序号：28
课程编号：M10M
课程名称：物联网系统设计方法
任课教师：倪红波
英文译名：DesignMethodologyofIOT(InternetOfThings)System
先修要求：嵌入式系统，计算机网络，传感器网络
内容简介：物联网是现代信息技术的聚合与技术提升，将多模态感知、网络通信和人工智能与自动化技术进行融合与集成应用。该课程从系统观、方法论的角度，围绕典型应用背景，研究物联网系统的体系结构设计模式，感知网络的数据获取方式与拓扑控制方法，基于服务的物联网中间件设计方法，面向应用系统的反馈控制方法与个性化应用服务设计。
主要参考书：《物联网系统设计》，桂劲松，电子工业出版社
序号：29
课程编号：M10M
课程名称：信息物理社会融合系统专题
任课教师：周兴社於志文等
英文译名：Cyber,Physical,andSocialSystems
先修要求：操作系统、计算机网络、移动计算
内容简介：随着嵌入式技术、物联网及移动互联网技术的快速发展，我们正在生活在由物理空间、信息空间和社会空间共同组成和交织的超世界（HyperWorld）中。通过三元空间的有机融合与深度协作，实现大型工程系统的实时感知、动态控制和信息服务，具有重要而广泛的应用前景。本课程的研究内容如下：信息物理社会融合概念，信息物理社会体系结构、机制与原理，三元空间信息融合技术，信息物理社会应用。
主要参考书：（1）Cyber-PhysicalSystems:IntegratedComputingandEngineeringDesign,CRCPress,
（2）AppliedCyber-PhysicalSystems,Springer,；
（3）社会计算的基本方法与应用，浙江大学出版社，
（4）相关期刊和会议的最新论文。
序号：30
课程编号：M10M
课程名称：云计算及应用
任课教师：周兴社赵天海
英文译名：CloudComputing
先修要求：计算机组成原理，计算机系统结构
内容简介：本课程系统讲授云计算的现状及其发展，探讨云计算的主要技术、发展趋势及应用。主要内容包括：云计算的架构与类型；计算资源虚拟化、虚拟机部署和迁移等IaaS核心技术；弹性云计算技术、基于块的云存储技术、云端的工作流引擎等PaaS和SaaS关键技术；云计算系统负载均衡、性能预测、SLA保障等监控与管理核心技术；云计算安全保障技术；Google云、Amazon云、CloudStack、OpenStack等典型云计算平台；云计算环境的构建。
主要参考书：（1）《云计算》（第二版），刘鹏，电子工业出版社，年5月。
（2）《Hadoop权威指南》（第2版），（美）TomWhite著，周傲英等译，清华大学出版社，年7月。
（3）《云计算：原理与范式》，（澳）RajkumarBuyya，JamesBroberg等著，李红军，李冬梅等译，机械工业出版社，年5月。
序号：31
课程编号：M10M
课程名称：大数据处理
任课教师：李战怀
英文译名：BigDataProcessing
先修要求：数据库原理，JAVA程序设计
内容简介：本课程系统讲授分布批处理、分布实时处理、基于内存计算的处理等大数据处理关键技术。主要内容包括：1）大数据分布式批处理，包括Hadoop大数据处理概论、大数据存储、MapReduce计算模式、大数据的整合分析处理、大数据处理集群的管理与维护等；2）实时大数据处理，包括Storm实时流数据处理架构、信息流处理、连续计算、远程过程调用；3）基于内存计算的大数据处理，包括弹性分布式数据集、Spark分布式处理数据；4）大数据处理的前沿研究。
主要参考书：（1）《Storm实时数据处理》，（澳）QuintonAnderson，卢誉声译，年6月。
（2）《Hadoop大数据处理》，刘军，人民邮电出版社，年9月。
（3）《Spark快速数据处理》，（美）HoldenKarau，电子工业出版社，年5月。
序号：32
课程编号：M10M
课程名称：计算机系统分析与性能评价
任课教师：李战怀赵晓南
英文译名：ComputerSystemsAnalysisandPerformanceMeasuring
先修要求：《概率论与数理统计》，《计算机体系结构》，《计算机操作系统》
内容简介：随着计算机技术的发展，计算机系统呈现出结构日趋复杂和系统规模不断扩大等特点，这些变化使计算机系统的设计和改进以及在实际应用中对众多系统构成方案的比较和选择的难度也随之增加。计算机系统分析和评价已经成为一门理论与实际紧密联系、内容丰富、体系完整的学科。而性能作为系统分析评价中的最重要指标，性能评价相关技术的研究和应用都十分广泛。本课程目标在于，使学生了解计算机系统分析的基本原则和主要内容，重点学习性能评价的指标、方法、以及相关的模型、工具和基准测试等。使学生掌握科技论文写作和科研工作中基本的实验设计和系统评价的相关知识及方法以及具备正确处理和解释实验数据的能力。课程主要内容有：性能的量度，程序负载测量和分析技术，基准测试程序，实验结果处理中的统计学，系统性能规划与预测，典型的分析和预测模型，模拟方法和系统优化。
主要参考书：
（1)MeasuringComputerPerformance,byDavidJ.Lilja,CambridgeUniversityPress,
（2）PrinciplesofComputerSystemDesign,J.H.Saltzer,M.FransKaashoek.
（3）《计算机网络和计算机系统的性能评价》，林闯，清华大学出版社，年4月出版
序号：33
课程编号：M10M
课程名称：无线通信与移动计算
任课教师：李士宁
英文译名：WirelessCommunicationandMobileComputing
先修要求：计算机网络
内容简介：无线通信网络的架构；不同环境下的无线移动网络技术介绍；蜂窝网络；第三代移动通信系统介绍；无线个域网与无线局域网技术；无线移动中的路由算法和传输协议；物联网技术；移动通信对移动计算的支撑技术；泛在通信网络下的移动计算技术新发展；移动计算的应用技术。
主要参考书：（1）《物联网与泛在通信技术》朱晓荣，齐丽娜，孙君。出版社：人民邮电出版社
（2）《WirelessMeshNetworking：Architecyure、ProtocolandStandards》YanZhang,JijunLuo,HonglinHu著,电子工业出版社。
（3）无线通信原理与应用（第二版）Rappaport,T.S.(美)著，周文安等译,电子工业出版社。
序号：34
课程编号：M10M
课程名称：模拟CMOS集成电路设计实验
任课教师：魏廷存魏晓敏
英文译名：DesignexperimentsofanalogCMOSintegratedcircuits
先修要求：模拟CMOS集成电路设计
内容简介：主要介绍模拟CMOS集成电路的完整设计流程、EDA工具的使用方法、模拟CMOS集成电路的仿真技术、模拟CMOS集成电路的版图设计技术。主要内容有：1）模拟CMOS集成电路的设计流程；2）基于EDA工具的模拟CMOS集成电路设计和仿真方法；3）模拟CMOS集成电路工艺简介；4）模拟CMOS集成电路的版图设计和后仿真；5）典型模拟CMOS集成电路设计实验（学生自己完成）。
主要参考书：（1）《模拟电路版图的艺术（第二版）》，[美]AlanHastings著，张为等译，电子工业出版社,年
（2）《集成电路版图基础—实用指南》，[美]塞因特著，李伟华等译，清华大学出版社，年
（3）《CMOS集成电路版图—概念、方法与工具》，[加]DanClein著，邓红辉等译，电子工业出版社，年
（4）《集成电路版图设计》，曾庆贵著，机械工业出版社，年
（5）《硅超大规模集成电路工艺技术—理论、实践与模型》，[美]JamesD.Plummer等著，严利人等译，电子工业出版社，年
（6）《混合信号IC设计EDA工具手册》（Cadence、Mentor等）
序号：35
课程编号：M10M
课程名称：全定制数字集成电路设计
任课教师：魏廷存魏晓敏
英文译名：Designoffull-customdigitalintegratedcircuits
先修要求：电路分析基础、模拟/数字电子电路基础、硬件描述语言
内容简介：通过本课程的学习，学生可以掌握从前端到后端的全定制数字集成电路设计全流程。针对混合信号ASIC的特点（低功耗、小面积、抗辐照等），主要介绍全定制数字集成电路的设计方法和完整设计流程，包括标准单元库设计（含抗辐照功能）、系统级设计、RTL级代码设计、逻辑电路综合（门级网表）、版图自动布局布线（AutoPlaceRoute）、静态时序分析、形式化验证、物理验证（DRC、LVS）、后仿真等完整的数字电路设计和验证方法。
主要参考书：
(1)《数字集成电路—设计透视》，JanM.Rabaey，AnanthaChandrakasan，BorivojeNikolic，清华大学出版社
(2)《TheVerilogHardwareDescriptionLanguage》,ThomasMoorby，机械工业出版社。
(3)《VerilogHDLSynthesis-APracticalPrimer》,J.Bhasker,清华大学出版社。
(4)《WritingTestbeches-FUNCITONALVERIFICATIONOFHDLMODELS》,JanickBergeron,KluwerAcademicPublishers(基于功能的验证平台构建方法)
(5)数字集成电路设计EDA工具手册（Cadence、Synopsis、Mentor）
序号：36
课程编号：M10M
课程名称：面向对象系统方法
任课教师：汤小春张小芳
英文译名：Object-orientedSystemMethodology
先修要求：面向对象的程序设计基础(c++或者java程序设计)，最好有软件工程基础
内容简介：面向对象技术是一非常实用有效的新的软件分析及设计方法，在软件开发的各阶段，具有一致的表示模型和高度的连续性。本课程主要讲授面向对象方法的基本概念、原则、表示方法、过程、策略、支持工具和文档规范，使学生掌握面向对象的分析方法、设计方法、实现方法，并应用面向对象技术建立大型的系统。主要内容包括：面向对象的方法概述；对象、类、消息、关联、聚合等；抽象、封装、继承和多态；UML及其运用；统一软件开发过程；建模工具RationalRose；文档规范。通过本课程的教学，使学生掌握面向对象的基本概念；系统掌握面向对象的方法；初步掌握UML和UDP；并可将面向对象的思想和方法应用到系统分析和设计中去；最终使学生具备使用面向对象的方法构造软件系统的能力。
序号：37
课程编号：M10M
课程名称：数字媒体计算技术
任课教师：郑江滨谢磊
英文译名：DigitalmediaInformationComputingTechnology
先修要求：
内容简介：数字媒体技术概述；媒体数据无损压缩；有损数据压缩；图像压缩标准；视频压缩标准；音频与语音压缩标准；语音编码技术；MPEG编码MPEG-1,2；MPEG编码MPEG-4，7；自然语言理解；自然人机接口；听视觉人机交互；数字媒体信息通信及应用；数字媒体网络及流媒体技术；基于内容的媒体检索；流媒体技术；视频、图像和语音等综合设计专题。
主要参考书：（1）FundementalsofMultimedia,ZenanLi,Prentic-Hall,Inc；
（2）《多媒体技术基础》，林福宗，清华大学出版社，，第二版；
（3）MultimediaComputing,CommunicationApplications,RolfS,清华大学出版社。
序号：38
课程编号：M10M
课程名称：模式分类
任课教师：郑江滨赵歆波
英文译名：PatternClassification
先修要求：概率论与数理统计、线性代数
内容简介：模式识别为计算机智能信息处理等研究领域的主干基础课程，课程主要内容包括：线性分类器；非线性分类器；贝叶斯分类理论；特征选择；特征提取；特征生成的线性变换理论；模板匹配；上下文相关分类器；识别系统仿真；聚类分析顺序方法；聚类分析的层次方法；模糊聚类分析；聚类分析常用算法；结构模式识别；视频、图像和语音数据等识别问题。上机识别算法仿真实验等专题综合设计；
主要参考书：（1）PatternRecognition(3rdEdition)，SergiosTheodoridis，etal.,机械工业出版社，；
（2）PatternClassification(2ndEdition)，RichardO.Duda,etal.机械工业出版社，；
（3）模式识别，边肇其，清华大学出版社。
序号：39
课程编号：M10M
课程名称：分布式计算原理
任课教师：杨刚
英文译名：DistributedComputingSystem
先修要求：操作系统、计算机网络、面向对象程序设计
内容简介：本课程为硕士研究生学位课程，其主要任务是以分布计算技术基础理论为重点，根据分布计算技术的发展趋势，系统性地讲授现代分布计算系统的设计原则以及分布计算系统设计中的通信、网络环境下资源管理、系统同步与协调算法、负载均衡、分布容错、分布安全等关键技术，并结合ICE、GoogleCloudPlatform对分布计算系统关键技术的应用进行探讨。通过课程学习和课题实践，使学生不但能基本掌握现代分布计算系统设计的基本理论和主流技术方法，并进一步锻炼其分布计算系统的设计开发能力。
主要参考书：（1）DistributedSystems-Principlesandparadigms，AndrewS.Tanenbaum，第二版，清华大学出版社，年5月。
（2）DistributedSystems—ConceptandDesign，GeorgeCoulouris，第3版，机械工业出版社，年。
序号：40
课程编号：M10M
课程名称：数据库系统原理与实现
任课教师：李战怀尚学群
英文译名：PrinciplesofDatabaseSystemsandRealize
先修要求：离散数学、数据库系统概论。
内容简介：1、基于对象的数据库及XML；2、数据的存储组织；3、查询处理与优化；4、事务管理；5、并发控制；6、恢复技术；7、数据库系统的体系结构。本课程要求必须先修过《数据库系统概论》
主要参考书：（1）《DatabaseSystemConcepts》AbrahamSilberschatz，HenryF.Korth，S.Sudarshan高等教育出版社，；
（2）《TheDesignandAnalysisofComputerAlgorithms》A.V.Aho,J.E.HopcroftandJ.D.Ullman。
序号：41
课程编号：M10M
课程名称：数字系统设计
任课教师：张盛兵安建峰
英文译名：DesignofSystem-on-a-Chip
先修要求：VLSI系统与电路设计、计算机组织原理、硬件描述语言
内容简介：SOC的概念由来、具备的优势及未来发展趋势；系统级设计模型与SOC的架构设计；同步设计与寄存器传输级模型；有限状态自动机模型；IP复用的设计方法；片上互连模型与互连设计；SOC的设计流程及EDA工具；SOC的功能验证；功耗模型与低功耗设计；指令集架构模型；SOC发展的新趋势及未来的SOC设计，SOC设计举例穿插于各个部分的介绍中。
主要参考书：《片上系统可重用设计方法学》电子工业出版社，年，沈戈等编著；
序号：42
课程编号：M10M
课程名称：数据挖掘技术
任课教师：尚学群李战怀
英文译名：DataMiningTechniques
先修要求：数据库、离散数学、算法与程序设计、概率论与数理统计
内容简介：数据挖掘的基本问题是：通过分析大量的、不完全的、有噪声的、模糊的、随机的实际应用数据，挖掘和发现数据中隐藏的规律和知识。本课程的主要内容涉及数据挖掘的基本理论和主要方法，包括关联规则挖掘，序列模式挖掘，分类和预测，聚类分析，数据预处理，以及对最前沿挖掘技术进行介绍。通过该门课程的学习，希望学生能够掌握数据挖掘的基本思想和方法，了解数据挖掘领域最新的研究进展，培养学生分析及处理数据的能力。
主要参考书：（1）《DataMining–ConceptsandTechniques》JiaweiHan,MichelineKamber,机械工业出版社,；
（2）《IntroductiontoDataMining》Pang-NingTan,MichaelSteinbach,VipinKumar,机械工业出版社,；
序号：43
课程编号：M10M
课程名称：计算智能
任课教师：李映李孝安
英文译名：Computationalintelligence：theoryandmethod
先修要求：人工智能，模式识别
内容简介：本课程系统地讲授计算智能的有关理论、技术及其主要应用，并全面地介绍计算智能研究的前沿领域与最新进展。通过本课程的学习，要求学生系统地掌握计算智能的基本内容与方法，了解计算智能的主要应用领域。本门课程的研究内容如下：（1）计算智能概论；（2）人工神经网络；（3）进化计算与遗传算法；（4）自适应提升算法；（5）模拟退火算法；（6）群智能优化算法；（7）人工免疫；（8）模糊集与模糊信息处理；（9）粗糙集理论与粒度计算；（10）混合智能计算方法；(11)计算智能的未来发展。
主要参考书：（1）张军编著，《计算智能》，清华大学出版社，.11.
（2）RussellC.EberhratYuhuiShi,ComputationalIntelligence:ConcceptstoImplementations,北京：人民邮电出版社,.2.
序号：44
课程编号：M10M
课程名称：数字语音处理
任课教师：蒋冬梅谢磊
英文译名：DigitalSpeechProcessing
先修要求：数字信号处理模式识别
内容简介：介绍语音与自然语言处理领域的基础理论及应用专题，内容包括：1.语音发声、感知及其数字模型；2.语音识别专题，包括语音识别基本原理、历史及现状、关键技术等；3.语音合成专题，包括语音合成基本原理、历史及现状、关键技术等；4.语音增强专题，包括语音增强历史及现状、单通道和多通道语音增强、语音质量评价等；5.听视觉语音技术专题，包括听视觉语音识别和说话人识别、虚拟说话人、情感分析等；6.自然语言处理专题，基于规则的和基于统计的自然语言处理技术、机器翻译等。
主要参考书：（1）SpringerHandbookofSpeechProcessing，Springer,
（2）《语音识别基本原理》（美）LawrenceRabiner,Biing-HwangJuang著，清华大学出版社。
（3）《数字语音处理原理》，赵力著，机械工业出版社。
序号：45
课程编号：M10M
课程名称：人工神经网络及应用
任课教师：李映艾丽蓉
英文译名：ArtificialNeuralNetworkandItsApplication
先修要求：信号与系统、模式识别
内容简介：基于传统冯.诺依曼机的信息处理本质上是线性、串行的，信息存储与处理是分离的，而人工神经网络的信息处理本质上是非线性、并行的，信息存储与处理是统一于网络而无法分离的。本门课程的研究内容如下：（1）人工神经网络的若干基本知识；（2）大脑神经系统、人工神经网络信息处理的机制；（3）前馈神经网络；（4）径向基函数神经网络；（5）反馈神经网络；（6）自组织神经网络；（7）随机神经网络；（8）主成分分析和独立成分分析；（9）支持向量机；（10）核方法；（11）神经网络在模式识别、图像处理中的应用。
主要参考书：（1）《人工神经网络导论》蒋宗礼主编高等教育出版社，；
（2）《神经网络原理》SimonHaykin著，叶世伟，史忠植译，机械工业出版社，。
序号：46
课程编号：M10M
课程名称：人机交互与普适计算
任课教师：於志文郭斌
英文译名：Human-ComputerInteractionandPervasiveComputing
先修要求：操作系统、计算机网络、移动计算
内容简介：随着移动、可穿戴计算设备和物联网技术的快速发展，普适计算正日益走进人类的日常生活，也推动了人机之间的和谐交互。普适计算的特点是计算机及信息系统能感知物理世界的变化，从而对其行为做出主动调整，以提供“以人为本”的智能服务。本课程的研究内容如下：人机交互及普适计算概念，普适计算系统和网络，定位技术，普适计算中间件，情境感知计算，个性化服务，移动社交网络，普适及人机交互应用等。
主要参考书：（1）UbiquitousComputingFundamentals,CRCPress,.
（2）CreatingPersonal,Social,andUrbanAwarenessthroughPervasiveComputing,IGIGlobal,；
（3）HandbookofResearchonAmbientIntelligenceandSmartEnvironments:TrendsandPerspectives,IGIGlobal,.
（4）人机交互（第三版），电子工业出版社，.
（5）相关期刊和会议的最新论文。
序号：47
课程编号：M10M
课程名称：嵌入式软件设计与分析方法
任课教师：董云卫
英文译名：EmbeddedSoftwareDesignandAnalysisMethodology
先修课程：《离散数学》、《面向对象技术》、《形式语言与自动机》
内容介绍：（1）讲授模型驱动方法的基本原理和软件开发过程，包括计算无关模型、平台无关模型、平台相关模型和代码转化等模型设计活动相关的技术发展和相关标准规范
（2）教授软件体系结构的设计原理和可信属性分析方法，包括体系结构业务周期、软件体系结构的定义和属性、软件体系结构的可信属性、软件体系结构的质量属性设计、基于体系结构的软件可信属性分析与评审；
（3）教授嵌入式软件体系结构分析与设计语言（ArchitectureAnalysisDesignLanguage，AADL），包括软件构件的规约方法、软件运行平台（硬件构件）的规约方法，构件的交互行为,如流、模态、端口与连接，以及软硬件的绑定等，以软件错误模型和行为模型的设计。
（4）教授基于AADL的软件体系结构可信属性分析方法，利用Petrinet、FHA(CCA\FTA\FMEA)、时间自动机、资源竞争模型等分析方法对构件化嵌入式软件设计模型及其可信属性进行分析的方法。
主要参考书：
1）PeterH.Feiler,DavidP.Gluch,Model-basedEngineeringwithAADL,Addison-Wesley,Sept..
2）LenBass,PaulClements,RickKazman,SoftwareArchitechtureinPractice,AddisonWesley，,02.
3）袁崇义，Petri网原理与应用，电子工业出版社，。
序号：48
课程编号：M10M
课程名称：信息检索理论与应用
任课教师：陈群
英文译名：InformationRetrieval:TheoryandPractice
先修要求：C/C++语言程序语言设计、数据结构、概率论与数理统计等
内容简介：信息检索技术的发展，信息检索基本模型，信息检索系统的评价标准，查询语言操作，信息索引，搜索结果展示与交互，Web信息检索，信息检索系统的设计与开发等。通过该门课程的学习，希望学生能掌握信息检索的基本思想和概念，了解信息检索相关的最新研究成果，培养学生在信息检索相关领域的研究能力和能够按照实际需求进行信息检索系统的设计与开发能力。
主要参考书：（1）《现代信息检索（ModernInformationRetrieval）》英文版，RicardoBaeza-Yates和BerthierRibeiro-Neto，机械工业出版社，.1；
（2）Web上的信息检索和Web挖掘有着密切的关系，两者相辅相成，需要同学们灵活运用综合性的知识。所以阅读相关领域的最新科技文献非常必要。鼓励同学们在学习上书的同时，有选择的查看WWW（TheInternationalWorldWideWebConference），SIGIR（ACMSpecialInterestGrouponResearchandDevelopmentinInformationRetrieval），SIGKDD（ACMSpecialInterestGrouponKnowledgeDiscoveryandDataMining），ICDM（InternationalConferenceonDataMining），ICML（InternationalMachineLearningConference）等相关国际顶级会议的文章。
序号：49
课程编号：M10M
课程名称：流计算及其程序设计
任课教师：樊晓桠张萌
英文译名：ParallelProgramDesignforStream-Computing
先修要求：计算机组成原理、计算机系统结构、C程序设计
内容简介：本课程以GPGPU作为流计算平台，介绍在此流计算系统平台中程序在硬件上的映射以及并行程序设计方法。课程主要内容包括：GPGPU硬件结构；CUDA编程模型；OpenCL编程框架；流计算程序与硬件的映射关系；任务划分、存储器访问、指令流效率等方面的流计算程序并行化优化方法。
主要参考书：（1）张舒、褚艳利，《GPU高性能运算之CUDA》，中国水利水电出版社，，1版；
（2）FredericPMiller,AgnesFVandome,JohnMcBrewster,GPGPU,VDMPublishingHouseLtd.,
序号：50
课程编号：M10M
课程名称：通信网的安全协议理论与技术
任课教师：李慧贤王丽芳
英文译名：DesignandAnalysisofCryptographicProtocols
先修要求：计算机网络C语言
内容简介：1、分组密码算法；2、公钥密码算法；3、数字签名；4、杂凑函数；5、公钥基础设施；6、基于身份的公钥体制；7、信息隐藏与数字水印；8、基于生物的认证技术；9、密码协议设计与分析；10、安全标准及模型。
主要参考书：（1）《信息安全工程》庞辽军等著，西安电子科技大学出版社，；
（2）《电子商务安全》王丽芳著，电子工业出版社，；
（3）ModernCryptography:TheoryAndPractice,WenboM,PrenticeHallPTR,.
序号：51
课程编号：M10M
课程名称：实时智能系统设计
任课教师：张凯龙
英文译名：Real-timeIntelligentSystemDesign
先修要求：计算机体系结构、计算机接口、自动控制原理、计算机操作系统、嵌入式系统原理
内容简介：环境融合的智能化是网络化嵌入式计算与系统技术发展所呈现的新特征和趋势，现已成为嵌入式计算领域的研究与应用热点，该课程的开设对于相关研究方向的研究生专业能力培养具有重要意义。
本课程的目标在于，使学生熟悉实时智能系统的特征、体系，进而掌握该类系统相关的设计方法与主要机制。具体地，在分析、提炼智能工业装置、机器人、自主无人航行器、智能交通等典型实时智能系统的新计算特征与设计方法基础上，本课程拟从智能系统的模型与体系结构、数据感知与实时交互、典型智能化机制、设计与仿真验证方法、智能系统设计分析等五个主题安排教学内容。
课程实施以侧重专题讨论、辅以设计过程分析的课堂教学为主，同时将安排自选主题的智能系统设计实验。
主要参考书：
（1）张洪润等，智能技术--系统设计与开发，北京航空航天大学出版社，；
（2）梅斯特尔，智能系统：结构、设计与控制，电子工业出版社，；
（3）操龙兵等，开放复杂智能系统--基础．概念．分析．设计与实施，人民邮电出版社,；
（4）克里希纳，实时系统，清华大学出版社，.
序号：52
课程编号：M10M
课程名称：软件缺陷分析与软件质量管理
任课教师：田建辉李宁
英文译名：SoftwareQualityAssuranceandDefectAnalysis
先修要求：软件工程、算法与程序设计
内容简介：软件质量保证与缺陷分析的主要目的是提高软件质量。本课程的主要内容涉及软件质量保证和软件缺陷分析的主要方法，包括软件质量的基本概念，软件质量保证的基本方法，软件测量和度量，软件可靠性度量和测试，软件缺陷分类，软件缺陷预测，软件缺陷移除，以及对最前沿技术进行介绍。通过该门课程的学习，希望学生能够掌握软件质量保证、软件缺陷分析的基本思想和方法，了解该领域的最新研究进展，使学生具备进一步研究软件质量保证相关技术的能力。
主要参考书：1.软件质量工程——度量与模型，电子工业出版社,StephenH.Kan
2.SoftwareQualityEngineering:Testing,QualityAssurance,and
QuantifiableImprovement,JeffTian,JohnWileyandSons,Inc.,andIEEEComputerSocietyPress
3.软件质量保证和管理，朱少民,清华大学出版社。
序号：53
课程编号：M10M
课程名称：云计算及云存储系统实验
任课教师：张晓赵晓南
英文译名：PracticeofCloudComputingandCloudStorageSystems
先修要求：操作系统，程序设计语言，计算机网络
内容简介：云计算课程是介绍目前信息技术领域热点"云计算"的现状及其发展，探讨云计算的主要技术发展及趋势，介绍国内外主要云计算发展现状。介绍云计算系统的关键技术和标准。利用OpenStack搭建私有云计算和云存储平台，在此基础上对云计算系统进行改善和评价。通过课程的学习，使学生理解云计算和云存储系统的基本概念、发展趋势和前沿问题，了解云计算系统的组成和使用方法。通过搭建和使用私有云计算系统，掌握云计算系统开发和应用的基本技能。
1、云计算系统的起源与发展，国内外云计算系统发展现状
2.云计算系统分类及服务类型，公用，私有，混合云；IaaS,PaaS,SaaS。
3、虚拟化技术和原理，计算虚拟化，网络虚拟化，存储虚拟化
4.云计算系统优势与应用场景
5.开源云计算系统对比与私有云计算系统部署(CloudStack,OpenStack等)
6.OpenStack架构及其应用场景介绍，dashboard的定制开发
7、云存储系统架构及访问接口
8.Block级云存储Cinder弹性块存储服务
9.对象存储云存储系统Swift存储服务
10.云计算及云存储系统评价方法
主要参考书：（1）《云计算：应用开发实践》徐强等著，北京：机械工业出版社,。
（2）《云计算核心技术剖析》吴朱华，北京:人民邮电出版社，
（3）《云计算与OpenStack（虚拟机Nova篇）》，陈伯龙，北京，电子工业出版社，
序号：54
课程编号：M10M
课程名称：SoC设计方法学
任课教师：安建峰
英文译名：SoCDesignMethodology
先修要求：数字电路（DigitalCircuit）
内容简介：结合SoC设计的整体流程，对SoC设计方法学及如何实现进行了全面介绍。主要内容包括：SoC的设计流程、SoC的架构设计、电子级系统设计、IP核的设计与选择、RTL代码编写指南、先进的验证方法、低功耗设计技术、可测性设计技术及后端设计的挑战。
主要参考书：MichaelKeating,TheSimpleArtofSoCDesign:ClosingtheGapBetweenRtlandESL,Springer-VerlagNewYorkInc,
序号：55
课程编号：M10M
课程名称：计算生物学
任课教师：陈伯林
英文译名：ComputationalBiology
先修要求：数据结构
内容简介：计算生物学是由计算机科学、数学与生物学等多学科交叉形成的一门新兴学科，属于当前自然科学与信息科学领域的前沿研究领域之一。本课程旨在介绍与计算生物学相关的基础知识、研究方法及其应用等方面的内容。在课程内容的安排上，本课程不是简单的将计算机科学、数学以及生物学的知识罗列、组合起来，而是以最基本的生物学知识为基础，以数学知识为工具，介绍计算机科学在生命科学领域的应用。通过本课程的学习，希望帮助学生了解当前生命科学研究领域的热点问题及其研究方法。并通过实例分析的手段训练学生分析问题、解决问题的能力，以提高学生独立的科研能力。本课程的授课对象为计算机相关专业的硕士生和博士生
主要参考书：
（1）NeilC.JonesandPavelA.Pevzner.Anintroductiontobioinformaticsalgorithms.TheMITpress,.
（2）MouradElloumiandAlbertY.ZomayaAlgorithmsin
