招生信息
..
软件所2008年博士生考试参考书
时间:2007-10-22

代码

考试科目名称

  

覆盖范围

795

软件工程和方法学

1Software Engineering:A Practitioner’s Approach,Sixth EditionMcGraw-HillRoger S.Pressman 

2Software Engineering7th Edition,,Addison Wesley, Ian Sommerville

(两本都有影印版,且前一版都有中文版)

  • 软件工程概论
  • 软件需求
  • 软件设计
  • 验证与确认
  • 软件过程
  • 软件管理

796

算法设计与分析

1、《算法设计技巧与分析》(影印版)

M.H.ALSUWAIYEL,电子工业出版社

2、《数据结构》严蔚敏、吴伟明,

清华大学出版社

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

797

密码学

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

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

798

计算机科学基础

1、《面向计算机科学的数理逻辑》

陆钟万编著,科学出版社;

2、《计算机语言的形式语义》

陆汝钤编著科学出版社;

  • 数理逻辑:命题演算、谓词演算
  • 形式语义:操作语义、程序规约与验证、模态逻辑与时序逻辑基础、格上函数的不动点

799

人工智能原理

1、《人工智能》(上册)

陆汝钤编,科学出版社, 1996;

2NilsJ.Nilsson, Artificial Intelligence: A New Synthesis, Morgan Kaufmann Publishers,Inc,1998

  • 逻辑与推理:归结法(消解法)、不确定推理、非单调推理.
  • 知识表示:产生式系统、框架结构、语义网络、典型专家系统
  • 机器学习
  • 搜索技术:状态空间搜索、问题空间搜索
  • 数据挖掘技术
  • Agent技术:Agent之间的通信、Agent的体系结构.
  • 自然语言处理

800

计算机算法和程序设计

1、《数据结构》(C语言版)

严蔚敏吴伟明 清华大学出版社, 2002;

2、《计算机算法基础》(第二版)

余祥宣等华中理工大学出版社, 2000;

3、《分布式系统设计》

Jie WU 机械工业出版社, 2001.

  • 计算机算法基础,包括:分治法、贪心法、基本检索与周游方法、回溯法、分枝限界法
  • 分布式系统中的算法,包括:互斥和选举算法、分布式路由算法、死锁检测算法等
  • 数据结构和程序设计,包括:各种不同的数据结构如数组、栈、队列、树、图等及其相关算法、数据类型抽象及其面向对象的程序设计(熟悉C++/Java编程)

801

计算机图形学

1、《计算机图形学教程》

唐荣锡,科学出版社

2、《计算机真实感图形算法基础》

彭群生,科学出版社

  • 计算机图形学基本知识:计算机图形学概论;图形系统,图形标准;计算机图形学的数学基础
  • 图形显示的基本过程:三维计算机图形学基础;光栅扫描图形学基础,隐藏面和隐藏线消除算法
  • 几何造型:曲线和曲面;三维形体表示方法
  • 真实感图形技术:CG发展的新动向:计算机动画,科学计算可视化,虚拟现(VR),Wed网上的图形/动画技术

802

信息和网络安全

1、《操作系统安全》

清华大学出版社;

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

清华大学出版社.

  • 网络安全基础:实现网络安全服务的方法,网络安全体系结构,网络安全标准、网络安全协议
  • 安全策略模型:Bell-Lapadula模型,Biba模型
  • 安全机制:标识与鉴别,存取控制,最小特权管理,可信通路,安全审计
  • 安全体系结构:Flask体系,权能体系;
  • 安全评测标准:TCSEC标准,GB178591999,国际通用安全评价准则(CC)

803

代数与编码

《代数与编码》

万哲先著,高等教育出版社,2006年6月第三版。

《代数学基础与有限域》

林东岱著,高等教育出版社,2006年6月第一版。

  • 抽象代数的基本概念
  • 有限域的结构
  • 线性代数基础
  • 线性反馈移位寄存器
  • 线性码
  • 有限域上的多项式

804

网络安全

《计算机通信网络安全》

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

  • 密码技术
  • 实现安全服务的方法
  • 安全体系结构
  • 安全标准
  • IPSEC协议、TLS协议、SNMP协议、IDS、PKI
  • 评估准则

805

网络与通信原理

《用TCP/IP进行网际互联,第一卷:原理、协议与结构》,第四版,电子工业出版社;《卫星通信》(第二版)Timothy Pratt,Charles Bostian,Jeremy Allnutt著,甘良才等译,电子工业出版社)

 

806

中文信息处理基础

自然语言处理综论   D. Jurafsky, J. H. Martin 著, 冯志伟 孙乐译

中文信息处理技术教程 朱巧明等 清华大学出版