一種復(fù)雜表決系統(tǒng)的可靠性建模與解算方法

基本信息

申請?zhí)?/td> CN201210058508.8 申請日 -
公開（公告）號 CN102663227A 公開（公告）日 2012-09-12
申請公布號 CN102663227A 申請公布日 2012-09-12
分類號 G06F19/00(2006.01)I 分類 計算；推算；計數(shù);
發(fā)明人 孫宇鋒;常增柱;許健;趙廣燕 申請（專利權(quán)）人 蘇州天航長鷹科技發(fā)展有限公司
代理機構(gòu) 北京慧泉知識產(chǎn)權(quán)代理有限公司 代理人 王順榮;唐愛華
地址 215000 江蘇省蘇州市相城區(qū)望亭鎮(zhèn)何家角村杭橋路1號-3
法律狀態(tài) -

摘要

摘要 一種復(fù)雜表決系統(tǒng)的可靠性建模與解算方法，其步驟如下：1，搜索可靠性框圖中的全部最小路集，生成全系統(tǒng)結(jié)構(gòu)函數(shù)φ＝α+β，β為包含表決器VM的最小路集項；2，將β子圖獨立出來，并以表決器VM為節(jié)點分為兩個子圖，β＝η+θ，η稱為廣義表決結(jié)構(gòu)；3，搜索η中起的S到各表決模塊的最小路集，生成各表決模塊的等效布爾結(jié)構(gòu)函數(shù)λi；4，根據(jù)每個表決模塊的λi，將廣義表決結(jié)構(gòu)轉(zhuǎn)換為等效簡單表決結(jié)構(gòu)；5，采用表決系統(tǒng)結(jié)構(gòu)函數(shù)法求解等效簡單表決結(jié)構(gòu)，即求解廣義表決系統(tǒng)的結(jié)構(gòu)函數(shù)η；6，用最小路集法求解VM到終點T的結(jié)構(gòu)函數(shù)θ；7，分別求得β和φ，對φ進(jìn)行BDD不交化求得不交化結(jié)構(gòu)函數(shù)，進(jìn)而求出系統(tǒng)可靠度R(φ)。本發(fā)明在系統(tǒng)可靠性建模與仿真技術(shù)領(lǐng)域里有良好的應(yīng)用前景。