Page 50 - 6913

станів ОД, т – кількість ПФЕ (виходів) ЛМ з двійковими рядками
R ,K ,R ,K ,R , які є двійковими кодами відповідних станів
1 i ij im
т
ОД. Повне число рядків дорівнює 2 . Очевидно, що рядок,
відповідний справному (працездатному) стану ОД, матиме всі
нулі і його можна виключити з розгляду.
В більшості випадків мають місце незалежні, одиночні
відмови окремих блоків ОД. Тоді число рядків матриці станів s

буде рівне числу т ПФЕ (виходів). Саме ця ситуація і
розглядається в роботі. Таку квадратну матрицю станів
називатимемо матрицею відмов (МВ).

Для даного прикладу логічної моделі МВ представлена в
табл. 4.3.

Таблиця 4.3 – Логічна модель матриці відмов

Стани виходів
Стани ОД
z z z z
1
4
2
3
Відмова ПФЕ1 1 1 1 1
Відмова ПФЕ2 0 1 0 0
Відмова ПФЕ3 0 0 1 1
Відмова ПФЕ4 0 0 1 1

При побудові МВ можна використовувати ЛМ або граф

причинно-наслідкових зв'язків. Для заповнення і-го рядка МВ
фіксують j-ту вершину графа (i-тий ПФЕ ЛМ) і, рухаючись по
напряму стрілок, відзначають в рядку одиницями всі вершини,

що трапляються на шляху. Аналогічно для побудови МВ можна
використовувати і матрицю безпосередніх зв'язків.

Таблиця 4.4 – Матриця кодів перевірок

Перевірка Код перевірки

 0 1 1 1
1
 0 0 1 1
2
 0 1 0 0
3
 0 1 0 0
4

По МВ R будують матрицю кодів перевірок П. Вона є

транспонованою матрицею R з інвертованими елементами R .
ij

50