| 第1章 绪论 | 第1-33页 |
| ·课题的目的与意义 | 第10-14页 |
| ·相关方法与技术研究现状 | 第14-31页 |
| ·IP地址扩展模型 | 第14-20页 |
| ·IP网层次路由 | 第20-21页 |
| ·通信协议的形式描述与验证 | 第21-31页 |
| ·论文工作内容与组织 | 第31-33页 |
| 第2章 IP网分级寻址模型 | 第33-51页 |
| ·相关工作 | 第34-36页 |
| ·一种IP网两级寻址模型 | 第36页 |
| ·IP网分级寻址模型及其地址空间 | 第36-39页 |
| ·IPEA包格式 | 第39-41页 |
| ·IPEA路由算法及其正确性证明与复杂性分析 | 第41-44页 |
| ·IPEA路由更新算法 | 第42页 |
| ·IPEA转发算法 | 第42-43页 |
| ·IPEA路由算法正确性证明 | 第43-44页 |
| ·IPEA路由算法复杂性分析 | 第44页 |
| ·互操作性 | 第44-45页 |
| ·仿真实验 | 第45-49页 |
| ·网络模拟——NS-2 | 第45-47页 |
| ·实验结果与分析 | 第47-49页 |
| ·本章小结 | 第49-51页 |
| 第3章 分级寻址的性能分析与分簇结构优化 | 第51-67页 |
| ·相关工作 | 第51-53页 |
| ·层次路由分簇结构的形式模型 | 第53页 |
| ·IPEA的路由表长度与更新代价 | 第53-54页 |
| ·优化IPEA分簇结构 | 第54-57页 |
| ·分级寻址的路径长度与路由表长度的关系 | 第57-59页 |
| ·仿真实验 | 第59-65页 |
| ·本章小结 | 第65-67页 |
| 第4章 优化分簇结构与图分割 | 第67-81页 |
| ·相关工作 | 第68-72页 |
| ·优化的簇大小与网络的Tree-width | 第72-74页 |
| ·网络分割 | 第74-76页 |
| ·初始树分割生成算法 | 第74-75页 |
| ·树分割生成算法的正确性证明 | 第75页 |
| ·树分割复杂性分析 | 第75-76页 |
| ·仿真实验 | 第76-80页 |
| ·Chaco图分割包 | 第76-78页 |
| ·实验结果与分析 | 第78-80页 |
| ·本章小结 | 第80-81页 |
| 第5章 分级路由协议的形式分析 | 第81-99页 |
| ·相关工作 | 第82-85页 |
| ·定义与记号 | 第85-90页 |
| ·有色Petri网静态结构 | 第85-87页 |
| ·有色Petri网行为 | 第87-89页 |
| ·随机Petri网 | 第89-90页 |
| ·分级路由协议的Petri网分析 | 第90-95页 |
| ·分级转发算法的正确性 | 第90-93页 |
| ·分级转发算法与非分级转发算法的性能比较 | 第93-95页 |
| ·仿真实验 | 第95-97页 |
| ·Petri net模型模拟工具——CPN Tools和HPSim | 第95-96页 |
| ·实验结果与分析 | 第96-97页 |
| ·本章小结 | 第97-99页 |
| 结论 | 第99-101页 |
| 参考文献 | 第101-111页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第111-113页 |
| 致谢 | 第113页 |