順序付カット列集合を用いたダイナミックフォールトツリー解析

摘要

優先AND ゲートをもつフォールトツリーにおいて，最小カット集合を用いて頂上事象生起確率を計算する方法を提案する・当初，Merle によって定義された演算子を用いて優先 AND ゲートを含むフォールトツリーに定性的記述を与え，順序付き最小カット列集合を導出する．続いて，求めた順序付き最小カット列集合に Abraham の定理を活用して，互いに排反な一通りの生起順序しかもたないカット列の集合を導出する．最後に，既に得られている，マルコフ過程に基づいた順序付き事象の生起確率を求める式を利用し，頂上事象生起確率を算出する．%We propose a method of calculating the top event probability of a fault tree with priority ANDrngates using the minimal cut sets. At first, using new operators which have been defined by Merle, we presentrnthe algebraic forms of the minimal cut sequence set. Secondly, we obtain the concrete sequences of arnminimal cut sequence by Abraham's theory. The probabilities of the cut sequences are calculated by arnMarkov based formula. Finally, we calculate the top event probability of an FT using the probabilities of cutrnsequences.