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

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

CBTC系统中联锁与区域控制器的一体化设计

通过对典型CBTC系统构架和功能设计等方面进行研究,提出了将联锁与区域控制器一体化系统设计方案,并对2种方式的CBTC系统进行了对比,一体化设计的区域控制器系统在系统架构、实现成本、性能和维护管理等方面更具备优势。     

简析CBTC系统中联锁与区域控制器的关系

针对地铁CBTC系统中联锁和区域控制器的功能和关系进行分析和探讨.     

ZC模拟器在张江试验线TECIS联锁测试中的应用

介绍了一种用于联锁系统功能测试的ZC(区域控制器)模拟器,使用敏捷开发模式,从功能需求、设计架构、实现方式和应用情况对模拟器进行了描述。试验证明,采用ZC模拟器使联锁功能测试更加全面、便利、直观,提高了测试效率。该方法也为CBTC信号系统各子系统应用软件测试模拟器开发提供了参考。     

中心化CBTC系统方案探讨

绿色节能、结构简化、轨旁设备减少等已成为当今及未来列控系统的研究重点。立足于城市轨道交通现状和今后的发展方向，提出了一种基于区域控制器与联锁一体化、设备集中化、弱化轨旁设备功能的中心化CBTC系统解决方案，突显了简化系统架构、减少接口数量、兼容现有CBTC系统等优势。     

大连地铁2号线CBTC系统折返能力分析

随着国内地铁建设工程的快速发展,基于通信的列车控制系统(CBTC)的应用日益广泛。大连地铁2号线CBTC系统采用CBTC、点式ATP和联锁级3种控制模式。本文通过建立牵引计算模型,计算CBTC模式和点式ATP模式下的折返间隔,进而分析CBTC系统的折返能力。结果表明:CBTC系统的折返能力能够满足高密度列车运行需求。     

CBTC模式下的信号系统点灯方案

简单介绍了基于通信的列车控制(CBTC)系统的信号机布置及信号机显子原则,详细描述了信号机的控制情况。分析了CBTC移动闭塞系统的轨旁信号机常态点灯的方案设计,以及受控列车和非受控列车不同的点灯方式。CBTC模式下,联锁系统参与道岔防护信号机和ATC边界信号机的逻辑判断,但是否开放由区域控制器负责,而区间信号机均由区域控制器负责。着重分析了信号机防护点的设置情况,并对信号机开放的其他条件和信号机故障作了说明。     

基于通信的列车控制(CBTC)系统中轨旁控制子系统一体化研究

分析了国内外CBTC(基于通信的列车控制)系统的结构特点.针对典型CBTC系统存在的问题,着重分析了CBI(计算机联锁)和ZC(区域控制器)均采用同一硬件和同一软件的轨旁控制子系统一体化方案,给出了该方案下轨旁控制子系统为列车计算行车许可的方法.最后对一体化的CBTC系统与典型CBTC系统下开放信号机、关闭信号机、人工解锁进路、解锁保护区段及CBI采集列车包络占用区段延时检测等功能的实现方式进行对比.对比结果表明,采用轨旁控制子系统一体化方案的CBTC系统可以减少子系统间的接口,降低ZC和CBI间的功能耦合度,提高系统的运行效率.     

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

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

城市轨道交通CBTC系统精简化研究

分析既有城市轨道交通CBTC系统存在的若干问题,提出包括联锁设备的全电子化、后备系统简化、联锁与区域控制器一体化等系统精简化方案,可以减少设备数量,优化系统设计,简化系统应用和维护,从而降低全生命周期的成本,提升CBTC系统的效率。