一种带有时间约束故障树分析方法

• 作者: 徐慧 李文
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 时间约束 故障树 传播率 时间重要度
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 算法设计与分析
• 页码范围: 44-48,54
• 页数: 6页
• 分类号: TP391.9
• 字数: 3931字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2016.07.009

摘要

在时间域内的行为对安全苛求系统往往是至关重要的，若出现故障，则大量的故障描述都涉及事件之间的时间因素。针对传统故障树不能直观描述和分析这种时间因素的问题，在原有故障树定义的基础上增加时间约束故障树的语义描述，并根据故障树的扩展语义提出时间约束故障树分析方法。给出时间约束逻辑门和事件平均转移率、输入事件到输出事件传播率和到达率的计算方法。设计故障树基本事件和最小割集到达顶事件的传播率和到达率的算法，该算法遍历故障树中每个节点获得基本事件时间重要度和最小割集到达率，从时间重要度角度对基本事件和最小割集的重要度比较。实验结果表明提出的时序分析方法可以为故障诊断和预防提供理论基础。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李文	南京航空航天大学计算机科学与技术学院	3	10	1.0	3.0
2	徐慧	南京航空航天大学计算机科学与技术学院	9	67	4.0	8.0