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