[发明专利]一种面向备份结构的故障树分析方法

权利要求书

1.一种面向备份结构的故障树分析方法，其特征在于，具体包括如下步骤：

S1：根据备份结构的工作原理和失效过程构建其动态故障树模型：所述动态故障树模型具体为一备份门，所述备份门包括了一个主部件和多个备件，以及一个输出端，主部件起始时处于工作状态，多个备件处于备份状态；当主部件失效时，可用的备件将会被切换到工作状态，直到备份耗尽；当备份耗尽时，则输出端输出失效，第i个备件切换到下一个备件的切换成功概率用备件的不完全覆盖率c_i表示，取值范围为[0 1]；

S2：将步骤S1得到的备份门转换为模糊Markov模型：所述模糊Markov模型包含N+1个状态，所述N＝2ⁿ⁺¹，n为备份门中备件的数目。状态0和状态1均表示系统失效，其中，状态0表示由于备件切换未成功而导致的系统失效状态，状态1表示由于主部件和多个备件全部失效而导致的系统失效状态，状态N表示备件结构中所有部件均未失效的状态，状态N-1、......、2表示中间状态，即存在部分主部件和多个备件失效的状态，状态N-i到状态N-j的状态转移率为c’_N-i，N-ji，j＝0：N-1且i≠j，其中c’_N-i，N-j表示状态N-i转移至状态N-j的不完全覆盖率，为一模糊数，表示状态N-i转移至状态N-j的所对应失效部件或备件的失效率，状态N-i到状态0的状态转移率为

S3：根据步骤S2得到的模糊Markov模型得到其对应的Kolmogorov状态转移微分方程组；

S4：求解步骤S3得到的Kolmogorov状态转移微分方程组，得到备份结构在任意时刻在各个状态下的模糊状态概率，即完成了备份结构的模糊动态故障树的分析。

2.根据权利要求1所述的故障树分析方法，其特征在于，步骤S3所述的Kolmogorov状态转移微分方程组具体为：其中，表示在t时刻下处于状态i的概率。

3.根据权利要求2所述的故障树分析方法，其特征在于，求解步骤S3得到的Kolmogorov状态转移微分方程组的具体过程如下：

对Kolmogorov状态转移微分方程组进行Laplace-Stieltjes变换，得到Laplace-Stieltjes线性方程组，对方程组进行求解，计算出Markov模型中每个状态概率Laplace-Stieltjes函数表达式对进行Laplace-Stieltjes反变换，得到在t时刻下处于状态i的模糊概率的解析表示式该式是关于模糊状态转移率备件的不完全覆盖率c_i以及时间t的函数表达式；

根据模糊数的扩展原理，得到在任意α水平截集下的各状态概率的区间，具体为：

公式(1)

式中，表示状态i在t时刻的α水平截集下的状态概率区间；表示模糊状态转移率的集合；C为不完全覆盖率集合，表示备件的不完全覆盖率c_i的集合；表示模糊状态转移率集合的隶属度；f_i(Λ，C，t)表示的函数形式，是关于状态转移率集合Λ，不完全覆盖率集合C以及时间t的函数，上述区间通过如下一组参数规划求得：

下边界：

min  f_i(Λ，C，t)(t≥0，0≤α≤1)

s.t.

上边界：

max  f_i(Λ，C，t)(t≥0，0≤α≤1)

s.t.

式中，和i，j＝1，...，N，表示模糊状态转移率在α水平截集下区间的下界和上界。

求解公式(2)和公式(3)得到备份结构在任意时刻在各个状态下的模糊状态概率则系统的模糊失效概率为

4.根据权利要求3所述的故障树分析方法，其特征在于，公式(2)和公式(3)的求解具体通过最速下降法、牛顿迭代法、遗传算法、模拟退火法或蚁群算法进行。