铁路道口平改立工程中现场质量管理的探索与实践

就铁路道口平改立工程中如何进行现场质量管理，结合近两年来的工作实践进行了探索性的论述。传统的经营管理模式只有和现代化的管理手段相结合，才能取得更好的成效。     

站内道口电路的改进

主要阐述了道口通知电路中上行发车时发生下行发车误报、接车时列车追踪不报警、XII4.6.8.10信号开放不了、下行正线通过时错误报警等四种问题的解决处理方法。     

平交道口改立交工程投资的有效控制

结合北京铁路分局平改立工程,论述了平改立工程前期、设计、设计审查及施工等几个阶段有效控制工程投资的方法.     

提速线路平交道口的安全防护技术

针对提速线路平交道口安全防护问题，在保障道口安全和通过能力的基础上，给出了同车速列车相对道口接近区段长度计算数据，道口对不同车速列车接近时的定量报警时间。     

铁路平交道口的安全管理

铁路平交道口 ,如缺乏严格的安全管理 ,极易发生恶性道口事故 ,对铁路安全运输威胁极大。尤其在我国经济持续发展的今天 ,随着机动车辆的增加 ,列车密度和运行速度的提高 ,对道口安全提出了更加严格的要求。因此 ,为了保证国民经济大动脉的畅通和国家、人民生命财产的安全 ,必须要正确认识铁路道口在运输安全中的重要作用 ,尽快改造、更新道口设备 ,加强对现有道口的安全管理 ,创造条件 ,变平交为立交 ,彻底消除道口安全隐患 ,这也是摆在我们面前的一项紧迫而艰巨的重要任务。     

微机计轴道口信号设备

介绍了自行研制的微机计轴道口信号设备的系统构成，功能特点和主要技术条件以及推广运用前景等。     

站内特殊道口信号设计方案研究

在铁路专用线工程中,涉及公路、铁路交叉部分时会遇到平交道口的设计.由于专用线的特点,又常会遇到道口邻近车站或站内跨线的情况,在进行道口信号设计时,需结合车站联锁进行考虑.但是,目前针对联锁与道口信号之间的驱动和采集信息交互并没有明确的标准.本文结合某专用线道口工程,研究如何通过联锁系统与道口信号之间的驱动和采集信息交互...     

基于形式化方法的道口控制系统规范建模与验证

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证. 基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型. 通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型. 最后,通过不变式冲突与死锁检验进一步确认了模型的正确性. 研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.