Efficiently evaluate the method and system the minimum cut set of the fault tree

摘要

PROBLEM TO BE SOLVED: To reduce computational complexity in minimum cut set (MCS) evaluation for a tree of a failure including k/n gates and to improve reliability in a result of the MCS evaluation for the tree of the failure.;SOLUTION: A system for evaluating minimum cut sets (MCSs) of a tree of a failure is provided. The evaluation system includes composite k/n gate simplification means which reduces composite k/n gates into basic k/n gates on the basis of a collection of simplification rules, and basic k/n gate minimization means which reduces the basic k/n gates into minimum k/n gates on the basis of a collection of minimization rules.;COPYRIGHT: (C)2012,JPO&INPIT