计算机联锁系统在城市轨道交通应用中的新变化

根据城市轨道交通信号系统的特点,分析了城市轨道交通计算机联锁系统相对于国铁计算机联锁系统的一些新需求;介绍了计算机联锁系统因之增加的与外围设备的各种安全接口;详细分析了城市轨道交通的这些新需求、与外围设备的各种新接口对于联锁逻辑判断所产生的一些变化和影响。     

城市轨道交通计算机联锁子系统的功能测试分析

以城市轨道交通非通信列车临时限速联锁功能为例,分析了自仪泰雷兹CBTC(基于通信的列车控制)系统计算机联锁子系统的新功能开发安全测试流程。经过实验室和现场测试,证明了该新功能安全测试流程的自动化率高,节省了人工和时间投入。     

关于城市轨道交通CBTC计算机联锁子系统的研究

近年来,基于通信的列车控制技术(CBTC)以其显著优势,逐渐成为城市轨道交通信号系统的首选方案。传统的联锁技术无法支撑CBTC信号系统的安全、高效、高自动化的要求。CBTC信号系统中的联锁子系统不仅要提供联锁逻辑保障,还要支持移动闭塞、点式ATP控制、以及不同模式列车的混跑等需求。文章简要介绍了基于CBTC技术的国产化联锁系统的架构、功能方面的创新和技术特点等。     

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。     

基于通信的列车控制系统中联锁功能的改变

描述了在城市轨道交通中一些联锁逻辑在基于通信的列车控制模式下呈现出的某些变化,如进路建立、解锁等。以说明传统的联锁逻辑是不适合直接用在城市轨道交通,基于精确的列车位置,通信的列车控制系统是安全的。     

联锁系统逻辑测试方法研究

联锁系统是轨道交通列车运行控制系统的重要组成部分,它对列车的运行安全和效率有重要的影响.目前,地铁联锁测试通常归结于对系统进行相应的场景复现,按照测试序列对进路进行相应的操作,观察联锁的逻辑是否正确.根据该测试方法编制的测试序列,测试内容重复,测试效率较低.本文采用等价类划分方法的思想,对地铁联锁系统的测试需求进行归类,优化了测试序列,提高了测试效率,并且以北京地铁亦庄站的联锁系统测试进行了验证.     

计算机联锁控制系统在北京城铁中的应用

介绍了北京城市轨道交通计算机联锁控制系统在系统结构方面的硬件改进，阐述了诸如扣车、紧急关闭和轨道区段故障时单独操纵道岔等特殊联锁功能和与ATP系统结合的安全编码逻辑功能的软件实现。     

全电子联锁开发和应用研究

从计算机联锁系统的发展出发,给出全电子联锁系统的定义,分析全电子联锁系统的特点,与现有联锁系统的主要区别。在开发和应用方面,研究应遵守的标准和规范,提出安全要求,并对信号机和道岔模块完成的功能进行重点讨论。     

基于SCADE的城轨联锁软件开发方法的研究

CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.     

基于Event-B的计算机联锁安全规范描述与验证

本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析,给出了严格的分析结果.工作表明,铁路信号联锁系统是具有复杂时序逻辑的控制系统,Event-B方法适合于该类系统的描述与验证.通过形式化的联锁安全规范描述与验证,可以在系统开发的早期及时发现设计错误或漏洞,有助于提高计算机联锁系统的软件开发质量.     

铁路货场联锁控制系统的设计与应用

为了兼顾货场的安全和效率,提出一种铁路货场的联锁控制方案,在货场入口处增设自.动悬浮门。结合工程实例,对悬浮门自动控制系统的需求进行深入分析,提出了货场悬浮门与车站计算机联锁系统结合的方案、接口技术条件及电路,实现悬浮门的安全自动控制。这一研究对.保障铁路货场安全有积极作用,对铁路信号系统的特殊设计也提供了重要参考。     

计轴自动站间闭塞与计算机联锁系统结合方案研究

论述了计轴自动站间闭塞系统与计算机联锁设备结合的技术方案。从系统结合原理、设计原则、联锁处理逻辑、电路的可行性及安全性、操作界面设置等方面阐述结合方案的构成。     

城轨CBTC系统联锁表数据安全逻辑验证方法研究

联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法。首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模。依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性。最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性。     

基于通信方式实现的超大规模站场联锁系统解决方案

为满足超大规模站场联锁系统控制,提出了分由2套计算机联锁系统控制一个车站的方案,2套计算机联锁系统之间通过通信的方式传递2套联锁系统分割处的联锁逻辑条件。从系统结构以及需要修改的通信软件方面,分析了怎样安全传输分割控制处的联锁逻辑条件,经工程实践证明是一个十分可靠的超大规模站场计算机联锁系统解决方案。     

驼峰辅助复示信号显示方案改进研究

6502电气集中电路是铁路信号联锁系统、联锁逻辑的重要基础。针对6502电气集中电路中驼峰辅助复示信号在驼峰辅助信号开放前进信号后呈现闪光信号的问题,分析驼峰辅助复示信号显示电路的工作原理,研究驼峰辅助复示信号出现闪光信号的原因;从驼峰辅助信号前进信号灯丝断丝是否驱动LXJ的角度提出了4种修改方案,比较了4种方案对原6502电气集中电路的修改范围;以阜阳北三场为应用对象进行试验,结果表明,方案4满足故障-安全的处理原则,可为后续联锁软件相关问题的修改提供参考。     

铁路联锁与调度集中标准接口规范缺陷分析及升级研究

深入研究当前联锁系统与调度集中系统的标准接口规范协议,分析得出既有协议不符合国标的缺陷点,结合现场双方接口实施时发现的不合理之处,提出在RSSP-I安全通信协议的框架下,定义新的联锁与调度集中接口规范,实现符合安全标准的接口通信,确保数据报文的安全传输;对原有协议进行分析,按照业务数据帧细分归类,构建联锁端和调度集中端的基础通信协议蓝本,并进行试验验证。经过测试,确定基于RSSP-I框架构建通信协议可以适用于双方数据交互,能够解决当前接口规范的缺陷,满足现场的应用数据传输,符合国标和欧标的安全通信要求。     

全电子自动复原道岔模块的研究

介绍一种全电子计算机联锁四线制道岔自动复原模块,来取代原来安全型继电器组成的道岔执行电路。全电子计算机联锁模块主要有微控制器MCU、可编程逻辑器件CPLD、道岔驱动电路、道岔表示电路、道岔检测电路和自动复原电路等组成。自动恢复电路包括驱动电路和继电器等组成。计算机联锁系统通过定位和反位检测单元检测电路中是否有表示电压,来决定微控制器MCU计时与否。道岔由定位转向反位或由反位转向定位时,若在规定的时间不能密贴,微控制器MCU发出继电器Js驱动指令,驱动继电器Js动作,通过继电器Js的接点,控制系统发出相反的转换指令,使道岔自动恢复到原来的位置。最后,提出了软件设计方案,用流程图对软件工作原理进行了说明。     

城市轨道交通全自动驾驶列检库、洗车库的车库门安全防护方案

在全自动驾驶信号系统设计过程中,需要考虑计算机联锁与列检库、洗车库的接口功能和逻辑关系。根据车库门作业场景分析及其防护原则对联锁逻辑方案进行了设计,方案中增加了相应的安全防护措施,满足了全自动无人驾驶的设计要求。通过实际工程测试应用,本方案提高了列车出库、回库及洗车作业的效率,提高了车辆段、停车场列车及操作人员的安全。