基于Petri网的TCP协议的研究.pdf

兰州理工大学
硕士学位论文
基于Petri网的TCP协议的研究
姓名:张彦龙
申请学位级别:硕士
专业:通信与信息系统
指导教师:王继曾
20080508
摘要计算机网络技术是当今发展最迅速的计算机技术之一,而保证网络稳定可靠成熟的形式描述技术,建立在异步并发概念上的餽怯τ媒瞎愕囊恢中问本文主要对际跫捌湓谕缧橹械挠τ媒醒芯俊J紫龋蛞=在对樽飨晗傅姆切问交治龅幕≈希糜猩玃网对其连接建立模块和数据传输模块建立了形式化模型,并通过有色ぞ逤进行模型的仿真,得到了模型的可达树。在系统地总结了男灾驶∩希通过目纱锸鞯姆治龇椒ǎ阅P偷男灾式辛朔治鲇胙橹ぃ佣范性能分析。这些研究工作对于深入理解椤⒎治龈慕楹途咛迨迪中关键词:形式化描述;有色籘协议;可达树;随机着色运行的关键是计算机网络协议。协议是计算机网络的灵魂,协议设计、开发复杂性的增加导致了协议工程技术的出现。协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。形式描述技术是整个协议工程的关键所在,它不但能够提供无二义性的描述,而且能够对描述进行形式分析和细化。目前已有多种描述技术。绍了形式描述技术在协议工程中的应用范围,际醯幕靖拍詈头⒄棺况。其次,针对随机网在系统性能分析时其状态空间随着网规模的增大而指数性的增长,造成求解稳定状态概率的复杂性这一问题,提出了一种随机着色⒏隽似湎低承阅芊治龅姆椒ā了榈穆呒沸浴最后通过所提出的随机着色訲协议的数据传输模块做了定量的议都起着不可或缺的重要作用。硕士学位论文
墒怕,..:.,.;.琣瑃.’.,甶甊,琣籆籘籗Ⅱ
插图索引图使用三次握手的连接建立⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图协议工程系统⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图ㄎ母袷健菰诳谑荼ㄖ氐姆庾啊图数据传送⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图使用三次握手的连接终止⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图半关闭⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图滑动窗口⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图带有指针的滑动窗口⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图慢启动和拥塞避免⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图焖僦卮ê涂焖倩馗础拥腃模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..荽涞腃模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..榱咏⒌目纱锸鳌槭荽涞目纱锸鳌图数据传输模型的马尔可夫链⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯硕士学位论文Ⅱ
附表索引榈氖荽涞腟P妥刺表颜色和变量类型的定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表库所和变迁的定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表库所和变迁定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表Ⅳ基于鳷协议的研究
导师签名缈醐吲叶月作者签名:;芬毒花日期:卅年厂月圻日日期:杉年论廴兰州理工大学学位论文原创性声明和使用授权说明原创性声明学位论文版权使用授权书本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。作者签名:本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:学校有权保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人授权兰州理工大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。同时授权中国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》,并通过网络向社会公众提供信息服务。矿∥
第滦髀课题的研究背景计算机网络是计算机和通信密切结合的产物,近些年来得到了迅速的发张,分,它是计算机和计算机之间以及计算机和其他设备之间进行数据通信的必要条件。随着计算机通信和网络技术的不断提高,迅速普及,网络规模不断扩大,网络系统的复杂性在协议方面体现出空间分布性、并发性、异步性、不稳定性和多样性,再也不可能用工程直觉的方法设计出高质量的协议,协议的完整性、正确性、安全性、可移植性和标准化都难以得到保证,而且协议实现后纠正失望,在这种情况下,需要合适的方法、技术和计算机辅助工具,来设计和维护计和维护中的各个活动,它是研究对象为协议的软件工程,但它建立了一套比现有软件工程一般方法更严格的协议设计方法,使协议开发整个过程一体化、系统化和形式化【F渲校问矫枋黾际現被认为是支持复杂系统开发的有用工具,特别是它能在更短时间内产生更高性能的软件产品。形式描述技术的主要目标是产生一个清晰的、精确的、完整的规范描述,并且为形式上精确定义的验