作者：张丽；黄存捍

作者单位：河南理工大学计算机科学与技术学院；河南理工大学资源与环境学院

摘要：为有效解决覆盖网络与无线自组织网络的协同问题,依据无线自组织覆盖网络模型,在移动节点本地路由的基础上,根据覆盖网络全局分布式算法提出引导索引机制(KIM),综合考虑节点所处的网络环境和本身状态,将运行在逻辑命名空间的覆盖网络协议和无线自组织网络路由协议相结合,以适应移动节点和网络拓扑的动态变化.利用Petri网对其进行形式化描述和建模,结果表明了KIM的正确性和完备性,在不增加额外开销的情况下,能进行可扩展、高效的节点查找定位和通信,适应动态的无线自组织网络环境.

基金：国家自然科学基金资助项目(51174263)；河南省科技厅科技攻关项目(122102210116)；河南省高等教育教学改革研究课题(2012SJGLX121)；河南理工大学博士基金资助项目(2010-84)；

关键词：覆盖网络;无线自组织网;petri网;形式化描述;

DOI：10.16186/j.cnki.1673-9787.2013.03.010

分类号：TN929.5