基于SCADE和梯形图的可视化联锁逻辑实现方法

建立一套基于高安全性应用开发环境(SCADE)的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该方法一方面可以使软件开发人员在开发联锁逻辑功能时,以绘制梯形图的方式代替既有的编写代码的方式进行图形化开发。工程技术人员和业主可以直接通过梯形图了解软件实现的联锁逻辑功能,减少人为转换的环节。另一方面在程序开发过程中,还可以直接利用成熟的继电电路设计经验指导程序开发,进一步提高系统功能的正确性和安全性。     

市域铁路列车自动折返效率提升方法研究

市域铁路是适用于都市圈中心城市城区连接周边城镇组团的轨道交通系统,提供公交化、大运量、快速便捷的交通服务。为提高运输效率,市域铁路要求列控系统满足3 min追踪间隔,而站后折返间隔成为缩短追踪间隔、提高运输效率的最大障碍。应用于莞惠城际的CTCS2+ATO列控系统虽然具备半自动折返功能,但无法满足市域3 min的站后自动折返间隔要求。CTCS2+ATO列控系统应增加自动折返功能,以满足市域铁路需求。建议车载ATP实现快速换端、快速启机,减少换端过程耗时;建议车载ATO实现快速发车、快速运行、快速停车,减少运行过程耗时;建议CTC实现自动办理折入进路、自动办理折出进路,减少进路办理耗时;建议为不同编组列车设置不同的停车点,提升不同编组列车的折返效率;建议优化折返站的车站股道有效长和车站咽喉区长度,尽量减小折返进路长度,提升折返效率。通过以上改进措施,经过实验室验证,可以满足市域铁路的3 min折返间隔要求。     

考虑顺序和组合关系的列控车载设备测试序列生成方法

在列控车载设备测试过程中,测试案例之间往往存在顺序关系和组合关系,这些关系在实际测试中具有重要作用。为使测试序列以最小的成本覆盖测试案例集、顺序关系集和组合关系集,提出一种测试序列生成方法。首先,通过在有向图中引入弧的关联关系集,提出一种新的弧路径问题—关联弧路径问题,并给出一种基于遗传算法的求解算法。然后,将具有顺序关系和组合关系的测试序列生成问题转化为关联弧路径问题。最后,以CTCS-2级列控车载设备模式转换场景中的部分测试案例为例进行验证分析,生成的测试序列能够同时覆盖测试案例集、顺序关系集和组合关系集;与人工+DCPP方法相比能够有效降低测试序列的总成本;与遗传算法相比,本文算法的性能更优。     

市域铁路CTCS2+ATO列控系统自动折返功能的优化研究

市域铁路是适用于都市圈中心城市城区连接周边城镇组团的轨道交通系统，提供公交化、大运量、快速便捷的交通服务。为实现市域铁路3 min追踪间隔的目标，市域铁路列控系统需要增加自动折返功能，并将站后自动折返间隔时间压缩到3 min以内。分析市域铁路系统需求，提出一种基于成熟的CTCS2+ATO列控系统开发适用于市域铁路的列控系统，并增加自动折返功能。详细阐述站后自动折返过程，包括驶入折返线流程、自动换端流程和驶出折返线流程。为实现系统支持自动折返功能，对车辆、车载设备和地面设备进行功能分配，并给出可行的技术方案。搭建市域铁路半实物仿真平台，进行站后无人自动折返仿真验证实验，验证站后自动折返功能和站后自动折返时间。通过实验证明对车辆、车载设备和地面设备进行的功能分配可支持CTCS2+ATO列控系统实现自动折返功能；提出的自动折返流程能够实现安全、高效的无人自动折返，在保证行车安全的情况下，提高站后自动折返效率；采用本文提出的优化方案和技术可将站后自动折返过程总时间压缩到160 s以内，能够满足市域铁路3 min自动折返时间要求。