Quantification Method of Cut Sequence Set Model Based on Temporal Failure Logic
LI Yia · Jisuanji gongcheng · 2012
To overcome the fuzziness,inconsistency and limitation in Cut Sequence Set(CSS) model for dynamic fault tree,this paper proposes a quantification method of cut sequence set model based on temporal failure logic.It gives three tense failure logics,including priority failure logic,sequential failure logic and spares failure logic.Using temporal failure logic,it designs an unified quantitative method of different tenses failure logic.Example results show that this method is accurate,convenient,and easy to operate.