按站顺编组摘挂列车调车作业计划优化研究

针对按站顺编组摘挂列车的调车作业计划,通过"分析计算法"删除不利方案,提出溜放钩数计算公式,总结暂合列合理分解顺序,给出调车方案选优步骤,并以算例验证了算法的有效性。以保证在连挂钩最少条件下,对于下落列数不等于2的整数次方调车方案集,从而达到消耗溜放钩数最少的目的。     

车载列控EMC监测系统在信号动态检测中的应用

基于EMC技术的车载列控运行环境电磁干扰监测系统应用于信号动态检测中,实现对列控系统天线附近电磁环境的监测和车载列控设备电磁干扰的实时测试及分析,能够辅助分析车载列控设备出现的问题。     

基于AdmiTest的CTCS-3级列控系统自动测试平台

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool.CARSTool采用激励—反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块.以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试.测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励—反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试.     

大秦线湖东站列尾设备运用现状分析

湖东站针对列车尾部安全防护装置在大秦线运用中存在的问题,提出防止列尾装置脱落、确保列尾设备的上线使用率、优化可控列尾主机检测过程,以及列尾故障应急处理预案等对策.根据多年使用列尾设备的实际情况,对设备生产厂家提出增设普通列尾主机检测台场强确认功能,车号系统接通列尾调度指挥系统,湖东机务段增设专用的测试频点的改进建议.     

青藏铁路ZDJ9转辙机与HSC转辙机控制模块接口电路原理简析

电路。作要求     

探究列控系统对动车组制动系统故障后的安全防护作用

介绍了我国CRH系列动车组制动系统的结构、特点,并按照动车组制动系统故障后是否可以继续安全行车的分类原则,将制动系统故障归纳为4类,之后对涉及到运行安全的第Ⅲ、Ⅳ类故障进行制动距离计算,得出的结论:只要动车组的剩余制动力小于列控系统车载设备计算采用的理论制动力,即使列控系统处于完全监控模式,也不能保证动车组列车不冒进停车信号,而且列车速度较低时,冒进信号的几率较大,速度较高时,冒进信号的距离较大;另外,当制动力下降到一定程度后,列车在侧向进站的过程中还有可能超过道岔规定限速,存在侧翻的危险隐患.针对这些安全隐患,提出了CRH系列动车组可只考虑最多2辆车的制动系统发生故障的合理运营条件,并设计出将列控系统车载设备计算采用的理论制动力使用系数值调整到1-2/M(M表示动车组车辆总数)的解决方案,最后通过理论计算,分析了该方案对运输能力的影响程度.     

脚本测试技术在列控中心开发测试中的运用

列控中心作为一种安全相关系统,要求具有极高的安全性和可靠性,满足铁路信号系统的故障-安全原则。测试是列控中心软件投入使用前必不可少的环节。针对目前列控中心开发测试仍然采用手工测试的问题,在对开发测试案例分析归纳的基础上,定义开发测试案例词典,基于正向最大匹配算法和格语法,提出测试案例到脚本的自动生成算法,实现开发测试的自动测试。     

基于CTCS-3列控系统的ISDN系统研究

ISDN是RBC系统的重要组成部分,它作为RBU与MSC交换设备之间开放通信系统,能够提供30B+D的PRI链路通信能力,完成除安全信息处理以外基于GSM-R网络电路交换承载业务通信系统功能。提出了一种基于CTCS-3列控系统的ISDN系统的实现方案,重点描述了系统的组成,关键技术的原理和实现,并通过实验室测试对系统进行了论证。     

我国高速铁路列车运行控制系统安全相关标准分析

阐述我国高速铁路列车控制系统标准安全相关的通用条款、功能安全、设备结构安全、信息安全、人员安全、灾害防护等内容;从RAMS规范等效性、故障-安全原则、安全信息传输规范及高速铁路不设置平交道口的规定等方面,对比分析我国CTCS标准安全性与国际安全标准的一致性。     

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。