БУЛЕВЫ МОДЕЛИ САМОДИАГНОСТИРОВАНИЯ ДИСКРЕТНЫХ СИСТЕМ

ПОСТРОЕНИЕ БАЗОВОЙ МОДЕЛИ

Опишем состояние каждого компонента P с помощью булевых параметров t=(t₁, ..., t_n). Любой входной булев сигнал Z=(z₁, ..., z_m) преобразовывается компонентом P в выходной сигнал Ф(Z,t).

Рассмотрим следующие состояния компонента:

исправное;
устойчивая неисправность;
неустойчивая неисправность.

Эти состояния можно закодировать двуместным вектором d=(d₁, d₂).

исправное состояние - (1, 0);
неисправное устойчивое состояние - (0, 0);
состояние с неустойчивой неисправностью - (~, 1).

Здесь символ ~ означает любое двузначное значение. Отсюда, если поступает вектор Z=(z₁, z₂) на компонент P в состоянии d=(d₁, d₂), можем определить выходную реакцию согласно построенной таблице истинности: P(z, d)= Ф((z₁, z₂),(d₁,d₂))

Рассмотрим сначала двузначный вариант, и далее трехзначный.