为有效解决覆盖网络与无线自组织网络的协同问题,依据无线自组织覆盖网络模型,在移动节点本地路由的基础上,根据覆盖网络全局分布式算法提出引导索引机制(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.