Ad Hoc网络中有限重传协议的建模与分析

摘要

在节点不断移动、拓扑动态变化、带宽受到限制的Ad Hoc网络中,节点间的通信会受到收发节点问相邻概率、信道质量等因素的影响.本文应用概率模型检测技术,基于有限状态机和马尔可夫决策过程,对Ad Hoc网络环境中的有限重传协议进行建模,并使用PRISM工具量化分析了节点间信道质量、文件的分组数和重传的最大次数对网络通信的影响,验证了协议相关性质,分析结果有助于根据网络实际情况设置协议各参数,从而提高网络性能.