%0 Journal Article
%A 全宏宇
%A 赵会兵
%T 基于概率模型检验的CTCS-3级无线通信建模与分析
%D 2014
%R 10.11860/j.issn.1673-0291.2014.04.07
%J 星空电竞app2026最新版学报
%P 37-
%V 38
%N 2
%X CTCS-3级列控系统的无线通信系统是一个复杂、随机的分布式系统,无线通信系统为列控系统车载和地面设备提供安全相关信息交互,因此采用正确有效的方法对其进行建模和可靠性分析具有重要意义.本文根据GSM-R网络的QoS要求,建立了无线通信系统的概率模型,采用概率模型检验工具PRISM对概率模型进行描述和可靠性分析,计算了无线通信系统的稳态概率,并分析了不同速度条件对无线通信的可靠性的影响.结果表明,当无线小区平均间距为3 km,列车运行速度为300 km/h时,无线通信系统处于已连接状态的概率为0.991;随
%U https://jdxb.bjtu.edu.cn/CN/10.11860/j.issn.1673-0291.2014.04.07