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