Page 46 - 6913

Друга властивість: множина перевірок  розрізнить всі
стани s , і0, якщо всі відповідні рядки попарно розрізняємі.
i
Таблиця 4.1 – Матриця станів ОД

    
1
m
j
s R  R  R
m
0
j
1
M M M M
(j)
(j)
(j)
s R  R  R
i
j
1
j
M M M M
(n)
s R 1 (n)  R  R m (n)
n
j
Таблиця станів дозволяє оптимізувати (у окремому випадку
мінімізувати) множину  елементарних перевірок як для
контролю справності (працездатності), так і для пошуку місця
дефекту.
У багатьох випадках технічний стан ОД можна оцінити за
принципом «в нормі - не в нормі». При цьому використовують

моделі логічного типу. Саме така модель є об'єктом розгляду і
аналізу в даній роботі.
Побудова логічної моделі об'єкту діагностування

Початковими даними для побудови логічної моделі ОД є:
структурні, функціональні і принципові схеми ОД; системи
алгебраїчних і диференціальних рівнянь; причинно-наслідкові
зв'язки між параметрами ОД і його вихідними реакціями.

Найчастіше логічна модель ОД будується з урахуванням
конструктивної реалізації ОД з точністю до прийнятого елементу
заміни при відмовах. При цьому кожен вхідний (вихідний) сигнал

блоку, що характеризується декількома параметрами,
представляють декількома входами (виходами), число яких рівне
числу цих параметрів. Наприклад, якщо для блоку Б зовнішній
сигнал у характеризується двома параметрами, внутрішній стан –

трьома параметрами, а вихідний сигнал z – двома параметрами
(рис. 4.1, а), то в логічній моделі блок Б матиме п'ять входів і два
виходи (рис. 4.1, б). Потім кожен блок Б, що має k виходів,

замінюють k блоками, кожний з яких має один вихід і необхідні
для даного блоку входи (рис. 4.1, в). Такі блоки надалі
називатимуться первинними функціональними елементами

(ПФЕ) логічної моделі (ЛМ).

46