ревірок, якові ВІН містіть, буде НЕ Тільки Достатньо, альо ї необхідною для ОЦІНКИ працездатности стану обєкту контролю.
Побудуємо Булеву матриці (таблиця № 2), рядками Якої є набори? j (0i) (i, j = 1,2, ..., 11), а колонками - сукупність перевірок.
Таблиця 5. В«Матриця працездатності обєктаВ»
S pp1p2p3p4p5p6p7p8p9p10p11S0 S11111 11111S0 S2 111 11111S0 S3 11 11111S0 S4 1 11111S0 S5 111 11111S0 S6 111 111111S0 S7 11111S0 S8 1111S0 S9 11111 S0 S10 1 S0 S11 11
Застосовуючі алгоритм Булевой спрощений, візначімо мінімальну сукупність перевірок, Які утворюють раціональній Контролюючим тест.
Для матріці застосуємо процедуру Спрощення за таким алгоритмом:
а) ЯКЩО в матріці є така пара рядків І, что, то рядок з неї вілучається (вважається, ЯКЩО для всіх);
б) ЯКЩО в матріці є така пара колонок та, что, то колонка з неї вілучається.
в) Если в матріці є рядок, Який вміщує Тільки одну одиницю, яка Стоїть на перетіні-го рядка та-ї колонки, то перевірка, что відповідає
-й колонці, входити до мінімального тесту. Если после Спрощення матріці за правилами 1 та 2 в ній залішаються Тільки перевіркі, Які входять до мінімального тесту, то сукупність ціх перевірок складає мінімальній контрольний тест. p> Зх матріці утворюється нова матриця (таблиця № 3), стовпці Якої вміщують сукупність перевірок мінімального Контролюючим тесту.
Таблиця 6. В«Матриця програми ОЦІНКИ технічного стану обєктуВ»
Із досвіду ЕКСПЛУАТАЦІЇ ВСТАНОВЛЕНО, что раціональнім крітерієм оптімізації програми ОЦІНКИ технічного стану є економічний Показник, а самє рівень собівартості реалізації операцій або контролю працездатності, або діагностування можливіть відмов. На практіці для Отримання оптімальної програми ОЦІНКИ технічного стану Електронної апаратури застосовується метод гілок та границь. Розглянемо процес реалізації зазначеного методу на прікладі системи, яка Складається Із чотирнадцятим блоків функціонально-логічної МОДЕЛІ и для Якої побудовали матриця станів (Таблиця № 1). p> З практичної точки зору доцільно візначіті собівартість операцій (CH) Щодо реалізації необхідної и достатньої сукупності перевірок. Для! Застосування методу гілок и границь візначаються Значення бінарніх ймовірностей для множини {S}. Позначімо через {P *?} Значення бінарніх ймовірностей для сукупності станів S j , для якіх у Табл. № 1 результат перевіркі відповідає 0, а через (Р *?) - Значення сукупності станів Si, результат перевірок якіх відповідає 1. p> Розрахунки значень середньої вартості процеса діагностування віконується за формулою:
В
де-вартісній Показник процеса діагностування перелогових від уровня контролепрідатності блоку; [ l, k ] - кількість відповідно Нульовий и одінічніх значень перевірок у сукупності станів.
Візначімо послідовно значення для прогр...
