摘要： 在Ad Hoc网络中，两个节点的相邻概率对路由选择和网络性能分析及预测有着重要的作用。本文应用概率模型栓测技术，基于城市区域移动模型，将其建模为离散时间马尔可夫链，然后用概率模型检测工具PRISM分析了Ad Hoc网络中移动节点在不同的拓扑结构中不同时刻、不同有效传输半径时相邻概率的变化情况，从而有助于在移动节点间建立有效路由。

关键词: Ad Hoc网络 相邻概率 城市区域移动模型 概率模型检测 PRISM