云南高校图书馆联盟文献共享服务平台- 姚媛

姚媛: 作品数：1被引量：2H指数：1; 导出分析报告; 供职机构：北京交通大学更多>>; 发文主题：高速磁浮列车高速磁浮HAZOP形式化建模列控系统更多>>; 发文领域：交通运输工程经济管理更多>>; 发文期刊：《铁道通信信号》更多>>; 所获基金：中央高校基本科研业务费专项资金国家自然科学基金国家重点基础研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于HAZOP的列控系统安全分析与验证被引量：2: 《铁道通信信号》2016年第3期50-53,共4页姚媛唐涛吕继东王海峰; 国家自然科学基金资助项目(61304185;U1434209);中央高校基本科研业务费专项资金资助(2014JBM022.2015YJS008);国家重点基础研究发展计划(973)(批准号:2014CB340700); 列控系统是一个典型的安全苛求系统,传统的安全分析方法难以保证分析结果的全面性和客观性,因此将危险和可操作性分析方法 (HAZOP)与符号模型检验工具(SMV)结合,形成一种安全分析与验证方法,并以典型的CTCS-3级列控系统等级转换场景为例...; 关键词：列车运行控制系统形式化建模安全分析