VPI引进开发结硕果微机联锁开先河

当世界先进国家的铁路进入微机联锁时代之时,我国铁路却还停留在继电器联锁的时代,有些铁路地区甚至还使用电锁器联锁。铁路科研和运用部门虽然瞄准了这一新潮流抓紧研制,但进展缓慢。为了尽快改变这种不尽人意的状况,我国从80年代末开始从国外引进微机联锁设备。 广州—深圳线上的红海站安全型微机联锁(VPI)系统是卡斯柯信号有限公司从国外引进的、我国铁路干线上第一个微机联锁系统,它成功了,并且通过了权威部门的鉴定,开创了微机控制技术在干线车站运用的先河,同时获得铁道部的通令嘉奖。而另一个花了     

企业铁路调度集中系统的研究与实现

针对企业铁路运输作业的特点，提出了企业铁路调度集中系统中联锁控制、通信等方面的设计原则与方法，并对企业调度集中系统的权限设置、安全与风险控制方案进行了讨论，最后介绍了一个应用实例。     

法国铁路信号的发展

法国铁路信号技术在世界上是列入先进行列的, 介绍法国铁路信号技术可包含两层意思：一是法国国内铁路信号的装备与发展；二是作为所在地的若干国际性大公司的铁路信号技术,例,阿尔卡特 ALCATEL、阿尔斯通 ALSTOM 和法国 CSEE。本文收集了数十份法国铁路信号技术资料,以近10年为主,前延到20年,其中有论文、报道和技术资料, 初步归纳如下。 1 列车运行控制系统 1.1 自动闭塞法国在最大行车速度为160km/h 的普通铁路上,运输密度不大的线路采用三显示自动闭塞(红、     

TYJL-Ⅱ型车站计算机联锁室内常见故障处理

对TYJL-Ⅱ型车站计算机联锁室内设备的常见故障进行分析,总结其故障处理的流程和方法。     

广州地铁2号线风机控制的改进方案

结合广州地铁2号线通风空调系统中风机的控制设计，提出了在满足有关规范要求和通风空调工艺要求的前提下，简化风机控制的方案。即：由原来的三级控制改为两级控制；风机的自动控制实现模式控制，主要用于地铁运营；风机的就地控制只实现单台设备的控制，取消了与风阀等设备的联锁控制。该方案有利于降低工程投资，提高系统的可靠性。     

加强信号联锁管理,为运输安全提供可靠保障

联锁是电务安全的灵魂。根据多年联锁工作的经验,结合现有联锁管理制度的落实,从提高联锁认识、细化联锁管理措施、规范联锁管理制度各个方面提出个人观点,加以论述。     

车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML （unified modeling language）图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.      

北京城市铁路13号线信号控制系统

简要介绍了北京城市铁路13号线的工程，并对信号主要设备配置、调度集中、计算机联锁、列车自动防护等系统功能进行了阐述。