割序集模型中顺序失效符的推演规则

在割序集(css}模型中，为了将由动态故障树(di"t)转换得到的css初级形式整理为最小割序集(moss),提出了顺序失效符((sfs)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立，包含结合律、或分配律、与分配律、吸收律、csp规则、wsp规则等。给出了各类规则的证明过程，并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。sfs推演规则是css模型定性分析的进一步形式化描述，它不仅解决了自动获得动态系统最小割序集的问题，而且可在此基础上开展计算机辅助工具的设计工作。