[發明專利]一種基于跳躍回溯的故障樹最小割集求解方法在審
| 申請號： | 201810309389.6 | 申請日： | 2018-04-09 |
| 公開（公告）號： | CN108388764A | 公開（公告）日： | 2018-08-10 |
| 發明（設計）人： | 魏歐;羅煒麟;李思潔;王立松 | 申請（專利權）人： | 南京航空航天大學 |
| 主分類號： | G06F19/00 | 分類號： | G06F19/00 |
| 代理公司： | 南京鐘山專利代理有限公司 32252 | 代理人： | 戴朝榮 |
| 地址： | 211106 江*** | 國省代碼： | 江蘇;32 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 割集 故障樹 求解 回溯 跳躍 決策 布爾約束 傳播過程 求解空間 聚合 搜索 | ||
【權利要求書】：
1.一種基于跳躍回溯的故障樹最小割集求解方法，其特征在于：包括如下步驟：
一、根據最新求解得到的最小割集，計算回溯的決策等級，稱為關鍵等級；
二、SATMCS回溯到步驟一得到關鍵等級，進行布爾約束傳播過程；
三、結束關鍵等級的迭代，SATMCS進入下一個決策等級，繼續搜索割集。
2.根據權利要求1所述的一種基于跳躍回溯的故障樹最小割集求解方法，其特征在于，步驟二中，通過新學習得到Block子句，保證在進入下一個決策等級時，當前部分賦值在子句集合下不產生沖突。
3.根據權利要求1所述的一種基于跳躍回溯的故障樹最小割集求解方法，其特征在于，步驟一中，決策等級的計算包括如下步驟：
最新求解得到的最小割集中文字按如下序排列x1,x2,…,xk：任意i,j∈[1,…,k]，若i<j，都有DELEVE(xi)≤DELEVE(xj)，其中DELEVE(x)表示x在DPLL中對應的決策等級；
設定決策等級為pl，那么使得pl<DELEVE(xk)且使得pl<DELEV E((xj)。
4.根據權利要求3所述的一種基于跳躍回溯的故障樹最小割集求解方法，其特征在于，對于x1,x2,…,xk，如果j∈[1,…,k]·DELEVE(xi)＝DELEVE(xj)，那么pl＝0。
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于南京航空航天大學，未經南京航空航天大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201810309389.6/1.html，轉載請聲明來源鉆瓜專利網。
- 同類專利
- 專利分類
G06 計算；推算；計數
G06F 電數字數據處理
G06F19-00 專門適用于特定應用的數字計算或數據處理的設備或方法
G06F19-10 .生物信息學，即計算分子生物學中的遺傳或蛋白質相關的數據處理方法或系統
G06F19-12 ..用于系統生物學的建?；蚍抡妫纾焊怕誓Ｐ突騽討B模型，遺傳基因管理網絡，蛋白質交互作用網絡或新陳代謝作用網絡
G06F19-14 ..用于發展或進化的，例如：進化的保存區域決定或進化樹結構
G06F19-16 ..用于分子結構的，例如：結構排序，結構或功能關系，蛋白質折疊，結構域拓撲，用結構數據的藥靶，涉及二維或三維結構的
G06F19-18 ..用于功能性基因組學或蛋白質組學的，例如：基因型–表型關聯，不均衡連接，種群遺傳學，結合位置鑒定，變異發生，基因型或染色體組的注釋，蛋白質相互作用或蛋白質核酸的相互作用
G06F 電數字數據處理
G06F19-00 專門適用于特定應用的數字計算或數據處理的設備或方法
G06F19-10 .生物信息學，即計算分子生物學中的遺傳或蛋白質相關的數據處理方法或系統
G06F19-12 ..用于系統生物學的建?；蚍抡妫纾焊怕誓Ｐ突騽討B模型，遺傳基因管理網絡，蛋白質交互作用網絡或新陳代謝作用網絡
G06F19-14 ..用于發展或進化的，例如：進化的保存區域決定或進化樹結構
G06F19-16 ..用于分子結構的，例如：結構排序，結構或功能關系，蛋白質折疊，結構域拓撲，用結構數據的藥靶，涉及二維或三維結構的
G06F19-18 ..用于功能性基因組學或蛋白質組學的，例如：基因型–表型關聯，不均衡連接，種群遺傳學，結合位置鑒定，變異發生，基因型或染色體組的注釋，蛋白質相互作用或蛋白質核酸的相互作用
