2010年博士招生考试科目参考书目录

文章来源:  |  发布时间:2009-11-02  |  【打印】 【关闭

  

中国科学院软件研究所

2010年博士招生考试科目及参考书目录

 

一.专业基础课

编号

专业课名称

参考书

主要内容

201

软件工程基础

1.《软件工程》,Ian Sommerville,机械工业出版社,第七或第八版;

2、《软件工程实践者的研究方法》,Roger S.Pressman,机械工业出版社,第六版。 

软件系统模型和软件过程模型、需求建模和分析、软件系统设计(包括系统和应用体系结构、界面等方面,以及面向对象软件设计方法、设计模型及数据结构与算法)、软件测试、软件项目管理等方面的基础内容。

202

算法设计与分析

1.《算法设计技巧与分析》(影印版)M.H.ALSUWAIYEL,电子工业出版社;

2.《数据结构》严蔚敏、吴伟明,清华大学出版社。

数据结构及存储方式、排序和搜索算法、近似算法、动态规划、问题复杂性。

203

密码学

密码学导引》冯登国等著,科学出版社。

信息理论、复杂性理论、私钥密码算法、公钥密码算法、数字签名、Hash函数、识别协议、密钥管理技术。

204

计算机科学基础

1.《矩阵论》(第3版),程云鹏,西北工业大学出版社;

2.《随机过程及其应用》,陆大絟,清华大学出版社。

线性空间与线性变换,范数理论,矩阵分解,特征值,对称矩阵,广义逆矩阵;马尔可夫过程,二阶矩过程,平稳随机过程,布朗运动,离散鞅;线性非线性优化,曲线回归。

205

数理逻辑

《面向计算机科学的数理逻辑》,陆钟万编著,科学出版社。

谓词演算、模态逻辑及时态逻辑基础。

 

二.专业课

编号

专业课名称

参考书

主要内容

301

计算机图形学

1.《计算机图形学教程》唐荣锡,科学出版社;

2.《计算机真实感图形算法基础》彭群生,科学出版社。

计算机图形学基本知识:计算机图形学概论;图形系统,图形标准;计算机图形学的数学基础。

图形显示的基本过程:三维计算机图形学基础;光栅扫描图形学基础,隐藏面和隐藏线消除算法。

几何造型:曲线和曲面;三维形体表示法。

真实感图形技术:CG发展的新动向:计算机动画,科学计算可视化,虚拟现(VR),Wed网上的图形/动画技术。

302

程序语言理论

《计算机语言的形式语义》陆汝鈐编著,科学出版社。

 

自动机,形式语义(操作语义、代数语义、指称语义、公理语义),程序规约与验证。

303

计算理论基础

《计算理论基础》第二版,H. R. Lewis and C. H. Papadomitriou著,张立昂,刘田译,清华大学出版社。

计算模型,计数复杂性,NP完全性。

304

网络安全

《信息安全技术概论》,冯登国等,电子工业出版社,20094月。

标识与认证、授权与访问控制、信息隐藏、网络与系统攻击、网络与系统安全防护与应急响应、安全审计与责任认定、主机系统安全、网络系统安全、恶意代码检测与防范、内容安全、信息安全测评、信息安全管理等技术。

305

有限域

1.《代数学基础与有限域》

林东岱著,高等教育出版社,20066月,第一版。或者

2. <Finite Fields>, Rudolf Lidl, H. Niederreiter, Addison-Wesley Publishing Company, 1983

抽象代数的基本知识

有限域的结构、有限域上的多项式、线性反馈移位寄存器、线性码。

 

编号

专业课名称

参考书

主要内容

306

操作系统与数据库

1.《操作系统—精髓与设计原理》第五版,William Stallings著,电子工业出版社,20062月出版。

2.《数据库系统概论》(第三版),萨师煊,王珊(),高等教育出版社, 2000年出版。

操作系统基本原理,包括:任务调度、内存管理、文件系统、虚拟机原理等

数据库系统包括: 数据库模型,关系数据库标准语言SQL,数据库查询优化,关系数据理论,数据库设计,数据库事务处理, 数据库安全, 分布式数据库和并行数据库。

307

系统与网络安全

1.《操作系统安全》卿斯汉等,清华大学出版社2004

2.《计算机通信网络安全》

冯登国著,清华大学出版社, 2001

系统安全策略模型、安全机制、安全体系结构、安全标准、网络安全服务的方法、网络协议等。

308

人机交互

《人机交互》(美)迪克斯(Dix,A.) 等著,蔡利栋 等译。电子工业出版社。

人与计算机之间的交互技术;和谐人机交互界面的原理;设计智能化人机交互界面的基本方法论,利用可用性和设计过程来考察人机交互的关键性问题,其中包括任务分析、对话设计、认知模型和软件工程符号等内容。

309

实时系统

《实时系统》C.M.Krishna/Kang G.Shin著,清华大学出版社

强实时和弱实时系统基本原理、实时系统调度、资源访问控制以及多处理器和分布式实时系统等。

310

高级软件工程

 

1.《软件工程》,Jan Sommerville,机械工业出版社,2004(第七或第八版);

2.《软件工程实践者的研究方法》,Roger S.Pressman,机械工业出版社,2004

3.Measuring the software processStatistical Process Control for Software Process Improvement,

William A. Florac, Anita D. Carleton. Addison-Wesley 1999年出版.

需求工程、软件过程、软件项目管理、估算、度量、验证、确认以及知识管理基本知识;

软件体系结构、软件设计技术等相关内容。

311

分布式系统设计

1.《分布式系统:原理与范型》Andrews Tanenbaum,Maarten Van Steen,清华大学出版社,2004

2.《网络分布计算和软件工程》冯玉琳等,科学出版社,2003

分布式系统模型和体系结构、分布式系统的协调一致、死锁检测、资源调度、可靠保障、分布式文件管理、事务处理、数据管理等问题。

312

高级计算机网络

《用TCP/IP进行网际互联,第一卷:原理、协议与结构》,第4版,电子工业出版社。

协议分层的基本原理、现代通信网及其交换技术、数据链路层、介质接入控制(MAC)、路由选择与网络拥塞控制、网络互联、传输层、计算机网络的高层应用。

313

数字通信

《数字通信》(第4版),John G. Proakis,电子工业出版社,2006

信源编码、通信信号与系统的表征、信道编码、自适应均衡、多信道与多载波系统、扩频信号、多径衰落。

314

人工智能原理

《人工智能》上下册 陆汝钤编著 科学出版社20022月出版。

演绎系统、产生式系统、框架结构、语义网络和过程性知识表示为中心;涉及盲目搜索、启发式搜索、博弈树搜索以及状态窨搜索、问题空间搜索等多个方面。下册介绍非经典逻辑、机器学习、自然语言理解、知识工程等内容。