Порядок выполнения работы

1. Изучите этапы возможного развития аварийной ситуации при возникновении пожара (рис. 2.1).

2. Произведите расчет показателей надежности и установите ветви дерева.

3. Постройте «дерево событий» в графическом редакторе MS Visio или AutoCAD.

4. Сохраните результаты.

5. После сохранения результатов закройте приложение и при необходимости выключите компьютер.

Рисунок 2.1 - "Дерево событий"

Отчет по выполнению лабораторной работы оформляется согласно методическим указаниям, приведенным выше.

Контрольные вопросы для самопроверки

1. Что такое дерево событий?

2. Что включает в себя дерево событий?

3. На какие две части можно условно разделить ДС?

4. Что такое функциональное дерево событий?

5. Что такое системное дерево событий?

Лабораторная работа №3

Тема:	Логический анализ
Цель работы:	Учиться планировать возможное развитие аварийной ситуации и выполнять «логический анализ». В результате выполнения работы студенты должны уметь: - определять показатели надежности систем управления; - осуществлять контроль соответствия устройств и функциональных блоков мехатронных и автоматических устройств и систем управления. должны знать: - показатели надежности; - назначение элементов систем автоматизации и элементов мехатронных устройств и систем.
Приборы, материалы и инструмент	MS Visio или AutoCAD.
Порядок выполнения лабораторной работы	Изучить этапы возможного развития аварийной ситуации. Произвести расчет и логический анализ аварийной ситуации. Построить таблицы истинности в графическом редакторе. Ответить на контрольные вопросы. Подготовить отчет и приготовиться к защите лабораторной работы.

Теоретическая часть

Логический анализ опасностей базируется на понятиях булевой алгебры (алгебры логики), где переменные, обозначаемые заглавными буквами, имеют, как правило, смысл некоторых событий или факторов. Например, можно обозначить символом А событие, состоящее в повреждении какой-то части машины. Если это происходит, то мы говорим, что А = И или что А истинно. Если это событие не происходит, говорим, что А = И или что А ложно. Такие высказывания справедливы для некоторого определенного интервала времени и вероятности, связанной с появлением события. Переменные в алгебре логики принимают два значения: истина или ложь (в нашем случае — появление или не появление повреждения). Часто истина обозначается как «1», а ложь — как «0». Аналогично и функции логических высказываний принимают два значения в зависимости от комбинации логических переменных.

При изучении общих логических связей между высказываниями используются формализованные языки. Алфавит наиболее распространенного языка логики высказывания содержит три группы символов:

1. Переменные — прописные буквы А, В, С, ..., возможно с индексами.

2. Символы логических операций или связки — & (конъюнкция), v (дизъюнкция), и или => (импликация), ˥ (отрицание), ↔ (эквивалентность).

3. Вспомогательные символы — это скобки ().

Могут встречаться и другие символы, обозначающие логические операции.

Конъюнкция (от латинского — союз, связь) — это логическая операция, заключающаяся в соединении двух данных высказываний А и В в новое высказывание А и В. В формализованных языках высказывание А и В обозначается А&В, А"В, АВ или АВ (читается: «А и В», «имеет место А и имеет место В».

Дизъюнкция (от латинского — разобщение, разделение, различие) — логическая операция, заключающаяся в соединении данных высказываний А и В в новое высказывание «А или В». В формализованных языках дизъюнкция обозначается A v В или А+В.

В обычной речи возможны два понимания союза «или»: в исключающем и неисключающем смысле. При первом понимании высказывание «А или В» означает, что истинно одно из двух высказываний, при втором — что истинно хотя бы одно из них. В ма­тематической логике дизъюнкция относится к истолкованию союза «или» во втором смысле.

Импликация (от латинского — сплетение) — логическая операция, заключающаяся в соединении данных высказываний А и В в новое высказывание «если А, то В». В формализованных языках импликация обозначается А→В или В, А => В (читается «если А, то В », «А влечет В»). Выказывание А называют посылкой, а В — его заключением.

В обычной речи, как правило, предполагают наличие причинной связи между тем, что утверждается в высказывании А, и тем, что утверждается в высказывании В, и его истинность зависит от смысла этих высказываний. В математической логике обычно учитывается лишь истинность или ложность высказываний, а не смысл.

Отрицание (инверсия) — логическая операция, в результате которой из данного высказывания А получается новое высказывание «не А». В формализованных языках высказывание, получающееся в результате отрицания А, обозначается ~А, -А, А' (читается: «не А», «не верно, А»). В математической логике отрицание определяется следующей истинностной таблицей:

Эквивалентность — логическая операция, позволяющая из двух данных высказываний A и В получить новое высказывание «А равносильно В». В формализованных языках эквивалентность обозна­чается А↔В, А - В (читается «А равносильно В», «А тогда и только тогда, когда В», «для того, чтобы А, необходимо и достаточно В»).