а контакті с2 - при подачі вхідних змінних a1 = 1, т.е G3і існують на наборі
В
). Визначимо перевіряючу функцію для контакту:
Контакт с2 входить в ланцюг G3 = і перетину. Ланцюг, урізана на контакті с2,
.1) Перетин існує при подачі вхідних змінних a1 = 1, c2 = 1, а - при подачі вхідних змінних b2 = 1, тобто і одночасно існують на наборі abc
В
Після визначення перевіряючих функцій для всіх контактів схеми, визначаємо перевіряючий тест, який знаходиться як логічне твір перевіряючих функцій.
(2.2.1)
Підставляємо отримані значення перевіряючих функцій у вираз 2.2.1 і виробляємо його мінімізацію:
В
Таким чином, перевіряючий тест для представленої на малюнку 2.1.2 релейно-контактної схеми представлятиме безліч вхідних наборів:
В
3. Побудова перевіряючого і діагностичного тестів для комбінаційних схем на логічних елементах
Логічний елемент ЛЕ являє собою пристрій (рисунок 3.1), що має n входів і один вихід, на якому реалізується деяка функція алгебри логіки (ФАЛ) F (х). Несправність у внутрішній структурі ЛЕ призводить до того, що на його виході замість функції F (х) реалізується функція несправності f (x). Тест перевірки ЛЕ повинен визначити, яку з функцій [F (x) або f (x)] реалізує елемент. Число і вид функцій несправності залежать від внутрішньої структури ЛЕ. Аналіз несправностей і побудова тесту ЛЕ виконують за допомогою ТФН. br/>В
Малюнок 3.1 - Логічний елемент
Існують константні несправності. Такі несправності можна інвертувати як фіксацію в константу (нуль або одиниця) сигналу на вході або виході ЛЕ. Наприклад, обрив входу елемента АБО-НЕ відповідає фіксації на ньому нульового сигналу, обрив переходу Е-К транзистора - фіксації на виході елемента одиничного сигналу і т. д. У загальному випадку, елемент з n входами може мати 2n +2 ​​константні несправності, так як кожні вхід і вихід можуть бути зафіксовані як в нуль, так і в одиницю. На схемах константні несправності позначають у вигляді гуртків, розташованих близько відповідних входів і виходів (приклад наведено на малюнку 3.2). Верхні гуртки відповідають несправностей константа 1 (К В® 1), а нижні - несправностям константа 0 (К В® 0). Як правило, ЛЕ має тільки один вид несправності на вході.
В
Рисунок 3.2 - Позначення константних несправностей
Для ЛЕ можна виділити класи еквівалентних несправностей, які показані на малюнку 3.3 у вигляді графів, нанесених на зображення елементів.
Еквівалентні несправності з'єднані ...