单线铁路隧道内弹性支承块式无砟轨道施工技术

结合衢宁铁路福建段隧道内弹性支承块式无砟轨道的施工,介绍弹性支承块式无砟轨道精调、道床施工工艺、创新施工方法等,为类似工程提供借鉴。     

基于SCADE的计算机联锁软件开发研究

计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境（SCADE）及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。     

基于改进DFS的联锁仿真教学系统的设计与实现

针对联锁系统进路搜索效率低下的问题,分析了广度优先、A*等搜索算法的局限性,提出了一种带有约束条件的深度优先搜索(DFS)进路搜索算法,搭建站场型拓扑网络,动态创建二叉树模型,设计改进DFS进路搜索算法的程序流程。从教学角度提出软件设计方案,以Visual Studio 2010为平台进行软件开发,实现CTCS-3级列控系统中的联锁仿真教学系统,该系统不但具备良好的可操作性,还集成故障设置、通信数据包查询等功能。     

联锁设备双系通信中断故障解决方案

针对联锁设备运用过程中出现的双系通信中断问题,分析故障原因,提出预防维修方案.减少故障延时和运行维护成本,降低安全风险。     

互联互通CBTC系统的跨线进路处理方式

互联互通因其在成本节约和高效换乘方面的优势.已经成为国内城市轨道交通CBTC系统新的发展方向。计算机联锁系统基于互联互通的要求,对于跨线进路的处理做了相关适应性修改,与相邻的计算机联锁系统交互跨线范围内的相关设备状态及逻辑控制状态,为实现列车跨线运营提供了进路支持。文章为跨线进路的处理方式提供了新的解决方案。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

蒙华铁路万荣隧道无砟轨道施工

蒙华铁路是一条具有轴重大、运输量大、行车密度大和超长距离的运煤大通道,运营过程中因承受较大的荷载,加速了轨道结构及其部件的损坏[1],因此必须采取可靠的施工方案以保证无砟轨道整体道床的施工质量,延长轨道的使用寿命,减少线路日常维修的工作量,节约维修成本。本文以蒙华铁路万荣隧道无砟轨道施工作业为例,总结该施工做好前期准备、工艺流程以及质量控制等环节经验,旨在为类似铁路施工提供参考。     

铁路龙门吊防摇电机烧坏故障分析及处理

通过现场排查、厂内试验,发现为某铁路货场生产的36吨门吊防摇电机烧坏主要是长期堵转引起的,涉及电机电气件位置布局、电控参数设置、电机风机延时散热等问题。采取针对性的处理措施后,恢复正常。研究故障案例,总结故障分析及处理思路。