| 摘要 | 第1-5页 |
| ABSTRACT | 第5-6页 |
| 第一章 绪论 | 第6-9页 |
| ·选题的背景和意义 | 第6-7页 |
| ·国外研究现状 | 第7-8页 |
| ·国内研究现状 | 第8-9页 |
| ·论文的主要工作 | 第9页 |
| 第二章 随机服务系统理论在网络系统性能评价中的应用 | 第9-19页 |
| ·随机服务系统理论简介 | 第9-10页 |
| ·随机服务系统理论的数学基础 | 第10-13页 |
| ·三个重要的概率分布 | 第10-12页 |
| ·随机过程马尔可夫链 | 第12-13页 |
| ·网络传输系统的排队论评价 | 第13-19页 |
| ·单服务员队列模型 | 第13-15页 |
| ·基本排队关系 | 第15页 |
| ·假设条件 | 第15页 |
| ·单服务队列模型比较 | 第15-18页 |
| ·复杂的排队网络模型 | 第18-19页 |
| 第三章 网络协议形式化验证 | 第19-37页 |
| ·协议测试与形式化方法 | 第19-26页 |
| ·协议测试概念 | 第20-21页 |
| ·协议测试必要性 | 第21页 |
| ·协议测试的研究内容 | 第21-22页 |
| ·协议测试方法 | 第22-23页 |
| ·形式化方法与协议测试 | 第23-25页 |
| ·形式化方法 | 第23-24页 |
| ·形式化方法应用于协议说明 | 第24-25页 |
| ·取得的进展 | 第25-26页 |
| ·形式化分析与设计 | 第26-37页 |
| ·协议的形式化模型 | 第26页 |
| ·有限状态机(FSM) | 第26-28页 |
| ·协议的FSM模型 | 第28-33页 |
| ·Petri网模型 | 第33-35页 |
| ·协议的Petri模型 | 第35-37页 |
| 第四章 IP网络主动检测工具-ACTIVETESTER设计与开发 | 第37-40页 |
| ·总体设计 | 第37-38页 |
| ·详细设计 | 第38-40页 |
| 第五章 网络主动检测实例 | 第40-50页 |
| ·网络系统性能评价的理论估算 | 第40-41页 |
| ·ACTIVETESTER的使用 | 第41-50页 |
| 参考文献 | 第50-52页 |
| 致谢 | 第52页 |
| 在学期间发表论文和参加科研情况 | 第52页 |