CBTC系统中计算机联锁系统功能的研究

描述在CBTC系统中提供给联锁系统的有关车列的信息,并根据这些信息分别从区段检测、进路选排、信号显示、进路锁闭、接近判断和人工解锁、其他运行辅助功能几方面对联锁功能的变化进行分析和研究。     

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

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

基于CBTC系统的地铁联锁算法设计与研究

地铁联锁系统设计在传统联锁算法的基础上,增加了地铁环境下的特殊联锁逻辑处理。主要针对地铁联锁算法模块进行研究,提出进路建立和虚拟区段征用的设计方法。通过对联锁算法的改进设计,使系统满足列车运行在CBTC模式和后备模式下的安全要求。     

CBTC中联锁对保护进路分类及处理方法

CBTC除对正常的列车进路进行防护外,还对终端信号机设置保护进路,根据北京地铁6号线、沈阳地铁9号线等数条地铁项目的实际运用情况,详细介绍保护进路的分类、联锁子系统对于保护进路的处理方法 :包括保护进路敌对、触发原则及解锁原则。     

互联互通CBTC系统的跨线进路处理方式

互联互通因其在成本节约和高效换乘方面的优势.已经成为国内城市轨道交通CBTC系统新的发展方向。计算机联锁系统基于互联互通的要求,对于跨线进路的处理做了相关适应性修改,与相邻的计算机联锁系统交互跨线范围内的相关设备状态及逻辑控制状态,为实现列车跨线运营提供了进路支持。文章为跨线进路的处理方式提供了新的解决方案。     

城市轨道交通CBTC系统欧标应答器仿真测试平台设计与实现

本文基于无线通信的列车控制系统(CBTC)集成测试要求,开发了室内欧标应答器子系统仿真测试软件平台.该平台接收计算机联锁设备的列车进路信息,根据列车位置信息与所在进路信息,发送固定及可变应答器数据报文,模拟多种应答器设备故障情况,如应答器丢失、应答器报文错误、应答器反应延迟等.该仿真测试平台满足了CBTC集成测试应答器相关的测试要求,加速了CBTC系统的软件开发和测试进度.     

既有线插铺道岔纳入联锁的几种解决方案

为防止既有线联锁车站改造施工中,新插入的道岔不纳入联锁正常开放信号而造成行车重大事故,铁道部下发了《关于既有线车站信号改造过渡过程中严禁在进路接人非联锁道岔的情况下开放信号的通知》,通知明确规定：“严禁进路有关道岔未纳入联锁时开放信号、接发列车。     

联锁图表软件设计的实现技术与结构

就车站信号联锁设计，着重研究了站场形状模拟和其后的进路选择、进路联锁的设计过程。联锁图表软件作为车站信号工程设计的重要组成部分，提出了在不改变车站数据信息情况下，自适应于站场形状的联锁图表软件的设计方法。实现了车站信号联锁图表设计的系统化和标准化。     

联锁表自动生成联锁关系的软件处理方法

联锁表对联锁逻辑运算的时效性和可靠性起着至关重要的作用,目前多数文献只研究了联锁表生成的算法,本文主要研究联锁表生成过程中遇到的联锁关系,包括:超限绝缘、带动道岔的位置及相关数据结构、确定和搜索变更进路和基本进路的方法,以及调车进路终端问题和在进路表搜索过程中对敌对信号的处理等。     

基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证

针对CBTC联锁系统的复杂性,提出一种基于通信顺序进程(CSP)与B方法集成的形式化方法,即在通信顺序进程的通信事件与B方法抽象机的操作之间建立起一对一的映射关系,实现通信事件通过控制抽象机的操作、进而影响抽象机状态的目标,从而实现通信顺序进程和B方法之间的同步。以1个实际站场为例,采用B方法对具有复杂状态空间的CBTC联锁系统的逻辑状态运算建立抽象机,采用通信顺序进程对CBTC联锁系统与外部系统的并发交互行为建立进程,并通过映射关系使CBTC联锁系统的抽象机与外部交互行为进程同步,由此建立基于通信顺序进程与B方法的CBTC联锁系统的形式化模型。采用ProB工具对建立的CBTC联锁系统模型的安全性、无死锁性进行验证。发现并修改模型中的不一致、不完全、歧义等错误,从而验证了CBTC联锁系统的安全性和无死锁性,保证了系统的最终实现。     

