一种复杂表决系统的可靠性建模与解算方法

摘要

一种复杂表决系统的可靠性建模与解算方法，其步骤如下：1，搜索可靠性框图中的全部最小路集，生成全系统结构函数φ＝α+β，β为包含表决器VM的最小路集项；2，将β子图独立出来，并以表决器VM为节点分为两个子图，β＝η+θ，η称为广义表决结构；3，搜索η中起的S到各表决模块的最小路集，生成各表决模块的等效布尔结构函数λi；4，根据每个表决模块的λi，将广义表决结构转换为等效简单表决结构；5，采用表决系统结构函数法求解等效简单表决结构，即求解广义表决系统的结构函数η；6，用最小路集法求解VM到终点T的结构函数θ；7，分别求得β和φ，对φ进行BDD不交化求得不交化结构函数，进而求出系统可靠度R(φ)。本发明在系统可靠性建模与仿真技术领域里有良好的应用前景。

主权项

一种复杂表决系统的可靠性建模与解算方法，其特征在于：该方法具体步骤如下：步骤1，搜索可靠性框图中的全部最小路集，生成全系统结构函数φ＝α+β，β为包含表决器VM的最小路集项，α为消去所有包含表决器VM的项的其他项；步骤2，将β子图独立出来，并以表决器VM为节点分为两个子图，β＝η+θ，η称为广义表决结构；步骤3，搜索η中起点S到各表决模块的最小路集，生成各表决模块的等效布尔结构函数λi；步骤4，根据每个表决模块的λi，将广义表决结构转换为等效简单表决结构；步骤5，采用表决系统结构函数法求解等效简单表决结构，即求解广义表决系统的结构函数η；步骤6，用最小路集法求解VM到终点T的结构函数θ；步骤7，分别求得β和φ，对φ进行BDD不交化求得不交化结构函数，进而求出系统可靠度R(φ)；其中，步骤1中所述的可靠性框图为所分析产品相应层次的可靠性框图网络，最小路集搜索方法为节点遍历法，结构函数为布尔结构函数；其中，步骤2中所述的广义表决结构η为传统表决结构的扩展结构，由β中起点S到表决器VM中的模块和表决器VM构成，θ由β中表决器VM及其之后的模块组成；其中，步骤3中所述的λi为与表决器直接相连的表决模块i的等效布尔结构函数，表决模块i的等效布尔结构函数为β中起点S到模块i的布尔结构函数；其中，步骤4中所述的等效简单表决结构为由全部λi和表决器VM组成的简单表决结构；其中，步骤5中所述的结构函数η为布尔结构函数；其中，步骤6中所述的结构函数θ为布尔结构函数；其中，步骤7中所述的BDD不交化为二元决策树不交化，该结构函数为布尔结构函数。