CTCS-3至CTCS-2等级转换应答器组布置

CTCS-3至CTCS-2级列控系统等级转换应答器布置非常重要。等级转换应答器布置不当,会引起列车紧急制动。通过对CTCS-3级列控系统应答器应用原则研究,介绍CTCS-3至CTCS-2等级转换应答器组布置原则,并详细分析特殊场景下引起列车紧急制动的原因。最后结合特殊场景,提出优化等级转换应答器布置的方法。     

无干扰技术在车载在线无扰实时监测系统的应用研究

干扰问题是列控车载设备中,监测系统和其他安全系统交互时面对的关键问题。基于对现有无干扰技术和模型的研究,运用无干扰的终端安全模型原理,结合车载在线无扰实时监测系统的设计方案进行分析,详细地探讨无干扰技术在车载在线无扰监测系统的实际应用,明确无干扰技术对列控车载监测设备的保障意义。     

应答器相关故障的分析与处理

应答器作为列控系统的重要组成设备之一,对动车组的正常运行具有重要意义。通常应答器故障信息在动车组经过时能直接反映出来,DMI上会显示为应答器信息缺失或者应答器报文不一致,其中应答器报文不一致会引发制动。本文拟对一些与应答器相关的故障进行分析,并提出处理方法和步骤。     

CTCS-2级列控系统临时限速车尾保持存在的问题及对策

主要针对CTCS-2级列车运行控制系统,临时限速下达和执行中存在的关于车尾保持问题进行分析,并提出解决和处理方案。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

高速铁路列控系统运营场景实时性的建模与验证

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。     

基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。     

区间信号联锁方案研究

基于轨道电路的信号系统一直面临轨道电路失去分路的问题,通过分析区间轨道电路失去分路所产生的风险,提出了一种通过对列车运行进行追踪,实现对轨道电路失去分路进行防护的区间信号联锁检查方案。     

《城际铁路设计规范》主要技术标准审查会在京召开

<正>国家铁路局组织召开《城际铁路设计规范》主要技术标准审查会,重点就城际铁路运输组织、限界、设计活载、线路、桥梁、隧道、路基、轨道、车辆、牵引供电制式、列控系统、无线通信系统、票务系统等涉及的技术标准进行专家研究论证,明确城际铁路设计规范采用的主要技术标准。专家认为,编制《城际铁路设计规范》是贯彻落实国务     

SEI联锁列控系统故障分析

石（家庄）太（原）客运专线采用法国SEI联锁列控一体化系统。该系统集成了车站联锁、UM2000 1/P轨道电路编码、信号机点灯控制和应答器编码（BDU）及控制等功能,安全可靠,达到SIL4级要求。经过设备平推整治与标准站建设,系统设备运行已趋于稳定。现就该计算机联锁系统的日常维护及常见故障处理进行分析,提出注意事项。