ти з пам'яттю представляють певну складність при діагностуванні, то доцільно діагностувати однофазний тиристорний напівкерованих випрямляч по частинах (з огляду повної симетрії схеми). Для цього нашу схему розділимо на дві половини, логічна мережа яких аналогічна однофаз однополуперіодним випрямителю. Для роботи з різними частинами схеми треба ввести перемикач каналів. p align="justify"> Побудуємо алгоритм діагностування силової частини ТП при роботі на двигун постійного струму. Відповідно до логічною моделлю (рис. 2) розглянутого об'єкта і логічними співвідношеннями для неї вихідні сигнали в поточному такті часу:
В
В
Рис. 3
Для визначення вхідних наборів, различающих справне і несправний стан об'єкта, уявимо останній вираз в ЕНФ:
В
У загальному випадку для логічних схем з розгалуженнями кожна буква терма (твір букв) відповідає вхідному сигналу або його інверсії з індексом. Логічніше дефекти силової частини ТП відображати у формі допустимості вхідних або вихідних сигналів моделі. Тоді входять в останні співвідношення букви будуть представляти відповідні їм дефекти ТП, а терми - містити поєднання взаємопов'язаних дефектів. p> У загальному вигляді букву в ЕНФ позначають символом і надають йому значення і залежно від того, якого типу дефект перевіряється (0 або 1). При цьому:
для перевірки на дефект типу 0 достатньо прийняти всі букви хоча б одного терма в ЕФН, що містить рівними 1, і в кожному з інших термів - хоча б одну букву прийняти рівною нулю;
для перевірки на дефект типу 1 досить хоча б в одному термі, що містить, прийняти рівною 0, а значення з інших букв цього терма - рівними 1, при цьому в кожному з інших термів прийняти хоча б одну букву рівною 0;
Зробимо перевірку букв співвідношення на (табл.1):
Таблиця 1
Z5 (v) = (X1 X2 X3 X6 ) v [X1 X3 X6 Z1 (v-1)] v (X4 X5) v Z4111111110000210111111000300000000110400000000001
Зробимо перевірку букв співвідношення на (табл.2):
Таблиця 2
Z5 (v) = (X1 X2 X3 X6 ) v [X1 X3 X6 Z1 (v-1)] v (X4 X5) v Z4501110111010610111110100711011011100811101101010
Після проведених вище перевірок отримана таблиця (табл. 3), де жодна з букв не залишилася неперевіреної. У таблиці відзначені набори можливих вхідних сигналів і перевіряються сигнали для кожного з наборів. Очевидно, що зміна значення перевіряється сигналу 1 (0) на 0 (1) повинно ви...
