基于Petri网的TCP协议的研究
| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 插图索引 | 第9-10页 |
| 附表索引 | 第10-11页 |
| 第1章 绪论 | 第11-21页 |
| ·课题的研究背景 | 第11-14页 |
| ·课题的研究现状 | 第14-19页 |
| ·形式化描述技术 | 第14-16页 |
| ·协议验证技术 | 第16-17页 |
| ·研究基于Petri网的形式描述技术的意义 | 第17-19页 |
| ·课题的应用背景 | 第19页 |
| ·课题研究的内容 | 第19-20页 |
| ·论文的结构 | 第20-21页 |
| 第2章 Petri网基本原理 | 第21-30页 |
| ·Petri网的基本概念 | 第21-22页 |
| ·Petri网的定义 | 第21-22页 |
| ·网系统的定义 | 第22页 |
| ·Petri网的特性 | 第22-25页 |
| ·Petri网的优点 | 第22-23页 |
| ·Petri网的应用 | 第23-24页 |
| ·Petri网的扩展 | 第24-25页 |
| ·有色Petri网 | 第25-28页 |
| ·有色Petri网的约定 | 第25-26页 |
| ·有色Petri网的定义 | 第26页 |
| ·有色Petri网的行为 | 第26-28页 |
| ·随机Petri网 | 第28-30页 |
| ·随机Petri网的定义 | 第28-29页 |
| ·随机Petri网的特性 | 第29-30页 |
| 第3章 TCP协议分析 | 第30-43页 |
| ·TCP的服务 | 第30-33页 |
| ·TCP的服务 | 第30-31页 |
| ·TCP的报文段 | 第31-33页 |
| ·TCP报文封装 | 第33页 |
| ·TCP的数据传输 | 第33-38页 |
| ·连接的建立 | 第33-34页 |
| ·数据传输 | 第34-35页 |
| ·连接终止 | 第35-38页 |
| ·TCP的流量控制 | 第38-39页 |
| ·滑动窗口 | 第38-39页 |
| ·滑动窗口的管理 | 第39页 |
| ·TCP的差错控制 | 第39-40页 |
| ·TCP的拥塞控制 | 第40-43页 |
| ·拥塞产生的原因 | 第40页 |
| ·TCP拥塞控制 | 第40-43页 |
| 第4章 一种随机着色Petri网 | 第43-48页 |
| ·随机着色Petri网的定义 | 第43-44页 |
| ·随机着色Petri网的性质 | 第44-45页 |
| ·动态性 | 第44页 |
| ·同构于连续时间的马尔可夫链 | 第44-45页 |
| ·基于SCPN的性能分析方法 | 第45-48页 |
| ·SCPN建立系统模型的方法 | 第45页 |
| ·SCPN模型的性能分析 | 第45-48页 |
| 第5章 TCP协议的Petri网模型及性能分析 | 第48-59页 |
| ·TCP协议的CPN模型 | 第48-51页 |
| ·建立连接的CPN模型 | 第48-50页 |
| ·数据传输的CPN模型 | 第50-51页 |
| ·TCP协议的CPN模型验证 | 第51-56页 |
| ·Petri网的基本性质 | 第51-53页 |
| ·Pctri网的模型验证的方法 | 第53-54页 |
| ·TCP模型性能的验证 | 第54-56页 |
| ·基于SCPN的TCP协议的性能分析 | 第56-59页 |
| ·构造同构的马尔可夫链 | 第56页 |
| ·马尔可夫链稳定状态概率 | 第56-57页 |
| ·性能指标的分析 | 第57-59页 |
| 总结和展望 | 第59-60页 |
| 参考文献 | 第60-64页 |
| 致谢 | 第64-65页 |
| 附录A 攻读学位期间所发表的学术论文录 | 第65页 |
