Методы анализа безопасности сложных технических систем

Содержание
Введение
1 Основные принципы анализа безопасности сложных технических систем
1.1 Понятие безопасности
1.2 Понятие риска
1.2.1.Концепция приемлемого риска как методологическая основа для установления показателей и критериев безопасности
1.2.2.Предложсния по показателям безопасности системы
1.3 Принцип анализа безопасности. Два подхода к анализу безопасности
2 Логиковероятностная теория и ее использование при исследовании безопасности сложных систем
2.1 Общие положения
2.2 Понятие монотонности функции алгебры логики
2.2.1 .Общие понятия
2.2.2.Два вида немонотонных логических функций
2.2.3.Особенности рассмотрения немонотонных функций первого типа
2.2.4.0собенпости рассмотрения немонотонных функций второго типа
2.2.5.Проверка функции на монотонность
2.3 Понятие важности элементов функции алгебры логики. Возникновение проблемы
3 Постановка задачи
4 Характеристики важности для одного события немонотонной функции алгебры логики
4.1 Определения и теоремы
4.2 Смысл определений веса, значимости и вклада элементов для немонотонных функций
4.3 Активность элементов немонотонных структур
4.4 Основные результаты
5 Характеристики важности для двух событий немонотонной функции алгебры логики
5.1 Определения и теоремы
5.2 Основные результаты
6 Методы перевода функции алгебры логики в вероятностную функцию
6.1 Алгоритм ортогонализации
6.2 Рекуррентный алгоритм
6.3 Алгоритм наращивания путей
6.4 Сравнительный анализ алгоритмов
7 Описание программного приложения
7.1 Логический калькулятор
7.2 Определение вероятности опасного функционирования системы
7.3 Определение показателей важности для одного аргумента
7.4 Определение показателей важности для двух аргументов
7.5 Прочие возможности программы
7.5.1 .Изменение вводимых данных
7.5.2.Сохранение данных
8 Пример расчета различных параметров важности аргументов немонотонной функции алгебры логики
Заключение
Полученные результаты
Выводы
Приложение 1. Список сокращений
Приложение 2. Основные определения и теоремы
Приложение 3. Список рисунков и таблиц
Список литературы