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

摘要：

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

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

作者: 邵梅 王玉斌 马争先 钟艳如

作者单位: 桂林电子科技大学计算机科学与工程学院,广西桂林 541004

会议类型: 国内会议

会议名称: 广西计算机学会2010年年会

会议地点: 南宁

会议语种:中文

页码: 461-464

在线出版日期: 2010-09-01（万方平台首次上网日期，不代表论文的发表时间）