郑万高铁长大下坡道区段闭塞分区划分与列控系统匹配性研究

针对郑万高铁长大下坡道区段列控系统与闭塞分区划分不匹配导致列车ATP系统允许速度突降的问题,研究长大下坡道区段闭塞分区划分与列控系统的匹配性。基于CTCS2-200C和CTCS3-300H型列控车载设备软件制动模型进行仿真计算,得出郑万高铁长大下坡道区段闭塞分区符合性检算结果。经验证郑万高铁襄阳至万州段下行线反向闭塞分区长度CTCS2-200C检算结果存在不符合项两处;上行线反向轨道电路信息许可长度CTCS3-300H检算结果存在不符合项一处。由于反向运行为特殊运行场景,建议纳入铁路局列车运行管理办法,以解决检出问题对列车运行的影响。本项研究实现了跨专业技术融合验证闭塞分区设计与列控系统匹配性的方法,可供其他类似工程参考与借鉴。

基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究

模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进行仿真和BNF语句验证。结果表明:该模型满足LKJ-15模式转换的功能要求,其安全性得以验证,为系统开发和应用提供了理论保障。

200C型车载设备常见掉码故障分析

机车信号作为行车的安全凭证,在采用CTCS-2级列控系统的高速铁路中影响着列车制动曲线生成和超速防护,是列车高速运行的重要保障。就机车信号掉码故障中常见的掉码现象进行分析,结合车载设备软件逻辑处理过程,对其进行研究总结,归纳典型故障的现场运用情况,并提出相应解决方法。

CTCS-2级列控车载设备自动仿真测试平台设计与实现

结合列控车载设备运用状况及其测试验证的需要,针对现有CTCS-2级200C型ATP测试平台不足,在分析并总结其测试技术的基础上,研制了一款自主化的CTCS-2级列控车载设备自动仿真测试平台。

动车组制动距离对列车运行图参数的影响研究

利用高速铁路动车组牵引计算系统,以京沪高速铁路下行方向为实例,研究动车组制动距离对列车追踪间隔时分和车站进路占用时分的影响。在最高时速350 km条件下,采用CTCS3-300H型列控车载设备,对比CR400BF型动车组,CR400AF型动车组的制动距离更短。中间站通过追踪间隔时分、枢纽车站到达追踪间隔时分、枢纽车站接车进路占用时分均减少。依据上述参数的变化情况,特定条件下,客运区段的区间通过能力可提升6.45%~12.5%,枢纽车站的接车端咽喉通过能力可提升3.89%~9.91%。在保证行车安全的前提下,缩短制动距离是提升高速铁路通过能力的有效措施。