Page 45 - 6913
P. 45
оператора залежить від опису фізичних властивостей об'єкту і
визначається умовами задачі діагностування.
Залежно від виду оператора А об'єкти діагностування
поділяють на безперервні, дискретні і гібридні. У безперервного
r r
об'єкту вхідні Y і вихідні Z величини приймають значення з
континуальних множин, у дискретного – з кінцевих множин, у
гібридного вхідні континуальні величини перетворяться в кінцеві
вихідні.
Об'єкт діагностування має точки контролю, які дозволяють
r r
спостерігати не тільки за діями Y і реакціями Z але і за
r
внутрішніми координатами X . Кожна елементарна перевірка
j
характеризується значеннями y і реакціями R об'єкту або його
j
j
елементу, охопленого перевіркою.
Тоді реакція на елементарну перевірку залежно від j-го
j
технічного стану буде
(i)
(i)
R =A y (4.3)
j
j
j
(i)
де A – оператор об'єкту діагностування або його елементу
j
охопленого перевіркою , за наявності відмови s .
i
j
Замість виразу (4.3) застосовують такі записи:
R =A ( ) – для справного ОД; (4.4)
j
j
j
(i)
(i)
R =A ( ) – для ОД з відмовою s (4.5)
i
j
j
j
Якщо вирази (4.4), (4.5) задані для всієї сукупності
перевірок з множини { } і відмов з множини відмов {s }, то
i
j
вважають, що задана явна модель ОД. Якщо відомі залежності
(4.4) і правило, що дозволяє з множин { } і {s } одержати
i
j
сукупність виразів (4.5), то говорять, що задана неявна модель.
Найпростішою явною математичною моделлю є сукупність
залежностей (4.4), (4.5), представлена в табл. 4.1, де s відповідає
0
справному стану ОД, s – і-му несправному, рядки можливим
i
станам ОД, стовпці – можливим перевіркам ОД. Дана таблиця
називається таблицею станів ОД. Вона еквівалентна системі
виразів (4.4) і (4.5).
Аналіз таблиці дає можливість сформулювати властивості
множини перевірок ={ } для вирішення задач ТД.
j
Перша властивість: множина перевірок знайде будь-який
несправний стан s ОД, якщо рядок відрізняється від кожного з
i
решти рядків.
45