铁道部科技研究开发计划(2012X001)
- 作品数：3 被引量：9H指数：2
- 相关作者：程剑锋贺广宇孙帝赵显琼程林芳更多>>
- 相关机构：中国铁道科学研究院沈阳铁路局中国铁路总公司更多>>
- 发文基金：铁道部科技研究开发计划更多>>
- 相关领域：交通运输工程机械工程更多>>
- 基于Petri网的通信协议性能分析与验证方法及在ETCS中的应用
- 2013年
- 列车运行控制系统中，安全通信协议的性能直接影响到列车的行车安全。因此，对其进行性能分析和验证技术是保证行车安全的重要技术之一。本文以欧洲列车运行控制系统（ETCS）安全通信协议为验证对象，提出基于Petri网的安全通信协议性能分析和验证方法，首先用有色Petri网给建立模型，然后用形式化方法验证协议的有界性，活性和安全性。根据模型表示的状态和行为检查协议是否符合规范的要求。以上功能都是通过Petri网软件实现，包括Poseidon和CPNTools。
- 程林芳王菲赵显琼
- 关键词：ETCS安全通信协议PETRI网
- 基于信息化的ATP车载设备运用检修管理研究被引量：7
- 2014年
- ATP车载设备是保证动车组运行安全的关键设备,其信息化管理是客运专线信息化的重要组成部分,是客运专线动车组安全高效运营的必要技术支撑手段。在总结既有ATP车载设备运用检修业务流程基础上,提出了在信息化技术手段支撑下建设电务系统专业化的ATP车载设备运用检修管理信息系统。对物理结构、系统功能和实现思路进行了详细设计,不仅实现了检修及计划的无纸化作业目标,而且通过自动化等方式可减少人为的数据录入错误,提高作业效率,有效支撑相关运用检修业务的开展,强化专业检修能力,达到"作业高效率、管理现代化、决策科学化"的要求。
- 律起海贺广宇程剑锋
- 关键词：ATP车载设备信息化
- ATP车载设备故障分类及管理方法研究被引量：5
- 2013年
- 故障闭环管理是提升设备运用水平的有效途径。ATP车载设备通过制定故障等级和故障类型划分规则,建立故障采集、分析、报告、处理和跟踪一整套闭环管理体系,规范不同等级故障对应的故障处理流程;通过搭建ATP车载设备故障管理信息系统,保障设备稳定运用,减少因故障造成的运行延迟,更好地适应动车安全高效运行的需要。
- 郑升程剑锋孙帝
- 关键词：ATP车载设备故障管理信息系统
