割序集（cut sequence set,CSS）模型是基于动态逻辑门顺序失效机制建立的动态故障树（dynamic fault tree,DFT）分析方法。为将模型中CSS......

在割序集（CSS）模型中,为了将由动态故障树（DFT）转换得到的CSS初级形式整理为最小割序集（MCSS）,提出了顺序失效符（SFS）的推演规则。该推演规......