南京理工大学计算机科学与技术博士考试大纲.docVIP

下载本文档

60
0
约1.31千字
约 2页
2017-08-14 发布于河南
举报
版权申诉

南京理工大学计算机科学与技术博士考试大纲.doc

1、本文档共2页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
8、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

南京理工大学计算机科学与技术博士考试大纲初试科目：分布式系统与程序设计形式语义（原名：计算机网络、软件工程与方法）分布式系统部分考试大纲： 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 引言问题求解的可行性问题求解的基本原则 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