网络协议工程协议设计协议模型.pdfVIP

第 2 章 契约设计 （1-契约模型） 南京邮电大学 内容提要 1 契约设计概述 2 契约模型 第2章 契约设计（1－契约模型） 2 契约设计概述 契约设计的含义？ 契约设计是是一件很困难的事情 Example: Clayton Tunnel Protocol Example: 蓝军与白军作战问题 第2章 契约设计（1－契约模型） 3 契约例子 England, 1841, William Cooke Telegrap （电报） instead of Optical telegraph for Railway Tunnel Protection, 节省成本（只需 1/10）和提高速度。 Purpose: avoid that more than one train is in the tunnel at the same time Firstly used on several lines of the Great Western Railways in England. 第2章 契约设计（1－契约模型） 4 电报(Telegraph) 基本原理, 1753, C.M给Scots杂志的信中描述了一个使用 一些平行电线来通信的电子电报。 英国 和美国 发现了电  1830, Michael Faraday Joseph Henry 磁感应  1837,William Cooke利用电流来使处在接收端磁场中的 罗盘指针发生偏转,从而得到信号。  1837年6月12 日,第一个电报系统的专利,“五磁针信号 系统”。  1842年,Cooke“火车可以无所畏惧地行驶,而无论其时间 是否正确,也不管其是否在正确的轨道上,因为在使用该 系统后,其速率总可以及时地降下来,从而避免碰撞” 第2章 契约设计（1－契约模型） 5 契约例子 England, 1841, William Cooke Telegrap （电报） instead of Optical telegraph for Railway Tunnel Protection, 节省成本（只需 1/10）和提高速度。 Purpose: avoid that more than one train is in the tunnel at the same time Firstly used on several lines of the Great Western Railways in England. 第2章 契约设计（1－契约模型） 6 契约例子 semaphores with block- turn to red automatically set to green by hand interval system(空闲/ 阻塞