Об одном подходе к нeчеткому логическому моделированию цифровых устройств

В статье исследуется проблема двоичного нечеткого моделирования цифровых устройств (ЦУ). В отличие от аналогичной классической проблемы предполагается, что входные сигналы ЦУ являются нечеткими. В реальных ЦУ для каждого входа (0 или 1) существует определенный диапазон в вольтах. Если входной сигнал выходит за этот диапазон, то корректность его идентификации не гарантируется. Нечеткость входного сигнала означает, что наблюдаемые его значения могут быть либо внутри определенного диапазона, или вне его. Известно, что логическое моделирование каждого ЦУ состоит в вычислении значения определенного логического выражения. Это выражение есть математическая модель ЦУ. Кроме того, это логическое выражение может всегда быть представлено в терминах трех логических операций, а именно И, ИЛИ, НЕ. В статье предлагается метод сведения исследуемой проблемы к проблеме нечеткого моделирования систем в пространстве вещественных чисел. Метод основан на представлении логического выражения с использованием бесконечнозначной (непрерывной) логики. Вычисление в этой логике сводится к вычислению выражения в пространстве вещественных чисел. Предложенная в статье процедура намного менее трудоемка, чем ранее известная процедура для нечеткого моделирования, использующая нечеткую арифметику в пространстве вещественных чисел.