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

摘要：

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

关键词：CTCS-3列控系统、RBC切换、通信协议、形式化建模、Petri网、分析与验证

所属期刊栏目：30

分类号：TP29;U28(自动化技术及设备)

资助基金：国家自然科学基金资助项目61174183

在线出版日期：2013-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：443-446,453