| Ad Hoc网络中有限重传协议的建模与分析 |
| |
| 引用本文： | 陈立斌,文英.Ad Hoc网络中有限重传协议的建模与分析[J].湖南理工学院学报,2010,23(1):39-44. |
| |
| 作者姓名： | 陈立斌 文英 |
| |
| 作者单位： | [1]湖南理工学院计算机学院,湖南岳阳414006 [2]中国移动集团广西有限公司南宁分公司,南宁530028 |
| |
| 摘 要： | 在节点不断移动、拓扑动态变化、带宽受到限制的Ad Hoc网络中,节点间的通信会受到收发节点间相邻概率、信道质量等因素的影响.本文应用概率模型检测技术,基于有限状态机和马尔可夫决策过程,对Ad Hoc网络环境中的有限重传协议进行建模,并使用PRISM工具量化分析了节点间信道质量、文件的分组数和重传的最大次数对网络通信的影响,验证了协议相关性质,分析结果有助于根据网络实际情况设置协议各参数,从而提高网络性能.
|
| 关 键 词： | 有限重传协议 AdHoc网络 概率模型检测 PRISM |
Modeling and Analysis of Bounded Retransmission Protocol in the Ad Hoc Network |
| |
| CHEN Li-bin,WEN Ying .College of Computer Science,Hunan Institute of science , technology,Yueyang ,China .China Mobile Communication,Guangxi Nanning Corporation,Nanning ,China.Modeling and Analysis of Bounded Retransmission Protocol in the Ad Hoc Network[J].Journal of Hunan Institute of Science and Technology,2010,23(1):39-44. |
| |
| Authors: | CHEN Li-bin WEN Ying College of Computer Science Hunan Institute of science technology Yueyang China China Mobile Communication Guangxi Nanning Corporation Nanning China |
| |
| Institution: | CHEN Li-bin1,WEN Ying2 1.College of Computer Science,Hunan Institute of science , technology,Yueyang 414006,China 2.China Mobile Communication,Guangxi Nanning Corporation,Nanning 530028,China) |
| |
| Abstract: | In Ad Hoc network,mobile node with limited bandwidth moves frequently and topology changes dynamically.The communication between nodes is dynamically affected by many factors,such as the neighbor probability,channel quality and so on.Based on Probabilistic Model Checking,the Bounded Retransmission Protocol(BRP) in Ad Hoc Network is modeled.Then the influence of channel quality,the number of data frames and the maximum number of retransmission on the communication are analyzed with Probabilistic Model Checki... |
| |
| Keywords: | PRISM |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
