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

UptoLike

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

8
Таблица 2.2
Логические символы
Символ логи-
ческого знака
Название логи-
ческого знака
Причинная взаимосвязь
1.
Знак «И» Выходное событие проис-
ходит, если все входные собы-
тия случаются одновременно
2.
Знак «ИЛИ» Выходное событие проис-
ходит, если случается любое
из входных событий
3.
Знак «ЗАПРЕТ» Наличие входа вызывает по-
явление выхода, когда проис-
ходит условное событие
4.
Знак «Приори-
тетное И»
Выходное событие имеет
место, если все входные собы-
тия происходят в нужном по-
рядке
5.
Знак «Исклю-
чающее ИЛИ»
Выходное событие проис-
ходит, если случается одно (но
не оба) из входных событий
6.
Знак «m из Выходное событие проис-
ходит, если случается m из n
входных событий
Деревостроят от уровня первичных событий используя логические
символы. При анализе событий и построения дерева событий можно вос-
пользоваться следующими понятиями формальной логики.
Правило формирования событий логической операции
И ”.
Правило:
События, входные логическойИдолжны формироваться так,
чтобы второе было условным к первому, третье условным к первому и
второму и
последнее условным ко всем предыдущим. Кроме того, по
n
m