车联网通信协议中随机退避机制的概率模型检测

摘要

针对车联网IEEE 802.11P通信协议应用于车与车之间的短程通信以提高数据传输效率,提出了该通信协议中随机退避机制的模型检测方法。分析了分布式协调功能的基本接入技术,从多个属性角度对双向握手机制中的随机退避过程进行了深入地分析与验证;建立了双向握手机制的车辆通信系统网络模型、基于概率时间自动机的共享信道模型及基于马尔可夫决策过程的随机退避状态转移过程;使用概率时间自动机语法、语义规则及其相关定理、推论建立了随机退避过程的数学模型;基于概率模型检测方法对相关模型进行验证和性能分析。仿真分析结果表明:所有的到达状态均满足概率连续随机计算数逻辑属性定义公式要求,车与车之间在短距离数据通信传输中具有较高的成功率,验证了IEEE 802.11P协议在车辆短程通信中具有良好的表现性,确保了车联网链路生存性,为车联网通信链路连通性分析提供了研究基础。