Fault tree maximum probability minimum cut set solving method based on local search

Abstract

The invention relates to a fault tree maximum probability minimum cut set solving method based on local search. The method comprises the steps of S1, performing initial logic conversion on a fault tree; obtaining a Boolean expression; s2, modeling a part of the maximum satisfiability problem according to the Boolean expression; s3, using a heuristic algorithm based on local search to solve part ofthe maximum satisfiability problem instances; and S4, maximum probability minimum cut set result conversion: performing inverse logarithm conversion on the result of the S3, and solving a final maximum probability minimum cut set and a joint probability of the final maximum probability minimum cut set. According to the method, the maximum probability minimum cut set of the fault tree is solved byutilizing a partial maximum satisfiability problem and based on an efficient heuristic method of local search, and the minimum basic event combination which most possibly causes the system fault is searched for with more excellent storage space and solving performance. The solving efficiency of the maximum probability and minimum cut set of the complex fault tree can be effectively improved.

Description

technical field [0001] The invention relates to the field of fault tree analysis, more specifically, to a method for solving the maximum probability minimum cut set of the fault tree based on local search. Background technique [0002] Fault tree (fault tree, FT), also known as fault tree, is a special inverted logical causality diagram technique used to describe system failure modes. The fault tree uses event symbols, logic gate symbols and transition symbols to describe the causal relationship between various events in the system, and internally connects each event in the system fault analysis, each fact and result of the analysis, and makes them a whole. The input event of the logic gate is the "cause" of the output event, and the output event of the logic gate is the "effect" of the input event. It combines top events, intermediate events (gate events) and basic events, and connects them with corresponding logic symbols. A fault tree model such as figure 1 shown. The...

AI Technical Summary

Problems solved by technology

[0012] The present invention provides a method for solving the maximum probability minimum cut set of the fault tree based on local search in order to overcome the defect that the solution efficiency of the maximum probability minimum cut set of the complex fault tree described in the above prior art is not high

Images