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