Ad Hoc网络中城市街道移动模型的概率模型检测

摘要：

应用概率模型检测技术,在Manhattan移动模型和街道单元移动模型的基础上,提出城市街道移动模型,将其建模成离散时间马尔可夫链DTMCs,然后运用概率模型检测工具PRISM分析节点位置及移动情况对Ad Hoc网络通信的影响.

关键词：Ad Hoc网络、城市街道移动模型、PRISM、概率模型检测

所属期刊栏目：22

分类号：TP393(计算技术、计算机技术)

资助基金：广西自然科学基金0542052

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

页数：共4页

页码：252-255