用多值逻辑树表示的多状态系统可靠性分析

本文提出了多值逻辑树不交布尔代数法,可直接写出不交型结构函数,从而计算其可靠性,而不需先找出最小j值向量或质蕴涵、再将其不交化以计算其可靠性。故可节省计算量。本文还给出从系统不交布尔表达式反求全部最小j值向量的简便算法。用Prolog语言编制了本文算法的程序。

RELIABILITY ANALYSIS FOR MULTI-STATE SYSTEMS REPRESENTED BY MULTI-VALUED LOGIC TREE

This paper proposes a rapid algorithm which can be used to directly obtain the disjoint Boolean expressions of a multiple-valued logic tree. Then it is easy to calculate the probability from the expression. It's applicable both to monotone and non-monotone systems. It avoids finding all minimum vectors to level j or prime implicants. But in qualitative analysis they are useful, so we present a method to generate all minimum vectors to level j for multistate monotone systems from the disjoint expression of the system. The algorithm posesses recursion and hierarchical structure. The program of the algorithm is very simple in Prolog language.