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

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

预留CTCS-3级列控业务线路的GSM-R设计方案探讨

部分铁路建设初期采用普通单网的GSM-R网络结构,将来提速到300 km/h时需采用CTCS-3级列控系统,需改造GSM-R单网交织网络结构。针对这一情况,为减少对既有网络的影响,节省工程投资,使改造工作相对容易,在初期进行GSM-R普通单网设计的同时可以在覆盖电平、服务质量、容量需求、频率规划等方面预留交织单网条件,但在连续隧道群等复杂区段的弱场处理预留还存在一定难度。     

普速与CTCS-2客运专线车站特殊站联电路工程设计

结合秦沈沟海联络线的工程应用实例,当客运专线车站与普速车站区间设有通过信号机,且客运专线车站所辖区间采用CTCS-2级列控系统编码,而普速车站所辖区间采用无绝缘轨道电路继电编码时;为满足普速车站站内联锁及电码化对离去轨继电器的要求,设计出了两种解决方案,对类似工程设计具有借鉴意义。     

框构桥顶进施工中扎尾问题的处理

框构桥顶进施工过程中由于地基处理不当或顶进中技术措施不到位,极容易出现扎头或扎尾问题,给施工造成很大的困难和影响。结合朔黄铁路K550＋881处顶进桥施工中出现扎尾问题,分析了出现扎尾的原因,重点阐述了地基处理、梁体纠偏方案与工艺流程及施工过程中关键事项,为类似问题的处理提供借鉴经验。     

LKJ列控系统在巴基斯坦铁路的应用

巴基斯坦铁道部计划对铁路信号系统分阶段升级改造并配备相应的列控系统,以改变其信号系统不规范、铁路事故多发的局面。我国企业主导了巴基斯坦铁路Lodhran—Shahdara段信号系统升级改造工程,装备的LKJ列控系统经定制化设计,采用应答器技术,在系统运维、管理、操作等方面进行简化设计,在保证列车运行安全的同时,降低了使用、维护人员的劳动强度,以及临时限速控制和管理流程的复杂度,从而降低了管理过程风险和人为干扰风险,具有成本低、可靠性高、人工介入少等技术特点,适宜巴基斯坦等发展中国家作为中低速铁路的列车超速防护控制系统应用。重点对LKJ列控系统在巴基斯坦应用的需求背景、设计方案、运用模式、临时限速控制等进行阐述,为相关工程提供借鉴。     

海南环岛高铁列控系统实施方案特殊处理

新建海南西环线建成后与海南东环线共同构成了全球首条环岛高速铁路,以海南环岛高铁为例,对环形高速铁路列控系统中信号安全数据网、临时限速、轨道电路载频转换以及应答器报文的特殊处理进行介绍,说明海南环岛高铁列控系统的特殊性。海南环岛高铁的开通运营,也意味着环岛高铁列控系统实施方案的特殊处理得到工程实践检验。     

高速铁路异物侵限监测范围对列控系统处理影响研究

异物侵限灾害的影响范围由防灾设计单位确定,并向信号设计单位提供具体资料。从防灾专业的角度,异物侵限监测范围越大越好,但从信号专业的角度,监测范围设置过大可能会导致设计的异物侵限灾害影响范围大于实际的影响范围,从而影响行车效率甚至危及行车安全。文章分析公跨铁立交桥异物侵限监测范围对列车运行控制系统（简称:列控系统）处理的影响,通过公式计算给出二者关系,并分别从防灾和信号角度提出了合理的建议。     

基于Stateflow的城际铁路列控系统车载控制子系统建模与分析

根据城际铁路列控系统中离散逻辑跳转和连续时间行为交织的特征,采用Matlab软件中的Simulink和Stateflow结合的方式实现车载控制子系统混成行为的建模与仿真,分析不同速度下列车超过紧急制动触发速度后产生的紧急制动距离以及列车实际运行曲线。结果表明:建立的紧急制动触发模型所产生的制动距离满足动车组厂家给出的要求,并且具有一定的安全余量;该建模方法直观高效,易于理解,模型能够很好的描述系统特性。仿真结果也可为车载控制子系统的设计和实现提供一定的支持。     

铁路信息系统国产化改造方案及建议

铁路信息系统国产化改造是保障铁路安全运营、保护铁路系统数据隐私、避免被"卡脖子"的必由之路。目前,铁路各类业务信息系统已经成为保障铁路正常运营不可或缺的技术支撑,既有铁路信息系统的国产化改造任务艰巨,亟须明确国产化改造的目标和策略,研究系统化国产化改造方案。因此,文章分析了铁路信息系统国产化改造的背景、现状和现存问题,提出国产化改造工作的策略、实施流程及推进建议,以期有序推进铁路关键信息系统国产化改造工作,实现所采用的核心技术完全自主可控,及早消除潜在风险和安全隐患,为保障铁路各类业务信息系统长期安全稳定运行夯实基础。     

CTCS-3级列控系统RBC切换过程分析

RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。