[发明专利]一种复杂表决系统的可靠性建模与解算方法

摘要

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

主权项

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