6 = 1111101, s7 = 1111110.
При роботі з логічною моделлю передбачається, що на входи об'єкта надходить єдине вхідний вплив, яке визначається допустимими значеннями всіх вхідних сигналів.
Тож можливі елементарні перевірки відрізняються тільки наборами контрольних точок, в яких здійснюється вимірювання. У цьому випадку завдання побудови алгоритму діагнозу зводиться до вибору сукупності контрольних точок, достатньої для вирішення певної задачі діагнозу. Кожна перевірка має 2k фіналів, де k - число контрольованих елементів. Загальне число перевірок 2n, де n-число елементів системи. На практиці велике число перевірок не може бути здійснено, оскільки немає доступу до виходів деяких елементів; неможливо підключитися відразу до виходів кількох елементів і т. п.
У розглянутому випадку будемо вважати, що можливі тільки ті перевірки, які полягають у вимірі реакції на виході одного з елементів системи, причому для вимірювання доступні виходи всіх елементів. Позначимо елементарну перевірку як ? i - це контроль реакції на виході i-го елемента (i = 1,2, ..., 8). span>
У таблиці 1.1.1 наведена таблиця функцій несправностей (ТФН), складена для заданої функціональної схеми.
Таблиця 1.1.1 - Таблиця функцій несправностей
ПроверкаРезультат Rji перевірки для системи, що знаходиться в стані SiS0S1S2S3S4S5S6S7 ? 1 10111111 ? 2 11011111 ? 3 11101111 < span align = "justify">? 4 10110111 ? 5 11011011 ? 6 11001001 ? 7 11101110
Коли система справна (стан S0), на виходах всіх елементів мають місце допустимі значення сигналів. Відмова будь-якого елемента викликає поява неприпустимого значення сигналу на його виході і на виходах всіх пов'язаних з ним елементів. p align="justify"> Дана ТФН містить всю необхідну інформацію для побудови перевіряючого і діагностичного тестів. Кожна графа ТФН задає деяку функцію, яка визначається на безлічі перевірок. Функція дорівнює одиниці, якщо перевірка дає допустимий результат. Позначимо F - функція справного об'єкта; fi - функція i-го стану несправного об'єкта або функція i-й несправності. Маємо:
Приймемо наступні позначення:
F - функція справного об'єкта; ? i - функція i - го стану несправного об'єкта або функція i - й несправності .
В