排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
2.
戴博康仁伟李科王彧衣沛然 《铁道通信信号》2023,(11):1-7
ATP车载设备日常检修是保证动车组安全高效运行的必要技术手段。为解决既有检修模式效率低下、过程控制缺失、检修数据准确度不高等问题,搭建了ATP车载设备智能检修管理系统。通过分析现场日常检修作业需求,设计基于“支撑层+应用层”的智能检修管理技术架构,建立从检修计划至失修漏检预警的全流程卡控模型;阐述系统采用的设备唯一编码、作业过程闭环控制、数据安全传输和存储、检修多媒体数据压缩等关键技术。该系统在郑州局、上海局集团公司等现场实际部署运用,结果表明:相比于既有检修模式,作业效率提升约46.9%,可推广应用于全路ATP车载设备的日常检修和管理。 相似文献
3.
4.
为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应. 相似文献
5.
1