基于概率模型检验的CTCS-3级无线通信建模与分析
全宏宇
赵会兵
1.北京交通大学电子信息工程学院,北京,1000442.北京交通大学电子信息工程学院,北京,100044
摘要：CTCS-3级列控系统的无线通信系统是一个复杂、随机的分布式系统,无线通信系统为列控系统车载和地面设备提供安全相关信息交互,因此采用正确有效的方法对其进行建模和可靠性分析具有重要意义.本文根据GSM-R网络的QoS要求,建立了无线通信系统的概率模型,采用概率模型检验工具PRISM对概率模型进行描述和可靠性分析,计算了无线通信系统的稳态概率,并分析了不同速度条件对无线通信的可靠性的影响.结果表明,当无线小区平均间距为3 km,列车运行速度为300 km/h时,无线通信系统处于已连接状态的概率为0.991;随着列车运行速度的增大,无线通信系统处于已连接状态的概率下降.
关键词：CTCS-3级无线通信概率模型检验建模可靠性分析
分类号：U238.2(特种铁路)TP301(计算技术、计算机技术)
资助基金：铁道部科技研究开发计划项目资助(2012X004-C)
论文发表日期：2014-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 37-41 )
英文信息