博士招生考试科目及参考书

博士招生考试科目及参考书


一．专业基础课（所统考）
编号 专业课名称 参考书 主要内容 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版。或者
, 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著，清华大学出版社。 强实时和弱实时系统基本原理、实时系统调度、资源访问控制以及多处理器和分布式实时系统等内容。 310 高级软件工程
《软件工程》，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。 分布式系统模型和体系结构、分布式系统的协调一致、死锁检测、资源调度、可靠保障、分布式文件管理、事务处理、数据管理等问题 312 高级计算机网络 《用TCP/IP进行网际互联，第一卷：原

理、协议与结构》，第4版，电子工业出版社。 协议分层的基本原理、现代通信网及其交换技术、数据链路层、介质接入控制(MAC)、路由选择与网络拥塞控制、网络互联、传输层、计算机网络的高层应用 313 数字通信 《数字通信》（第4版），John G. Proakis，电子工业出版社，2006。 信源编码、通信信号与系统的表征、信道编码、自适应均衡、多信道与多载波系统、扩频信号、多径衰落 314 人工智能原理 《人工智能》上、下册， 陆汝钤编著，科学出版社，2002年2月出版。 演绎系统、产生式系统、框架结构、语义网络和过程性知识表示为中心；涉及盲目搜索、启发式搜索、博弈树搜索以及状态窨搜索、问题空间搜索等多个方面。下册介绍非经典逻辑、机器学习、自然语言理解、知识工程等内容。