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

摘要

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