基于Petri网的无线自组织覆盖网络引导索引机制分析
张丽1
黄存捍2
1.河南理工大学计算机科学与技术学院,河南焦作,4540002.河南理工大学资源与环境学院,河南焦作,454000
摘要：为有效解决覆盖网络与无线自组织网络的协同问题,依据无线自组织覆盖网络模型,在移动节点本地路由的基础上,根据覆盖网络全局分布式算法提出引导索引机制(KIM),综合考虑节点所处的网络环境和本身状态,将运行在逻辑命名空间的覆盖网络协议和无线自组织网络路由协议相结合,以适应移动节点和网络拓扑的动态变化.利用Petri网对其进行形式化描述和建模,结果表明了KIM的正确性和完备性,在不增加额外开销的情况下,能进行可扩展、高效的节点查找定位和通信,适应动态的无线自组织网络环境.
关键词：覆盖网络无线自组织网petri网形式化描述
分类号：TP393(计算技术、计算机技术)
资助基金：国家自然科学基金(51174263)河南省科技厅科技攻关计划(122102210116)河南省高等教育教学改革研究项目(2012SJGLX121)河南理工大学博士基金(2010-84)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：7( 313-319 )
英文信息