4.2.2. Пример 2. Многомерный d-проход

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

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

состояние X

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

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

OB (G 4.12 = D)

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

OB (G 4.12 = D) : выбираем произвольно G 4.2 (= В*) = 0

0В (В* = 0)

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

МОДЕЛИРОВАТЬ В* = 0

G 4.12 = D

ВОПРОС: Обеспечивается ли состояние D в целевом узле?

ДА

ВОПРОС: Распространяется ли значение D на первичный выход

НЕТ

Определить кратчайший Х-пугь к первичному выходу. Кратчайшим яв­ляется путь к

выходу NCN1

Произвольно выбираем один из двух кратчайших путей равной длины через G 10 и G 11

Используем D-проход для установления следующего целевого узла:

OB (G 10.3 = D)

ПРОДОЛЖАТЬ D-ПРОХОД

OB (G 10.3 = D)

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

OB (G 10.3 = D): — G 10.1 (= CN) = 1

OB (CN) = 1

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

CN = 1

G 10.3 = D

ВОПРОС: Обеспечивается ли состояние D в целевом узле?

ДА

ВОПРОС: Распространяется ли значение D на первичный выход?

НЕТ

Определить кратчайший Х-путь к первичному выходу. (По-прежнему NCN1).

Использовать D-проход для следующего целевого узла:

OB (G 12.12 =D)

ПРОДОЛЖАГЬ D-ПРОХОД

OB (G 12.12 =D)

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

OB (G 12.12 =D): — G 12.13 (= G 11.3) = 0

OB (G 11.3 = 0): — G 11.2 (= G 3.12) = 0

OB (G 3.12 = 0): —

:

:

ОВ (А1 = 0) ПВх-определение

:

ОВ (А* = 1) ПВх-определение

:

ОВ (АС = 1) ПВх-определение

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

А1 = 0

А*=1

АС=1

G 1.3 = 1

G 3.12 = 0

G 5.3 = 0

G 8.12 = 0

G 9.3 = 0

G 11.3 = 0

G 12.12 =D

NCN1 =D ПВх-определение

G 6.3 = 0 (Сходящееся ветвление D-кубов: D D = 0)

G 7.3 =D

G 13.6 = D

NSUM = D ПВх-определение

G 14.2 =D

SUM =D ПВх-определение

Последовательность вопросов определяет завершение процедуры и получе­ние следующего теста:

А1	А2	А*	АС	С	В1	B2	В*	ВС	NSUM	SUM	NCN1
0	Х	1	1	1	Х	Х	0	0	1(D)	0(D)	0(D)

Относительно данного примера приведем следующие замечания.

а) подпрограмма нахождения Х-путей осуществляет поиск кратчайшею пу­ти от D-границы к любому первичному выходу; если имеется несколько крат­чайших путей равной длины, то выбирается произвольно любой из них;

б) отметим пример сходящегося ветвления инверсных D-кубов неисправно­сти на блоке G 6.