基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法
【專利摘要】本發(fā)明涉及一種基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法。該方法采用基于多叉樹的圖形化的處理方法，將抽象的數(shù)學(xué)代數(shù)處理過程形象化，同時解決了線性與非線性系統(tǒng)間打破邏輯環(huán)的問題。該方法不僅適用于任意個數(shù)的線性系統(tǒng)，也適用于任意個數(shù)的非線性系統(tǒng)，思路簡單，計(jì)算量小，同時，以多叉樹表示，形式直觀，可以很方便地得到導(dǎo)致目標(biāo)系統(tǒng)失效的最小因素組合。
【專利說明】
基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法
技術(shù)領(lǐng)域
[0001]本發(fā)明所屬技術(shù)領(lǐng)域?yàn)橛?jì)算機(jī)輔助可靠性分析領(lǐng)域，具體地說，本發(fā)明涉及一種基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法。
【背景技術(shù)】
[0002]在可靠性分析領(lǐng)域，通常使用故障樹來進(jìn)行失效因素分析。在一個故障樹結(jié)構(gòu)中，如果一個系統(tǒng)最終又由它本身所支持，那么系統(tǒng)的邏輯環(huán)就可能產(chǎn)生。邏輯環(huán)存在于相互依賴的系統(tǒng)中，尤其是支持系統(tǒng)，比如供水系統(tǒng)，供氣系統(tǒng)，供電系統(tǒng)等等。具體講，就如組件冷卻系統(tǒng)給柴油發(fā)電機(jī)提供冷卻水，柴油發(fā)電機(jī)給組件冷卻系統(tǒng)提供電力，這樣就形成一個邏輯環(huán)。
[0003]所有系統(tǒng)均由單一系統(tǒng)所支持，這樣就構(gòu)成了系統(tǒng)間線性相關(guān)的關(guān)系，存在某個系統(tǒng)由其它多個系統(tǒng)邏輯乘后組成的混合系統(tǒng)所支持，這樣就構(gòu)成了系統(tǒng)間非線性相關(guān)的關(guān)系。
[0004]故障樹分析法廣泛用于包括核電站在內(nèi)的復(fù)雜的工業(yè)系統(tǒng)的分析當(dāng)中，它適用于沒有邏輯環(huán)路的模型當(dāng)中，然而，真實(shí)系統(tǒng)不可避免的會出現(xiàn)一些邏輯環(huán)路，尤其是當(dāng)電力系統(tǒng)涉及當(dāng)中時。當(dāng)分析者在電腦上用可靠性分析程序試圖解一個帶有邏輯環(huán)的故障樹時，一些計(jì)算機(jī)程序就會報(bào)錯。
[0005]若不消除邏輯環(huán)，就不能進(jìn)行定量分析。現(xiàn)有的打破邏輯環(huán)的辦法，要么不能滿足任意個系統(tǒng)個數(shù)的要求，如直接截?cái)嗟姆椒ǎ床荒芙鉀Q非線性系統(tǒng)的打破邏輯環(huán)的問題，如分析性的方法，即使有能滿足任意系統(tǒng)個數(shù)的要求，且能解決非線性系統(tǒng)打破邏輯環(huán)的方法，其代數(shù)的表示形式不夠直觀，工作量也較大，如迭代的方法。

【發(fā)明內(nèi)容】

