|
|||||
|
|
| 基于Petri网的无线自组织覆盖网络引导索引机制分析 | |
| 作者单位： | ;1.河南理工大学计算机科学与技术学院;2.河南理工大学资源与环境学院 |
| 摘 要： | 为有效解决覆盖网络与无线自组织网络的协同问题,依据无线自组织覆盖网络模型,在移动节点本地路由的基础上,根据覆盖网络全局分布式算法提出引导索引机制(KIM),综合考虑节点所处的网络环境和本身状态,将运行在逻辑命名空间的覆盖网络协议和无线自组织网络路由协议相结合,以适应移动节点和网络拓扑的动态变化.利用Petri网对其进行形式化描述和建模,结果表明了KIM的正确性和完备性,在不增加额外开销的情况下,能进行可扩展、高效的节点查找定位和通信,适应动态的无线自组织网络环境. |
| 关 键 词： | 覆盖网络 无线自组织网 petri网 形式化描述 |
Wireless ad hoc network overlay networks key indexing mechanism based on petri net theory |
|
| Abstract: | |
| Keywords: | |