文档作者:
刘金涛1 唐涛1 赵林1 刘磊2
文档来源:
1.北京交通大学 2.中国铁道科学研究院 |
点 击 数:
|
更新时间: 2018年08月11日 |
|
下载地址: 点击这里 |
文件大小: 872.54 KB |
文档格式:
|
下载点数: 1 点(VIP免费) |
文件大小:872.54 KB 文件格式: 下载点数:1 点(VIP会员免费) |
|
利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型; |
|
P50-1/9 木枕复交道…
电力机车整备线接触网…
电务设备故障的主要原…
高等级铁路大型养路机…
关于强化既有线施工安…
基于层次分析法的既有…
监测维护终端在轨道电…
降低LKJ2000型监控装…
浅谈道路危险货物运…
城市轨道交通在国外…
道路交通事故成因分…
浅谈如何做到安全文…
疲劳驾驶的产生原因…
人为因素对船舶的安…
浅析地铁中的安全问题
论城市轨道交通安全…