博士招生考试科目及参考书
一．专业基础课（所统考）
|
编号
|
专业课名称
|
参考书
|
主要内容
|
|
201
|
软件工程基础
|
《软件工程》，Ian Sommerville，机械工业出版社，第七或第八版；
《软件工程实践者的研究方法》，Roger S.Pressman,机械工业出版社，第六版。
|
软件系统模型和软件过程模型、需求建模和分析、软件系统设计（包括系统和应用体系结构、界面等方面，以及面向对象软件设计方法、设计模式及数据结构与算法）、软件测试、软件项目管理等方面的基础内容
|
|
202
|
算法设计与分析
|
《算法设计技巧与分析》(影印版) M.H.ALSUWAIYEL，电子工业出版社；
《数据结构》严蔚敏、吴伟明, 清华大学出版社。
|
数据结构及存储方式、排序和搜索算法、近似算法、动态规划、问题复杂性
|
|
203
|
密码学
|
《密码学导引》冯登国等著, 科学出版社。
|
信息理论、复杂性理论、私钥密码算法、公钥密码算法、数字签名、Hash函数、识别协议、密钥管理技术。
|
|
204
|
计算机数学基础
|
《矩阵论》（第3版），程云鹏，西北工业大学出版社；
《随机过程及其应用》，陆大絟，清华大学出版社。
|
线性空间与线性变换，范数理论，矩阵分解，特征值，对称矩阵，广义逆矩阵；马尔可夫过程，二阶矩过程，平稳随机过程，布朗运动，离散鞅；线性非线性优化，曲线回归。
|
|
205
|
数理逻辑
|
《面向计算机科学的数理逻辑》，陆钟万编著，科学出版社。
|
|
二．专业课
|
编号
|
专业课名称
|
参考书
|
主要内容
|
|
301
|
计算机图形学
|
《计算机图形学教程》唐荣锡, 科学出版社；
《计算机真实感图形算法基础》彭群生, 科学出版社。
|
计算机图形学基本知识：计算机图形学概论；图形系统，图形标准；计算机图形学的数学基础
图形显示的基本过程：三维计算机图形学基础；光栅扫描图形学基础,隐藏面和隐藏线消除算法
几何造型：曲线和曲面；三维形体表示方法
真实感图形技术：CG发展的新动向：计算机动画，科学计算可视化，虚拟现（VR），Wed网上的图形/动画技术
|
|
302
|
程序语言理论
|
《计算机语言的形式语义》陆汝鈐编著，科学出版社。
|
自动机，形式语义（操作语义、代数语义、指称语义、公理语义），程序规约与验证。
|
|
303
|
计算理论基础
|
《计算理论基础》第二版，H. R. Lewis and C. H. Papadomitriou著，张立昂，刘田译，清华大学出版社。
|
计算模型，计数复杂性，NP完全性。
|
|
304
|
网络安全
|
《信息安全技术概论》,冯登国等,电子工业出版社,2009年4月。
|
标识与认证、授权与访问控制、信息隐藏、网络与系统攻击、网络与系统安全防护与应急响应、安全审计与责任认定、主机系统安全、网络系统安全、恶意代码检测与防范、内容安全、信息安全测评、信息安全管理等技术。
|
|
305
|
有限域
|
《代数学基础与有限域》
林东岱著，高等教育出版社，2006年6月，第1版。或者
<Finite Fields>, Rudolf Lidl, H. Niederreiter, Addison-Wesley Publishing Company, 1983。
|
抽象代数的基本知识
有限域的结构、有限域上的多项式、线性反馈移位寄存器、线性码
|
|
306
|
操作系统与数据库
|
《操作系统—精髓与设计原理》第五版， William Stallings著，电子工业出版社，2006年2月出版。
《数据库系统概论》(第三版), 萨师煊,王珊(著),高等教育出版社, 2000年出版。
|
操作系统基本原理，包括：任务调度、内存管理、文件系统、虚拟机原理等
数据库系统包括： 数据库模型, 关系数据库标准语言SQL, 数据库查询优化, 关系数据理论, 数据库设计, 数据库事务处理, 数据库安全, 分布式数据库和并行数据库。
|
|
307
|
系统与网络安全
|
《操作系统安全》卿斯汉等，清华大学出版社，2004；
《计算机通信网络安全》
冯登国著, 清华大学出版社, 2001。
|
系统安全策略模型、安全机制、安全体系结构、安全标准、网络安全服务的方法、网络协议等。
|
|
308
|
人机交互
|
《人机交互》（美）迪克斯（Dix,A.） 等著，蔡利栋 等译。电子工业出版社。
|
人与计算机之间的交互技术；和谐人机交互界面的原理；设计智能化人机交互界面的基本方法论，利用可用性和设计过程来考察人机交互的关键性问题，其中包括任务分析、对话设计、认知模型和软件工程符号等内容。
|
|
309
|
实时系统
|
《实时系统》C.M.Krishna/Kang G.Shin著，清华大学出版社。
|
强实时和弱实时系统基本原理、实时系统调度、资源访问控制以及多处理器和分布式实时系统等内容。
|
|
高级软件工程
|
《软件工程》，Ian Sommerville，机械工业出版社，2004（第七或第八版）；
《软件工程实践者的研究方法》，Roger S.Pressman,机械工业出版社，第六版。
Measuring the software process：Statistical Process Control for Software Process Improvement,
William A. Florac, Anita D. Carleton. Addison-Wesley 1999年出版.
|
需求工程、软件过程、软件项目管理、估算、度量、验证、确认以及知识管理基本知识；
软件体系结构、软件设计技术等相关内容。
|
|
|
311
|
分布式系统设计
|
《分布式系统：原理与范型》Andrews Tanenbaum,Maarten Van Steen,清华大学出版社；
《网络分布计算和软件工程》冯玉琳等，科学出版社，2003；
Distributed Systems: Concepts and Design (5th edition), George Coulouris,
Jean Dollimore, Tim Kindberg, Gordon Blair, 2012, Addison-Wesley.
|
分布式系统模型和体系结构、分布式系统的协调一致、死锁检测、资源调度、可靠保障、分布式文件管理、事务处理、数据管理等问题
|
|
312
|
高级计算机网络
|
《用TCP/IP进行网际互联，第一卷：原理、协议与结构》，第4版，电子工业出版社。
|
协议分层的基本原理、现代通信网及其交换技术、数据链路层、介质接入控制(MAC)、路由选择与网络拥塞控制、网络互联、传输层、计算机网络的高层应用
|
|
313
|
数字通信
|
《数字通信》（第4版），John G. Proakis，电子工业出版社，2006。
|
信源编码、通信信号与系统的表征、信道编码、自适应均衡、多信道与多载波系统、扩频信号、多径衰落
|
|
314
|
人工智能原理
|
《人工智能》上、下册， 陆汝钤编著，科学出版社，2002年2月出版。
|
演绎系统、产生式系统、框架结构、语义网络和过程性知识表示为中心；涉及盲目搜索、启发式搜索、博弈树搜索以及状态窨搜索、问题空间搜索等多个方面。下册介绍非经典逻辑、机器学习、自然语言理解、知识工程等内容。
|
