Ad hoc网络AODV协议的形式化分析与仿真

摘要：

基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下一步研究方向,使其更好地适应Ad hoc 网络特点.

关键词：Ad hoc网络、AODV协议、形式化分析、有限状态机模型、NS2

所属期刊栏目：26

分类号：TP393(计算技术、计算机技术)

资助基金：广西自然科学基金项目桂科自0991242

在线出版日期：2011-03-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：461-464