基于组视角的无线自组织网络的进程演算

论文摘要	第1-7页
ABSTRACT	第7-10页
第一章 引言	第10-15页
·研究背景	第10-11页
·本文研究目标与贡献	第11-13页
·本文结构	第13-14页
·本章小结	第14-15页
第二章 相关技术及背景介绍	第15-25页
·无线网络简介	第15-16页
·进程演算	第16-18页
·进程演算基础	第18-20页
·无线网络中的进程演算	第20-24页
·本章小结	第24-25页
第三章 基于组概率的无线自组织网络的进程演算	第25-40页
·演算的非形式化介绍	第26-27页
·语法和语义	第27-31页
·行为等价性	第31-34页
·性质	第34-35页
·案例	第35-37页
·本章小结	第37-40页
第四章 无线自组织网络中组移动的进程演算	第40-54页
·无线自组织网络中的实体移动	第41-44页
·无线自组织网络中的组移动	第44-46页
·演算	第46-47页
·语义	第47-50页
·行为等价性	第50-52页
·本章小结	第52-54页
第五章 总结与展望	第54-56页
·总结	第54-55页
·展望	第55-56页
参考文献	第56-59页
后记	第59-60页
攻读硕士学位期间发表论文和科研情况	第60-61页