一種復(fù)雜表決系統(tǒng)的可靠性建模與解算方法
基本信息
| 申請(qǐng)?zhí)?/td> | CN201210058508.8 | 申請(qǐng)日 | - |
| 公開（公告）號(hào) | CN102663227B | 公開（公告）日 | 2016-01-13 |
| 申請(qǐng)公布號(hào) | CN102663227B | 申請(qǐng)公布日 | 2016-01-13 |
| 分類號(hào) | G06F19/00(2011.01)I | 分類 | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 孫宇鋒;常增柱;許健;趙廣燕 | 申請(qǐng)（專利權(quán)）人 | 蘇州天航長(zhǎng)鷹科技發(fā)展有限公司 |
| 代理機(jī)構(gòu) | 北京慧泉知識(shí)產(chǎn)權(quán)代理有限公司 | 代理人 | 王順榮;唐愛華 |
| 地址 | 215000 江蘇省蘇州市相城區(qū)望亭鎮(zhèn)何家角村杭橋路1號(hào)-3 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 一種復(fù)雜表決系統(tǒng)的可靠性建模與解算方法，其步驟如下：1，搜索可靠性框圖中的全部最小路集，生成全系統(tǒng)結(jié)構(gòu)函數(shù)φ＝α+β，β為包含表決器VM的最小路集項(xiàng)；2，將β子圖獨(dú)立出來，并以表決器VM為節(jié)點(diǎn)分為兩個(gè)子圖，β＝η+θ，η稱為廣義表決結(jié)構(gòu)；3，搜索η中起的S到各表決模塊的最小路集，生成各表決模塊的等效布爾結(jié)構(gòu)函數(shù)λi；4，根據(jù)每個(gè)表決模塊的λi，將廣義表決結(jié)構(gòu)轉(zhuǎn)換為等效簡(jiǎn)單表決結(jié)構(gòu)；5，采用表決系統(tǒng)結(jié)構(gòu)函數(shù)法求解等效簡(jiǎn)單表決結(jié)構(gòu)，即求解廣義表決系統(tǒng)的結(jié)構(gòu)函數(shù)η；6，用最小路集法求解VM到終點(diǎn)T的結(jié)構(gòu)函數(shù)θ；7，分別求得β和φ，對(duì)φ進(jìn)行BDD不交化求得不交化結(jié)構(gòu)函數(shù)，進(jìn)而求出系統(tǒng)可靠度R(φ)。本發(fā)明在系統(tǒng)可靠性建模與仿真技術(shù)領(lǐng)域里有良好的應(yīng)用前景。 |
