论文部分内容阅读
摘要:为了满足铁路运输高速度、高密度的需求,需要列车运行控制系统(简称列控系统)来对列车进行速度和间隔控制,以保证行车安全和运营效率。由于无线通信具有实时、双向、大容量等优点,CTCS-3级列控系统采用GSM-R进行地面设备和车载设备之间的信息交互,实现了基于通信的列车控制。无线通信比有线通信的可靠性要低,而列控系统地车信息传输的性能影响行车安全和运营效率,因此很有必要对CTCS-3级地车安全信息传输系统进行建模和分析,为解决铁路安全通信的实际应用问题提供理论依据,从而有助于减少铁路信号安全事故和提高铁路运营效率。本文在深入了解CTCS-3级列控系统地车信息传输子系统结构和功能的基础上,针对其的分布式、随机性、实时性等特点,采用仿真与模型检验相结合的方法对地车通信系统进行建模和分析。仿真方法可以更好地模拟系统的行为,形式化方法可以严格地分析系统的性能,仿真与模型检验相结合的方法综合了仿真方法和形式化方法的优势。论文的主要工作如下:(1)介绍CTCS-3级地车通信系统的分层模型及通信流程,分析了地车通信系统对行车安全和运营效率的影响。(2)综述了通信系统建模和分析方法,提出了仿真与模型检验相结合的地车通信系统进行建模和分析方法,比较并选取了仿真和形式化建模工具,介绍了离散事件仿真和概率模型检验的基础知识。(3)利用matlab SimEvents对地车通信进行建模和分析,研究了地车通信系统SimEvents建模实现,清晰地模拟了地车通信系统的信息交互流程,并统计分析了通信协议的安全连接建立时间以及不同长度无线消息传输延迟时间。(4)针对仿真方法不能严格地验证系统的性能,利用概率模型检验方法对地车通信进行建模,基于概率模型检验工具PRISM分析了通信协议的安全连接建立时间以及不同长度无线消息传输延迟时间概率分布,并与SimEvents方法进行比较。(5)在地车通信系统模型的基础上,采用SimEvents和PRISM分别对列控系统应变时间进行分析,得到了列控系统发送位置报告到接收MA的应变时间及其概率分布,表明了方法具有很好的扩展性和应用价值。基于SimEvents和PRISM的CTCS-3级地车通信系统的建模与分析,实现了地车通信系统的仿真和形式化验证分析,地车通信系统的建模与分析方法以及得到的结果可以进一步应用到列控系统性能分析。