高速行车条件下列车智能分布式实时监控形式化理论研究

随着高速铁路的快速发展,建立高可信的无线通信网络和列车分布式实时监控系统的必要性和迫切性越来越突出。本项目研究拟建立适合于CTCS-4高速行车条件下的列车智能分布式实时监控形式化理论研究、应用混合Agent理论建立高速列控系统分布式整体形式化描述、同时采用P/S通信原语建立实时通信CTCS通信机制，另外提出一种基于细胞膜理论的越区切换最大并行处理模型实现无线闭塞中心对列控信息实时处理、并对GSM-R网络QoS性能做定量及定性分析，最后根据高速行车瓶颈对高速行车车辆的影响因素建立CTCS-4高速行车下实时车流时空演化模型，从而得到高速列车之间时间延误及行车间隔的组织优化规律，同时也为分析GSM-R对高速列车的列控系统提供基础数据。建立安全、高可信的基于铁路无线通信GSM-R的高速铁路分布式实时监控系统对进一步推动我国高速铁路发展具有重要意义。

随着高速铁路的快速发展,建立高可信的无线通信网络和列车分布式实时监控系统的必要性和迫切性越来越突出。本项目研究建立了适合于CTCS-4高速行车条件下的列车智能分布式实时监控形式化理论研究、应用混合Agent、Event-B等理论建立了高速列控系统分布式整体形式化描述。同时对于CTCS通信机制，CTCS-3级列控系统等级转换运营场景智能形式化进行了深入研究。另外提出了一种基于Event-B的列车安全距离控制形式化建模与验证方法、并对车站进路联锁控制逻辑性能进行分析，最后根据CTCS-3列控系统降级场景进行了分析研究。通过本项目研究得到了高速列车之间时间延误及行车间隔的组织优化规律，同时也为分析高速列车的列控系统提供基础数据,研究结果对于进一步推动我国高速铁路发展具有重要意义。