| 引用本文： |
-
文英,董荣胜.Ad Hoc网络中城市街道移动模型的概率模型检测[J].广西科学院学报,2006,22(4):252-255. [点击复制]
- WEN Ying,DONG Rong-sheng.Probabilistic Model Checking of City Street Mobility Model in Ad Hoc Network[J].Journal of Guangxi Academy of Sciences,2006,22(4):252-255. [点击复制]
|
|
| 摘要: |
| 应用概率模型检测技术,在Manhattan移动模型和街道单元移动模型的基础上,提出城市街道移动模型,将其建模成离散时间马尔可夫链DTMCs,然后运用概率模型检测工具PRISM分析节点位置及移动情况对Ad Hoc网络通信的影响。 |
| 关键词: Ad Hoc网络 城市街道移动模型 PRISM 概率模型检测 |
| DOI： |
| 投稿时间：2006-06-09 |
| 基金项目:广西自然科学基金(编号:0542052)资助项目 |
|
| Probabilistic Model Checking of City Street Mobility Model in Ad Hoc Network |
|
WEN Ying, DONG Rong-sheng
|
| (School of Computer Science, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China) |
| Abstract: |
| Based on Manhattan mobility model and street unit mobility model,a city street mobility model is proposed for Ad Hoc network.A probabilistic finite state machine and Discrete Time Markov Chains(DTMCs) for this mobility model are established using probabilistic model checking.The influence of locations of nodes and mobility on the communication in Ad Hoc network is analyzed with probabilistic model checking tool-PRISM. |
| Key words: Ad Hoc network city street mobility model PRISM probabilistic model checking |
