[發(fā)明專利]一種復雜表決系統(tǒng)的可靠性建模與解算方法

有效

• 申請?zhí)枺?/td>: 201210058508.8
• 申請日: 2012-03-07
• 公開（公告）號: CN102663227A
• 公開（公告）日: 2012-09-12
• 發(fā)明（設計）人: 孫宇鋒;常增柱;許健;趙廣燕
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F19/00
• 分類號: G06F19/00
• 代理公司: 北京慧泉知識產(chǎn)權代理有限公司 11232
• 代理人: 王順榮;唐愛華

1.一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：該方法具體步驟如下：

步驟1，搜索可靠性框圖中的全部最小路集，生成全系統(tǒng)結構函數(shù)φ＝α+β，β為包含表決器VM的最小路集項；

步驟2，將β子圖獨立出來，并以表決器VM為節(jié)點分為兩個子圖，β＝η+θ，η稱為廣義表決結構；

步驟3，搜索η中起的S到各表決模塊的最小路集，生成各表決模塊的等效布爾結構函數(shù)λi；

步驟4，根據(jù)每個表決模塊的λi，將廣義表決結構轉換為等效簡單表決結構；

步驟5，采用表決系統(tǒng)結構函數(shù)法求解等效簡單表決結構，即求解廣義表決系統(tǒng)的結構函數(shù)η；

步驟6，用最小路集法求解VM到終點T的結構函數(shù)θ；

步驟7，分別求得β和φ，對φ進行BDD不交化求得不交化結構函數(shù)，進而求出系統(tǒng)可靠度R(φ)。

2.根據(jù)權利要求1所述的一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：步驟1中所述的可靠性框圖為所分析產(chǎn)品相應層次的可靠性框圖網(wǎng)絡，最小路集搜索方法為節(jié)點遍歷法，結構函數(shù)為布爾結構函數(shù)。

3.根據(jù)權利要求1所述的一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：步驟2中所述的廣義表決結構η為傳統(tǒng)表決結構的擴展結構，由β中起點S到表決器VM中的模塊和表決器VM構成，θ由β中表決器VM及其之后的模塊組成。

4.根據(jù)權利要求1所述的一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：步驟3中所述的λi為與表決器直接相連的表決模塊i的等效布爾結構函數(shù)，表決模塊i的等效布爾結構函數(shù)為β中起點S到模塊i的布爾結構函數(shù)。

5.根據(jù)權利要求1所述的一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：步驟4中所述的等效簡單表決結構為由全部λi和表決器VM組成的簡單表決結構。

6.根據(jù)權利要求1所述的一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：步驟5中所述的結構函數(shù)η為布爾結構函數(shù)。

7.根據(jù)權利要求1所述的一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：步驟6中所述的結構函數(shù)θ為布爾結構函數(shù)。

8.根據(jù)權利要求1所述的一種復雜表決系統(tǒng)的可靠性建模與解算方法，其特征在于：步驟7中所述的BDD不交化為二元決策樹不交化，該結構函數(shù)為布爾結構函數(shù)。