Составим проверяющие функции по таблице:
φ1 = 2 v3
φ2 = 5 v 7
φ3 = 0 v 4
φ4 = 1
φ5 = 1
φ6 = 6
φ7 = 1
φ8 = 6
φ9 = 6
φ10 = 1 v 2
φ11 = 5 v 6
φ12 = 1 v 4
φ13 = 3 v 6
φ14 = 0 v 6
φ15 = 1 v 6
На основании проверяющих функций проверяющий тест будет иметь следующий вид:
(3.1)
В результате получаем 8 минимальных теста:
При расчете диагностического теста, не учитывают отношения импликации между неисправностями. На схему наносят только графы эквивалентных неисправностей, которые нумеруют в соответствии с указанным для них правилом. В результате число неисправностей, включаемых в ТФН, увеличивается. В нашем случае в ТФН дополнительно включаются обе неисправности выхода элемента ИЛИ (точки 16 и 17) . По диагностическому тесту строят словарь неисправностей.
Рисунок 3.6 - Логическая схема функции F для составления диагностического теста
Составим ТФН.
Таблица 3.2 - Таблица ТФН
Входной набор |
Функция неисправности | ||||||||||||||||||||||||||||||||||||
F |
f1 |
f2 |
f3 |
f4 |
f5 |
f6 |
f7 |
f8 |
f9 |
f10 |
f11 |
f12 |
f13 |
f14 |
f15 |
f16 |
f17 | ||||||||||||||||||||
№ |
abc | ||||||||||||||||||||||||||||||||||||
0 |
000 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 | ||||||||||||||||||
1 |
001 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 | ||||||||||||||||||
2 |
010 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 | ||||||||||||||||||
3 |
011 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 | ||||||||||||||||||
4 |
100 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 | ||||||||||||||||||
5 |
101 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 | ||||||||||||||||||
6 |
110 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 | ||||||||||||||||||
7 |
111 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 | ||||||||||||||||||
Обзор современных систем спутниковой навигации
спутниковая навигационная глобальное позиционирование
На
сегодняшний день в мире существует несколько навигационных систем, использующих
искусственные спутни ...
Преобразователь двоичного кода
Логические элементы (узлы) предназначены для выполнения различных
логических (функциональных) операций над дискретными сигналами при двоичном
коде их предст ...
Определение структуры системы обнаружения объекта охраны
В
настоящее время все больше людей приходит к выводу, что усилий только
государственных правоохранительных органов для решения такой проблемы, как
охрана ...