列車控制系統(tǒng)是為了保證運(yùn)輸安全而誕生并發(fā)展的,是保證行車安全的核心技術(shù)和關(guān)鍵設(shè)備。城市軌道交通作為一種大容量、高密度的公共交通工具,必須要有一套安全可靠的列車控制系統(tǒng),否則一旦系統(tǒng)發(fā)生故障,就會(huì)危及列車安全,造成人員和財(cái)產(chǎn)的損失。本文以基于通信的列車運(yùn)行控制系統(tǒng)(Communication Based Train Control,CBTC)為研究對(duì)象,采用動(dòng)態(tài)故障樹(shù)分析方法(Dynamic Fault Trees Analysis,DFTA)和云模型對(duì)其可靠性進(jìn)行分析和評(píng)價(jià)。根據(jù)CBTC系統(tǒng)的結(jié)構(gòu)特點(diǎn),針對(duì)傳統(tǒng)故障樹(shù)在可靠性分析時(shí)存在的不足,本文提出了基于DFTA的CBTC系統(tǒng)可靠性分析方法。首先通過(guò)分析CBTC系統(tǒng)的結(jié)構(gòu)和功能,建立了CBTC系統(tǒng)的DFTA模型;其次,使用深度優(yōu)先最左搜索算法(Depth-first Left-most,DFLM)將DFTA分解為若干個(gè)靜態(tài)模塊和動(dòng)態(tài)模塊,靜態(tài)模塊使用二元決策圖(Binary Decision Diagram,BDD)進(jìn)行分析,動(dòng)態(tài)模塊使用馬爾可夫鏈進(jìn)行分析;最后,通過(guò)模塊合成的結(jié)果得到CBTC系統(tǒng)滿足需求規(guī)范,并識(shí)別出了系統(tǒng)的薄弱環(huán)節(jié)...

【文章頁(yè)數(shù)】：67 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖2.1CBTC系統(tǒng)組織結(jié)構(gòu)示意

城市軌道交通CBTC系統(tǒng)可靠性分析與評(píng)價(jià)-6-2城市軌道交通CBTC系統(tǒng)可靠性基礎(chǔ)2.1城市軌道交通CBTC系統(tǒng)概述2.1.1城市軌道交通CBTC系統(tǒng)總體結(jié)構(gòu)IEEEStd1474.1-1999給出的第一個(gè)對(duì)CBTC系統(tǒng)的定義：“利用高精度的列車定位（不依賴于軌道電路），雙向連續(xù)....

圖3.1PAND邏輯

蘭州交通大學(xué)碩士學(xué)位論文-11-(1)優(yōu)先與門(PAND)對(duì)于冗余系統(tǒng)來(lái)說(shuō)，系統(tǒng)發(fā)生故障的原因不但與動(dòng)態(tài)故障樹(shù)底事件的組合方式有關(guān)，更是和底事件的順序有絕大關(guān)系，因此提出了PAND。如圖3.1(a)，底事件A和B經(jīng)過(guò)PAND輸入，事件C若發(fā)生，說(shuō)明A和B兩個(gè)底事件均發(fā)生了，同時(shí)A....

圖3.1PAND邏輯門與馬爾可夫鏈

蘭州交通大學(xué)碩士學(xué)位論文-11-(1)優(yōu)先與門(PAND)對(duì)于冗余系統(tǒng)來(lái)說(shuō)，系統(tǒng)發(fā)生故障的原因不但與動(dòng)態(tài)故障樹(shù)底事件的組合方式有關(guān)，更是和底事件的順序有絕大關(guān)系，因此提出了PAND。如圖3.1(a)，底事件A和B經(jīng)過(guò)PAND輸入，事件C若發(fā)生，說(shuō)明A和B兩個(gè)底事件均發(fā)生了，同時(shí)A....

圖3.2CSP邏輯

蘭州交通大學(xué)碩士學(xué)位論文-11-(1)優(yōu)先與門(PAND)對(duì)于冗余系統(tǒng)來(lái)說(shuō)，系統(tǒng)發(fā)生故障的原因不但與動(dòng)態(tài)故障樹(shù)底事件的組合方式有關(guān)，更是和底事件的順序有絕大關(guān)系，因此提出了PAND。如圖3.1(a)，底事件A和B經(jīng)過(guò)PAND輸入，事件C若發(fā)生，說(shuō)明A和B兩個(gè)底事件均發(fā)生了，同時(shí)A....

本文編號(hào)：3967967