【摘 要】
：
C3+ATO系统在控制列车运行方面发挥重要作用且其功能关乎列车自动驾驶运行安全.为保障高速铁路C3+ATO系统功能安全,提出一种基于时间自动机的系统功能建模与仿真验证方法.以
【机 构】
：
兰州交通大学自动化与电气工程学院,甘肃兰州730070
论文部分内容阅读
C3+ATO系统在控制列车运行方面发挥重要作用且其功能关乎列车自动驾驶运行安全.为保障高速铁路C3+ATO系统功能安全,提出一种基于时间自动机的系统功能建模与仿真验证方法.以车载设备模式转换功能为例,根据C3+ATO系统规范中的功能需求,建立各组成设备的时间自动机模型,然后通过通信事件构成时间自动机网络模型;生成对应流程的消息顺序图并对系统安全性、可达性、存在性进行验证,并在C3+ATO系统仿真平台验证.仿真验证结果表明,该模型满足C3+ATO系统的功能属性要求,为后续C3+ATO系统设计开发、测试试验、实际应用及相关规范完善提供理论参考.
其他文献
根据国内动力集中动车组主电路原理,设计研发了集成双主断路器的高压电器箱,既优化了车顶设备布置,同时也改善了高压电器产品使用环境,提高了产品的安全性和可靠性.在保证高
文中使用熔融淬火法制备了氟化铝基、氟化铟基和氟化锆基玻璃样品,通过浸水实验研究了其抗潮解稳定性,结果表明氟化铝基玻璃具有更好的抗潮解性能.因此制备了不同浓度的Ho3+/
电传动矿用自卸车一直是采矿行业的一个重点研究对象,由于其特殊的运行工况,自卸车的控制方式需要进行研究与选择.文章对交直交型矿用自卸车的控制方案进行了分析,对比研究了
对轨道交通机车车辆电力变流器相关标准的基本情况、关联关系和差异性进行了分析,对部分产品标准的关键条款、重要参数进行了解析,并展望了产品标准的发展趋势,为从事变流器
随着动车组速度的提升,弓网离线成为一种高速动车组运行时普遍存在且不可避免的现象.弓网离线导致的网压中断问题会影响动车组牵引系统的可靠运行,文章基于某型高速动车组牵
轨道交通车辆车外安装机柜时由于外部环境恶劣,需要设计为密闭结构,但是密闭设计又会引起散热的问题.文章针对某轨道车辆车外安装的电气柜进行热设计和散热分析,提出了使用风
中国与东盟同属于亚洲的发展中国家,彼此的经贸关系日益紧密,为进一步发展双边的经贸关系,应从政府和企业两个层面着手,解决好如下问题:(1)促进产业结构升级,形成优势互补;(2
教学目标:1.有感情地朗读和背诵2.学习作者用具体形象的事物表现抽象概念的写法3.体会作者强烈的思乡爱国的感情4.激发学生热爱祖国渴望统一的美好愿望教学重点:1.有感情地朗
为保证混合动力内燃机车可靠性设计要求,针对其关键部件动力电池系统进行了全面分析,对影响其可靠性的关键因素进行了有效识别.首先,基于故障树分析法FTA建立了动力电池系统
介绍了不同类型车辆车轴超声波探伤周期和CRH2A型动车组车轴概况.通过综合考虑初始裂纹、临界裂纹、应力比、断裂韧性和有效应力强度因子等因素得出疲劳裂纹扩展寿命计算公式