Research on Complete Deduction Rules of Sequence Failure Symbol in Cut Sequence Set Model
Nan Song · 2011
Cut sequence set(CSS) model based on dynamic gates' sequential failure logic is a method to solve dynamic fault tree(DFT).In order to convert CSS to minimal cut sequence set(MCSS) in the CSS model,the paper researches the complete deduction rules of sequence failure symbol(SFS).Focusing on the completeness,12 rules are proposed;in addition,the proofs of the rules' completeness and a practical example are provided.As the further formalized description of CSS model's qualitative analysis CSS model,these rules can be used to automatically achieve complex dynamic systems' MCSS.