计算机联锁在CBTC系统中的两种集成方式

按照在系统中重要程度的不同,计算机联锁在CBTC系统中有兼容型集成方式和升级型集成方式。兼容型集成方式中,联锁只是系统为实现后备模式而集成进来的产物,CBTC模式和后备模式之间只能人工切换,后备模式联锁实现双红灯防护的点式ATP模式,仅支持列车点式人工ATP模式。升级型集成方式中,联锁是系统的功能核心,CBTC模式和后备模式之间可以自动转换,后备模式联锁实现目标-距离式点式ATP模式,能支持列车点式ATO和点式人工ATP模式。     

基于时间自动机的CBI道岔转换时间建模与验证

针对CBTC计算机联锁安全性十分重要的问题，介绍时间自动机理论，分析CBTC计算机联锁系统的结构和与传统联锁系统的区别，以CBTC联锁系统的道岔转换功能为例，采用UPPAAL建立了道岔转换模型，分析模型的安全需求。表明了在联锁系统开发过程中采用基于时间自动机建模与验证的方法的可行性和有效性。     

基于车-车通信的全自动运行信号系统研究

分析我国城市轨道交通信号系统的发展现状,介绍传统的基于通信的列车控制(CBTC)系统存在的问题。介绍基于车-车通信的全自动运行系统,通过建立列车之间通信与协作,实现列车自主运行控制,具有架构简洁、地面轨旁依赖小、列车主动进路、列车自主防护等技术特点。对其系统架构、系统原理、关键技术及系统特点进行研究和分析,该系统对传统 CBTC 信号系统架构、原理进行优化,具有更高安全性、可靠性、运营效率,以及更低建设和运营成本,必将在未来有更广泛应用。     

CBTC系统中联锁与ATP接口简析

简要分析基于通信的列车运行控制(CBTC)系统中联锁与ATP的接口功能、内容,有助于进一步理解CBTC系统。     

城轨CBTC系统改进方案的分析探讨

针对CBTC系统的改进建议,目前的主流思想有车-车通信和ZC联锁一体化。本文对二者进行优劣分析,从多方面探讨CBTC系统改进的可行性。     

CBTC无线通信传输技术的改进与使用LTE技术的可行性分析

随着城市轨道交通运行控制系统向系统化、网络化、信息化、智能化方向的发展,基于通信的列车控制(CBTC)系统已成为城市轨道交通主流的信号系统,可实现车地连续式双向通信。结合实际使用情况,阐述了现CBTC系统使用的2.4 GHz无线通信的性能,通过对比上海现使用的泰雷兹和卡斯柯两套CBTC系统2.4 GHz无线通信实际使用及故障情况,提出了针对性的改进方案。针对LTE(长期演进)通信技术在CBTC系统无线通信中的使用进行了初步分析,并提出相应的2种通信方案。     

基于通信的列车控制技术在轨道交通信号系统升级中的应用

对轨道交通系统中信号系统的升级需求进行了分析,归纳了系统升级中应考虑的几个问题。以英国伦敦维多利亚线信号系统升级项目为实例,分别从过渡设备的安装、车辆测试、信号系统更新、控制中心升级等方面介绍了基于通信的列车控制技术的应用及其关键技术。     

基于站场图形网络的计算机联锁软件在高速铁路的应用研究

为适应高速铁路列控系统接口需求,计算机联锁系统接入信号安全数据网[1]的同时,应用软件需要新增进路模块来实现接口的应用信息交互。进路模块利用原有联锁软件网络化结构的选路原理,实现了进路信息存储;利用进路中道岔的大号码特征,实现符合黄闪黄条件信号显示自动计算。软件采用模块化设计的同时,对软件需求、设计、结构、安全性进行全面分析,确保联锁子系统软件的兼容性和可持续开发性。基于升级的计算机联锁软件不仅满足高速铁路列车控制系统的需求,也提高了原有软件的安全性和可靠性。