摘要：目前,铁路系统由于在地震发生后不能快速得到地震烈度破坏信息,只能通过安排全线人工巡检的方式来确定线路受损情况,耗时长、效率低,严重干扰了铁路的正常运输次序。提出一种基于实测波形的地震烈度信息快速确定算法,并对地震信息在铁路上的应用技术进行研究,该算法可在地震发生后快速计算烈度信息并自动生成局管范围内线路巡检建议。试验结果证明:该算法耗时小,产出也较为精确,能在19s产出断层长度与走向,其结果与震后调查烈度分布基本一致;设计的地震动参数信息处理软件能计算地震烈度影响铁路范围,实时向铁路运维人员提供烈度及巡检建议,便于运维人员快速掌握灾情,制定巡检策略,有针对性地巡检线路,节省了震后恢复时间,提高了铁路运输生产效率。

摘要：高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统的复杂性有了很大的提高,直接对高速铁路列控系统进行形式化验证已经变得越来越困难.另一方面,由于图形化建模和仿真表现方式直观且易于理解,在工程实践中已经得到了广泛的应用.因此,为了更好地保证铁路系统的安全,对系统进行仿真,排除部分安全隐患显得尤为重要.本文通过使用Simulink/Stateflow建模工具对高速铁路列控系统的行车许可,等级升级及部分模式转换场景进行了建模.该模型具有普适性,通过修改参数信息,可以对不同的等级转换和模式转换的组合情况进行仿真.本文使用该模型对10种组合情况进行了仿真,发现在某些情况下可能会出现不正常停车或者等级转换失败的现象.类似于测试,仿真仅仅能够发现错误,如未发现错误,也不能证明系统是正确的.因为仿真的这种不完备性,对仿真辅助形式验证在安全攸关系统设计中非常必要.为此,取其中一个不正常停车的场景进行了形式验证,验证结果证明在任何情况下都不能正常停车.

摘要：针对单一列车测速定位技术的不足,设计了多传感器融合列车测速定位软硬件平台。主要描述了硬件平台的组成,并介绍了基于虚拟仪器软件LabVIEW以及MATLAB的软件平台功能。最后通过铁路现场的实验获得了数据并进行了离线数据处理。