基于对等网络的分布式Pi演算研究
| 摘要 | 第1-6页 |
| abstract | 第6-11页 |
| 第1章 引言 | 第11-19页 |
| ·研究背景 | 第11-16页 |
| ·分布式技术研究现状 | 第11-12页 |
| ·对等网络现状 | 第12-15页 |
| ·基于DHT的网络模型研究现状 | 第15-16页 |
| ·研究意义 | 第16-17页 |
| ·本文主要工作 | 第17页 |
| ·论文组织结构 | 第17-19页 |
| 第2章 Pi演算及其相关理论 | 第19-25页 |
| ·Pi演算基础知识 | 第19-23页 |
| ·基本定义 | 第19-21页 |
| ·操作语义及反应规则 | 第21-22页 |
| ·Pi演算的通信表达能力 | 第22-23页 |
| ·Pi演算及其变体的应用 | 第23页 |
| ·本章小结 | 第23-25页 |
| 第3章 新型分布式NPi演算及其互模拟分析 | 第25-35页 |
| ·NPi演算基础知识 | 第25-29页 |
| ·扩展算子 | 第25-27页 |
| ·可观察动作 | 第27-29页 |
| ·语法语义 | 第29-30页 |
| ·结构同余 | 第30-32页 |
| ·迁移规则 | 第32页 |
| ·新标号迁移系统 | 第32-33页 |
| ·互模拟分析 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第4章 基于NPi演算的对等网络建模 | 第35-50页 |
| ·Pastry网络模型 | 第35-37页 |
| ·拓扑结构 | 第35-36页 |
| ·组网方式 | 第36-37页 |
| ·Pastry数据结构表示方式 | 第37-43页 |
| ·节点元素 | 第38页 |
| ·路由表模型 | 第38-40页 |
| ·叶子节点集模型 | 第40-43页 |
| ·Pastry建模过程 | 第43-46页 |
| ·节点加入 | 第43-46页 |
| ·路由服务 | 第46页 |
| ·DHT建模 | 第46-49页 |
| ·本章小结 | 第49-50页 |
| 第5章 基于Pict语言的模型实现 | 第50-62页 |
| ·Pict语言介绍 | 第50-51页 |
| ·Pict基本结构 | 第50-51页 |
| ·Pi演算与Pict语言的对应 | 第51页 |
| ·模型的实现 | 第51-56页 |
| ·Pict程序实现过程 | 第52-55页 |
| ·C程序实现过程 | 第55-56页 |
| ·实验结果及对比 | 第56-60页 |
| ·实验对比结论 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 第6章 结语和展望 | 第62-64页 |
| ·本文工作总结 | 第62-63页 |
| ·未来工作展望 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 作者简介及在学期间所取得的科研成果 | 第67-68页 |
| 致谢 | 第68页 |
