基于Petri网的无线自组织覆盖网络引导索引机制分析  

Wireless ad hoc network overlay networks key indexing mechanism based on petri net theory

作　　者：张丽[1] 黄存捍[2] 

机构地区：[1]河南理工大学计算机科学与技术学院,河南焦作454000 [2]河南理工大学资源与环境学院,河南焦作454000

出　　处：《河南理工大学学报（自然科学版）》2013年第3期313-319,共7页Journal of Henan Polytechnic University（Natural Science）

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

摘　　要：为有效解决覆盖网络与无线自组织网络的协同问题,依据无线自组织覆盖网络模型,在移动节点本地路由的基础上,根据覆盖网络全局分布式算法提出引导索引机制(KIM),综合考虑节点所处的网络环境和本身状态,将运行在逻辑命名空间的覆盖网络协议和无线自组织网络路由协议相结合,以适应移动节点和网络拓扑的动态变化.利用Petri网对其进行形式化描述和建模,结果表明了KIM的正确性和完备性,在不增加额外开销的情况下,能进行可扩展、高效的节点查找定位和通信,适应动态的无线自组织网络环境.To solve the collaboration issues of wireless Ad Hoc networks and Overlay Network,a boot indexing mechanism was proposed based on the distributed algorithm of the Overlay Network and mobile node local routing algorithm according to an Ad Hoc overlay network model.The mechanism combines the protocol of Overlay Network logical namespace with the routing protocol of mobile Ad Hoc networks to adapt dynamic changes of network topology according to network conditions and nodes＇ state.The correctness and completeness of KIM were proven by the analysis based on the Petri net theory.It is shown that in the condition of not adding to the expenses,the mechanism can make extendibility,high-efficiency node lookup,locate position and communication even without extra expenses in a dynamic wireless Ad Hoc network environment.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]