Основы синтеза и диагностирования автоматов. Воронин В.В. - 225 стр.

UptoLike

Составители: 

221
ный результат проверки схемы диагностическим тестом однозначно
указывает множество C
j
, к которому принадлежит испытуемая схема.
Рассмотрим следующий пример. Пусть
имеется схема, представленная на рис. 6.1.
Эта ЛС избыточна, в ней есть дефекты, не
проверяемые ни на одном наборе (например,
обрыв верхнего входа элемента 1). Таблица
неисправностей схемы дана в виде табл. 6.7
в предположении, что неисправности в схе-
ме могут
быть только одиночными. Опреде-
лим из табл. 6.7 множества C
0
,
C
1
, C
2
,…:
С
0
={M
0
,M
1
,M
9
}; С
1
={M
2
,M
13
}; С
2
={M
3
,M
17
};
С
3
={M
4
}; С
4
={M
5
,M
8
,M
12
,M
16
}; С
5
={M
6
,M
15
};
С
6
={M
7
,M
11
}; С
7
={M
10
}; С
8
={M
14
};
Таблица 6.7
Неисправности элементов схемы
Набор
1 2 3 4
s
1,1-0
s
1,2-0
s
1,3-0
s
1-0
s
1-1
s
2,1-1
s
2,2-1
s
2-1
s
2-0
s
3,1-1
s
3,2-1
s
3-1
s
3-0
s
4,1-1
s
4,2-1
s
4-1
s
4-0
x
1
x
2
x
3
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
1 000 1 1 1 1
2 001 1 1 1 1 1
3 010 1 1 1
4 011 1 1 1 1 1 1 1
5 100 1 1 1 1 1 1 1
6 101 1 1 1
7 110 1
8 111 1
Оставим по одному представителю из каждого множества C
i
(i=0,1,2,…,8), а именно: М
1
, М
2
, М
3
, М
4
, М
5
, М
6
, М
7
, М
10
, М
14
. Выде-
ленные жирными линиями части таблицы содержат столбцы дефек-
тов, соответствующих выбранным представителям множеств C
i
. Лег-
&
2
1
1
&
3
&
4
x
1
x
2
x
1
x
3
x
2
x
3
Рис. 6.1