Составим проверяющие функции по таблице:
φ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 | ||||||||||||||||||
Функционально-структурный анализ системы автоматического управления (регулирования) технического объекта
Работа любого технологического объекта
характеризуется различными параметрами, которые изменяются в зависимости от
работы машины и воздействия внешних факто ...
Моделирование элементов и систем управления
Управляемый объект состоит их четырех типовых динамических звеньев, соединенных между собой в определенной последовательности с образованием двух замкнутых контуров (рису ...
Линейная антенная решетка
Антенны СВЧ широко применяют в различных областях
радиоэлектроники - связи, телевидении, радиолокации, радиоуправлении, а также в
системах инструмент ...