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

• 作者: 刘东 张红林 王波
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 割序集 顺序失效符 推演规则 动态故障树 可靠性
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 人工智能
• 页码范围: 234-238
• 分类号: TP202.1
• 字数: 5446字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.05.056

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘东	装备学院重点实验室	29	96	5.0	7.0
2	王波		3	8	2.0	2.0