Диагностирование логических схем на функциональных элементах, страница 12

=	1  2  3  6  8   9  12	=	1  2  3  6  8   9  12
	00  0D0 D   ,		00  0D D   .

          Затем   находятся  непустые  пересечения  данных  кубов  и  D-кубов элемента 14. В результате определяются четыре непустых куба, которые определяют условия, при которых неисправность  транслируется на выход схемы по существенному пути 6–9–12–14:

В результате выполнения первого этапа D-алгоритма определяются значения некоторых входных переменных. Значения остальных входных переменных находятся при выполнении второго этапа D-алгоритма – обратного доопределения. В рассматриваемом случае требуется вычислить значение только одной входной переменной .

          Процедура доопределения начинается с выходного элемента, а затем рассматриваются последовательно элементы с убывающими номерами, выходам которых приписаны 0 или 1. При этом решается следующая задача. По известному сигналу на выходе элемента (0 или 1) определяются сигналы на входах элемента (если они не определены). Для этого выполняется операция D-пересечения полученных в результате выполнения первого этапа D-алгоритма D-кубов со сжатыми кубами таблицы истинности элемента. Если получено непустое D-пересечение, то оно определяет входной набор, проверяющий данную неисправность.

          Представим сжатую таблицу истинности для элемента ИЛИ-НЕ в следующем виде

                                                                                 Т а б л и ц а   4.10

Рассмотрим полученный выше куб

	1	2	3	4	5	6	7	8	9	10	11	12	13	14
	0	0	0			D		0				D	0		.

В данном кубе выход и входы выходного элемента схемы 14 определены. Поэтому рассматриваем элемент 13. На его выходе должен быть установлен сигнал 0. Для нахождения значений сигналов на входах элемента 13 (линии 10 и 11) определяем D-пересечения куба  с сжатыми кубами элемента 13. Получаем два непустых пересечения

	1	2	3	4	5	6	7	8	9	10	11	12	13	14
	0	0	0			D		0		х	1	D	0		,

	1	2	3	4	5	6	7	8	9	10	11	12	13	14
	0	0	0			D		0		1	х	D	0		.

Далее находим непустые пересечения полученных кубов со сжатыми кубами элемента 11 и т.д. В результате получаем куб

=	1	2	3	4	5	6	7	8	9	10	11	12	13	14
	0	0	0	1	1	D	0	0		х	1	D	0		,