CTCS3级列控系统中RBC的切换

无线闭塞中心(RBC)是CTCS-3级列控系统中的核心设备,负责根据地面设备提供的信息及与车载设备的交互生成行车许可,使列车在RBC的管辖范围内的线路上安全运行。RBC与车载设备之间通过专用无线通信系统即GSM-R网络进行信息的互换。为满足列车正常运营的需求,系统采用了GSM-R网络交织冗余覆盖方案,这样列车在运行过程中经过RBC的交界处时仍会收到来自GSM-R网络的信息。本文详细讨论了在两部电台都正常和只有一部电台可用的情况下,列车经过RBC边界处时RBC切换的具体过程和实现方法。     

CTCS-3级列控系统车地交互流程形式化建模与验证

正在建设的时速300 km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论对车地交互流程进行建模与验证具有重要意义.首先将车地交互流程分为4个典型的子流程:任务启动流程、正常行车流程、RBC切换流程和任务结束流程,然后针对这些子流程建立无线闭塞中心(RBC)、车载设备(ATP)和铁路专用移动通信网(GSM-R)的时间自动机网络模型,最后利用时间自动机模型验证工具UPPAAL进行仿真分析,验证了CTCS-3级列控系统的车地交互流程的安全性和受限活性.     

CTCS-3级列控车载设备的形式化建模与验证

CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。     

中川机场站股道应答器设置问题分析及对策

应答器是CTCS-2级列控系统的重要组成部分,用于向CTCS-2级列控系统车载设备传输定位信息、线路参数、临时限速等信息。针对中川铁路中川机场站B点应答器设置位置及运营过程中存在的问题进行了研究分析,提出了解决方案。     

基于增强型BN的CTCS-1级ATP可靠性研究

结合CTCS-2级与CTCS-3级列控系统设计和运用经验,铁路总公司提出了CTCS-1级列控系统的研制需求,该系统车载ATP设备将取代LKJ与机车信号对既有线列车的控制.本文以CTCS-1级ATP为主要研究对象,对比分析模块级冗余与系统级冗余方案下CTCS-1级ATP系统可靠性.根据CTCS-1级列控系统总体技术方案,构建模块级冗余与系统级冗余ATP可靠性框图,建立对应增强型贝叶斯网络(BN)模型.借助增强型BN正向推理,求解两种设计方案下ATP可靠性定量指标,评估两种设计方案的优劣.利用增强型BN模型逆向推理,求解列车超速防护(ATP)设备故障下基本单元条件失效概率,查找两种冗余设计方案的潜在薄弱环节.评估结果表明:两种方案下CTCS-1级ATP RAM指标均满足需求规范要求,但采用模块级冗余设计的CTCS-1级ATP RAM指标更优;外围冷备模块条件失效率明显高于其他模块,为CTCS-1级ATP的薄弱环节.     

CTCS-4级列控系统关键技术研究

为了更安全高效地实现跨区域列车高速运行,并降低运维成本,提出了CTCS-4级列控系统将移除轨道电路等设备,移动闭塞列车追踪间隔数学模型,基于GPS差分技术的列车完整性检查,基于GNSS/INS的列车组合定位和LTE-R车地无线通信等关键技术.仿真结果表明:运用这些技术后,相比于既有的CTCS-3级列控系统,CTCS-4级列控系统在安全性、性能和成本等方面均有提升,运行更稳定和高效.     

CTCS-2级列控系统在太中银线的应用与维护

从设备组成、实现的功能以及与其他系统的接口等方面,分析了CTCS-2列控系统在太中银线的应用情况,并对设备的维护提出了建议。     

高铁车载ATP“无线连接超时”故障浅析

本文介绍了CTCS-3级列控车载设备的无线通信系统,并就其常见故障"无线连接超时"进行了详细描述。根据故障现象,结合故障数据,分析了故障原因,并提出了相应的解决方法。     

列控车载设备故障分析及维修技术改进

高速铁路列车运行控制系统(简称列控系统),是保障行车安全、提高运输效率的安全苛求系统。因此对列控车载设备建立完善的维修维护技术具有重要意义。本文是在分析高铁列控车载设备的故障原因的基础上,提出了现行维修过程中的不足,并最终提出了一系列涉及维护维修技术的改进措施。     

CTCS-2级列控系统中应答器设置的探讨

由于轨道电路传输信息的局限性（18信息）,CTCS-2级列控系统增加了应答器作为车-地信息传输的补充设备,以确保列车能够获得足够的地面信息生成目标-距离模式曲线监控列车运行。因此,应答器设置的正确性与合理性将直接影响铁路行车的安全和运输的效率。     

