| 一种高效的动态概率广播算法及其概率模型检测分析 |
| |
| 引用本文： | 文英,董荣胜.一种高效的动态概率广播算法及其概率模型检测分析[J].小型微型计算机系统,2008,29(3):417-421. |
| |
| 作者姓名： | 文英 董荣胜 |
| |
| 作者单位： | 桂林电子科技大学,计算机系,广西,桂林,541004 |
| |
| 摘 要： | 在Ad Hoc网络中,广播有着相当广泛的应用,其算法的效率极大地影响着网络的性能.本文基于DP算法提出了BN-DP算法,考虑了节点分布、计数器值以及收发节点间距离对广播算法的影响,赋予处于接收边缘的节点更高的转发概率.然后使用概率模型检测工具PRISM,分析了计数器值和节点分布对BN-DP算法性能的影响.结果表明:在相同可达率的情况下,所提出的BN-DP算法与FP、DP算法相比,减少了转发分组的数量,提高了广播效率.
|
| 关 键 词： | Ad Hoc网络 BN-DP算法 概率模型检测 PRISM 动态 概率模型 广播算法 检测分析 Model Checking Probabilistic Based Broadcasting Algorithm Probability Dynamic Efficient 广播效率 分组 情况 结果 算法性能 PRISM 检测工具 使用 转发 |
| 文章编号： | 1000-1220(2008)03-0417-05 |
| 修稿时间： | 2006年10月24 |
Analysis of an Efficient Dynamic Probability Broadcasting Algorithm Based on Probabilistic Model Checking |
| |
| WEN Ying,DONG Rong-sheng.Analysis of an Efficient Dynamic Probability Broadcasting Algorithm Based on Probabilistic Model Checking[J].Mini-micro Systems,2008,29(3):417-421. |
| |
| Authors: | WEN Ying DONG Rong-sheng |
| |
| Affiliation: | WEN Ying,DONG Rong-sheng(Department of Computer Science,Guilin University of Electronic Technology,Guilin 541004,China) |
| |
| Abstract: | Broadcasting is a common operation in Ad Hoc networks.The efficiency of broadcasting algorithm can dramatically affect the performance of the entire network.Based on dynamic probability broadcasting(DP)algorithm,border-node-first dynamic probability broadcasting(BN-DP)algorithm is presented.The influence of nodes density,package counter and distance between sender and receiver on the performance of broadcasting algorithm is considered in BN-DP algorithm.Nodes located at the radio border of the sender are se... |
| |
| Keywords: | ad hoc networks BN-DP algorithm probabilistic model checking PRISM |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
