南京理工大学计算机科学与技术博士考试大纲
初试科目：分布式系统与程序设计形式语义 （原名：计算机网络、软件工程与方法）
分布式系统部分
考试大纲：
1 概念
1.1 分布式系统的定义
1.2 系统的目标
1.3 硬件概念
1.4 软件概念
1.5 CLIENT-SERVER 模型
2 通信
2.1 多层协议
2.2 远程过程调用
2.3 远程对象调用
2.4 面向消息的通信
2.5 面向流的通信
3进程
3.1 线程
3.2 客户端
3.3 服务器
3.4 代码迁移
3.5 负载均衡
3.6 软件代理
4 同步
4.1 时钟同步
4.2 逻辑时钟
4.3选举算法
4.4 互斥技术
4.5 分布式事务
5 一致性与复制
5.1 简介
5.2 数据为中心的一致性模型
5.3客户为中心的一致性模型
5.4 分布协议
5.5 一致性协议
6 容错技术
6.1 容错介绍
6.2 进程容错机制
6.3可靠的客户-服务通信
6.4 分布式提交协议
6.5 恢复技术
7 基于对象的分布式系统
7.1 CORBA 技术
7.2 分布式COM
7.3 JAVA RMI
7.4 CORBA、DCOM 和RMI 的比较
8 分布式系统的新进展
8.1 Web 服务及协议栈
8.2 P2P计算与结构模型
8.3 网格计算模型
程序设计形式语义部分
考试大纲：
1 引论
1.1 引言
1.2 问题求解的可行性
1.3 问题求解的基本原则
1.4 λ记法
1.5 等式，归约和语义
1.5.1 公理语义
1.5.2 操作语义
1.5.3 指称语义
1.6 类型和类型系统
2 程序正确性分析与证明
2.1 引言
2.2 FCL/2结构的表示
2.3 其他控制结构的表示
2.4 程式的表示
2.5 程序的形式描述与证明
2.6 程序正确性证明
2.6.1 证明部分正确性的方法
A. Floyd的不变式断言法
B. Manna的子目标断言法
C. Hoare的公理化方法
2.6.2. 证明终止性的方法
A. Floyd的良序集方法
B. Kunth的计数器方法
C. Manna等人的不动点方法
2.6.3. 证明完全正确性的方法
A. Manna等人对Hoare 公理化方法的推广
B. Burstall的间发断言法
C. Dijkstra的弱谓词变换方法及强验证方法
参考书：
1. 《程序设计方法学》, 李传湘等著. 武汉: 武汉大学出版社. 2000年.
2. 《程序设计的方法学教程》, 张辛儿著. 南京: 南京大学出版社. 1992年.
3. Distributed Systems: Principles and Paradigms. （分布式系统：原理与范例）
Andrew S. Tanenbaum， Prentice Hall, 2002 （有中译本）
4. 《分布式系统》，李西宁著. 北京: 科学出版社. 2006年.
5. Distributed System Design. （分布式系统设计）
Jie Wu Translated by Gao Chuanshan， 机械工业出版社，2001
6. Transaction Processing: Concepts and Techniques (事务处理-概念与技术).
Jim Gray Translated by Meng Xiaofeng， 机械工业出版社，2004
南京理工大学计算机科学与技术博士考试大纲
初试科目：分布式系统与程序设计形式语义 （原名：计算机网络、软件工程与方法）
分布式系统部分
考试大纲：
1 概念
1.1 分布式系统的定义
1.2 系统的目标
1.3 硬件概念
1.4 软件概念
1.5 CLIENT-SERVER 模型
2 通信
2.1 多层协议
2.2 远程过程调用
2.3 远程对象调用
2.4 面向消息的通信
2.5 面向流的通信
3进程
3.1 线程
3.2 客户端
3.3 服务器
3.4 代码迁移
3.5 负载均衡
3.6 软件代理
4 同步
4.1 时钟同步
4.2 逻辑时钟
4.3选举算法
4.4 互斥技术
4.5 分布式事务
5 一致性与复制
5.1 简介
5.2 数据为中心的一致性模型
5.3客户为中心的一致性模型
5.4 分布协议
5.5 一致性协议
6 容错技术
6.1 容错介绍
6.2 进程容错机制
6.3可靠的客户-服务通信
6.4 分布式提交协议
6.5 恢复技术
7 基于对象的分布式系统
7.1 CORBA 技术
7.2 分布式COM
7.3 JAVA RMI
7.4 CORBA、DCOM 和RMI 的比较
8 分布式系统的新进展
8.1 Web 服务及协议栈
8.2 P2P计算与结构模型
8.3 网格计算模型
程序设计形式语义部分
考试大纲：
1 引论
1.1 引言
1.2 问题求解的可行性
1.3 问题求解的基本原则
1.4 λ记法
1.5 等式，归约和语义
1.5.1 公理语义
1.5.2 操作语义
1.5.3 指称语义
1.6 类型和类型系统
2 程序正确性分析与证明
2.1 引言
2.2 FCL/2结构的表示
2.3 其他控制结构的表示
2.4 程式的表示
2.5 程序的形式描述与证明
2.6 程序正确性证明
2.6.1 证明部分正确性的方法
A. Floyd的不变式断言法
B. Manna的子目标断言法
C. Hoare的公理化方法
2.6.2. 证明终止性的方法
A. Floyd的良序集方法
B. Kunth的计数器方法
C. Manna等人的不动点方法
2.6.3. 证明完全正确性的方法
A. Manna等人对Hoare 公理化方法的推广
B. Burstall的间发断言法
C. Dijkstra的弱谓词变换方法及强验证方法
参考书：
1. 《程序设计方法学》, 李传湘等著. 武汉: 武汉大学出版社. 2000年.
2. 《程序设计的方法学教程》, 张辛儿著. 南京: 南京大学出版社. 1992年.
3. Distributed Systems: Principles and Paradigms. （分布式系统：原理与范例）
Andrew S. Tanenbaum， Prentice Hall, 2002 （有中译本）
4. 《分布式系统》，李西宁著. 北京: 科学出版社. 2006年.
5. Distributed System Design. （分布式系统设计）
Jie Wu Translated by Gao Chuanshan， 机械工业出版社，2001
6. Transaction Processing: Concepts and Techniques (事务处理-概念与技术).
Jim Gray Translated by Meng Xiaofeng， 机械工业出版社，2004