[發(fā)明專利]基于DFT定性定量分析的系統(tǒng)可靠性評估方法和設(shè)備

有效

• 申請?zhí)枺?/td>: 201310660944.7
• 申請日: 2013-12-09
• 公開（公告）號: CN103745410A
• 公開（公告）日: 2014-04-23
• 發(fā)明（設(shè)計）人: 戈道川;丑強;張若興;周全
• 申請（專利權(quán)）人: 國核（北京）科學(xué)技術(shù)研究院有限公司
• 主分類號: G06Q50/06
• 分類號: G06Q50/06
• 代理公司: 中科專利商標代理有限責(zé)任公司 11021
• 代理人: 李敬文

1.一種基于動態(tài)故障樹DFT定性分析的系統(tǒng)可靠性評估方法，包括步驟：?

將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT；?

將DFT動態(tài)模塊分支轉(zhuǎn)化為包含動態(tài)事件的FT；?

將FT轉(zhuǎn)化為包含動態(tài)節(jié)點的二元決策圖BDD；以及?

使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。?

2.根據(jù)權(quán)利要求1所述的方法，其中，將DFT動態(tài)模塊分支轉(zhuǎn)化為包含動態(tài)事件的FT的步驟包括：?

通過將動態(tài)模塊分支中的動態(tài)邏輯門或模塊轉(zhuǎn)換為對應(yīng)動態(tài)事件的最小割序的邏輯“或”形式，獲得轉(zhuǎn)化后的FT。?

3.根據(jù)權(quán)利要求1所述的方法，其中，將FT轉(zhuǎn)化為包含動態(tài)節(jié)點的BDD的步驟包括：?

用動態(tài)節(jié)點替換最小割序，將DFT轉(zhuǎn)化為含有動態(tài)節(jié)點的靜態(tài)故障樹SFT；以及?

將SFT轉(zhuǎn)化為邏輯等價的含有動態(tài)節(jié)點的BDD。?

4.根據(jù)權(quán)利要求1所述的方法，其中，在將FT轉(zhuǎn)化為包含動態(tài)節(jié)點的BDD的步驟中，采用構(gòu)件連接法。?

5.根據(jù)權(quán)利要求1所述的方法，其中，如果動態(tài)故障樹DFT還包括靜態(tài)模塊分支，則所述方法還包括：將DFT靜態(tài)模塊分支轉(zhuǎn)化為包含靜態(tài)節(jié)點的BDD；以及將動態(tài)節(jié)點BDD與靜態(tài)節(jié)點BDD結(jié)合起來形成系統(tǒng)級BDD；?

其中使用系統(tǒng)級BDD，確定系統(tǒng)級DFT頂事件發(fā)生的事故序列，作為系統(tǒng)可靠性評估的定性信息。?

6.根據(jù)權(quán)利要求1所述的方法，其中，所述系統(tǒng)包括核電廠安全系統(tǒng)，以及所述DFT基于系統(tǒng)中各部件的失效率。?

7.一種基于動態(tài)故障樹DFT定量分析的系統(tǒng)可靠性評估方法，包括步驟：?

將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT；?

獲得DFT動態(tài)模塊分支的所有最小割序，并確定每一最小割序的對應(yīng)系統(tǒng)部件的順序失效圖、獨立變量和各獨立變量的積分區(qū)間，其中獨立變量是指系統(tǒng)部件相對于對應(yīng)狀態(tài)啟動時刻的失效時間；?

利用確定的順序失效圖、獨立變量和積分區(qū)間，產(chǎn)生每一最小割序的積分表達式；以及?

根據(jù)容斥定理，利用產(chǎn)生的積分表達式，產(chǎn)生動態(tài)模塊分支的頂事件發(fā)生概率的最終表達式，并求解頂事件發(fā)生概率，作為系統(tǒng)可靠性評估的定量信息。?

8.根據(jù)權(quán)利要求7所述的方法，其中，所述系統(tǒng)包括核電廠安全系統(tǒng)，以及所述DFT基于系統(tǒng)中各部件的失效率。?

9.根據(jù)權(quán)利要求7所述的方法，其中，如果動態(tài)故障樹DFT還包括靜態(tài)模塊分支，則所述方法還包括對DFT的靜態(tài)模塊分支進行定量分析，?

其中系統(tǒng)可靠性評估的定量信息還包括靜態(tài)模塊分支的定量分析結(jié)果。?

10.一種基于動態(tài)故障樹DFT定性定量分析的系統(tǒng)可靠性評估方法，包括步驟：?

將系統(tǒng)建模為包括動態(tài)模塊分支的動態(tài)故障樹DFT；?

將DFT動態(tài)模塊分支轉(zhuǎn)化為包含動態(tài)事件的FT，并判斷動態(tài)模塊分支是否屬于不可修部分；?

如果動態(tài)模塊分支屬于不可修部分，利用數(shù)值積分法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結(jié)果，如果動態(tài)模塊分支不屬于不可修部分，利用Markov模型法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率，作為定量分析結(jié)果；?

將FT轉(zhuǎn)化為包含動態(tài)節(jié)點的二元決策圖BDD；?

使用動態(tài)節(jié)點BDD確定DFT動態(tài)模塊分支的頂事件發(fā)生的事故序列，作為定性分析結(jié)果；以及?

基于定量分析結(jié)果和定性分析結(jié)果，獲得系統(tǒng)可靠性評估。?

11.根據(jù)權(quán)利要求10所述的方法，其中，利用數(shù)值積分法計算DFT動態(tài)模塊分支的頂事件發(fā)生概率的步驟包括：?

獲得DFT動態(tài)模塊分支的所有最小割序，并確定每一最小割序的對應(yīng)系統(tǒng)部件的順序失效圖、獨立變量和各獨立變量的積分區(qū)間，其中獨立變量是指系統(tǒng)部件相對于對應(yīng)狀態(tài)啟動時刻的失效時間；?

利用確定的順序失效圖、獨立變量和積分區(qū)間，產(chǎn)生每一最小割序的積分表達式；以及?

根據(jù)容斥定理，利用產(chǎn)生的積分表達式，產(chǎn)生動態(tài)模塊分支的頂事件發(fā)生概率的最終表達式，并求解頂事件發(fā)生概率。?