на за умови
Z4 = 0 - характеризує відсутність проти-ЕРС двигуна
Z5 = 1 - характеризує наявність результуючої напруги Uн на виході ТП за умови
Z5 = 0 - характеризує відсутність напруги Uн
X3 = 1 - характеризує активний опір Rн, якщо дотримується умова
X3 = 0 - якщо не дотримується вище наведене умова
X4 = 1 - характеризує індуктивність ланцюга навантаження ТП при
X4 = 0 - характеризує індуктивність ланцюга навантаження ТП при
X5 = 1 - характеризує зміну струму навантаження в часі, якщо
X5 = 0 - характеризує зміну струму навантаження в часі, якщо
X6 = 1 - характеризує позитивний потенціал на анодах тиристорів за умови
X6 = 0 - якщо ця умова не виконується
X6 = 1 характеризує позитивний потенціал на анодах тиристорів за умови
X6 = 0 - якщо ця умова не виконується
xк = 1 - характеризує комутаційний процес струмів в тиристорах за умови, що має місце комутація з одного тиристора на інший
xк = 0 - характеризує комутаційний процес струмів в тиристорах за умови, що відсутня комутація струму в тиристорах
На рис. 2 наведена логічна мережа, що характеризує режим роботи силової частини однофазної напівкерованих мостової схеми ТП. br/>В
Рис.2
Струм навантаження ТП дорівнює сумі струмів і тиристорів VS1 і VS2. Це подія відображена введенням логічного підсумовування сигналів Z11 і Z12, що характеризують струм в тиристорах ТП. Протягом комутаційного процесу, тобто при xк = 1, тиристори VS1 і VS2 зберігають своє відкритий стан, що відображено логічної змінної, що надходить на ланку логічного підсумовування моделі i-го тиристора, вихідна змінна якого характеризує позитивний потенціал на аноді i-го тиристора. Відсутність напруги Uн навантаження ТП при комутації тиристорів, відображено в логічній мережі введенням ланки логічного твори, вихідна змінна якого. p> Математичні вирази алгебри логіки, що характеризують режим роботи ТП, можуть бути представлені як:
В
2. Побудова алгоритму діагностування
Завдання побудови алгоритму діагностування дискретного послідовного об'єкта полягає в тому, щоб не вдаючись до розриву зворотних зв'язків в об'єкті, побудувати таку послідовність вхідних наборів, при яких відповідні послідовності вихідних наборів об'єкта дозволяють виділити можливі в ньому об'єкти. При цьому передбачається, що, хоча вихідні стану елементів пам'яті об'єкта і невідомі, завжди знайдеться послідовність вхідних наборів фіксованої довжини, що дозволяє перевести справний об'єкт в будь досяжне стан. Для реальних об'єктів зазначена вимога цілком природно і піддається реалізації [1]. p align="justify"> Т. к. об'єк...