首页 医学英语 考博全规划 特惠课程 历年真题

新东方在线 > 考博 > 考博复习资料 > 正文
医学英语全程班优惠 考博英语全程班特惠

南京理工大学考博：计算机网络、软件工程与方法考试大纲

2015-08-03 15:31:44来源：网络

南京理工大学考博：计算机网络、软件工程与方法考试大纲

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

　　初试科目：分布式系统与程序设计形式语义 (原名：计算机网络、软件工程与方法)

　　分布式系统部分

　　考试大纲：

　　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.打开手机微信【扫一扫】，识别上方二维码；
  • 2.点击【关注公众号】，回复对应关键字领取学习资料。
更多>>
更多内容
更多>>
更多好课>>
更多>>
更多资料
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10

京ICP证050421号 京ICP备05067669号 京公网安备11010802017616号 网络视听许可证0110531号 京网文(2016)1303-163号

Copyright © 2011-2018 新东方教育科技集团有限公司, All Rights Reserved