铁路道口论文

无人铁路道口自动控制方案设计与研究
论文摘要针对厂矿企业内部低速铁路线路通过的无人值守铁路道口现状,详细分析了对道口进行改进的自动控制技术方案,使铁路道口实现了自动控制;并对铁路道口自动控制系统的完善和发展前景进...
朝阳市铁路道口实现安全生产3000天
论文摘要本报讯（记者郭军）道口安全无小事，道口一旦发生事故，不仅影响铁路大动脉的安全畅通，也会给国家和人民群众的生命财产带来巨大损失，更是危害社会安全稳定的重要因素。多年来，朝...
基于形式化方法的道口控制系统规范建模与验证
论文摘要为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建...