文檔作者：
劉金濤１ 唐濤１ 趙林１ 劉磊２
文檔來(lái)源：
１．北京交通大學(xué) ２．中國(guó)鐵道科學(xué)研究院 |
點(diǎn) 擊 數(shù)：
|
更新時(shí)間： 2018年08月11日 |
|
下載地址： 點(diǎn)擊這里 |
文件大小： 872.54 KB |
文檔格式：
|
下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)） |
文件大?。?72.54 KB 文件格式： 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)） |
|
利用形式化方法對(duì)系統(tǒng)理論的過(guò)程分析（ＳＴＰＡ）進(jìn)行擴(kuò)展，包括建立系統(tǒng)的ＵＭＬ擴(kuò)展模型并將其轉(zhuǎn)換為ＰＨＡＶｅｒ模型；給出故障模型的形式化定義及結(jié)構(gòu)，建立系統(tǒng)的故障模型；   |
|
淺談道路危險(xiǎn)貨物運(yùn)…
城市軌道交通在國(guó)外…淺談如何做到安全文…道路交通事故成因分…疲勞駕駛的產(chǎn)生原因…人為因素對(duì)船舶的安…淺析地鐵中的安全問(wèn)題論城市軌道交通安全…
全屏查看
