三值模糊逻辑函数实现静险态的检测

The Examination of Stat-perilous-state by Using 3-valued Logic

在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险态的充要条件 ,从中得到 :(1)借助三值模糊逻辑函数实现 12 -险态是行不通的 ;(2 )当α <12 ,传输向量中的第 j个分量为 12 时 ,可以通过三值模糊逻辑函数实现该变量的α

In 2-valued logic circuit, there exists stat-perilous-state on one fixed variable, which is (examined) by using 2-valued fuzzy logic function. In this paper, every variable in fuzzy logic function is evaluated by three values 0,α and 1. The equivelent conditions of 0-,α- and 1-perilous-state are (investigated.) It is proved that 12-perilous-state cannot be obtained by using 3-valued fuzzy logic (function.) It is possible to get α-perilous-state by means of 3-valued fuzzy logic function, where α is (less) than 12 and the jth-variable of the transmition vector is equal to 12.