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

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

基于场景法的列控系统等级转换功能测试用例设计

为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流划分原则;最后,采用场景法对CTCS-2级转CTCS-3级过程中的基本流和备选流进行划分,确定基本流和备选流有向图,设计测试用例。结果表明,该方法设计的测试用例能够提高列控系统功能性和安全性测试的完备性,从而保障列控系统产品的质量。     

铁路客专枢纽列控地面设备布置方案研究

以西安铁路客专枢纽为例,阐述了枢纽地区大型客站两场间联络线及动车走行线列控系统等级选择需考虑及解决的问题,并分析了影响等级转换应答器组设置的因素,提出了枢纽内列控系统等级选择的原则及列控地面设备设置方案,供从事铁路列控工程设计者参考。     

特殊场景下列控级间切换方案优化

列控级间切换描述列车在CTCS-3级和CTCS-2级区段边界,列控系统应该遵守的原则和车载设备等级转换过程。通过描述CTCS-3转CTCS-2级间切换特殊场景,深入分析300H型列车自动防护系统(ATP)在运行时触发最大常用制动的故障原因。同时为解决300H型车制动问题并适应各种不同型号车载设备,对特殊场景下CTCS-3转CTCS-2切换方案提出优化建议。     

CTCS-3级列控系统RBC控车场景建模与验证

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。     

基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。     

CTCS-3级列控系统等级转换运营场景分析与研究

CTCS-3级列控系统是基于无线信息传输(GSM-R)的列车运行控制系统,目前有14个运营场景。针对其中的等级转换运营场景进行了初步分析,包括各种不同线路条件下等级转换应答器组的布置,等级转换点内方不同进路条件下的等级转换情况,以及降级情况下的等级转换处理等内容。     

基于运营场景的CTCS-3级列控系统功能需求分析

为了满足我国高速铁路的运营要求,通过自主创新形成了一套完整的基于无线闭塞技术的中国列车运行控制系统CTCS-3级规范。从CTCS-3级列控系统运营场景的角度,对CTCS-3级列控系统的功能需求进行分析,包括列车注册与注销、等级转换、行车许可、调车、紧急情况处理、临时限速、RBC切换等。     

一起线路所CTCS-2/CTCS-3边界停车的案例分析

列控系统是保证高铁列车安全运行的核心设备,列车在正常运行过程中,在不同的线路中应该满足自动实现CTCS-2/CTCS-3（简称C2/C3）等级转换。通过对其中一种特殊场景下由于切换执行应答器之间的应答器组发送公里标/站名等C3等级使用的信息,导致C2/C3等级转换不成功停车问题进行探讨分析,并提出解决措施建议,为分析解决类似问题提供参考。     

合福高铁引入合肥枢纽列控系统等级转换方案探讨

通过对枢纽内各线间相互衔接关系的梳理,并结合CTCS-2与CTCS-3级列控系统等级转换原则,提出动车组在合肥西合福场与宁西场跨合福线和合武绕行线运行的3种等级转换方案。并且对3种等级转换方案进行深入细致的分析探讨,总结出各方案的优缺点。为将来新建高速线路引入枢纽后动车组跨线运行时不同等级列控系统之间等级转换提供几种解决方案及思路。     

CTCS-2/CTCS-3级列控系统等级转换基本原理与实现

CTCS-2/CTCS-3及列控系统等级转换是CTCS的关键课题之一,通过对CTCS-3级列控系统总体技术方案研究,介绍了CTCS-2/CTCS-3等级转换原理,并详细分析了CTCS-2/CTCS-3等级转换过程中地面应答器设备、RBC设备以及车载ATP设备信息交互过程。最后结合工程应用需求,提出等级转换点设计需要进一步研究讨论的问题。     

基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

几种特殊情况的列控应答器布置及工程数据处理方案研究

主要结合工程实际介绍客运专线CTCS-2级及CTCS-3级列控系统等级转换、RBC切换、大号码道岔、区间反向运行等特殊情况的地面应答器布置方案及工程数据处理方法,对应答器应用原则进行优化和细化.     

特殊场景下列控等级转换的设置方案

对贵阳东站特殊场景下的CTCS-3/2及CTCS-2/0列控等级转换设置进行应用分析,并提出解决方案,可为类似工程的列控等级转换设置提供参考。     

高速铁路动车段试车线列控系统设计方案研究

在目前尚未制订高速铁路动车段试车线列控系统技术标准的情况下,研究分析我国高速铁路动车段试车线动车组列控车载设备的测试需求,针对车载设备主要功能(包括列控模式切换、列控等级转换、临时限速、车载与RBC仿真系统建立连接和无线通信会话、RBC切换、轨道电路信息接收、应答器信息接收、自动过分相、测速测距、常用制动、紧急制动等)进行测试流程及试车场景设计,在此基础上研究试车线列控系统设备组成,提出高速铁路动车段试车线列控系统设计方案,达到动车组在试车线上往返运行一次即可实现对列控车载设备性能全面测试的目标。     

基于SSM-HAZOP的自主化ATP等级转换功能建模与验证

针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态机(SSM)建模理论,以及危险与可操作性分析方法 (HAZOP),提出一种基于SSMHAZOP的建模与自动验证方法。首先建立等级转换功能的SSM模型,然后基于HAZOP方法提取安全属性,最后利用SCADE DV工具自动验证等级转换的安全需求。结果表明,该方法能够满足列控系统等级转换安全需求建模与验证的要求,可应用于自主化ATP的安全验证。     

客运专线列控系统模式探讨

本文通过对国外列控系统的分析,对照欧洲ERTMS／ETCS应用等级和中国CTCS应用等级要求,结合高速客运专线列控系统需求,提出了我国高速客运专线列控系统建设模式,可供在今后高速客运专线铁路的研究和设计中参考。     

多线共场车站信号系统解决方案研究

针对不同衔接方式的多线共场车站,从运输需求、工程条件、系统设备能力、运维便利性等角度,分析不同场景下此类车站信号系统的优选解决方案。提出优先按照运用区域分线划分联锁范围、合理设置有远端道岔车站的地面信号机并与列控系统相匹配等建议,提出分场列控等级选择原则、共场车站列控系统设备配置等方案。     

列控数据完备性建模方法研究

列控数据作为列车运行控制的基础,是列控系统的中枢神经,其完备性直接关系到列车运行安全.列控数据完备性能够保证列车安全控制数据的完整性、正确性、有序性、实时性、有序性和兼容性.本文以CTCS-3级列控系统和CTCS-2级列控系统之间的等级转换以及典型的设备故障导致降级场景为例,利用随机Petri网建立列控数据完备性模型,重点研究了列控数据完备性的完整性、实时性和兼容性方面的问题,最后提出了用模型完成的成功率以及系统平均延时时间分析列控数据完备性的方法.     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。