通信网结构与协议的形式化描述语言研究与设计
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 第一章 绪论 | 第7-9页 |
| ·论文研究背景 | 第7页 |
| ·论文课题来源 | 第7页 |
| ·本文的研究问题及贡献 | 第7-8页 |
| ·论文的组织结构 | 第8-9页 |
| 第二章 路由协议及特性描述参数 | 第9-22页 |
| ·路由技术的演进 | 第9页 |
| ·Internet 路由架构 | 第9-17页 |
| ·自治系统 | 第9-10页 |
| ·IGP | 第10-14页 |
| ·EGP | 第14-17页 |
| ·MPLS 技术 | 第17-22页 |
| ·MPLS 工作原理 | 第18-20页 |
| ·MPLS 与流量工程 | 第20-22页 |
| 第三章 形式化描述技术基础 | 第22-33页 |
| ·形式化描述方法 | 第22页 |
| ·XML 简介 | 第22-23页 |
| ·XML 语法 | 第23-27页 |
| ·XML 文档的组成和声明 | 第23-24页 |
| ·XML 文档的元素 | 第24-27页 |
| ·XSL | 第27-33页 |
| ·XSL 简介 | 第27-28页 |
| ·XSLT 工作原理 | 第28-29页 |
| ·XSL 文档的语法 | 第29-33页 |
| 第四章 通信网形式化描述语言结构设计 | 第33-55页 |
| ·通信网设备形式化描述结构设计 | 第33-53页 |
| ·设备基本信息描述 | 第34-37页 |
| ·设备协议配置信息描述 | 第37-53页 |
| ·通信网链路形式化描述结构设计 | 第53-55页 |
| 第五章 通信网形式化描述语言验证与测试 | 第55-66页 |
| ·网络仿真软件简介 | 第55页 |
| ·OPNET 自定义描述语言缺点 | 第55-57页 |
| ·BGP 功能测试 | 第57-62页 |
| ·测试方案 | 第57页 |
| ·测试用XML 文件和XSLT 转换程序 | 第57-59页 |
| ·测试结果 | 第59-62页 |
| ·MPLS 功能测试 | 第62-66页 |
| ·测试方案 | 第62-63页 |
| ·测试用XML 文件及XSLT 转换程序 | 第63-64页 |
| ·测试结果 | 第64-66页 |
| 第六章 总结与展望 | 第66-68页 |
| ·本文总结 | 第66-67页 |
| ·下一步工作 | 第67-68页 |
| 致谢 | 第68-69页 |
| 参考文献 | 第69-71页 |
| 攻读硕士期间发表论文 | 第71-72页 |
| 缩略语 | 第72-73页 |
