стрілки між собою так, щоб напрями стрілок збігалися. При цьому вихід будь-якого елемента може бути з'єднаний з будь-яким числом входів, тоді як вхід будь-якого елемента може бути з'єднаний тільки з одним виходом. Входи, які пов'язані ні з одним виходом, називаються зовнішніми. Ці входи позначають зовнішні впливи, які подаються на систему. У даному практичному занятті всі зовнішні впливи вважаються допустимими і не розглядаються. p align="justify"> Для схеми виконується побудова таблиці станів за такими правилами:
1. в заголовку рядка вказується стан системи, що позначається S i , де i - номер несправного блоку. У заголовку стовпця дається позначення перевірки (датчика) ? k , де k - номер блоку, на якому встановлений відповідний датчик.
2. всі зовнішні впливи вважаються допустимими;
. якщо блок справний, і на його входи надходять допустимі впливу, то реакція блоку теж буде допустимою (датчик, покаже справність блоку, яка позначається В«1В»;
. якщо блок несправний або на вхід справного (несправного) блоку надходять неприпустимі вхідні дії, то контролюючий стан блоку покаже В«0В».
Використовуючи дану матрицю можна визначити нерозрізнені стану допомогою порівняння рядків матриці станів: у нерозпізнаних станів рядка в матриці будуть однаковими. Однак для складної системи даний спосіб визначення нерозпізнаних відмов не завжди виправдовує себе через велику трудомісткість. p align="justify"> По таблиці станів проводиться побудова булевої матриці розрізнюваності (далі булевої матриці) за допомогою попарного порівняння рядків за наступним алгоритмом:
1. в заголовку рядка вказується пара порівнюваних станів системи, що позначається (S i , S j ), де i, j - номери порівнюваних станів. У заголовку стовпця дається позначення перевірки (датчика), де k - номер блоку, на якому встановлений відповідний датчик;
2. якщо k-я перевірка в стані S i дає відгук В«1В», а в стані S j дає відгук В«0В», то пара станів (S i , S j ) розрізняється перевіркою і в рядку, позначеної (S i , S j
