分段开通城市轨道工程的系统调试

轨道交通已经成为解决大城市交通问题的重要途径,各大城市也在快速进行轨道交通建设。为了使一条新线尽快投入运营,经常采用分期分段建设、开通的方案,这种建设模式给信号系统的调试带来了很大难度。在北京地铁15号线实际调试过程中发现,采用分段独立组织调试,再进行两段贯通调试的方案,可有效地保证整个项目实施的安全和进度。     

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

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

分层结构热备冗余系统的可靠性分析

热备冗余结构在安全苛求系统中应用广泛．智能化输入输出模块和逻辑处理模块的分离形成了分层结构,层内两个模块相互热备,层与层串联后实现系统功能．采用Markov分析方法,考虑模块失效率和维修率,对分层热备冗余系统的可靠性进行了研究．按照优先恢复系统功能的维修策略建立了系统状态转移图,并由此得出了系统可靠性计算方法．依据仿真计算结果,不同模块的失效率和维修率对系统可靠性的影响程度相似,低优先级修复的模块对系统可靠性的影响程度增大．     

LKD1-J型既有线车站列控中心的研究

车站列控中心是CTCS-2级列控系统和既有线提速的重要信号设备。从系统特点、系统构成、软件模块等方面对LKD1-J型车站列控中心系统进行了全面的介绍。     

计算机联锁系统操作表示机双机热备的实现

操作表示机是计算机联锁系统中关键的人机界面设备，硬件上利用继电器组成的逻辑电路，实现双机热备的倒机逻辑控制和设备接口电缆的动态切换．同时提供人工切换手段；软件上采用TCP／IP协议完成主备机之间的数据同步和操作信息的传送，并控制继电器电路完成自动切换，从而实现了操作表示机双机热备。     

列控系统中临时限速执行时机的研究

车站列控中心是列车运行控制系统的地面核心设备.客运专线列控中心更是突破了既有线列控中心受既有设备条件的限制,增加了轨道电路编码、站间通信联系等新的功能,使得在既有线列控中心中存在的临时限速导致进站信号机降级显示等诸多技术难题得到解决,但临时限速执行时机的确定成为技术难题.     

基于无线通信的移动闭塞列控系统——SPARCS

SPARCS是日本信号株式会社经历数年时间研究开发的一种先进的列车运行控制系统。在车站、区间以及列车上安装的无线设备,实现了列车与地面之间、车站与车站之间快速、高效的数据交换,车站设备通过与在线列车的双向通信获得列车位置信息并通过控制后续列车的停车点来实现移动闭塞。车载设备采用无线测距与传感器脉冲测距以及应答器定点校正相结合的方式实现对列车运行位置的精确测量。SPARCS具有结构简单、功能高效的特点,适用于城市轨道交通的列车控制。