𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algorithm for finding minimal cut sets in a fault tree

✍ Scribed by Ladislav Rosenberg


Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
286 KB
Volume
53
Category
Article
ISSN
0951-8320

No coin nor oath required. For personal study only.

✦ Synopsis


This paper presents several algorithms that have been used in a computer code for fault-tree analysing by the minimal cut sets method. The main algorithm is the more efficient version of the new CARA algorithm, which finds minimal cut sets with an auxiliary dynamical structure. The presented algorithm for finding the minimal cut sets enables one to do so by defined requirements-according to the order of minimal cut sets, or to the number of minimal cut sets, or both. This algorithm is from three to six times faster when compared with the primary version of the CARA algorithm.


πŸ“œ SIMILAR VOLUMES


Finding minimal cut sets in a fault tree
✍ JΓΈrn Vatn πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 234 KB

This paper presents a new method for identification of minimal cut sets in a fault tree. The (non-minimal) cut sets are found by a modification of the well-known MOCUS algorithm. These cut sets are stored in a virtual tree structure which requires far less core space than the MOCUS cut set matrix. T

A Faster Algorithm for Finding the Minim
✍ J.X. Hao; J.B. Orlin πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 995 KB

We consider the problem of finding the minimum capacity cut in a directed network \(G\) with \(n\) nodes. This problem has applications to network reliability and survivability and is useful in subroutines for other network optimization problems. One can use a maximum flow problem to find a minimum

A hybrid algorithm for finding minimal u
✍ I. Shah πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 619 KB

Minimal Unsatisfiable Subsets (MUSes) are the subsets of constraints of an overconstrained constraint satisfaction problem (CSP) that cannot be satisfied simultaneously and therefore are responsible for the conflict in the CSP. In this paper, we present a hybrid algorithm for finding MUSes in overco

A self-stabilizing algorithm for finding
✍ Tetz C. Huang; Ji-Cherng Lin; Chih-Yuan Chen; Cheng-Pin Wang πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 202 KB

A 2-dominating set in a distributed system is a set of processors such that each processor outside the set has at least two neighbors in the set. In applications, a 2-dominating set can be considered as an ideal place in the system for allocating resources, and a minimal 2-dominating set allows for