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

摘要：

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

关键词：割序集、顺序失效符、推演规则、动态故障树、可靠性

所属期刊栏目：39

分类号：TP202.1(自动化技术及设备)

资助基金：国家自然科学基金60904082

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：234-238