4.2.3. Пример 3. Переопределение состояний первичных входов

Следующий пример основан на схеме рис.4.8 и иллюстрирует алгоритми­ческое свойство процедуры PODEM.

Рис. 4. 8. Схема для иллюстрации алгоритма PODEM (пример 3)

Это свойство базируется на процессе так называемого ПВх-переопределения первичных входов, посредством которого в случае возникновения конфликта значение состояния каждого определенного первичного входа систематически инвертируется, чтобы определить, существует ли какой-либо входной набор, который обнаруживает заданную неисправность. В конечном итоге проверяется множество всех возможных значении сигналов.

НАЧАЛЬНАЯ УСТАНОВКА всех узлов схемы в неопределенное логические

состояние Х

ВЫБРАТЬ НЕИСПРАВНОСТЬ: G 4.8 н-к-1

ИСХОДНЫЙ ЦЕЛЕВОЙ УЗЕЛ:

OB (G 4.8 =D)

Обратный проход:

OB (G 4.8 = D) : — G 4.9 (= B) = 1

0В (В = 1)

ОПРЕДЕЛИТЬ: ПВх (В) = 1 ПВх-определение

МОДЕЛИРОВАТЬ:

В = 1

Последовательность вопросов приводит к OB (G 4.8 =D)

ОБРАТНЫЙ ПРОХОД

OB (G 4.8 =D) : G 4.10 (= C) = 1

0В (С = 1)

ОПРЕДЕЛИТЬ ПВх (С) = 1 ПВх-определение № 2

МОДЕЛИРОВАТЬ:

С = 1

G 4.8 =D

Последовательность вопросов дает теперь OB (G 5.12 = D)

ОБРАТНЫЙ ПРОХОД:

OB (G 5.12 = D) : выбираем произвольно G 5.1 (= G 2.3) = 1

OB (G 2.3 = 1) : —G 2.1 (=А) = 0

OB (А = 0)

ОПРЕДЕЛЛИТЬ ПВх (А) = 0 ПВх-определение № 3

МОДЕЛИРОВАТЬ:

А = 0

G 2.3 = 1

G 1.2 = 1

G 3.6 = 0

G 5.12 = 1 ПРОТИВОРЕЧИТ требуемому значению

ПРИМЕНИТЬ ПВх-переопределение

Переопределить последний неотмеченный первичный вход, устанавливая на нем

логическое состояние, инверсное начально определенному. Переопре­деление отме-

тить меткой R и повторить моделирование

ПЕРЕОПРЕДЕЛИТЬ ПВх (А) = 1 ПВх-опредслсние № 3/R

МОДЕЛИРОВАТЬ:

А = 1

G 1.2 = 0

G 3.6 = 1

G 2.3 = 0

G 5.12 = 1 ПРОТИВОРЕЧИТ требуемому значению

ПРИМЕНИТЬ ПВх-переопределение:

Переопределить последний неотмеченный первичный вход, устанавливая на нем

значение, инверсное начальному. Переопределение отметить меткой R и повторить

моделирование

ПЕРЕОПРЕДЕЛИТЬ ПВх (С) = 0 ПВх-определение № 2/R

МОДЕЛИРОВАТЬ

:

:

(и т. д.)

Процедура, рассматриваемая в данном примере, в конечном счете приведет к инвертированию всех начально определенных значений состояний первичных входов, тем не менее тест для заданной неисправности и не будет определен (так как неисправность расположена в логически избыточном соединении). Как можно заметить, процедура ПВх-переопределения представляет собой простой механизм перебора всех возможных комбинаций значений состояний первичных входов, что определяет процедуру PODEM как алгоритмическую.

На практике ПВх-переопределение часто осуществляется только в схемах со сложными и сходящимися ветвлениями или в схемах с логически избыточ­ными (нетестируемыми) узлами. Это замечание приводит к другой методике, в соответствии с которой число ПВх-переопределений ограничивается (скажем, числом n, где n — число первичных входов). Такой подход позволяет потен­циально сократить временные затраты на вычисления, но исключает алгорит­мические свойства процедуры PODEM.