Оценка безопасности систем "человек-машина-среда" логико-вероятностным методом. Стариков В.А. - 27 стр.

UptoLike

Составители: 

27
Конъюнкции минимизированной ФАЛ и являются МКК, т. е. наибо-
лее простым вариантом реализации корневого события «дерева». Затем,
при необходимости, определяют МНКК, последовательно исследуя влия-
ние каждого из первичных событий и их конъюнкции на значения ФАЛ. В
том случае, если при значении базисного события или его конъюнкции,
равном нулю, значение ФАЛ тоже
равно нулю, то это первичное событие,
или минимальная конъюнкция, и является МНКК.
Определим в качестве КС «дерева событий» такое событие, как вы-
ход перекачиваемого продукта в реку. Построим два «дерева событий»: А-
для традиционной технологии (рис. 4.1) и Вдля способа «труба в тру-
бе» (рис. 4.2). Для построения «дерева» используем логические
символы и
знаки событий, которые даны в таблицах.
Запишем ФАЛ для «дерева событий» А:
y=Х
3
Х
4
X
5
+Х
2
+X
18
+Х
9
Х
6
+Х
9
Х
7
+Х
9
X
8
+Х
11
X
12
+Х
7
X
12
+
+X
13
X
14
X
16
+X
15
X
16
+X
17
. (4.1)
Для «дерева событий» В (см. рис. 4.2) ФАЛ будет иметь следующий
вид:
у=Х
3
Х
4
X
5
+X
2
+Х
18
+Х
13
Х
14
X
16
+Х
15
X
16
+X
17
. (4.2)