[发明专利]时间约束触改逻辑的动态故障树模型及仿真方法

权利要求书

1.时间约束触改逻辑的动态故障树模型的仿真方法，其特征在于：

时间约束触改逻辑的动态故障树模型为：

假设系统(A)中存在第一单元(A₁)和第二单元(A₂)，这两个单元的工作时间是[t₁,t₂)，存在特定时间T，t₁≤T＜t₂，在特定时间T之前，第一单元(A₁)和第二单元(A₂)是第一逻辑关系，在特定时间T之后，第一单元(A₁)和第二单元(A₂)是第二逻辑关系，结合单事件时序门及静态逻辑门，系统(A)建立相应的故障树模型；

单事件时序门包括：

输入事件，是指一个事件，包含0，1两种状态，0-事件不发生，1-事件发生，表示单元故障；

输出事件，也是指一个事件，包含0，1两种状态，0-输出事件不发生，表示在第一条件约束、第二条件约束范围内输入事件不发生，1-输出事件发生，表示在第一条件约束、第二条件约束范围内输入事件发生；

第一条件约束为时间约束的起始时间t_s、第二条件约束为时间约束的结束时间t_e；

单事件时序门的逻辑关系为：中间的逻辑门是指输入事件在时间[t_s，t_e)内任一时间发生故障，均会导致输出事件发生；

该仿真方法包括以下步骤：

(1)输入仿真所需信息：所有底事件的失效时间分布函数和维修时间分布函数；设置仿真总时间SimAllTime，仿真总次数SimAllNumber，输入单事件时序门的时间约束：起始时间t_s和结束时间t_e；

(2)仿真次数SimNumber赋值为1，SimNumber＝1；

(3)系统仿真时间初始化：仿真时间SimTime赋值为0，SimTime＝0，系统故障修复时间＝0；

(4)失效时间抽样：利用蒙特卡罗抽样方法，抽取所有底事件的失效时间，将失效时间放入事件队列MyEvent()中，并进行排序处理；

(5)获得最先发生的事件及其发生时间：根据事件队列，获得最先发生的事件及其时间MyEvent(0)；

(6)判断最先发生事件类型：若是故障发生事件，则转到步骤(7)；若是修复事件，则转到步骤(10)；

(7)输入事件状态＝1；

(8)通过单事件时序门逻辑得到输出事件状态；

(9)抽取输入事件的维修时间，输入事件的下次修复时刻＝仿真时间+抽取的维修时间，并放入事件队列；转到步骤(13)；

(10)输入事件状态＝0；

(11)抽取输入事件的下次失效时间；

(12)输入事件的下次失效时刻＝仿真时间+抽取的下次失效时间，并放入事件队列；

(13)通扫故障树，给出顶事件状态；即自下向上，逐一给出各故障逻辑门输出事件的状态，直到得出顶事件的状态；

(14)判断当前仿真时间是否大于仿真总时间：若否，则本次仿真未结束，对事件队列重新排序，然后转到步骤(5)；若是，则转到步骤(15)；

(15)判断仿真次数是否大于仿真总次数，若否，则系统仿真未结束，仿真次数加1，然后转到步骤(3)；若是，则转到步骤(16)；

(16)根据仿真得到的数据，统计系统的与可靠性指标相关的信息，计算系统可靠性指标，以便衡量系统的可靠性水平；

(17)结束。

2.根据权利要求1所述的时间约束触改逻辑的动态故障树模型的仿真方法，其特征在于：所述步骤(8)中，单事件时序逻辑门仿真逻辑具体包括：判断失效时间是否在时间约束内，若是，输出事件发生，输出事件状态＝1；若否，输出事件不发生，输出事件状态＝0。

3.根据权利要求1所述的时间约束触改逻辑的动态故障树模型的仿真方法，其特征在于：单事件时序门的数量为四个，为第一单事件时序门、第二单事件时序门、第三单事件时序门、第四单事件时序门；第一单事件时序门、第二单事件时序门之间为或门，第三单事件时序门、第四单事件时序门之间为与门，所述或门与所述与门之间为或门。