时间约束触改逻辑的动态故障树模型及仿真方法

摘要

一种时间约束触改逻辑的动态故障树模型，其能够针对系统中存在时间约束触改故障逻辑的特点，找出系统的薄弱环节，无论对于改进系统的设计，提高系统的可靠性水平，减轻安全问题发生，减少经济损失，都具有极为重要的意义。假设系统(A)中存在第一单元(A₁)和第二单元(A₂)，这两个单元的工作时间是[t₁,t₂)，存在特定时间(T)，(t₁≤T2)，在特定时间(T)之前，第一单元(A₁)和第二单元(A₂)是第一逻辑关系，在特定时间(T)之后，第一单元(A₁)和第二单元(A₂)是第二逻辑关系，结合单事件时序门及与门、或门等静态逻辑门，建立系统(A)的动态故障树模型，并给出模型的仿真方法。