浅析客运专线轨道电路长度对列控系统的影响及应对措施

轨道电路不仅是铁路信号系统的基础设备．也是检查列车占用和出清的重要设备及构成闭塞分区的最小单元。在我国列车控制系统CTCS-2级列控系统中,车载设备根据应答器发送的轨道电路区段长度,结合轨道电路码序计算行车许可长度。因此,轨道电路区段长度的准确性直接影响客运专线工程开通后列车运行的安全。在施工中,轨道电路长度发生变化需同时修改地面应答器数据和列控软件,必须保证设计、施工和设备数据一致,并做好复测。     

浅析CTCS-2系统改变区间运行方向功能是如何实现的

文分析CTCS-2列控系统实现改变区间运行方向功能的步骤方法。     

列控系统无线链接超时问题分析及解决建议

该文以CTCS-3级列控系统无线通信原理为切入点,通过对无线链接超时问题的原因解析,梳理分析方法,总结该问题常见的几种情况,并提出相应的处理方法及建议,为预防无线链接超时问题和设备维护方面提供技术参考。     

基于时间参数的CTCS-1级RDC设置方式的研究

既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采用时间有色Petri网形式化方法对控车权移交过程参与对象进行模型抽象,通过CPN-Tools环境下的模型仿真,挖掘时速200km以下CTCS-1级列车移交过程车地通信中断时间范围,并将通信中断时间约束转化为距离约束,通过分析时间与距离约束探究既有线一站多场、多站密集分布场景下RDC的设置方式,为既有线RDC管辖边界点的选定提供理论依据与数据参考.     

CTCS-2列控系统中ZPW-2000A设备的微机监测应用建议

文章简单介绍ZPW-2000A在CTCS-2列控系统中的重要性和建议使用微机监测设备对ZPW-2000A设备故障的分析方法。首先描述了运用该方法构建的整体系统框架结构,然后介绍了实现该方法的故障分析流程部分,最后例举了具体诊断故障的运用方法。通过该种方法能够有效判断ZPW-2000A设备故障发生的处所及可能原因。     

基于有色Petri网的点式-基于通信的列车控制系统切换实时性分析

点式?基于通信的列车控制（BM-CBTC）多模列控系统的模式切换时延对城市轨道交通运营效率有着较大影响。分析点式?基于通信的列车控制（BM-CBTC）系统模式切换功能及过程,建立基于有色Petri网（CPN）的模式切换模型,研究不同点式（BM）控制系统设计运行间隔下的系统切换实时性。实验表明,切换时延随着BM设计运行间隔增大而增加,当BM设计运行间隔为2 min时能将列车运行晚点时间控制在5 min以内。建立的CPN模型亦可为其他配置的多模列控系统切换的实时性分析作为参考。     

CTCS-3级列控系统中列车追踪间隔的研究

介绍了CTCS-3级列控系统中列车追踪的计算方法,建立了多列车追踪运行仿真模型,并进行了算例的设计,算例中,在相同的线路及列车参数条件下,设定两车的追踪间隔,得出在不同追踪间隔条件下,前车对后车运行的影响大小,并最终确定两车的最小追踪间隔。     

基于RUP的列控系统车载人机界面仿真器的研究与实现

提出了一种新型的车载人机界面仿真器模型,论述了基于Rational统一过程对该模型进行需求分析、总体设计和详细设计的过程,并应用统一建模语言和Rational可视化建模工具对模型的各种静态和动态视图进行了设计,最后利用VisualC＋＋编程语言对所模拟的车载人机界面进行了实现,证明了该模型是适用于基于通信的列控系统的．     

国际科技合作成果 中德合作成功拥有自主知识产权的轨道交通列控系统

浙江浙大网新集团有限公司承担的“应用于轨道交通列控系统的安全计算机核心技术的引进与合作开发”项目，通过与德国BBR公司在轨道交通列控技术领域开展合作，引进安全计算机平台设备及相关技术，为浙大网新集团开发具有完全自主知识产权的轨道交通列车运行控制系统车载ATP产品提供了新的途径。     

操作系统在列控系统中的应用

操作系统选择和应用是列控系统开发过程面临的一个技术难点.对列控系统以及其包含的软件安全性进行了分析,从保证系统安全的角度对新开发和使用既有操作系统的基本要求进行了阐述.基于对操作系统的选择决策过程分析,对选用没有通过安全认证的既有操作系统,如何进行安全分析以及设计安全防范措施进行探讨,并论证了没有通过安全认证的既有操作系统在列控系统中应用的可行性.