| Ad Hoc网络中城市街道移动模型的概率模型检测 |
| |
| 引用本文： | 文英,董荣胜.Ad Hoc网络中城市街道移动模型的概率模型检测[J].广西科学院学报,2006,22(4):252-255. |
| |
| 作者姓名： | 文英 董荣胜 |
| |
| 作者单位： | 桂林电子科技大学计算机系,广西桂林,541004 |
| |
| 摘 要： | 应用概率模型检测技术,在Manhattan移动模型和街道单元移动模型的基础上,提出城市街道移动模型,将其建模成离散时间马尔可夫链DTMCs,然后运用概率模型检测工具PRISM分析节点位置及移动情况对Ad Hoc网络通信的影响.
|
| 关 键 词： | Ad Hoc网络 城市街道移动模型 PRISM 概率模型检测 |
| 文章编号： | 1002-7378(2006)04-0252-04 |
| 收稿时间： | 2006/6/9 0:00:00 |
| 修稿时间： | 2006年6月9日 |
Probabilistic Model Checking of City Street Mobility Model in Ad Hoc Network |
| |
| WEN Ying and 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. |
| |
| Authors: | WEN Ying and DONG Rong-sheng |
| |
| Institution: | School of Computer Science, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China and 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. |
| |
| Keywords: | Ad Hoc network city street mobility model PRISM probabilistic model checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《广西科学院学报》浏览原始摘要信息 |
| 点击此处可从《广西科学院学报》下载免费的PDF全文 |
