文檔作者：
劉金濤１ 唐濤１ 趙林１ 劉磊２
文檔來源：
１．北京交通大學 ２．中國鐵道科學研究院 |
點 擊 數(shù)：
|
||
下載地址： 點擊這里 |
文件大小： 872.54 KB |
文檔格式：
|
下載點數(shù)： 1 點（VIP免費） |
文件大?。?72.54 KB 文件格式： 下載點數(shù)：1 點（VIP會員免費） |
|
利用形式化方法對系統(tǒng)理論的過程分析（ＳＴＰＡ）進行擴展，包括建立系統(tǒng)的ＵＭＬ擴展模型并將其轉(zhuǎn)換為ＰＨＡＶｅｒ模型；給出故障模型的形式化定義及結(jié)構(gòu)，建立系統(tǒng)的故障模型；   |
|
基于安全控制的通航河…懸索橋的拆除方案和安…供電臂頻繁過流跳閘的…長進路站場電碼化電路…電動汽車技術(shù)對新能源汽車技術(shù)的幾…福特汽車節(jié)能措施初探節(jié)能汽車的綠色汽車制…
淺談道路危險貨物運…
城市軌道交通在國外…道路交通事故成因分…淺談如何做到安全文…疲勞駕駛的產(chǎn)生原因…人為因素對船舶的安…淺析地鐵中的安全問題論城市軌道交通安全…
全屏查看