SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets

2020 ◽  
pp. 1-15
Author(s):  
Weilin Luo ◽  
Ou Wei ◽  
Hai Wan
Keyword(s):  
2014 ◽  
Vol 889-890 ◽  
pp. 591-594
Author(s):  
Richard Kuracina ◽  
Denis Šandor ◽  
Karol Balog

FTAe is software tool for Fault Tree Analysis in Microsoft Excel. This paper is focused on short description of created FTAe. A brief description of Fault Tree Analysis is in the first part of paper. The Structure, Logic and Minimal Cut Sets in Fault Tree analysis is described too. Next part of this paper is focused on the choice of algorithm for cut set calculation and brief description of structure of FTAe. Finally, advantages of FTAe software in Microsoft Excel are described in conclusions.


2015 ◽  
Vol 31 (17) ◽  
pp. 2844-2851 ◽  
Author(s):  
Radhakrishnan Mahadevan ◽  
Axel von Kamp ◽  
Steffen Klamt

Author(s):  
E Zio ◽  
M Librizzi ◽  
G Sansavini

In the present work, cellular automata are combined with Monte Carlo sampling to solve two critical problems related to the unreliability assessment of complex networks composed of nodes interconnected by binary arcs: the identification of the minimal cut sets of the network and the computation of the Fussell—Vesely importance measures assessing the criticality of each arc with respect to the network unreliability. The effectiveness of the method is tested on two literature case studies.


Sign in / Sign up

Export Citation Format

Share Document