Page 261 - 6792

будь-яка з вхідних подій повинна призводити до появи вихідної
події.
Правило не дає способу опису подій, але воно повинно
виконуватися при побудові дерева відмови.
Правило застосування логічного знака АБО. Якщо будь-яка з
причин призводить до появи вихідної події, слід використовувати
операцію АБО. Входи операції відповідають на запитання: "Які
події достатні для появи вихідної події?".
Порядок застосування логічних знаків І та АБО. Для будь-
якої події, що підлягає подальшому аналізу, спочатку
розглядаються всі можливі події, є входами операцій АБО, потім
входи операцій І. Це справедливо як для головної події, так і для
будь-якої події, аналіз якого доцільно продовжити. Причинні
зв'язки, виражені логічними знаками І і АБО, є детермінованими,
так як поява вихідної події повністю визначається вхідними
подіями.
Логічний знак заборони. Шестикутник, що є логічним знаком
заборони, розташований в рядку 3, табл. 7.11. Значення логічних
символів дерева відмов використовується для представлення
ймовірних причинних зв'язків. Подія, розміщена під логічним
знаком заборони називається вхідною подією, в той час, як подія,
розташована збоку від логічного знака, називається умовною
подією. Умовна подія приймає форму події за умови появи
вхідної події. Вихідна подія відбувається, якщо і вхідна та умовна
події мають місце. Іншими словами, вхідна подія викликає
вихідну подію з вірогідністю (зазвичай постійною) появи умовної
події. Логічний знак заборони часто з'являється в тих випадках,
коли подія викликається на вимогу. Він використовується,
головним чином, для зручностей та може бути замінений
логічним знаком І.
Подія на виході з'являється, якщо події на вході відбуваються
в певній послідовності (зліва направо). Поява подій на вході в
іншому порядку не викликає події на виході. Розглянемо,
наприклад, систему, що має основне джерело живлення і
резервне. Резервне джерело живлення включається в роботу
автоматично перемикачем, коли відмовляє основне джерело.
Живлення в системі відсутнє, якщо:

261