微机计轴道口信号设备

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

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

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

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

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

英标体系含道口区间列车发车间隔分析

在英国标准体系下建立列车接近道口的简化模型,分析列车接近道口的运行状态,得到自动道口在不同初速度下的道口报警时间。分析得到列车接近多道口区段时影响道口报警时间的关键因素。分析含多道口双线区间的发车间隔,得到对向发车间隔的计算方式,并对模拟多道口区间列车的运行场景进行MATLAB仿真计算,得到该场景下最佳发车间隔。