| 致谢 | 第1-5页 |
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-12页 |
| 第一章 概述 | 第12-18页 |
| §1.1 大型计算机网络面临的挑战 | 第12页 |
| §1.2 选题的背景与目的 | 第12页 |
| §1.3 对民航计算机信息网络系统的认识 | 第12-13页 |
| §1.4 体委计算机信息网络概述 | 第13-14页 |
| §1.4.1 体委计算机信息网络的组成 | 第13页 |
| §1.4.2 体委计算机信息网络建设任务及目标 | 第13-14页 |
| §1.5 本文的主要贡献 | 第14-18页 |
| §1.5.1 本文的主要工作 | 第14-15页 |
| §1.5.2 本文的主要贡献 | 第15-18页 |
| 第二章 网络性能评价与建模工具 | 第18-33页 |
| §2.1 引言 | 第18-20页 |
| §2.1.1 测量方法 | 第18-19页 |
| §2.1.2 模拟方法 | 第19页 |
| §2.1.3 分析方法 | 第19-20页 |
| §2.2 计算机网络性能评价的随机分析方法及其数学基础 | 第20-22页 |
| §2.2.1 随机过程 | 第20-21页 |
| §2.2.2 连续时间Markov链 | 第21-22页 |
| §2.3 分析方法中的排队模型 | 第22-25页 |
| §2.4 Petri Nets | 第25-26页 |
| §2.5 基本随机Petri Nets-SPN(Stochastic Petri Nets) | 第26-28页 |
| §2.6 一般随机Petri Nets-GSPN(Generalized Stochastic Petri Nets) | 第28-29页 |
| §2.7 确定型随机Petri Nets-DSPN(Deterministic and Stochastic Petri Netst | 第29-31页 |
| §2.8 扩展确定型随机Petri Nets-EDSPN(Extended DSPN) | 第31-32页 |
| §2.9 本章小结 | 第32-33页 |
| 第三章 《民航计算机旅客服务系统》大型计算机网络信息系统的测量与分析 | 第33-46页 |
| §3.1 引言 | 第33页 |
| §3.2 民航网简介 | 第33-35页 |
| §3.2.1 早期的联机系统 | 第33页 |
| §3.2.2 网络系统的中期改造 | 第33页 |
| §3.2.3 网络系统的第三期改造 | 第33-35页 |
| §3.2.4 小结 | 第35页 |
| §3.3 民航网的运行测量 | 第35-37页 |
| §3.4 测试结果的初步分析 | 第37-45页 |
| §3.5 民航网的分析求解 | 第45页 |
| §3.6 本章小结 | 第45-46页 |
| 第四章 体委计算机信息网络的建模分析 | 第46-80页 |
| §4.1 引言 | 第46页 |
| §4.2 建模思想 | 第46-47页 |
| §4.2.1 建模思想之一 | 第46页 |
| §4.2.2 建模思想之二 | 第46页 |
| §4.2.3 建模思想之三 | 第46-47页 |
| §4.2.4 建模思想之四 | 第47页 |
| §4.2.5 建模思想之五 | 第47页 |
| §4.3 体委网的建模 | 第47-52页 |
| §4.3.1 交换式Ethernet站点间的DSPN模型 | 第47-49页 |
| §4.3.2 交换式Ethernet中交换机制的DSPN模型 | 第49页 |
| §4.3.3 交换式Ethernet中C／S工作方式的DSPN模型 | 第49-52页 |
| §4.4 体委网DSPN模型中Token迁移流的分析 | 第52-72页 |
| §4.4.1 信道空闲时自由发送信包的Token迁移 | 第52-53页 |
| §4.4.1.1 初始状态 | 第52页 |
| §4.4.1.2 Token迁移描述 | 第52-53页 |
| §4.4.2 竞争状态下信包发送的Token迁移 | 第53-54页 |
| §4.4.2.1 初始状态 | 第53页 |
| §4.4.2.2 Token迁移描述 | 第53-54页 |
| §4.4.3 碰撞状态下信包发送的Token迁移 | 第54页 |
| §4.4.3.1 初始状态 | 第54页 |
| §4.4.3.2 Token迁移描述 | 第54页 |
| §4.4.4 本节小结 | 第54-72页 |
| §4.5 体委网DSPN模型中Token迁移的动态显示 | 第72页 |
| §4.6 体委网DSPN模型的模拟求解 | 第72-79页 |
| §4.6.1 概述 | 第72-73页 |
| §4.6.2 交换式Ethernet中两结点模型的求解 | 第73-74页 |
| §4.6.3 交换式Ethernet中C／S工作方式模型求解 | 第74-79页 |
| §4.6.4 一点体会 | 第79页 |
| §4.7 本章小结 | 第79-80页 |
| 第五章 体委计算机大型网络信息系统的设计 | 第80-83页 |
| §5.1 概述 | 第80页 |
| §5.2 设计原则及其实现 | 第80-82页 |
| §5.3 一点体会 | 第82-83页 |
| 第六章 结束语 | 第83-84页 |
| 参考文献 | 第84-91页 |
| 攻读学位期间发表的论文与获奖情况 | 第91-92页 |
| 作者简历 | 第92页 |
