Page 51 - 6913

Рядок  матриці  називається кодом відповідної перевірки, що
і
полягає в допусковому контролі параметра z . У коді перевірки 0
j
означає, що відповідний ПФЕ даною перевіркою перевіряється, а
1 – що не перевіряється. Для функціональної моделі ФМ (див.

рис. 4.2) матриця  має вигляд, представлений в табл. 4.4.
За кодом перевірок можна встановити множини М що
п
перевіряються і М що не перевіряються даною перевіркою ПФЕ.
н
Для даного прикладу ці множини будуть такими:
М ={1}; М ={2,3,4};
н1
п1
М ={1,2}; М ={3,4};
н2
п2
М ={1,3,4}; М ={2};
п3
н3
Необхідно звернути увагу на те, що наявність у ФМ
зворотних зв'язків приводить до ідентичності відповідних кодів
станів в матриці відмов і кодів перевірок. Це означає, що
розрізнити ці стани методами параметричного допускового
контролю при допустимих вхідних тестових (робочих) діях

неможливо. Тому для цілей пошуку місця відмови зворотних
зв'язків (ЗЗ) необхідно позбавитися. При цьому можливі наступні
ситуації:

1. Якщо розрив ланцюга ЗЗ недопустимий, то елементи,
охоплені ЗЗ, можна об'єднати в один елемент і знаходити місце
відмови з точністю до цього нового елементу, а усередині нього
відшукувати місце відмови іншим методом, наприклад, методом

кількісних контрольних вимірів.
2. Розрив ЗЗ допустимий, і діагностику ОД можна
здійснювати в зміненому вигляді без сигналу ЗЗ.

3. Розрив ЗЗ допустимий, але для діагностування ОД
необхідна присутність сигналу ЗЗ, який можна відтворити від
спеціального зовнішнього генератора.
Для останньої ситуації ФМ даного прикладу прийме вигляд,

представлений на рис 4.4. При цьому змінюються МВ і матриця
кодів перевірок:

 1 1 0 1  0 1 1 1
 0 1 0 0   0 0 1 1 
R    ,    
 0 0 1 1  1 1 0 1
   
 0 0 0 1   0 1 0 0 

51