CTCS-3列控系统RBC切换的形式化建模、分析与验证

• 作者: 潘登 郑应平
• 来源期刊: 计算机应用研究
• 关键词: CTCS-3列控系统 RBC切换 通信协议 形式化建模 Petri网 分析与验证
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 系统应用开发
• 页码范围: 443-446,453
• 页数: 5页
• 分类号: TP29|U28
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.02.034

摘要

针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型.通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性.交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响；列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑应平	同济大学控制科学与工程系	74	440	12.0	15.0
2	潘登	同济大学控制科学与工程系	40	260	9.0	14.0