| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 1 绪论 | 第8-19页 |
| ·选题背景和意义 | 第8-9页 |
| ·国内外研究现状 | 第9-16页 |
| ·协议分析 | 第9-14页 |
| ·协议实现 | 第14-16页 |
| ·本文研究的主要内容和主要贡献 | 第16-17页 |
| ·主要内容 | 第16-17页 |
| ·主要贡献 | 第17页 |
| ·本文创新点 | 第17-18页 |
| ·本文的组织结构 | 第18-19页 |
| 2 协议自动化实现方案的设计和实现 | 第19-37页 |
| ·ForCES协议自动化方案 | 第19-22页 |
| ·ForCES协议组成 | 第19-20页 |
| ·ForCES本地配置模块自动化实现 | 第20-21页 |
| ·ForCES协议交互模块自动化实现 | 第21页 |
| ·ForCES信息处理模块自动化实现 | 第21-22页 |
| ·自动化实现技术分析和对比 | 第22页 |
| ·基于XML语言的转换 | 第22-29页 |
| ·基于XML语言的转换原理 | 第22-24页 |
| ·基于XML语言的协议描述 | 第24-27页 |
| ·基于XML文本到TAP文本的转换 | 第27-29页 |
| ·基于TAP语言的代码生成技术 | 第29-33页 |
| ·基于TAP语言代码生成原理 | 第30页 |
| ·TAP语法简介 | 第30-32页 |
| ·TAP程序执行模型 | 第32-33页 |
| ·基于TAP语言的ForCES协议心跳机制描述 | 第33-35页 |
| ·程序执行模块配置 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 3 ForCES协议基于快速心跳模型的研究与改进 | 第37-50页 |
| ·ForCES协议中的心跳机制 | 第37-39页 |
| ·OpenFlow协议中的心跳机制 | 第39页 |
| ·快速心跳模型 | 第39-40页 |
| ·快速心跳模型分析 | 第40-43页 |
| ·快速心跳改进模型一 | 第43-45页 |
| ·快速心跳改进模型二 | 第45-47页 |
| ·改进模型一与改进模型二的比较 | 第47-48页 |
| ·快速心跳模型及改进模型的应用 | 第48-49页 |
| ·ForCES协议中的应用 | 第48页 |
| ·OpenFlow协议中的应用 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 4 心跳模型的Petri网分析与研究 | 第50-75页 |
| ·Petri网简介 | 第50页 |
| ·Petri网分析工具—PIPE | 第50-51页 |
| ·Petri网模型介绍 | 第51-52页 |
| ·时延Petri网 | 第52-53页 |
| ·基于时延Petri网的心跳机制的研究 | 第53-63页 |
| ·ForCES协议中的心跳机制的时延Petri网分析 | 第53-55页 |
| ·快速心跳模型的时延Petri网分析 | 第55-57页 |
| ·改进模型一的时延Petri网分析 | 第57-62页 |
| ·改进模型二的时延Petri网分析 | 第62-63页 |
| ·基于连续时间随机Petri网的分析 | 第63-74页 |
| ·SPN分析原理 | 第64-65页 |
| ·ForCES心跳机制的SPN分析 | 第65-67页 |
| ·快速心跳模型的SPN分析 | 第67-70页 |
| ·改进模型一的SPN分析 | 第70-72页 |
| ·改进模型二的SPN分析 | 第72-74页 |
| ·本章小结 | 第74-75页 |
| 5 基于APC的心跳模型实现与分析 | 第75-82页 |
| ·实验拓扑及运行结果分析 | 第75-77页 |
| ·快速心跳模型实现及分析 | 第77-78页 |
| ·改进模型一的实现与分析 | 第78页 |
| ·模型对比与分析 | 第78-81页 |
| ·失败率随丢包率变化关系分析 | 第78-80页 |
| ·时延随丢包率变化关系分析 | 第80-81页 |
| ·本章小结 | 第81-82页 |
| 6 总结与展望 | 第82-84页 |
| ·论文总结 | 第82页 |
| ·工作展望 | 第82-84页 |
| 参考文献 | 第84-89页 |
| 本文作者硕士期间参加的科研项目及发表的学术论文 | 第89-90页 |
| 致谢 | 第90-91页 |