| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 目录 | 第7-9页 |
| 第1章 绪论 | 第9-15页 |
| 1.1 绿色网络 | 第9-11页 |
| 1.1.1 绿色网络概述 | 第9-10页 |
| 1.1.2 节能路由协议的研究现状 | 第10-11页 |
| 1.2 IPv6协议族 | 第11-14页 |
| 1.2.1 IPv6 | 第11-12页 |
| 1.2.2 OSPFv3 | 第12-14页 |
| 1.3 课题来源 | 第14页 |
| 1.4 本文组织结构 | 第14-15页 |
| 第2章 相关理论基础 | 第15-23页 |
| 2.1 Petri网 | 第15-21页 |
| 2.1.1 Petri网的相关定义 | 第15-18页 |
| 2.1.2 Petri网的部分性质与证明方法 | 第18-20页 |
| 2.1.3 有色Petri网 | 第20-21页 |
| 2.2 QoS服务模型 | 第21-22页 |
| 2.3 本章小结 | 第22-23页 |
| 第3章 基于OSPF的节能QOS路由协议的设计 | 第23-49页 |
| 3.1 网络模型 | 第23-30页 |
| 3.1.1 网络模型 | 第23-26页 |
| 3.1.2 网络参数 | 第26页 |
| 3.1.3 耗能参数 | 第26-28页 |
| 3.1.4 业务的QoS参数 | 第28-30页 |
| 3.2 协议总体设计 | 第30-31页 |
| 3.3 协议详细设计 | 第31-48页 |
| 3.3.1 信息感知模块的设计 | 第31-42页 |
| 3.3.2 节能路由模块的设计 | 第42页 |
| 3.3.3 休眠管理模块的设计 | 第42-48页 |
| 3.4 本章小结 | 第48-49页 |
| 第4章 协议的形式化描述与验证 | 第49-53页 |
| 4.1 协议的形式化描述 | 第49-51页 |
| 4.2 协议性质及验证 | 第51-52页 |
| 4.3 本章小结 | 第52-53页 |
| 第5章 基于OSPF的节能QOS路由协议的实现与性能评价 | 第53-63页 |
| 5.1 开发平台 | 第53-54页 |
| 5.1.1 路由器平台 | 第53页 |
| 5.1.2 网络平台 | 第53-54页 |
| 5.2 协议实现 | 第54-58页 |
| 5.2.1 主要数据结构 | 第54-57页 |
| 5.2.2 主要函数 | 第57-58页 |
| 5.3 性能评价 | 第58-62页 |
| 5.4 本章小结 | 第62-63页 |
| 第6章 结束语 | 第63-65页 |
| 参考文献 | 第65-69页 |
| 致谢 | 第69页 |