基于SPN的CTCS无线通信形式化建模与分析

• 作者: 党建武 王晓明 胡晓辉 陈永
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 铁路无线通信 随机Petri网 中国列车运行控制系统4级 故障定位
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 63-68
• 分类号: TP393|U283
• 字数: 5861字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2011.08.011

摘要

CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义.本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性分析,建立随机Petri网(SPN)表示的CTCS无线通信机制模型和列车与无线闭塞中心通信的GSM-R故障恢复模型,给出对通信故障定位的表示方法,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论.分析结果表明,列车在500 km/h的速度下,越区切换成功概率为99.45%,连接丢失概率为10-2/h.最后,本文将分析结果与GSM-R的技术标准进行比较,说明其可靠性满足规范要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晓明	兰州交通大学电子与信息工程学院	46	467	13.0	19.0
2	胡晓辉	兰州交通大学电子与信息工程学院	99	503	10.0	16.0
3	陈永	兰州交通大学电子与信息工程学院	49	201	8.0	11.0
4	党建武	兰州交通大学电子与信息工程学院	205	1363	18.0	23.0