[0006]本發(fā)明旨在提供一種基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合，以解決現(xiàn)有打破邏輯環(huán)方法存在的不直觀、不簡便、工作量大等的問題。本發(fā)明的具體方案如下:
一種基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法，包括以下步驟:
步驟A:獲取帶邏輯環(huán)系統(tǒng)中的系統(tǒng)間相互支持的關(guān)系；
步驟B:判斷帶邏輯環(huán)系統(tǒng)中是否存在混合系統(tǒng)，其中，混合系統(tǒng)是指由至少兩個系統(tǒng)邏輯乘組成的系統(tǒng)，若有，則將每一個混合系統(tǒng)獨(dú)立作為一個單獨(dú)的系統(tǒng)，再根據(jù)系統(tǒng)間相互支持的關(guān)系得到系統(tǒng)間的有向圖，若無，直接根據(jù)系統(tǒng)間相互支持的關(guān)系得到系統(tǒng)間的有向圖；
步驟C:選定一個系統(tǒng)作為目標(biāo)系統(tǒng)，該目標(biāo)系統(tǒng)作為多叉樹的的根結(jié)點(diǎn)，其中，根結(jié)點(diǎn)是指多叉樹的第一層結(jié)點(diǎn)；
步驟D:根據(jù)所述有向圖，先畫出以根結(jié)點(diǎn)為父結(jié)點(diǎn)的孩子結(jié)點(diǎn)，其中，父結(jié)點(diǎn)與孩子結(jié)點(diǎn)是多叉樹中結(jié)點(diǎn)之間的邏輯繼承關(guān)系，孩子結(jié)點(diǎn)是支持父結(jié)點(diǎn)系統(tǒng)的系統(tǒng)，然后以目標(biāo)系統(tǒng)的每個孩子結(jié)點(diǎn)作為父結(jié)點(diǎn)，以支持所述父結(jié)點(diǎn)的系統(tǒng)的系統(tǒng)作為其孩子結(jié)點(diǎn)，畫出其孩子結(jié)點(diǎn)，以此類推，直到樹的深度恰好等于系統(tǒng)總個數(shù)，就得到了所述目標(biāo)系統(tǒng)的多叉樹，其中，若存在混合系統(tǒng)，則必須將混合系統(tǒng)個數(shù)和其他非混合系統(tǒng)相加作為系統(tǒng)總個數(shù)，若不存在混合系統(tǒng)，則直接以所有非混合系統(tǒng)的個數(shù)作為系統(tǒng)總個數(shù)；
步驟E:深度優(yōu)先算法遍歷該多叉樹中由根結(jié)點(diǎn)至葉子結(jié)點(diǎn)的所有路徑，其中，葉子結(jié)點(diǎn)是指多叉樹中沒有孩子結(jié)點(diǎn)的結(jié)點(diǎn)，若結(jié)點(diǎn)是混合系統(tǒng)，則表示組成該混合系統(tǒng)的每個系統(tǒng)出現(xiàn)一次，刪去每條路徑中第二次出現(xiàn)的結(jié)點(diǎn)及其孩子結(jié)點(diǎn)，得到刪除指定結(jié)點(diǎn)后的最簡多叉樹；
步驟F:從根結(jié)點(diǎn)到葉子結(jié)點(diǎn)，用布爾代數(shù)式逐層表示所述最簡多叉樹；
步驟G:從葉子結(jié)點(diǎn)到根結(jié)點(diǎn)，將布爾代數(shù)式逐層向上迭代，直到得到根結(jié)點(diǎn)的布爾代數(shù)式；
步驟H:由根結(jié)點(diǎn)的布爾代數(shù)式，得到所述目標(biāo)系統(tǒng)失效的最小因素組合。
[0007]進(jìn)一步地，所述有向圖的表示方法為:若系統(tǒng)A由系統(tǒng)B所支持，則用有向箭頭表示為:B->A;若系統(tǒng)A由A和B邏輯乘組成的混合系統(tǒng)AB所支持，則用有向箭頭表示為:AB_>A。
[0008]本發(fā)明采用上述技術(shù)方案，具有的有益效果是:
本發(fā)明提供了一種基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法，本方法不僅適用于任意個數(shù)的線性系統(tǒng)，也適用于任意個數(shù)的非線性系統(tǒng)，思路簡單，計(jì)算量小，同時，以多叉樹表示，形式直觀，可以很方便地得到系統(tǒng)失效的最小因素組合。
【附圖說明】
[0009]圖1是系統(tǒng)A、B、C組成的線性相關(guān)的系統(tǒng)間的有向圖；
圖2是圖1的多叉樹表示形式；
圖3a是圖2的多叉樹刪除指定結(jié)點(diǎn)的示意圖；
圖3b是圖2刪去指定結(jié)點(diǎn)后的最簡多叉樹表示形式；
圖4是系統(tǒng)A、B、混合系統(tǒng)AB組成的線性相關(guān)的系統(tǒng)間的有向圖；
圖5是圖4的多叉樹表不形式；
圖6a是圖5的多叉樹刪除指定結(jié)點(diǎn)的示意圖；
圖6b是圖5刪去指定結(jié)點(diǎn)后的最簡多叉樹表示形式；
圖7是核電站5個系統(tǒng)組成的線性相關(guān)的系統(tǒng)間的有向圖；
圖8是圖7的多叉樹表示形式；
圖9a是圖8的多叉樹刪除指定結(jié)點(diǎn)的示意圖；
圖9b是圖8刪去指定結(jié)點(diǎn)后的最簡多叉樹表示形式。
【具體實(shí)施方式】
[0010]為進(jìn)一步說明各實(shí)施例，本發(fā)明提供有附圖。這些附圖為本發(fā)明揭露內(nèi)容的一部分，其主要用以說明實(shí)施例，并可配合說明書的相關(guān)描述來解釋實(shí)施例的運(yùn)作原理。配合參考這些內(nèi)容，本領(lǐng)域普通技術(shù)人員應(yīng)能理解其他可能的實(shí)施方式以及本發(fā)明的優(yōu)點(diǎn)。
[0011]現(xiàn)結(jié)合附圖和【具體實(shí)施方式】對本發(fā)明進(jìn)一步說明。首先，對實(shí)施例中涉及到的一些術(shù)語進(jìn)行定義。有向圖是用來表示系統(tǒng)間支持關(guān)系的一種圖形化形式，若系統(tǒng)A由系統(tǒng)B所支持，則用有向箭頭表示為:B->A;若系統(tǒng)A由A和B邏輯乘組成的混合系統(tǒng)AB所支持，則用有向箭頭表示為:AB->A。父結(jié)點(diǎn)與孩子結(jié)點(diǎn)是多叉樹中結(jié)點(diǎn)之間的邏輯繼承關(guān)系，孩子結(jié)點(diǎn)是支持父結(jié)點(diǎn)系統(tǒng)的系統(tǒng)。根結(jié)點(diǎn)是多叉樹的第一層結(jié)點(diǎn)，代表所要分析的目標(biāo)系統(tǒng);葉子結(jié)點(diǎn)是多叉樹中沒有孩子結(jié)點(diǎn)的結(jié)點(diǎn)。本發(fā)明將通過下列三個實(shí)施例進(jìn)行詳細(xì)說明:
實(shí)施例一
三個系統(tǒng)A、B、C彼此相互支持，因此組成帶邏輯環(huán)的線性相關(guān)系統(tǒng)。下面根據(jù)本發(fā)明的方法對該帶邏輯環(huán)的線性相關(guān)系統(tǒng)進(jìn)行分析，以得到目標(biāo)系統(tǒng)失效的最小因素組合。具體分析步驟為:
步驟A:獲取系統(tǒng)間相互支持的關(guān)系，所述系統(tǒng)A、B、C是彼此相互支持的；
步驟B:由于所述系統(tǒng)A、B、C是線性關(guān)系，因此可以直接根據(jù)系統(tǒng)A、B、C間相互支持的關(guān)系得到系統(tǒng)間的有向圖，如圖1所示；
步驟C:以系統(tǒng)A作為目標(biāo)系統(tǒng)，并作為多叉樹的根結(jié)點(diǎn)；
步驟D:根據(jù)圖1，先畫出以系統(tǒng)A為根結(jié)點(diǎn)的孩子結(jié)點(diǎn)B、C，然后以每個孩子結(jié)點(diǎn)B、C作為父結(jié)點(diǎn)，畫出其各自孩子結(jié)點(diǎn)A、C和A、B，此時樹的深度等于系統(tǒng)個數(shù)(3個)，得到如圖2所示的目標(biāo)系統(tǒng)A的多叉樹；
步驟E:深度優(yōu)先算法遍歷由根結(jié)點(diǎn)A至葉子結(jié)點(diǎn)的所有路徑，刪去每條路徑中第二次出現(xiàn)的結(jié)點(diǎn)及其孩子結(jié)點(diǎn)，其中，路徑A-B-A和A-C-A中A出現(xiàn)了兩次，因此刪去它們中的第二次出現(xiàn)的結(jié)點(diǎn)及其孩子結(jié)點(diǎn)(本實(shí)施例中的第二次出現(xiàn)的結(jié)點(diǎn)A沒有孩子結(jié)點(diǎn))，得到刪除指定結(jié)點(diǎn)后的最簡多叉樹，如圖3所示；
步驟F:從根結(jié)點(diǎn)A到葉子結(jié)點(diǎn)，用布爾代數(shù)式逐層表示最簡多叉樹，參照圖3b，第一層A結(jié)點(diǎn)下有B、C兩個孩子結(jié)點(diǎn)，其布爾代數(shù)式表示為:A=Aa+AbB+AcC，其中Aa表示系統(tǒng)A本身失效的因素，Ab表示系統(tǒng)B引起的系統(tǒng)A失效的因素，Ac表示系統(tǒng)C引起的系統(tǒng)A失效的因素，第二層B結(jié)點(diǎn)下有C一個孩子結(jié)點(diǎn)，其布爾代數(shù)式表示為:B=Bb+BcC，其中Bb表示系統(tǒng)B本身失效的因素，Be表示系統(tǒng)C引起的系統(tǒng)B失效的因素，C結(jié)點(diǎn)下有B—個孩子結(jié)點(diǎn)，其布爾代數(shù)式表示為:C=Cc+CbB，其中Ce表示系統(tǒng)C本身失效的因素，Cb表示系統(tǒng)B引起的系統(tǒng)C失效的因素，第三層B結(jié)點(diǎn)、C結(jié)點(diǎn)下面都沒有孩子結(jié)點(diǎn)，因此其布爾代數(shù)式表示為:B=Bb，C=Cc;
步驟G:參照圖3b，步驟F得到的各層布爾代數(shù)式為:第一層:A=Aa+AbB+AcC，第二層:B=Bb+BcC，C=Cc+CbB第三層:C=Cc，B=Bb;從第三層到第一層，逐層迭代，得到根結(jié)點(diǎn)A的布爾代數(shù)式為:A=Aa+Ab (Bb+BcCc) +Be (Cc+CbBb) =Aa+AbBb+AbBcCc+BcCc+BcCbBb ；
步驟H:由根結(jié)點(diǎn)A的布爾代數(shù)式，得到所述目標(biāo)系統(tǒng)A失效的最小因素組合為:Aa、AbBb、AbBcCc、BcCc、BcCbBb，即，系統(tǒng)A本身失效的因素，系統(tǒng)B引起的系統(tǒng)A失效的因素與系統(tǒng)B本身失效的因素的組合，系統(tǒng)B引起的系統(tǒng)A失效的因素、系統(tǒng)C引起的系統(tǒng)B失效的因素和系統(tǒng)C本身失效的因素三者的組合，系統(tǒng)C引起的系統(tǒng)B失效的因素與系統(tǒng)C本身失效的因素的組合，系統(tǒng)C引起的系統(tǒng)B失效的因素、系統(tǒng)B引起的系統(tǒng)C失效的因素和系統(tǒng)B本身失效的因素三者的組合。
[0012]實(shí)施例二
系統(tǒng)A、B既有相互支持的線性關(guān)系，又有兩者邏輯乘的非線性關(guān)系，組成帶邏輯環(huán)的非線性相關(guān)系統(tǒng)。下面根據(jù)本發(fā)明的方法對該帶邏輯環(huán)的非線性相關(guān)系統(tǒng)進(jìn)行分析，以得到目標(biāo)系統(tǒng)失效的最小因素組合。具體分析步驟為:
步驟A:獲取系統(tǒng)間相互支持的關(guān)系，所述系統(tǒng)A與系統(tǒng)B是相互支持的，同時，又有混合系統(tǒng)AB;
步驟B:將系統(tǒng)A和系統(tǒng)B邏輯乘組成的混合系統(tǒng)AB獨(dú)立成單獨(dú)系統(tǒng)，根據(jù)系統(tǒng)A、B、混合系統(tǒng)AB間的相互支持關(guān)系得到系統(tǒng)間的有向圖，如圖4所示；
步驟C:以系統(tǒng)A作為目標(biāo)系統(tǒng)，并作為多叉樹的根結(jié)點(diǎn)；
步驟D:根據(jù)圖4，由根結(jié)點(diǎn)A到葉子結(jié)點(diǎn)，逐層畫出父結(jié)點(diǎn)的孩子結(jié)點(diǎn)，直到樹的深度等于系統(tǒng)個數(shù)(3個，系統(tǒng)A、B、混合系統(tǒng)AB)，得到如圖5所示的目標(biāo)系統(tǒng)A的多叉樹；
步驟E:深度優(yōu)先算法遍歷由根結(jié)點(diǎn)A至葉子結(jié)點(diǎn)的所有路徑，刪去每條路徑中第二次出現(xiàn)的結(jié)點(diǎn)及其孩子結(jié)點(diǎn)，其中路徑A-B-A、A-B-AB和A-AB中A都出現(xiàn)了兩次(結(jié)點(diǎn)AB視為A和B又出現(xiàn)一次)，因此刪去它們中的第二次出現(xiàn)的結(jié)點(diǎn)及其孩子結(jié)點(diǎn)(本實(shí)施例中的A、AB沒有孩子結(jié)點(diǎn))，得到刪除指定結(jié)點(diǎn)后的最簡多叉樹，如圖6所示；
步驟F:從根結(jié)點(diǎn)A到葉子結(jié)點(diǎn)，用布爾代數(shù)式逐層表示刪除指定結(jié)點(diǎn)后的多叉樹，參照圖6b，第一層A結(jié)點(diǎn)下有B孩子結(jié)點(diǎn)，其布爾代數(shù)式表不為:A=Aa+AbB，其中，Aa表不系統(tǒng)A本身失效的因素，Ab表示系統(tǒng)B引起的系統(tǒng)A失效的因素，第二層B結(jié)點(diǎn)沒有孩子結(jié)點(diǎn)，因此其布爾代數(shù)式表示為:B=Bb，其中，Bb表示系統(tǒng)B本身失效的因素；
步驟G:參照圖6b，步驟F得到的布爾代數(shù)式為:第一層:A=Aa+AbB，第二層:B=Bb;從第二層到第一層，逐層迭代，得到根結(jié)點(diǎn)A的布爾代數(shù)式為:
A=Aa+AbBb ；
步驟H:由根結(jié)點(diǎn)A的布爾代數(shù)式A=Aa+AbBb，得到所述目標(biāo)系統(tǒng)A失效的最小因素組合為:Aa、AbBb，8卩，系統(tǒng)A本身失效的因素，系統(tǒng)B引起的系統(tǒng)A失效的因素與系統(tǒng)B本身失效的因素的組合。
實(shí)施例三
該實(shí)施例以一個利用在當(dāng)前的核電站可靠性分析方法的工程應(yīng)用當(dāng)中典型的帶有邏輯環(huán)的例子來求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合進(jìn)行說明。該例子存在于以下的系統(tǒng)組成的線性相關(guān)的系統(tǒng)當(dāng)中:A.應(yīng)急冷卻水供應(yīng)系統(tǒng)(ECWS)、B.通風(fēng)與空氣調(diào)節(jié)系統(tǒng)(HVAC)、C.電力供應(yīng)系統(tǒng)(EPS)、D.廠用水系統(tǒng)(SWS)、E.組件冷卻水系統(tǒng)(CCWS)。這五個系統(tǒng)間的關(guān)系的有向圖如圖7所示。在這五個系統(tǒng)中任何一個系統(tǒng)都需要建立在其他的系統(tǒng)的之上才能正常運(yùn)行，也就是說任何一個系統(tǒng)的運(yùn)行都需要至少一個其它的系統(tǒng)所支持。比如ECWS系統(tǒng)的正常運(yùn)行，需要CCWS和EPS系統(tǒng)的支持。它們相互之間較為復(fù)雜的支持關(guān)系，導(dǎo)致了許多邏輯環(huán)的產(chǎn)生，這會給可靠性分析帶來麻煩，如果不打破邏輯環(huán)，就得不到導(dǎo)致一個系統(tǒng)失效的因素。
[0013]現(xiàn)選定應(yīng)急冷卻水供應(yīng)系統(tǒng)(ECWS)作為目標(biāo)系統(tǒng)，根據(jù)本發(fā)明的方法分析導(dǎo)致其失效的因素。按照上述步驟，首先畫出以A(ECWS)為根結(jié)點(diǎn)的交叉樹，如圖8所示，然后刪除每條路徑上出現(xiàn)第二次的結(jié)點(diǎn)及其孩子結(jié)點(diǎn)，如圖9a所示，得到如圖9b所示的刪除結(jié)點(diǎn)后的最簡交叉樹，接著從根結(jié)點(diǎn)A到葉子結(jié)點(diǎn)，用布爾代數(shù)式逐層表示，再從葉子結(jié)點(diǎn)到根結(jié)點(diǎn)，將布爾代數(shù)式逐層向上迭代，得到最終的根結(jié)點(diǎn)A的布爾代數(shù)式為:A=Aa+AcCC+AeEe+AcBbCb+AcCeEe+AeBbEb+AeCcEc+AeDdEd+AcBbCeEb+AcCeDdEd+AeBcCcEb+AeBbCbEc+AeBbDbEd+AeCcDcEd+AcBbCeDbEd+AeBcCcDbEd+AeBbCbDcEdo
[0014]因此，應(yīng)急冷卻水供應(yīng)系統(tǒng)(ECWS)失效的最小因素組合是Aa、AcCc、AeEe、AcBbCb、AcCeEe、AeBbEb、AeCcEc、AeDdEd、AcBbCeEb、AcCeDdEd、AeBcCcEb、AeBbCbEc、AeBbDbEd、AeCcDcEd、AcBbCeDbEd、AeBcCcDbEd、AeBbCbDcEd。同樣的道理，也能得到核電站中5個系統(tǒng)的其它系統(tǒng)失效的最小因素組合。這樣，就能夠得到核電站中每個系統(tǒng)失效的具體因素，使核電站中的故障分析、檢修維修更有針對性，有利于進(jìn)一步提高核電站安全性。
[0015]通過上面三個實(shí)施例，可以看出，本發(fā)明的方法僅適用于任意個數(shù)的線性系統(tǒng)，也適用于任意個數(shù)的非線性系統(tǒng)，思路簡單，計(jì)算量小，同時，以多叉樹表示，形式直觀，可以很方便地得到系統(tǒng)失效的最小因素組合。本發(fā)明的基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法，相比于現(xiàn)有的迭代的方法，本發(fā)明采用新的方式實(shí)現(xiàn)，使計(jì)算機(jī)的硬件開銷更節(jié)約，從而可以快速地求解，更加適于一些帶邏輯環(huán)的系統(tǒng)的快速故障診斷分析中的應(yīng)用。
[0016]盡管結(jié)合優(yōu)選實(shí)施方案具體展示和介紹了本發(fā)明，但所屬領(lǐng)域的技術(shù)人員應(yīng)該明白，在不脫離所附權(quán)利要求書所限定的本發(fā)明的精神和范圍內(nèi)，在形式上和細(xì)節(jié)上可以對本發(fā)明做出各種變化，均為本發(fā)明的保護(hù)范圍。
【主權(quán)項(xiàng)】
1.一種基于多叉樹求解帶邏輯環(huán)系統(tǒng)失效的最小因素組合的方法，其特征在于: 包括以下步驟: 步驟A:獲取待求解的邏輯環(huán)中的系統(tǒng)間相互支持的關(guān)系； 步驟B:判斷邏輯環(huán)中是否存在混合系統(tǒng)，其中，混合系統(tǒng)是指由至少兩個系統(tǒng)邏輯乘組成的系統(tǒng)，若有，則將每一個混合系統(tǒng)獨(dú)立作為一個單獨(dú)的系統(tǒng)，再根據(jù)邏輯環(huán)中系統(tǒng)間相互支持的關(guān)系得到系統(tǒng)間的有向圖，若無，直接根據(jù)邏輯環(huán)中系統(tǒng)間相互支持的關(guān)系得到系統(tǒng)間的有向圖； 步驟C:選定邏輯環(huán)中一個系統(tǒng)作為目標(biāo)系統(tǒng)，該目標(biāo)系統(tǒng)作為多叉樹的的根結(jié)點(diǎn)，其中，根結(jié)點(diǎn)是指多叉樹的第一層結(jié)點(diǎn)； 步驟D:根據(jù)所述有向圖，先畫出以根結(jié)點(diǎn)為父結(jié)點(diǎn)的孩子結(jié)點(diǎn)，其中，父結(jié)點(diǎn)與孩子結(jié)點(diǎn)是多叉樹中結(jié)點(diǎn)之間的邏輯繼承關(guān)系，孩子結(jié)點(diǎn)是支持父結(jié)點(diǎn)系統(tǒng)的系統(tǒng)，然后以目標(biāo)系統(tǒng)的每個孩子結(jié)點(diǎn)作為父結(jié)點(diǎn)，以支持所述父結(jié)點(diǎn)的系統(tǒng)的系統(tǒng)作為其孩子結(jié)點(diǎn)，畫出其孩子結(jié)點(diǎn)，以此類推，直到樹的深度恰好等于系統(tǒng)總個數(shù)，就得到了邏輯環(huán)中關(guān)于所述目標(biāo)系統(tǒng)的多叉樹，其中，若邏輯環(huán)中存在混合系統(tǒng)，則必須將混合系統(tǒng)個數(shù)和其他非混合系統(tǒng)相加作為系統(tǒng)總個數(shù)，若邏輯環(huán)中不存在混合系統(tǒng)，則直接以所有非混合系統(tǒng)的個數(shù)作為系統(tǒng)總個數(shù)； 步驟E:深度優(yōu)先算法遍歷該多叉樹中由根結(jié)點(diǎn)至葉子結(jié)點(diǎn)的所有路徑，其中，葉子結(jié)點(diǎn)是指多叉樹中沒有孩子結(jié)點(diǎn)的節(jié)點(diǎn)，若結(jié)點(diǎn)是混合系統(tǒng)，則表示組成該混合系統(tǒng)的每個系統(tǒng)出現(xiàn)一次，刪去每條路徑中第二次出現(xiàn)的結(jié)點(diǎn)及其孩子結(jié)點(diǎn)，得到刪除指定結(jié)點(diǎn)后的最簡多叉樹； 步驟F:從根結(jié)點(diǎn)到葉子結(jié)點(diǎn)，用布爾代數(shù)式逐層表示所述最簡多叉樹； 步驟G:從葉子結(jié)點(diǎn)到根結(jié)點(diǎn)，將布爾代數(shù)式逐層向上迭代，直到得到根結(jié)點(diǎn)的布爾代數(shù)式； 步驟H:由根結(jié)點(diǎn)的布爾代數(shù)式，得到所述目標(biāo)系統(tǒng)失效的最小因素組合。2.如權(quán)利要求1所述的方法，其特征在于:所述有向圖的表示方法為:若系統(tǒng)A由系統(tǒng)B所支持，則用有向箭頭表示為:B->A;若系統(tǒng)A由A和B邏輯乘組成的混合系統(tǒng)AB所支持，則用有向箭頭表示為:AB->A。
【文檔編號】G06F17/50GK106055809SQ201610395556
【公開日】2016年10月26日
【申請日】2016年6月6日
【發(fā)明人】楊奧, 繆惠芳
【申請人】廈門大學(xué)