陶文操 王 棟
(上海飛機(jī)設(shè)計(jì)研究院,上海 201210)
故障樹分析(Fault Tree Analysis)作為一種故障分析手段,揭示了各個(gè)失效事件與其所能導(dǎo)致的上層事件失效狀態(tài)的關(guān)系[1]。傳統(tǒng)故障樹分析已經(jīng)廣泛應(yīng)用于復(fù)雜系統(tǒng)的安全性與可靠性分析[2-3]。但是對(duì)于各個(gè)事件之間的交互關(guān)系,例如事件的先后發(fā)生順序、動(dòng)態(tài)冗余關(guān)系、功能相關(guān)性等,都無法在傳統(tǒng)故障樹中被分析到[4]?;谝陨先毕荩瑒?dòng)態(tài)故障樹應(yīng)運(yùn)而生并有效解決了傳統(tǒng)故障樹中失效時(shí)序相關(guān)、功能冗余等問題。
輔助動(dòng)力裝置(APU)是安裝于飛機(jī)上的、用于提供輔助動(dòng)力源的、自成體系的小型發(fā)動(dòng)機(jī)[5],其安全性和可靠性指標(biāo)對(duì)全機(jī)指標(biāo)的貢獻(xiàn)度較高。在民用飛機(jī)APU系統(tǒng)安全性評(píng)估過程中,也逐步將動(dòng)態(tài)故障樹分析應(yīng)用于安全性定量分析中[6],用于更精確地反映事件失效的動(dòng)態(tài)關(guān)系。不同于傳統(tǒng)故障樹可以應(yīng)用布爾運(yùn)算求解,動(dòng)態(tài)故障樹的求解有賴于開發(fā)新的算法。目前對(duì)于動(dòng)態(tài)故障樹求解辦法的研究非常豐富,包括馬爾可夫鏈法[7]、動(dòng)態(tài)貝葉斯網(wǎng)絡(luò)法[8]、蒙特卡洛仿真法[9]和多值決策圖法[10]等。
本文采用了離散時(shí)間T-S動(dòng)態(tài)故障樹分析方法[11],對(duì)民用飛機(jī)輔助動(dòng)力裝置(APU)系統(tǒng)故障樹分析中的一段子樹進(jìn)行分析,并與馬爾可夫鏈分析的方法進(jìn)行對(duì)比,以確認(rèn)離散時(shí)間T-S動(dòng)態(tài)故障樹法在輔助動(dòng)力裝置系統(tǒng)安全性分析過程中的有效性和精確度,對(duì)APU系統(tǒng)的研制和適航取證工作起到積極作用。
動(dòng)態(tài)故障樹是指將動(dòng)態(tài)門引入靜態(tài)故障樹結(jié)構(gòu)而產(chǎn)生的能夠表征系統(tǒng)動(dòng)態(tài)特性的故障樹[5]。動(dòng)態(tài)門包括“優(yōu)先與門(PAND)”、“功能相關(guān)門(FDEP)”、“順序相關(guān)門(SEQ)”、“冷備件門(CSP)”、“溫備件門(WSP)”、“熱備件門(HSP)”、“延時(shí)門(TD)”等,如圖1所示,對(duì)于各個(gè)動(dòng)態(tài)門的解釋可參考文獻(xiàn)[12]。
a)優(yōu)先與門 b)功能相關(guān)門
離散時(shí)間T-S動(dòng)態(tài)故障樹則將連續(xù)的任務(wù)時(shí)間分割為有限的小段,再根據(jù)每個(gè)事件在各個(gè)時(shí)間小段的發(fā)生情況建立“離散時(shí)間T-S動(dòng)態(tài)門規(guī)則”,最后依據(jù)每一條規(guī)則進(jìn)行計(jì)算求得上級(jí)事件的失效率。
圖2 功能相關(guān)門
表1 離散時(shí)間T-S動(dòng)態(tài)門規(guī)則(功能相關(guān)門)
對(duì)于每一條離散時(shí)間T-S規(guī)則l,對(duì)應(yīng)的執(zhí)行可能性為:
(1)
(2)
(3)
輔助動(dòng)力裝置(APU)是一臺(tái)安裝于飛機(jī)上的、為飛機(jī)提供輔助動(dòng)力源的燃?xì)鉁u輪發(fā)動(dòng)機(jī)。而安全性評(píng)估過程是安全性需求捕獲、分配、確認(rèn)、設(shè)計(jì)、實(shí)現(xiàn)和驗(yàn)證的過程,貫穿整個(gè)APU系統(tǒng)的研制過程。傳統(tǒng)故障樹作為安全性定量分析的重要手段已經(jīng)被應(yīng)用于APU系統(tǒng)安全性工作。但是APU系統(tǒng)中存在著功能冗余、時(shí)序相關(guān)等場(chǎng)景無法用傳統(tǒng)故障樹精確表達(dá),例如APU系統(tǒng)具有兩個(gè)通道的超速保護(hù)機(jī)制,超速保護(hù)功能失效具有功能冗余性。因此引入動(dòng)態(tài)故障樹表現(xiàn)APU系統(tǒng)動(dòng)態(tài)特性無論是對(duì)APU系統(tǒng)的研制還是對(duì)適航取證工作都能起到積極作用。
圖3 APU喪失停車功能的一段子樹
APU系統(tǒng)故障樹分析中常有動(dòng)態(tài)門與靜態(tài)門組合的情況,如圖3所示。該故障樹為“APU喪失停車功能”故障樹中的一段子樹。其中G1為優(yōu)先與門,當(dāng)“APU喪失主數(shù)據(jù)接口單元全部數(shù)據(jù)”先于“未探測(cè)到的備用數(shù)據(jù)接口單元產(chǎn)生錯(cuò)誤的數(shù)據(jù)”發(fā)生或同時(shí)發(fā)生時(shí)才會(huì)導(dǎo)致上級(jí)事件“ECU使用備份數(shù)據(jù)接口單元產(chǎn)生的錯(cuò)誤數(shù)據(jù)”發(fā)生。這是由于ECU優(yōu)先使用來自主數(shù)據(jù)接口單元傳輸?shù)臄?shù)據(jù),只有當(dāng)主數(shù)據(jù)接口單元失效時(shí)才會(huì)采用備用數(shù)據(jù)接口單元傳輸?shù)臄?shù)據(jù)。G2為或門,當(dāng)“未探測(cè)到的主數(shù)據(jù)接口單元產(chǎn)生錯(cuò)誤的數(shù)據(jù)”或“ECU接收來自航電的錯(cuò)誤信號(hào)”發(fā)生時(shí)頂事件發(fā)生。底事件X1、X2、X3的失效率如表2所示,任務(wù)時(shí)間按照中型客機(jī)單次平均飛行時(shí)間t=3 h計(jì)算。
表2 底事件失效率
采用馬爾可夫鏈方法可以求得動(dòng)態(tài)故障樹的解析解。根據(jù)圖3故障樹分析失效路徑,可以獲得馬爾可夫狀態(tài)轉(zhuǎn)移圖,如圖4所示。其中的指代關(guān)系見表3所示。
圖4 馬爾可夫狀態(tài)轉(zhuǎn)移圖
表3 馬爾可夫鏈狀態(tài)指代表
由馬爾可夫狀態(tài)轉(zhuǎn)移圖可得到狀態(tài)轉(zhuǎn)移速率矩陣T如下:
(4)
狀態(tài)轉(zhuǎn)移速率矩陣中第i行,第j列表示由狀態(tài)i向狀態(tài)j轉(zhuǎn)移的速率,其中i,j為自然數(shù),且i,j∈[1,5]。當(dāng)i=j時(shí),由于狀態(tài)向外轉(zhuǎn)移,因此轉(zhuǎn)移速率為負(fù)。由此列出馬爾可夫鏈微分方程如下:
(5)
代入馬爾可夫狀態(tài)速率轉(zhuǎn)移矩陣T得:
(6)
P1(t)=e-(λ1+λ2+λ3)t
P2(t)=e-(λ1+λ3)t-e-(λ1+λ2+λ3)t
P3(t)=e-(λ1+λ2)t-e-(λ1+λ2+λ3)t
(7)
將失效率λ1~λ3和任務(wù)時(shí)間t=3h分別代入,可得頂事件的失效率P5(t=3)=3.143 87×10-6
將任務(wù)時(shí)間劃分為m=2、3、5、10、20、30、50、100段,則每段任務(wù)時(shí)間的長度Δ=T/m。此處以m=2為例,其他任務(wù)分段數(shù)的計(jì)算方法類似。當(dāng)m=2時(shí),Δ=1.5 h,任務(wù)時(shí)間段為[0,1.5 h]、(1.5 h,3 h]和(3 h,)。中間事件Y1和頂事件Y2的發(fā)生情況如表4和表5所示。
表4 優(yōu)先與門G1發(fā)生規(guī)則
表5 或門G2發(fā)生規(guī)則
在建立T-S發(fā)生規(guī)則之后,按照公式(1)~(3)計(jì)算頂事件Y2的失效率,得到的離散時(shí)間T-S動(dòng)態(tài)故障樹求解結(jié)果如表6所示。可以看出隨著任務(wù)時(shí)間分段數(shù)的增加,T-S動(dòng)態(tài)故障樹的求解結(jié)果越來越逼近利用馬爾可夫鏈求得的解析解,相對(duì)誤差逐漸縮小,證實(shí)了離散時(shí)間T-S動(dòng)態(tài)故障樹分析方法的可行性。同時(shí)相比馬爾可夫鏈等狀態(tài)空間模型方法,T-S動(dòng)態(tài)故障樹法采用數(shù)值計(jì)算方法,顯著降低了計(jì)算成本。
表6 動(dòng)態(tài)故障樹求解結(jié)果
研究離散時(shí)間T-S動(dòng)態(tài)故障樹在民用飛機(jī)輔助動(dòng)力裝置(APU)系統(tǒng)中的應(yīng)用,本文采用上述計(jì)算方法,計(jì)算了APU系統(tǒng)故障樹分析中的一段子樹的頂事件的失效率,并與使用馬爾可夫模型計(jì)算的結(jié)果進(jìn)行比較,得到的結(jié)論如下:
1)隨著任務(wù)時(shí)間劃分段數(shù)的增加,離散時(shí)間T-S動(dòng)態(tài)故障樹分析方法求解的結(jié)果與馬爾可夫鏈求解的結(jié)果相對(duì)誤差逐漸減小。當(dāng)任務(wù)時(shí)間分段數(shù)大于5時(shí),相對(duì)誤差小于1%,計(jì)算精度可接受;
2)相比于狀態(tài)空間模型方法,離散時(shí)間T-S動(dòng)態(tài)故障樹采用數(shù)值計(jì)算方法,在保證計(jì)算精度的前提下顯著降低計(jì)算成本,在工程領(lǐng)域具有應(yīng)用價(jià)值。