Модели и методы системного анализа аварийных комбинаций событий при управлении человеко-машинными системами тема диссертации и автореферата по ВАК РФ 05.13.01, доктор наук Богомолов Алексей Сергеевич

• Богомолов Алексей Сергеевич
• доктор наук
• 2019

Оглавление диссертации доктор наук Богомолов Алексей Сергеевич

ВВЕДЕНИЕ

Глава 1. АНАЛИЗ СОСТОЯНИЯ ПРОБЛЕМЫ

ПРЕДОТВРАЩЕНИЯ АВАРИЙ ПРИ УПРАВЛЕНИИ ЧЕЛОВЕКО-МАШИННЫМИ СИСТЕМАМИ

1.1. Причины аварий при управлении человеко-машинными системами

1.2. Обзор математических моделей и методов предотвращения аварий при управлении

человеко-машинными системами

1.3. Обзор автоматизированных и программных средств для предотвращения аварий

при управлении человеко-машинными системами

1.4. Постановка научной проблемы

и общий подход к ее решению

1.5. Выводы

Глава 2. СТРУКТУРИЗАЦИЯ ПРОБЛЕМЫ АВАРИЙНЫХ

КОМБИНАЦИЙ СОБЫТИЙ ПРИ УПРАВЛЕНИИ ЧЕЛОВЕКО-МАШИННЫМИ СИСТЕМАМИ

2.1. Функциональная структура управления процессом предотвращения аварий

в человеко-машинных системах

2.2. Комплекс задач для решения

проблемы аварийных комбинаций событий

2.3. Общий подход и основные этапы

решения комплекса задач

2.4. Выводы

Глава 3. МАТЕМАТИЧЕСКИЕ МОДЕЛИ ДЛЯ ОПРЕДЕЛЕНИЯ АВАРИЙНЫХ КОМБИНАЦИЙ СОБЫТИЙ И УПРАВЛЯЮЩИХ ВОЗДЕЙСТВИЙ ПО ИХ ПРЕДОТВРАЩЕНИЮ

3.1. Причины возникновения аварийных комбинаций событий

3.2. Формальное представление

аварийных комбинаций событий

3 з Свойства минимальных сечений

и путей успешного функционирования

3.4. Выводы

Глава 4. ЗАДАЧА УПРАВЛЕНИЯ

ПРОЦЕССОМ ПРЕДОТВРАЩЕНИЯ

АВАРИЙНЫХ КОМБИНАЦИЙ СОБЫТИЙ

4.1. Постановка задачи

4.2. Агрегирование событий и учет

порядка их возникновения

4.3. Метод определения управляющих воздействий для предотвращения

аварийных комбинаций событий

4.4. Метод решения задачи управления процессом предотвращения аварийных комбинаций событий

4.5. Модельные примеры решения задачи

4.6. Выводы

Глава 5. ЗАДАЧА УПРАВЛЕНИЯ ВЫВОДОМ СИСТЕМЫ

ИЗ СОСТОЯНИЯ НЕПОЛНОЙ ОПРЕДЕЛЕННОСТИ

5.1. Постановка задачи

5.2. Математическая модель и метод решения задачи

5.3. Решение задачи на примере

посадки группы воздушных судов

5.4. Выводы

Глава 6. ЗАДАЧА АНАЛИЗА И ПРОГНОЗИРОВАНИЯ ДИНАМИКИ ПОКАЗАТЕЛЕЙ ВОЗНИКНОВЕНИЯ АВАРИЙНЫХ КОМБИНАЦИЙ СОБЫТИЙ

6.1. Постановка задачи

6.2. Комплекс математических моделей

для решения задачи

6.3. Модельные примеры

6.4. Выводы

Глава 7. ПОДТВЕРЖДЕНИЕ АДЕКВАТНОСТИ РЕЗУЛЬТАТОВ

РАБОТЫ В СОСТАВЕ СИСТЕМ УПРАВЛЕНИЯ

7.1. Сквозной модельный пример

применения результатов работы

7.2. Методика подтверждения адекватности

результатов работы

7.3. Программный комплекс для реализации

результатов работы

7.4. Выводы

ЗАКЛЮЧЕНИЕ

Список литературы

ПРИЛОЖЕНИЯ

Приложение А. Свидетельство о государственной регистрации

программы для ЭВМ

Приложение Б. Акт о внедрении

в ПАО «ПрограммПРОМ»

Приложение В. Акт о внедрении в ПАО «Авиационный

комплекс им. С.В. Ильюшина»

Приложение Г. Акт об использовании в ОАО «Саратовское

электроагрегатное производственное объединение»

Приложение Д. Акт о внедрении в Саратовском национальном исследовательском государственном университете

имени Н.Г. Чернышевского

Приложение Е. Акт о внедрении в ФГБУН «Институт проблем точной механики и управления Российской академии наук»

Перечень основных сокращений

АКС - аварийная комбинация событий АТС - авиационная транспортная система БДД - безопасность дорожного движения ВАДС - «водитель - автомобиль - дорога - среда» ДО - дерево отказов

ДТП - дорожно-транспортное происшествие

ДТС - дорожно-транспортная система

КА - конечный автомат

ЛПР - лицо, принимающее решения

ОС - обобщенное состояние

ОСП - обобщенная синхронизирующая последовательность

ОТС - организационно-техническая система

ПО - программное обеспечение

ЛПР - лицо, принимающее решения

МАК - Межгосударственный авиационный комитет

ПУФ - путь успешного функционирования

СМИ - средства массовой информации

СЛАУ - система линейных алгебраических уравнений

ЧМС - человеко-машинная система

FTA - Fault Tree Analysis - анализ деревьев отказов

Введение диссертации (часть автореферата) на тему «Модели и методы системного анализа аварийных комбинаций событий при управлении человеко-машинными системами»

ВВЕДЕНИЕ

Актуальность темы. В настоящее время используется широкий спектр математических моделей, методов и алгоритмов для диагностирования, предупреждения и парирования различных типов и классов отказов и ошибок, возникающих при управлении человеко-машинными системами (ЧМС). Тем не менее, на практике возникают серьёзные нарушения функционирования, вызывающие аварии и катастрофы при управлении ЧМС. В значительном количестве случаев такие нарушения объясняются совпадениями во времени дефектов техники, программного обеспечения и человеческих ошибок. Такие совпадения могут быть представлены как аварийные комбинации событий. Содержательно аварийная комбинация представляет собой совокупность событий, относительно неопасных по отдельности, но приводящих к аварии при возникновении в определенном порядке на определенном отрезке времени.

Возникновение и развитие аварийных комбинаций событий при управлении ЧМС является народнохозяйственной проблемой, для решения которой требуется разработка моделей, методов и алгоритмов системного анализа аварийных комбинаций событий для их своевременного предупреждения и парирования.

Уровень разработанности проблематики.

Предупреждению, диагностированию и парированию комплексов отказов и ошибок в сложных дискретных и непрерывных системах посвящены работы многих исследователей.

В области разработки методов логико-вероятностного анализа безопасности и эффективности технических систем, позволяющих определять вероятность наступления сочетаний отказов и предотвращать такие сочетания при проектировании сложных систем, необходимо отметить работы Д.А. Поспелова, И.А. Рябинина, А.С. Можаева, И.А. Ушакова, А.М. Половко, В.В. Калашникова, В.А. Острейковского, Ю.В. Швыряева,

Г. Левитина, А. Лиснянского, В.С. Викторовой, Н.В. Лубкова,

A.С. Степанянца, Д. Бохманна, Х. Постхофа, A. Thayse, L. Bimbaum, C. Brown, М. Davw, J. Muzw, C. Moragа, D. Rine, L. Bimbaum, J. Fussell, W.E. Vesely и Е. Zio, в которых, в частности, было развито логическое дифференциальное исчисление, позволяющее оценивать вероятность аварии при изменении состояния различных элементов системы.

В вопросах диагностирования и парирования отказов и ошибок различных классов в дискретных системах следует выделить исследования научной школы А.М. Богомолова: в области методов контроля и диагностирования в процессах функционирования и развития сложных систем - работы В.А. Твердохлебова, в области методов функционального восстановления дискретных систем, позволяющих добиться реализации требуемых функций в условиях возникновения определенных классов ошибок - работы А.А. Сытника, в вопросах диагностирования и контролепригодности дискретных систем работы Д.В. Сперанского и их учеников. Научной школой под руководством Г.В. Новожилова, А.Ф. Резчикова, В.А. Твердохлебова, В.А. Иващенко, В.А. Кушникова разрабатываются модели и методы системного анализа безопасности авиационных транспортных систем при управлении в условиях критических сочетаний разнородных событий. Методы численных оценок опасности приближения нескольких параметров полета летательного аппарата к критическим значениям разрабатывались Н.Н. Макаровым, В.М. Солдаткиным.

В области исследования оптимизации структур и процессов функционирования систем необходимо отметить исследования В.А. Горбатова, В.М. Глушкова, В.А. Трапезникова, П.П. Пархоменко, Н.П. Бусленко, В.В. Калашникова Н.Н. Моисеева, Ю.Б. Гермейера, В.М. Матросова, В.А. Коптюга, В.А. Садовничего, Г.Г. Малинецкого, М.Ф. Каравая, В.Н. Буркова, С.Н. Васильева, Д.А. Новикова, А.Д. Цвиркуна,

B.В. Кульбы, А.А. Галяева, В.Б. Кудрявцева; в области обеспечения и

поддержания безопасности сложных систем: Б.В. Гнеденко, Ю.К. Беляева, R. Barlow и F. Proschan; в области теории живучести технических и организационных систем: Ю.И. Стекольникова и Б.С. Флейшмана; в области анализа безопасности техногенных систем: Н.А. Махутова, Б.Г. Волика, П.Г. Белова и В.В. Болотина; в области теории проблем управления сложными динамическими системами: Б.Н. Петрова, А.А. Красовского, Л.С. Понтрягина, Р. Беллмана, Д.М. Джордана, Дж. Форрестера; в области эргономических и инженерно-психологических аспектов работы операторов ЧМС: Б.Ф. Ломова, В.Ф. Венды, Ю.П. Доброленского; в области управления динамическими системами в условиях неопределенности: Ю.М. Гусева, Б.Г. Ильясова, В.И. Васильева, Ю.С. Кабальнова, Г.Г. Куликова, В.Г. Крымского, В.Н. Ефанова.

Для анализа влияния различных событий на функционирование сложных систем используются методы общей теории систем и системного анализа, дискретной и непрерывной математики, теории вероятностей и математической статистики, применяемые для количественного и качественного решения задач на различных этапах жизненного цикла. Определены в стандартах и исследованы методы анализа логических деревьев отказов (FTA, Fault Tree Analysis) и событий (ETA, Event Tree Analysis), анализа видов и критичности отказов (FME(C)A, Failure Modes Effects (and Criticality)), анализа работоспособности системы (HAZOP, Hazardand Operability Studies) и анализа структурных схем надежности (RBD, Reliability Block Diagram).

Перечисленные методы обладают определенными ограничениями и поэтому достаточно полный и точный анализ комбинаций событий, приводящих к авариям при управлении ЧМС, возможен лишь при их совместном использовании. Такое использование должно позволять своевременно выявлять наступление аварийных комбинаций событий, качественно и количественно определять степень опасности и конкретные управляющие воздействия по предотвращению наиболее вероятных из них.

Существующие же системы предупреждают об отдельных неблагоприятных событиях без количественного анализа их суммарного эффекта и взаимодействия с уже произошедшими событиями. Количественный анализ суммарного эффекта неблагоприятных событий осуществляется, как правило, на этапах проектирования, а системы, действующие в процессе эксплуатации, в качестве результата анализа опасности выдают значения качественных характеристик. Достаточно ограниченно представлено и определение количественных рекомендаций по предотвращению наступающих аварийных комбинаций разнородных событий, приводящих к авариям и катастрофам при управлении ЧМС.

Метод FTA для анализа влияния совокупности отказов на работоспособность системы и определения причин корневого события. применяется обычно на этапе проектирования объектов. Метод ETA позволяет определить спектр последствий корневого события.

Метод анализа риска FME(QA применяют при эксплуатации и модернизации объектов. Он позволяет определять относительную опасность отказов и их совокупности. Для этого строятся матрицы критичности, которые анализируются методами нечеткой логики и теории вероятности с использованием нейронных сетей.

Аппарат логического (в частности - булева) дифференциального исчисления дает возможность определить вероятность возникновения отказа системы при частичном или полном отказе различных её элементов. При этом перечисленные методы не определяют вероятность наступления аварийных комбинаций событий и пути предотвращения этих комбинаций, и кроме того, рассматривают опасность событий как постоянную статическую величину.

Метод HAZOP не дает рекомендаций по предупреждению аварийных комбинаций событий. Метод RBD не различает причин отказов и не используется при эксплуатации систем. Конкретных рекомендаций по уменьшению вероятности аварии он также не позволяет определить.

Такие ограничения свойственны и статистическим методам, результаты применения которых (если соответствующая статистика накоплена) сводятся к значениям частоты рассматриваемых событий.

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

Перечисленные методы обладают определенными ограничениями и поэтому достаточно полный и точный анализ комбинаций событий, приводящих к авариям при управлении ЧМС, возможен лишь при их совместном использовании. Такое использование должно позволять своевременно выявлять наступление аварийных комбинаций событий, качественно и количественно определять степень опасности и конкретные управляющие воздействия по предотвращению наиболее вероятных из них.

Существующие же системы предупреждают об отдельных неблагоприятных событиях без количественного анализа их суммарного эффекта и взаимодействия с уже произошедшими событиями. Количественный анализ суммарного эффекта неблагоприятных событий осуществляется, как правило, на этапах проектирования, а системы, действующие в процессе эксплуатации, в качестве результата анализа опасности выдают значения качественных характеристик. Достаточно ограниченно представлено и определение количественных рекомендаций по предотвращению наступающих аварийных комбинаций разнородных событий, приводящих к авариям и катастрофам при управлении ЧМС.

В связи со сказанным, остается актуальным ряд вопросов, которые рассматриваются в диссертации:

- определение методов выбора управляющих воздействий, позволяющих снизить вероятность аварийных комбинаций событий до заданного предела на различных интервалах времени, в том числе в процессе функционирования системы;

- учет порядка наступающих событий при анализе аварийных комбинаций и определении вероятности аварии и в процессе управления ее предупреждением;

- уменьшение размерности систем дифференциальных уравнений, решаемых для определения вероятностей аварийных комбинаций событий;

- расширением разрабатываемой концепции на различные человеко-машинные системы.

Объектом исследования являются аварийные комбинации разнородных событий при управлении ЧМС.

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

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

Для достижения поставленной цели решены следующие задачи:

- предложены содержательное описание, системный анализ и постановка проблемы аварийных комбинаций событий, приводящих к авариям и катастрофам в ЧМС, определен и поставлен комплекс задач для решения данной проблемы;

- построен комплекс математических моделей и методов для решения задачи управления процессом предотвращения аварийных комбинаций событий в ЧМС;

- предложены подходы к определению вероятностей и управляющих воздействия по предотвращению аварийных комбинаций событий с учетом порядка их наступления;

- выполнена постановка новой задачи управления процессом вывода ЧМС из состояния неполной определенности; построены математические

модели и предложены методы решения этой задачи, позволяющие существенно снизить ее размерность;

- разработаны комплексы математических моделей и методов решения задачи анализа и прогнозирования динамики показателей возникновения аварийных комбинаций событий при управлении ЧМС, учитывающие непостоянный характер связей между этими показателями и позволяющие выполнить своевременный прогноз последствий воздействий по предотвращению аварийных комбинаций событий на различных интервалах времени, включая условия возникновения хаотических явлений;

- разработана и применена методика подтверждения адекватности разработанного математического обеспечения в составе систем управления ЧМС.

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

Научная новизна.

1. Проведен системный анализ проблемы аварийных комбинаций событий при управлении ЧМС, отличающийся учетом разнородных факторов, включая действия человеческих звеньев. Результатом анализа является комплекс задач, решение которых позволяет существенно повысить оперативность и качество управленческих решений при управлении ЧМС.

2. Сформулирована задача управления процессом предотвращения опасных комбинаций событий при управлении ЧМС как задача вариационного исчисления на условный экстремум. Показана сложность решения поставленной задачи и для ее решения предложена методика на основе динамических деревьев отказов, учитывающих действие человеческого фактора, и систем дифференциальных уравнений

Колмогорова-Чепмена. Отличительной особенностью предлагаемой методики является использование путей успешного функционирования системы. Это позволяет выделять минимальное множество событий, парирование которых дает возможность предотвращать заданные аварийные комбинации.

3. Разработаны эвристические подходы, позволяющие учитывать порядок возникновения событий при управлении процессом предотвращения их аварийных комбинаций за счет выделения подграфов и агрегирования событий. Доказаны теоремы о свойствах минимальных сечений и путей успешного функционирования, включая оценки их количества, что позволяет ранжировать задачи по временной сложности и повысить эффективность их решения.

4. Предложена постановка задачи управления выводом системы из состояния неполной определенности. Для решения этой задачи разработан аппарат обобщенной синхронизации автоматов и на его основе - методика решения задачи, позволяющая значительно снизить ее размерность за счет использования новых доказанных свойств систем с линейным уравнением перехода.

5. Разработан комплекс математических моделей, включающий схемы причинно-следственных взаимосвязей показателей возникновения аварийных комбинаций событий и системы нелинейных разностных уравнений динамики этих показателей. Решение этих систем позволяет выполнять своевременный прогноз и анализ последствий управляющих воздействий по предотвращению аварийных комбинаций событий на различных интервалах времени с учетом переменного характера связей в ЧМС и действия человеческого фактора.

6. Предложена, обоснована и применена методика подтверждения адекватности полученных результатов в составе систем управления ЧМС.

Обоснованность и достоверность полученных в диссертационной работе результатов и сформированных на их основе выводов обеспечивается математически корректными постановками проблем и задач, применением

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

Разработанные методы и алгоритмы основываются на формально доказанных утверждениях. Постановки задач и модели проинтерпретированы содержательно. Обоснованность и достоверность полученных результатов подтверждается публикациями в ведущих отечественных журналах, рекомендованных ВАК, и зарубежных изданиях по тематике исследования, индексируемых в Web of Science и Scopus, а также успешным внедрением разработанных моделей и методов на ряде предприятий и использованием в федеральных государственных образовательных учреждениях в процессе обучения бакалавров, магистров, специалистов и аспирантов и тематике диссертационных исследований.

Результаты, выносимые на защиту.

1. Результаты системного анализа проблемы аварийных комбинаций событий, вызывающих аварии и катастрофы при управлении ЧМС в виде комплекса задач, решение которых позволит существенно повысить оперативность и качество управленческих решений.

2. Постановка задачи управления процессом предотвращения аварийных комбинаций событий как задачи вариационного исчисления на условный экстремум и методика ее решения на основе динамических деревьев отказов и систем дифференциальных уравнений Колмогорова -Чепмена.

3. Подход, позволяющий сократить выделять минимальное множество событий, парирование которых дает возможность предотвращать заданные аварийные комбинации. Теоремы, дающие точные оценки для количества аварийных комбинаций событий и путей успешного функционирования системы, эвристические методы учета порядка событий при решении задачи управления процессом предотвращения аварийных комбинаций событий.

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

5. Комплекс моделей в виде матриц и схем причинно-следственных зависимостей и систем дифференциальных уравнений, решение которых позволяет осуществлять прогнозирование и анализ динамики показателей возникновения аварийных комбинаций событий в ЧМС. Условия возникновения хаотических явлений в построенной модели.

6. Методика подтверждения адекватности и реализуемости разработанного математического обеспечения в составе систем управления ЧМС.

Соответствие паспорту специальности ВАК РФ 05.13.01 -Системный анализ, управление и обработка информации. Работа соответствует следующим пунктам паспорта: 1 - Теоретические основы и методы системного анализа, оптимизации, управления, принятия решений и обработки информации; 5 - Разработка специального математического и алгоритмического обеспечения систем анализа, оптимизации, управления, принятия решений и обработки информации; 8 - Теоретико-множественный и теоретико-информационный анализ сложных систем; 11 - Методы и алгоритмы прогнозирования и оценки эффективности, качества и надежности сложных систем.

Практическая ценность результатов работы.

Использование результатов диссертационной работы позволяет определять управляющие воздействия по предотвращению сложно предсказуемых нарушений функционирования ЧМС, вызванных совокупным воздействием внешних событий, отказов техники и человеческого фактора. Следует особо отметить, что разработанные модели, методы, алгоритмы и реализующие их программные средства могут быть использованы:

- при решении проблемы аварийных комбинаций событий при управлении различного рода ЧМС;

- при разработке автоматизированных систем по предотвращению аварийных комбинаций событий;

- при подготовке курсов обучения и тренажеров для персонала, принимающего решения на различных уровнях управления;

- при подготовке исследователей и разработчиков систем безопасности.

Тема диссертации и внедрение ее результатов непосредственно связаны с направлением «Безопасность и противодействие терроризму», которое является первым в Перечне приоритетных направлений развития науки, технологий и техники Российской Федерации, утвержденного Указом № 899 Президента Российской Федерации от 7 июля 2011 г. Исследования по теме диссертации поддержаны Российским фондом фундаментальных исследований, проекты № 16-01-00536 и № 14-08-00490.

Результаты диссертационной работы соответствуют темам научных исследований, проводимых в Институте проблем точной механики и управления РАН и на кафедре математической кибернетики и компьютерных наук Саратовского национального исследовательского государственного университета им. Н.Г. Чернышевского, где нашли практическое применение в учебном процессе.

Полученные в работе результаты использованы в отчетах о НИР Института проблем точной механики и управления (ИПТМУ) РАН (№ гос. рег. 01201454964).

Реализация и внедрение результатов работы. Результаты диссертационной работы внедрены в ОАО «ПРОГРАММПРОМ», в ОАО «ИЛ», в ФГБОУ ВПО «Саратовский государственный университет им. Н.Г. Чернышевского», в ОАО «Саратовское электроагрегатное производственное объединение», что подтверждено соответствующими актами.

Личный вклад автора.

1. Проведен системный анализ состояния проблемы аварий и катастроф, вызываемых аварийными комбинациями событий при управлении ЧМС; сформулирован комплекс задач, направленный на решение данной проблемы.

2. Поставлена задача управления процессом предотвращения аварийных комбинаций событий как задача вариационного исчисления на условный экстремум. Разработана методика решения поставленной задачи, позволяющая парировать минимальное множество событий для предотвращения заданных аварийных комбинаций на различных интервалах времени с учетом порядка происходящих событий и действия человеческого фактора.

4. Выполнена постановка задачи управления процессом вывода ЧМС из состояния неполной определенности. Для решения задачи предложена автоматная модель, разработан аппарат обобщенной синхронизации автоматов и на его основе построена методика решения задачи.

5. Поставлена задача анализа и прогнозирования динамики показателей, характеризующих возникновение аварийных комбинаций событий в ЧМС с учетом переменной структуры связей и действия человеческого фактора. Для решения этой задачи разработан комплекс моделей в виде причинно-следственных матриц, графов и систем нелинейных дифференциальных уравнений.

6. Предложена, обоснована и применена методика подтверждения адекватности и реализуемости разработанного математического обеспечения в составе систем управления ЧМС.

Апробация работы. Основные результаты диссертационной работы докладывались и обсуждались на международных конференциях: студентов и аспирантов по фундаментальным наукам «Ломоносов» (Москва, 2001), «Автоматизация проектирования дискретных систем» (Минск, 2001), «Компьютерные науки и информационные технологии» памяти А.М.

Богомолова (Саратов, 2002, 2007, 2012 - 2018), IV всероссийской мультиконференции по проблемам управления (Геленджик, 2013), «Математические методы в технике и технологиях» (Саратов, Санкт-Петербург, 2015 - 2017), «Управление развитием крупномасштабных систем» (Москва, 2015 - 2017), «Проблемы управления, обработки и передачи информации» (Саратов, 2017), «Computer Science On-line Conference» (CS0C2016), «International Conference on Computing, Technology and Engineering» (Singapore, 2016).

Материалы диссертации докладывались на семинарах в ФГБОУ ВПО «Саратовский государственный университет им. Н.Г. Чернышевского», в Саратовском социально-экономический институте (филиале) ФГБОУ ВПО «Российский экономический университет имени Г.В. Плеханова», в ФГБОУ ВПО «Саратовский государственный технический университет имени Гагарина Ю.А.».

Публикации. По результатам диссертационного исследования представлено 27 статей, из которых 22 - в журналах, входящих в перечень, рекомендуемый ВАК РФ, 12 - в международных изданиях, индексируемых в базах «Web of Science», «Scopus»; 3 монографии; 22 публикации в других изданиях и на конференциях, свидетельство о государственной регистрации программы для ЭВМ.

Структура и объем работы. Диссертация включает введение, 7 глав, заключение, список литературы из 343 наименований и 6 приложений. Работа изложена на 301 странице, содержит 44 рисунка, 14 таблиц.

ГЛАВА 1. АНАЛИЗ СОСТОЯНИЯ ПРОБЛЕМЫ ПРЕДОТВРАЩЕНИЯ АВАРИЙ В ЧЕЛОВЕКО-МАШИННЫХ И СИСТЕМАХ

1.1. Причины аварий при управлении человеко-машинными системами

Современные человеко-машинные системы и их комплексы с организационными составляющими [177; 159; 218; 243] - добывающие, перерабатывающие, энергетические и промышленные предприятия, а также наземные, водные и авиационно-космические транспортные комплексы включают штат лиц, принимающих решения, операторов, машины, а также сложную внутреннюю среду функционирования, в которой взаимодействует большое количество разнородных процессов. Функционирование каждой из таких систем оказывает значительное влияние на внешнюю природную, социальную среду и работу других ЧМС.

Поэтому аварии в больших и сложных ЧМС причиняют большой ущерб людям, окружающей среде и социально-экономической ситуации в стране. Как показывает статистика, количество техногенных катастроф с начала прошлого века в целом значительно увеличилось, рисунок 1.1. Тенденция количества аварий по отдельным странам носит изменчивый характер, однако, масштаб разрушений и социально-экономических последствий, вызванных отдельными наиболее крупными авариями, растет. При этом часто катастрофы, которые рассматриваются как природные, также тесно связаны с нарушениями функционирования техногенных объектов.

Количество катастроф

—I-1-1-1-1-1-1-1-1—

1впп 1Э1С 1э:а яязв 1Я40 1Э50 1звп 1втп 1зап 1ячп згос :гиз

Года

Рисунок 1.1 - Количество крупных техногенных катастроф в 1900-2009 г (www.washprofile.org) В таблице 1.1 представлены данные [218] о распределении серьезных аварий по отраслям с 1901 по 2007 год.

Таблица 1.1 - природные и техногенные катастрофы в мире, 1901-2007 гг.

Вид катастроф Количество Количество пострадавших Количество погибших Материальный ущерб, долл. США

Промышленные 1 125 4 500 000 49 000 225 млрд

Транспортные 4 102 1 100 000 194 400 58 млрд

Смешанные 1 085 3 100 000 59 000 4.2 млрд

Развитие структур управления ЧМС не решает проблему

возникновения техногенных аварий. Данная проблема в ряде случаев усугубляется из-за трудности освоения операторами усложняющихся интерфейсов, роста объема и интенсивности информационных потоков, сложности состава и структуры человеко-машинных систем. В итоге в современных условиях в целом в мире наблюдается рост количества техногенных и природных катастроф (таблица 1.2 [218]).

Список литературы диссертационного исследования доктор наук Богомолов Алексей Сергеевич, 2019 год

СПИСОК ЛИТЕРАТУРЫ

1. Абрамова, Н.А. Человеческий фактор в управлении / Н.А. Абрамова, К.С. Гинсберг, Д.А. Новиков. - М.: КомКнига. - 2006. - 496 с.

2. Абутидзе, З.С. Состояние и перспективы развития систем предупреждения критических режимов / З.С. Абутидзе, Г.И. Клюев, В.М. Солдаткин, В.А. Ференец // Авиационная промышленность. -1990. - № 12. - С. 25 - 27.

3. Аверкин, А.Н. Нечеткие множества в моделях управления и искусственного интеллекта. / А.Н. Аверкин, И.З. Батыршин, А.Ф. Блишун. Под ред. Поспелова. - М.: Наука. - 1986. - 312с.

4. Авиация: Энциклопедия / гл. ред. Г.П. Свищев. М.: Больш. Российская энциклопедия. - 1994. - 736 с.

5. Айзерман, М.А. Динамический подход к анализу структур, описываемых графами (основы графодинамики). I / М.А. Айзерман, Л.А. Гусев, И.М. Смирнова и др. // Изв.АН СССР Автоматика и телемеханика. - 1977. - №7. - C. 135 - 151.

6. Айзерман, М.А. Динамический подход к анализу структур, описываемых графами (основы графодинамики).П / М.А. Айзерман, Л.А. Гусев, И.М. Смирнова и др. // Изв.АН СССР Автоматика и телемеханика. - 1977. - № 9. - C. 123 - 136.

7. Акинфиев, В.К. Модели и методы синтеза структуры многоконтурных информационно-управляющих систем / В.К. Акинфиев, В.П. Костюк, А.Ф. Резчиков, А.Д. Цвиркун // Изв. АН СССР. Автоматика и телемеханика. - 1988. - № 3. - C. 172 - 177.

8. Александровская, Л.И. Статистические методы анализа безопасности сложных технических систем / Л.И. Александровская. - М.: «Логос» . -2001. - 228 с.

9. Анисимов, А.В. Исследование жизненных циклов сложных технических систем посредством сетей Петри / А.В. Анисимов,

Ю.Е. Борейша // Изв.АН СССР. Автоматика и телемеханика. - 1987. -№4. - С. 90 - 101.

10. Анцелович, Л.П. Надежность, безопасность и живучесть самолета / Л.П. Анцелович. - М.: Машиностроение. - 1985. - 296 с.

11. Аракелова, Ж.Н. Автоматизированное планирование и анализ деятельности в организационных системах / Ж.Н. Аракелова, А.С. Рыков, В.В. Яворский // Изв. АН СССР Автоматика и телемеханика. - 1989. - №6. - C. 73 - 84.

12. Аракчеева, Е.О. Верификация программного комплекса CRISS 4.0 для проведения вероятностного анализа безопасности / Е.О. Аракчеева, А.М. Бахметьев, И.А. Былов // ФГУПОКБМ им. Африкантова. - 2006. http ://www.nntu. sci-nnov.ru/RUS/NEWS/stconf/konf. doc

13. Аскин, Я.Ф. Философский детерминизм и научное познание / Я.Ф. Аскин. - М.: Мысль. - 1977. - 188 с.

14. Базлев, Д.А. Концепция построения бортовой информационно-экспертной системы поддержки действий летчика в особых ситуациях полета / ДА. Базлев, В.Н. Евдокименков, Н.В. Ким, М.Н. Красильщиков // Вестник компьютерных и информационных технологий. - 2007. - №1. - С. 10 - 25.

15. Бахметьев, А.М. Отчет о научно-исследовательской работе верификация и обоснование программы CRISS 4.0 для моделирования и анализа систем безопасности ядерной установки при выполнении вероятностного анализа безопасности. Часть 1 (Заключительная редакция). / А.М. Бахметьев, И.А. Былов, Ю.В. Милакова // Нижний Новгород: ФГУП ОКБМ им. И.И.Африкантова. - 2005. - 88 с. Проведение вероятностного анализа безопасности первого уровня ядерных установок (ЯУ) и иных объектов использования атомной энергии, построение логических моделей систем безопасности и объекта в целом - деревьев отказов и деревьев событий; проведение расчетов с получением показателей надежности систем безопасности и вероятно-

стных характеристик безопасности объекта. Аттестован в 2006 г. Аттестационный паспорт № 212.

16. Беллман, Р. Динамическое программирование / Р. Беллман. - М.: ИЛ. -1960. - 400 с.

17. Белов П. Г. Оценка риска подрыва стратегической стабильности и национальной безопасности России / П. Г. Белов // Национальная безопасность и стратегическое планирование. - 2016. - № 4. - С. 4 - 16.

18. Белотелов, Н.В. Сложность. Математическое моделирование. Гуманитарный анализ. Исследование исторических, военных, социально-экономических и политических процессов / Н.В. Белотелов, Ю.И. Бродский, Ю.Н. Павловский. - М.: Либроком. - 2009. - 320 с.

19. Беляев, Ю.К. Надежность технических систем: Справочник / Ю.К. Беляев, В.А. Богатырев, В.В. Болотин и др.; под ред. И.А. Ушакова. -М.: Радио и связь. - 1985. - 606 с

20. Берж, К. Теория графов и ее применение / К. Берж. - М.: ИЛ. - 1962. -319 с.

21. Блехман, И.И. Механика и прикладная математика / И.И. Блехман, А.Д. Мышкис, Я.Г. Пановко. - М.: Наука. - 1990. - 360 с.

22. Богомолов, A.M. Алгебраические основы теории дискретных систем / A.M. Богомолов, В.Н. Салий. - Москва: Наука. - 1997. - 367 с.

23. Богомолов, А.М. Универсальные конечные автоматы / А.М. Богомолов, А.А. Сытник // Доклады Академии наук СССР. - 1987. - Т. 294. № 3. -С. 525 - 528.

24. Богомолов, A.M. Диагностика сложных систем / A.M. Богомолов, В.В. Твердохлебов. - Киев: Наукова думка. - 1974. - 128 с.

25. Богомолов, С.А. О синтезе автоматов по конечному множеству экспериментов / С.А. Богомолов // Доклады Академии наук СССР. -1985. - Т. 281. № 1. - С. 20.

26. Богомолов, С.А. Автоматная модель взаимодействия организационных систем / С.А. Богомолов // Интеллектуальные системы. - 2013. - Т. 17. № 1 - 4. - С. 149 - 153.

27. Богомолов, С.А. Диффузионная аппроксимация процессов обслуживания требований в транспортных системах / С.А. Богомолов // Управление развитием крупномасштабных систем MLSD'2016: труды девятой международной конференции, 2016. - С. 425 - 429.

28. Богословский, Л.Е. Практическая аэродинамика самолета Як - 40. Учебное пособие / Л.Е. Богословский, М.Н. Шифрин. - М.: Машиностроение. - 1977. - 96 с.

29. Болонин, Н.А. Элементы искусственного интеллекта в адаптивном управлении / Н.А. Болонин, С.А. Гусев, О.С. Попов // Изв. Академии наук. Автоматика и телемеханика. - 1994. - №4. - С. 114 - 123.

30. Болотин, В.В. Прогнозирование ресурса машин и конструкций /

B.В. Болотин. - М.: Машиностроение. - 1984. - 312 с.

31. Большаков, А. А. Модель прогнозирования функционирования больших систем / А. А. Большаков, С. В. Петров // Вестник Саратовского государственного технического университета. - 2009. - №43. -

C. 178 - 181.

32. Бохманн, Д. Двоичные динамические системы. / Д. Бохманн, Х. Постхоф - Москва: Энергоатомиздат. - 1986. - 401 с.

33. Бродский, Ю. И. Лекции по математическому и имитационному моделированию / Ю. И. Бродский. - М.: Директ-Медиа, 2015. - 240 с.

34. Брук, В.М. Оценка точности критериев в задачах принятия решений / В.М. Брук // Изв. АН СССР Автоматика и телемеханика. - 1987. - № 6.

- С. 131 - 137.

35. Бурков, В.Н. Большие системы: моделирование организационных механизмов / В.Н. Бурков, Б. Данев, А.К. Еналеев. - М.: Наука. - 1989.

- 447 с.

36. Бурков, В.Н. Механизмы функционирования организационных систем / В.Н. Бурков, В.В. Кондратьев. М.: Наука. - 1981. - 384 с.

37. Бусленко, В.Н. Автоматизация имитационного моделирования сложных систем. - М.: Наука. - 1977. - 239 с.

38. Бусленко, Н.П. Моделирование сложных систем / Н.П. Бусленко. - М.: Наука. - 1968. - 356 с.

39. Бусленко, Н.П. Лекции по теории сложных систем / Н.П. Бусленко, В.В. Калашников, И.Н. Коваленко. - М.: Сов радио. - 1973. - 384 с.

40. Бюшгенс, Г.С. Динамика самолета. Пространственное движение / Г.С. Бюшгенс, Р.В. Студнев. - М.: Машиностроение. - 1983. - 320 с.

41. В США предотвратили крупнейшую в истории авиакатастрофу. [Электронный ресурс]. Режим доступа: https://rg.ru/2017/07/12/v-ssha-predotvratili-krupneishuiu-v-istorii-aviakatastrofu.html (дата обращения: 01.01.2019).

42. Васильев, С.Н. От классических задач регулирования к интеллектуальному управлению / С.Н. Васильев // Известия Академии наук. Теория и системы управления. - 2001. - № 2. - С. 5 - 21.

43. Васильев, С.Н. Проблемы управления сложными динамическими объектами авиационной и космической техники / С.Н. Васильев,

B.И. Васильев, В.М. Глумов и др. - М.: Машиностроение, 2015. - 519 с.

44. Васильев, С.Н. Интеллектное управление динамическими системами /

C.Н. Васильев, А.К. Жерлов, Е.А. Федосов, Б.Е. Федунов. - М.: Физматлит, 2002. - 352 с.

45. Венцель, Е.С. Элементы теории игр / Е.С. Венцель. - М.: Физматгиз. -1961. - 67 с.

46. Викторова, В.С. Моделирование и анализ контролепригодности бортовых систем самолетов / В.С. Викторова, Б.И. Ведерников, И.Б. Спиридонов, А.С. Степанянц // Надежность. - 2007. - № 3. - С. 62.

47. Викторова, В.С. Relex - программа анализа надежности, безопасности, рисков. / В.С. Викторова, Х. Кунтшер, Б.П. Петрухин, А.С. Степанянц // Надежность. - №4(7). - 2003. - С. 42 - 64.

48. Викторова, B.C. Обзор программных разработок по анализу надежности и безопасности систем / В.С. Викторова, Х.П. Кунтшер, А.С. Степанянц // Труды международной конференции "Программные продукты информационного обеспечения безопасности полетов, надежности и технической эксплуатации авиационной техники", 2006. - C. 17 - 26.

49. Викторова, В.С. Проектный анализ контролепригодности технических систем (теория, методы расчета, программное обеспечение) / В.С. Викторова, А.С. Степанянц. - М.: ИПУ РАН, 2010. - 71 с.

50. Викторова, В.С. Модели и методы расчета надежности технических систем / В. С. Викторова, А. С. Степанянц - М.: Ленанд, 2016. - 256 с.

51. Вишнякова, Л.В. Алгоритмическое и программное обеспечение ключевых элементов автоматизированной системы планирования воздушного движения / Л.В. Вишнякова, О.В. Дегтярев, И.Ф. Зубкова, М.С. Михайлов, Т.И. Плотникова // ASTEC'07. Российско-европейский семинар. - 2007. - С. 10 - 11.

52. Воздушный кодекс Российской Федерации от 19 марта 1997 г. № 60-ФЗ.

53. Волик, Б. Г. Анализ и обеспечение техногенной безопасности технических объектов / Б. Г. Волик // Датчики и системы. - 2012. - № 6. - С. 57 - 63.

54. Высоцкий, В.З. Коэффициент загрузки диспетчера УВД как показатель безопасности полетов / В.З. Высоцкий // Научный вестник МГТУ ГА. -2006. - №99. - С. 149 - 151.

55. Галяев, А.А. Задача планирования оптимального движения объекта через район случайного поиска / А. А. Галяев, П. В. Лысенко, В. П. Яхно // Проблемы управления. - 2017. - № 5. - С. 77 - 83.

56. Гермейер, Ю.Б. Введение в теорию исследований операций / Ю.Б. Гермейер. - М.: Наука. - 1971. - 384 с.

57. Гилл, А. Введение в теорию конечных автоматов. / А. Гилл. - М.: Наука. - 1966. - 272 с.

58. Гилл, А. Линейные последовательностные машины. / А. Гилл. - М.: Наука. - 1974. - 288 с.

59. Гладун, В.П. Эвристический поиск в сложных системах / В.П. Гладун. - Киев: Наукова думка. - 1977. - 186 с.

60. Глобальный план обеспечения безопасности полетов // Международная организация гражданской авиации, 2013. - 76 с.

61. Глушков, В.М. Система автоматизации творческих процессов в научных исследованиях, проектировании и задачах управления роботами / В.М. Глушков, А.А. Стогний, И.Г. Биба и др. // Кибернетика. - 1981. - №6. - С. 110 - 115.

62. Глушков, В.М. Синтез цифровых автоматов / В.М. Глушков. - М.: Физматгиз. - 1962. - 476 с.

63. Гнеденко, Б.В. Математические методы в теории надежности / Б.В. Гнеденко, Ю.К. Беляев, А.Д. Соловьев. - М.: Наука. - 1965. - 524 с.

64. Голубков, Е.П. Использование системного анализа при принятии плановых решений / Е.П. Голубков. - М.: Экономика. - 1982. - 256 с.

65. ГОСТ 27.31-95 (МЭК 812-1985). Надежность в технике. Анализ видов, последствий и критичности отказов. Основные положения. - М.: Издательство стандартов. - 1997. - 12 с.

66. ГОСТ Р 51901.5-2005 Менеджмент риска. Руководство по применению методов анализа надежности (с Поправкой). Введ. 2006-02-01. - М.: Стандартинформ, 2005. - 51 с.

67. ГОСТ Р 56079-2014 Изделия авиационной техники. Безопасность полета, надежность, контролепригодность, эксплуатационная и

ремонтная технологичность. Номенклатура показателей. - Введ. 201501-01. - М.: Стандартинформ, 2014. - 12 с.

68. Губинский, А.И. Надежность и качество функционирования эргатических систем / А.И. Губинский. - Л.: Наука. Ленингр. отд-ние. -1982. - 269 с.

69. Деревянкин, В.П. Обнаружение нештатных ситуаций и предотвращение критических режимов полета самолета / В.П. Деревянкин // Изв. вузов. Авиационная техника. - 2004. - № 2. - С. 54 - 57.

70. Диллон, Б. Инженерные методы обеспечения надежности систем / Б. Диллон, Ч. Сингх. - М.: Мир. - 1984. - 318 с.

71. Домнич, В.С. Синтез причинно-следственных комплексов для анализа дорожно-транспортных происшествий / В.С. Домнич // Кибернетика и высокие технологии XXI века: сб. тр. X междунар. науч.-технич. конф.

- Воронеж: Изд.-полиграфич. центр Воронеж. гос. ун-та, 2009. - С. 697

- 703.

72. Домнич, В.С. Автоматизация поиска причин аварийных ситуаций при формовании листового стекла / В.С. Домнич, В.А. Иващенко, Д.Ю. Петров // Проблемы управления. - 2011. - №5. - С 52 - 58.

73. Дружинин, Г.В. Надежность автоматизированных производственных систем / Г.В. Дружинин. - М.: Энергоатомиздат. - 1986. - 480 с.

74. Емеличев, В.А. Лекции по теории графов / В.А. Емеличев, О.И. Мельников, В.И. Сарванов и др. - М.: Наука. - 1990. - 384 с.

75. Ерусалимский, М.А. Анализ возможности раннего предупреждения летного экипажа о возможности особой ситуации в полете по маршруту самолетов транспортной категории / М.А. Ерусалимский. - М.: Изд. Авиапромсервис, 2007. - 26 с.

76. Ефремов, А.В. Летчик как динамическая система / А.В. Ефремов, А.В. Оглоблин, А.Н. Предтеченский, В.В. Родченко. - М.: Машиностроение. - 1992. - 331 с.

77. Заде, Л. Понятие лингвистической переменной и его применение к принятию приближенных решений / Л. Заде. - М.: Мир. - 1976. - 165 с.

78. Зайцева, Е.Н. Анализ вероятности отказа невосстанавливаемой системы с использованием методов алгебры логики / Е.Н. Зайцева, Ю.В. Поттосин // Информатика. - № 2. - 2007. - С 77 - 85.

79. Иванов, А.Г. Моделирование движения самолета на этапе посадки. / А.Г. Иванов // Проблемы управления с гарантированным результатом. Екатеринбург. 1992. - С. 15 - 26.

80. Иванов, А.С. Кибернетический подход к моделированию разнородных процессов в мехатронных системах / А.С. Иванов, Р.Ю. Лапковский, Д.А. Уков, Л.Ю. Филимонюк // Мехатроника, автоматизация, управление. - 2011. - №1. - С. 16 - 20.

81. Иванов, А.С. Причинно-следственный подход к расследованию аварийных ситуаций в человеко-машинных системах / А.С. Иванов, Р.Ю. Лапковский, Д.А. Уков, Л.Ю. Филимонюк // Мехатроника, автоматизация, управление. - 2012. - №2. - С. 38 - 43.

82. Исаев, В.К. Подход к построению интеллектуальной многоуровневой системы управления воздушным движением / В.К. Исаев, Б.Х. Давидсон, Е.Н. Хоботов, В.В. Золотухин // Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук»: Часть III. Аэрофизика и космические исследования. М.: МФТИ, 2009. - Том 2. - С. 158 - 160.

83. Капур, К. Надежность и проектирование систем / К. Капур, Л. Ламберсон. - М.: Мир. - 1980. - 604 с.

84. Карибский, В.В. Основы технической диагностики. Книга 1. Модели объектов, методы и алгоритмы диагноза / В.В. Карибский, П.П. Пархоменко, Е.С. Согомонян, В.Ф. Халчев. - М.: Энергия. - 1976. - 464 с.

85. Касаткин, А.С. Эффективность автоматизированных систем контроля / А.С. Касаткин. - М: Энергия. - 1975. - 87 с.

86. Касаткин, А.С. Статистическая оптимизация аппаратуры контроля / А.С. Касаткин, Э.И. Коменда. - М.: Энергия. - 1970. - 56 с.

87. Клыков, Ю.И. Ситуационное управление большими системами / Ю.И. Клыков. - М.: Энергия. - 1974. - 136 с.

88. Клюев, А.В. Психологические аспекты проблемы человеческого фактора в авиационной аварийности. Анализ и стратегия профилактики / А.В. Клюев, А.Н. Качалкин, Э.Б. Диденко, В.Е. Овчаров, Н.Г. Горбач. - М.: Текст. - 1996. - 85 с.

89. Клюев, В.В. Модели и алгоритмы мониторинга глобальной безопасности на основе деревьев событий / В.В. Клюев, В.Б. Байбурин, А.Ф. Резчиков, В.А. Кушников, А.С. Богомолов, Л.Ю. Филимонюк // Контроль. Диагностика. - 2015. - № 8. - С. 70 - 74.

90. Клюев, В.В. Системный подход к задаче оценки остаточного ресурса человеко-машинных систем / В.В. Клюев, А.Ф. Резчиков, А.С. Богомолов, Д.А. Уков, Л.Ю. Филимонюк // Контроль. Диагностика. - 2011. - № 8. - С. 9 - 13.

91. Клюев, В.В. Взаимодействие ресурсов сложных человеко-машинных систем в критических ситуациях / В.В. Клюев, А.Ф. Резчиков, А.С. Богомолов, Л.Ю. Филимонюк // Контроль. Диагностика. - 2013. -№4. - С. 41 - 45.

92. Клюев, В.В. Концепция комплексного ресурса для исследования безопасности систем «Человек - Объект - Среда» / В.В. Клюев,

A.Ф. Резчиков, А.С. Богомолов, Л.Ю. Филимонюк // Контроль. Диагностика. - 2013. - №8. - С. 44 - 55.

93. Клюев, В.В. Анализ аварий и возможностей их предотвращения в сложных техногенных системах с использованием моделей причинно-следственных связей / В.В. Клюев, А.Ф. Резчиков, А.С. Иванов,

B.С. Домнич // Контроль. Диагностика. - 2009. - № 12. - С. 29 - 36.

94. Клюев, В.В. Математические модели и информационные технологии предотвращения неблагоприятных сочетаний событий в критические периоды развития государства / В.В. Клюев, А.Ф. Резчиков, В.А. Кушников, А.С. Богомолов, В.А. Иващенко, Л.Ю. Филимонюк // Вестник компьютерных и информационных технологий. - 2017. -№ 2. - С. 40 - 47.

95. Клюев, В.В. Прогнозирование показателей безопасности функционирования дорожно-транспортных систем России / В.В. Клюев,

A.Ф. Резчиков, В.А. Кушников, А.С. Богомолов, В.А. Иващенко, Л.Ю. Филимонюк, К.Ю. Адамович // Вестник компьютерных и информационных технологий. - 2017. - № 1. - С. 37 - 43.

96. Клюев, В.В. Информационно-управляющая система для поддержки принятия решений по ликвидации последствий наводнений /

B.В. Клюев, А.Ф. Резчиков, В.А. Кушников, А.С. Богомолов, В.А. Иващенко, Л.Ю. Филимонюк, М.В. Хамутова // Вестник компьютерных и информационных технологий. - 2016. - № 11. - С. 39 - 45.

97. Клюев, В.В. Диагностика опасных состояний операторов при критических сочетаниях событий в человеко-машинных системах / В.В. Клюев, А.Ф. Резчиков, В.А. Кушников, В.А. Иващенко,

A.С. Богомолов, Л.Ю. Филимонюк, А.Е. Храмов, А.Е. Руннова // Вестник компьютерных и информационных технологий. - 2017. - № 8. - С. 48 - 56.

98. Клюев, В.В. Математические модели для контроля, диагностики и прогнозирования состояния национальной безопасности России /

B.В. Клюев, А.Ф. Резчиков, В.А. Кушников, В.А. Иващенко, Н.В. Яндыбаева, А.С. Богомолов, Л.Ю. Филимонюк // Контроль. Диагностика. - 2016. - № 3. - С. 43 - 51.

99. Клюев, В.В. Анализ критических ситуаций, вызванных неблагоприятным стечением обстоятельств / В.В. Клюев, А.Ф. Резчиков, В.А. Кушников, В.А. Твердохлебов, В.А. Иващенко, А.С. Богомолов,

Л.Ю. Филимонюк // Контроль. Диагностика. - 2014. - №7. - С. 12 -16.

100. Клюев, В.В. Диагностика и предотвращение критических ситуаций в технических, социально-экономических и биологических системах / В.В. Клюев, А.Ф. Резчиков, В.А. Кушников, В.А. Твердохлебов, В.А. Иващенко, А.С. Богомолов, Л.Ю. Филимонюк, Е.В. Кушникова, Б.В. Артемьев // М.: ООО Издательский дом «Спектр», 2017. - 174 с.

101. Клюев, Г.И. Авиационные приборы и системы: Учеб. пособие / Г.И. Клюев, Н.Н. Макаров, В.М. Солдаткин. - Ульяновск: Изд-во Ульяновского гос. техн. университета, 2000. - 343 с.

102. Коваленко, И.Н. Исследования по анализу надежности сложных систем / И.Н. Коваленко. - Киев: Наукова Думка. - 1975. - 210 с.

103. Код "РИСК" Вероятностный анализ риска и надежности методом деревьев отказов и деревьев событий. М.: ОЦРК Минатома России. Аттестован в 2004 г., аттестационный паспорт № 172.3.

104. Кожевников, В.И. Методика построения функции опасности отказов бортового оборудования / В.И. Кожевников // Изв. вузов. Авиационная техника. - 2004. - № 1. - С. 58 - 61.

105. Котик, М.Г. Психология и безопасность / М.Г. Котик. - Таллин: Валгус. - 1981. - 408 с.

106. Кристофидес, Н. Теория графов: алгоритмический подход / Н. Кристофидес. - М.: Мир. - 1978. - 432 с.

107. с14.Кристофидес, Н. Теория графов: алгоритмический / Н. Кристофидес. - М.: Мир. - 1987. - 432 с.

108. Крыжановский, В.А. К оценке уровня квалификации операторов сложных автоматизированных систем управления / В.А. Крыжановский, Ю.Ф. Цепляев // Изв. АН СССР. Автоматика и телемеханика. - 1986. - №1. - С. 151 - 161.

109. Кудрицкий, В. Д. Автоматизация контроля радиоэлектронной аппаратуры / В. Д. Кудрицкий, М. А. Синица, П. И. Чинаев. - М.: Сов. радио. - 1977. - 256 с.

110. Кудрявцев, В. Б. Основы теории интеллектуальных систем / В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин. - М.: МАКС Пресс, 2016. -612 с.

111. Кузнецов, П.И. Контроль и поиск неисправностей в сложных системах / П.И. Кузнецов, Л.А. Пчелинцев, B.C. Гайденко. - М.: Сов. радио. -1969. - 240 с.

112. Кульба, В.В. Теоретические основы проектирования информационно-управляющих систем космических аппаратов / В.В. Кульба, Е.А. Микрин, Б.В. Павлов, В.Н. Платонов. - М.: Наука, 2006. - 579 с.

113. Кульба, В.В. Анализ устойчивости социально-экономических систем с использованием знаковых орграфов / В.В. Кульба, П.Б. Миронов, В.М. Назаренко // Изв. Академии наук. Автоматика и телемеханика. -1993. - №7. - С. 121 - 128.

114. Курош, А.Г. Курс высшей алгебры. / А.Г. Курош. - М.: Наука. - 1976. -432 с.

115. Кучерявый, А.А. Бортовые информационные системы: Курс лекций / А.А. Кучерявый. - Ульяновск: Изд-во Ульяновского гос. техн. университета, 2004. - 504 с.

116. Кушников, В.А. Моделирование динамики характеристик безопасности дорожного движения в регионе / В.А. Кушников, В.А. Иващенко, Л.Ю. Филимонюк, К.Ю. Адамович // Математическое моделирование, компьютерный и натурный эксперимент в естественных науках. - 2017. - № 1.

117. Кушникова, Е.В. Модели и алгоритмы минимизации ущерба от атмосферных выбросов промышленных предприятий / Е.В. Кушникова, А.Ф. Резчиков, В.А. Иващенко, Л.Ю. Филимонюк // Управление большими системами. - 2015. № 57. - С. 158 - 190.

118. Кушникова, Е.В. Модели минимизации ущерба от атмосферных выбросов промышленных предприятий при неопределенности характеристик состояния окружающей среды / Е.В. Кушникова, А.Ф. Резчиков, В.А. Иващенко, Л.Ю. Филимонюк // Экология промышленного производства. - 2015. - № 4. - С. 60 - 65.

119. Ларичев, О.И. Наука и искусство принятия решений / О.И. Ларичев. -М.: Наука. - 1979. - 200 с.

120. Ларичев, О.И. Человеко-машинные процедуры принятия решений (обзор) / О.И. Ларичев // Изв. АН СССР Автоматика и телемеханика. -1971. - №12 - С. 130 - 142.

121. Ларичев, О.И. Проблемы методы и системы извлечения экспертных знаний / О.И. Ларичев, В.К. Моргоев // Изв. АН СССР. Автоматика и телемеханика. - 1991. - № 9. - С. 3 - 27.

122. Ларичев, О.И. Система поддержки принятия решений для слабоструктурированных проблем: требования и организация / О.И. Ларичев, А.Б. Петровский // Человеко-машинные процедуры принятия решений: Сб. тр. ВНИИСИ. - 1988. - № 11. - С. 4 - 13.

123. Макаров, И.Н. Теория выбора и принятия решений / И.Н. Макаров, Т.М. Виноградская, А.А. Рубчинский и др. - М.: Наука. - 1982. - 328 с.

124. Макаров, Н.Н. Системы обеспечения безопасности функционирования бортового эргатического комплекса: Теория, проектирование, применение / Н.Н. Макаров; под ред. В.М. Солдаткина. - М.: Машиностроение, 2009. - 760 с.

125. Макаров, Н.Н. Количественная оценка безопасности функционирования бортового эргатического комплекса / Н.Н. Макаров, В.М. Солдаткин // Материалы Всерос. науч. конференции «Информационные технологии в науке, образовании и производстве». - Казань: Изд-во Казанского гос. техн. университета, 2007. - С. 176 - 179.

126. Малько, А.В. Правовая политика в сфере обеспечения информационной безопасности в сети Интернет: моделирование процессов /

А.В. Малько, А.Ф. Резчиков, В.А. Иващенко, В.А. Кушников, А.С. Богомолов, О.Л. Солдаткина, Л.Ю. Филимонюк // Юридическая наука и правоохранительная практика. - 2017. - № 2 (40). - С. 72 - 80.

127. Марчук, Г.И. Сопряжённые уравнения и анализ сложных систем / Г.И. Марчук. - М.: Наука. - 1992. - 336 с.

128. Махутов Н. А. Безопасность и риски: системные исследования и разработки / Н. А. Махутов // Новосибирск. - "Наука", 2017. - 724 с.

129. Месарович, М. Общая теория систем: математические основы / М. Месарович, Я. Танахара. - М.: Мир. - 1978. - 312 с.

130. Месарович, М. Теория иерархических многоуровневых систем / М. Месарович, Д. Мако, И. Такахара. - М.: Мир. - 1973. - 344 с.

131. Методические указания по проведению анализа риска опасных производственных объектов. №РД 03-418-01. Утверждены постановлением Госгортехнадзора России от 10.07.01 № 30. Введены в действие с 01.09.01 г.

132. Мину, М. Математическое программирование. / М. Мину. - М.: Наука.

- 1990. - 488 с.

133. Можаев, А.С. Общий логико-вероятностный метод анализа надежности сложных систем. Уч. пособие. / А.С. Можаев. - Л.: ВМА. - 1988. - 68 с.

134. Моисеев, Н.Н. Математика ставит эксперимент / Н.Н. Моисеев. - М.: Наука. - 1979. - 224 с.

135. Моисеев, Н.Н. Математические задачи системного анализа / Н.Н. Моисеев. - М.: Наука. - 1981. - 488 с.

136. Морозов, А.А. Новые информационные технологии в системах принятия решений / А.А. Морозов // Управляющие системы и машины.

- 1993. - № 3. - С. 11 - 24.

137. Мушик, Э. Методы принятия технических решений / Э. Мушик, П. Мюллер. - М.: Мир. - 1990. - 208 с.

138. Мышкис, А.Д. Элементы теории математических моделей / А.Д. Мышкис. - М.: КомКнига, 2007. - 192 с.

139. Неделько, В.Н. Практическая реализация задачи выявления потенциально-конфликтных ситуаций и нарушения интервалов эшелонирования в тренажерном моделирующем комплексе управления воздушным движением / В.Н. Неделько, А.В. Землянский // Материалы V Международной научно-практической конференции «Современные информационные технологии в управлении и профессиональной подготовке операторов сложных систем». - Кировоград: Изд-во ГЛАУ, 2010. - С. 61 - 63.

140. Неймарк, М.С. Модель поддержки принятия решений при входе воздушных судов в зону ответственности аэропорта / М.С. Неймарк, Л.Г. Цесарский, Л.Ю. Филимонюк // Общероссийский научно-технический журнал «Полет». - 2013. - №3. - С. 31 - 37.

141. Новиков, Д. А. Иерархические модели военных действий / Д.А. Новиков // Управление большими системами: сб. тр. - 2012. - № 37. -С. 25 - 62.

142. Новиков, П.П. Диспозиционные модели принятия решений и их использование в экспертных системах и интеллектуальных тренажерных модулях / П.П. Новиков // Авиационная эргономика, тренажеры и подготовка летного состава. - Жуковский, ЛИИ. - 1995. - С. 46 - 50.

143. Новожилов, Г.В. Безопасность полета самолета: Концепция и технология / Г.В. Новожилов, М.С. Неймарк, Л.Г. Цесарский. - М.: Изд-во МАИ, 2007. - 196 с.

144. Новожилов, Г.В. Проблема коррекции ошибок персонала авиационных транспортных систем / Г.В. Новожилов, А.Ф. Резчиков, В.А. Кушни-ков, М.С. Неймарк, В.А. Иващенко, Л.Г. Цесарский, А.С. Богомолов, Л.Ю. Филимонюк // Общероссийский научно-технический журнал «Полет». - 2017. - № 2. - С. 3 - 8.

145. Новожилов, Г.В. Человеческий фактор в авиационно-транспортных системах / Г.В. Новожилов, А.Ф. Резчиков, М.С. Неймарк,

А.С. Богомолов, Л.Г. Цесарский, Л.Ю. Филимонюк // Общероссийский научно-технический журнал «Полет». - 2013. - №5. - С. 3 - 10.

146. Новожилов, Г.В. Причинно-следственный подход к анализу авиационно-транспортных систем / Г.В. Новожилов, А.Ф. Резчиков, М.С. Неймарк, В.А. Твердохлебов, Л.Г. Цесарский, Л.Ю. Филимонюк // Общероссийский научно-технический журнал «Полет». - 2011. -№7. - С. 3 - 8.

147. Новожилов, Г.В. Проблема критических сочетаний событий в системе «экипаж - воздушное судно - диспетчер» / Г.В. Новожилов, А.Ф. Резчиков, М.С. Неймарк, Л.Г. Цесарский, А.С. Богомолов, Л.Ю. Филимонюк // Общероссийский научно-технический журнал «Полет». - 2015. - №2. - С. 10 - 16.

148. Новожилов, Г.В. Управление авиационно-транспортными системами на основе причинно-следственных деревьев событий / Г.В. Новожилов,

A.Ф. Резчиков, М.С. Неймарк, Л.Г. Цесарский, В.А. Кушников, А.С. Богомолов, Л.Ю. Филимонюк, К.И. Шоломов // Общероссийский научно-технический журнал «Полет». - 2015. - №6. - С. 13 - 17.

149. Носов, Н.А. Ошибки пилота: психологические причины / Н.А. Носов. -М.: Транспорт. - 1990. - 64 с.

150. Овчаров, В Е. Человеческий фактор в авиационных происшествиях /

B.Е. Овчаров. - М.: Полиграф, 2005. - 78 с.

151. Оре, О. Теория графов / О. Оре. - М.: Наука. - 1980. - 336 с.

152. Орловский, С.А. Проблемы принятия решений при нечеткой исходной информации / С.А. Орловский. - М.: Наука. - 1981. - 203 с.

153. Основные принципы учета человеческого фактора в руководстве по техническому обслуживанию воздушных судов // Международная организация гражданской авиации. Doc 9824 AN/450, 2003. - 227 с.

154. Основы инженерной психологии / под ред. Б.Ф. Ломова. - М.: Высш. шк.. - 1986. - 448 с.

155. Острейковский, В.А. Теория Надежности / В.А. Острейковский. - М.: "Высшая Школа", 2003. - 463 с.

156. Острейковский, В.А. Безопасность атомных станций. Вероятностный анализ / В.А. Острейковский, Ю.В. Швыряев. - М.: Физматлит, 2008. -352 с.

157. Отчет о НИР. Сравнительный анализ технологий деревьев отказов и автоматизированного структурно-логического моделирования, используемых для выполнения работ по вероятностному анализу безопасности АЭС и АСУТП на стадии проектирования. («Технология - 2004»), ФГУП "СПбАЭП", СПИК СЗМА, ИПУ РАН. -СПб.: - 2005 г. - 282 с.

158. Оуэн, Г. Теория игр / Г. Оуэн. - М.: Мир. - 1971. - 232 с.

159. Перегудов, Ф.И. Введение в системный анализ / Ф.И. Перегудов, Ф.П. Тарасенко. - М.: Высшая школа. - 1989. - 320 с.

160. Петров, С.В. Прогноз функционирования систем: информационная модель динамики вероятности состояния / С.В. Петров // Математические методы в технике и технологиях - ММТТ - 17: сб. тр. XVII междунар. науч. конф. / КГТУ. - Кострома, 2004. Т. 5. - С. 185.

161. Петров, С.В. Прогноз функционирования систем: вероятностная оценка изменений структуры / С.В. Петров // Математические методы в технике и технологиях - ММТТ - 21: сб. тр. XXI междунар. науч. конф., 27 - 30 мая 2008 г.: в 10 т. / СГТУ. - Саратов, 2008. Т. 10. - С. 74 - 77.

162. Петросян, Л.А. Теория игр: Учеб. пособие для ун-тов / Л.А. Петросян, Н.А. Зенкевич, Е.А. Семина. - М.: Высш. шк.. - 1998. - 304 с.

163. Половко, А.М. Основы теории надежности / А.М. Половко, С.В. Гуров. - СПб.: БХВ - Петербург, 2006. - 704 с.

164. Пономаренко, В.А. Человеческий фактор и безопасность посадки / В.А. Пономаренко, В.В. Лапа, Н.А. Лемещенко. - М.: Воениздат. -1992. - 112 с.

165. Поспелов, Г.С. Программно-целевое планирование и управление / Г.С. Поспелов, В.А. Ириков. - М.: Сов. радио. - 1976. - 320 с.

166. Поспелов, Д.А. Сетевые и продукционные модели / Д.А. Поспелов // Представление знаний в человеко-машинных системах. Т.А.: Фундаментальные исследования в области представления знаний. - М: Наука. - 1984. - С. 77 - 83.

167. Поспелов, Д.А. Логико-лингвистические модели в системах управления / Д.А. Поспелов. - М.: Энергоиздат. - 1981. - 232 с.

168. Поспелов, Д.А. Системы управления. Задание. Проектирование. Реализация / Д.А. Поспелов, В.Н. Захаров, В.Е. Хазацкий. - М.: Энергия. - 1972. - 344 с.

169. Поспелов, Д.А. Ситуационное управление. Теория и практика / Д.А. Поспелов. - М.: Наука. - 1986. - 288 с.

170. Правила расследования авиационных происшествий и инцидентов с гражданскими воздушными судами в Российской Федерации. Постановление Правительства РФ от 18 июня 1998 г. № 609.

171. Прангишвили, И.В. Системный подход и общесистемные закономерности / И.В. Прангишвили. - М.: Синтег, 2000. - 528 с.

172. Прангишвили, И.В. Проблемы управления сложными крупномасштабными процессами / И.В. Прангишвили // Приборы и системы управления. - 1996. - № 6. - С. 1 - 6.

173. Прогнозирование остаточного ресурса оборудования по изменению параметров его технического состояния при эксплуатации (РД26.260.005-91). Методические указания. Введены 01.01.1992.

174. Райншке, К. Оценка надежности систем с использованием графов / К. Райншке, И.А. Ушаков - М.: Радиоисвязь. - 1988. - 209 с.

175. Расследование авиационных происшествий и инцидентов // Приложение 13 Конвенции о международной гражданской авиации, 2001. - 62 с.

176. Растригин, Л.А. Современные принципы управления сложными объектами / Л.А. Растригин. - М.: Сов. Радио. - 1988. - 248 с.

177. Резчиков, А.Ф. Структуры автоматизированных систем управления энергетикой промышленных предприятий / А.Ф. Резчиков. - Саратов: Изд- во СГУ. - 1983. Ч. 1. - 120 с.

178. Резчиков, А.Ф. Подход к обеспечению и поддержанию безопасности сложных систем на основе автоматных моделей / А.Ф. Резчиков, А.С. Богомолов, В.А. Иващенко, Л.Ю. Филимонюк // Управление большими системами. - 2015. - № 54. - С. 179 - 194.

179. Резчиков, А.Ф. Неблагоприятное стечение обстоятельств как причина критических ситуаций в эргатических системах / А.Ф. Резчиков,

A.С. Богомолов, Л.Ю. Филимонюк // Материалы 6-й Всероссийской мультиконференции по проблемам управления: в 4 т. - Ростов-на-Дону: Изд-во Южного федерального университета, 2013. Т. 2. - С. 92 -95.

180. Резчиков, А.Ф. Причинно-следственные комплексы в анализе аварийных ситуаций. / А.Ф. Резчиков, В.С. Домнич, А.С. Иванов,

B.А. Твердохлебов // Мехатроника, автоматизация, управление (МАУ-2009). Материалы Международной научно-технической конференции. - Таганрог: Изд-во ТТИ ЮФУ, 2009. - С. 166 - 168.

181. Резчиков, А.Ф. Анализ аварий в человеко-машинных системах с использованием моделей причинно-следственных связей / А.Ф. Резчиков, А.С. Иванов, В.С. Домнич // Мехатроника, автоматизация, управление. - 2009. - № 7. - С. 30 - 35.

182. Резчиков, А.Ф. Систематизация задач и подсистем АСУ энергохозяйством предприятия / А.Ф. Резчиков, В.А. Иващенко, В.И. Захаров // Приборы и системы управления. - 1979. - №4. - С. 10 - 11.

183. Резчиков, А.Ф. Прогнозирование значений основных показателей безопасности функционирования авиационных транспортных систем на основе модели системной динамики / А.Ф. Резчиков, В.А. Кушни-

ков, В.А. Иващенко, А.С. Богомолов, Л.Ю. Филимонюк, А.Ю. Спиридонов // Системы управления и информационные технологии. - 2017. - №2. - С. 88 - 93.

184. Резчиков, А.Ф. Представление динамических причинно-следственных связей в человеко-машинных системах / А.Ф. Резчиков, В.А. Кушни-ков, В.А. Иващенко, А.С. Богомолов, Л.Ю. Филимонюк, К.И. Шоломов // Известия Саратовского университета. Нов. сер. Сер. Математика. Механика. Информатика. 2017. - Т. 17. - Вып. 1. - С. 109 - 116.

185. Резчиков, А.Ф. Минимизация ущерба от нарушения технологического процесса в сварочных роботизированных технологических комплексах / А.Ф. Резчиков, В.А. Кушников, В.А. Иващенко, Д.С. Фоминых, А.С. Богомолов, Л.Ю. Филимонюк // Мехатроника, автоматизация, управление. - 2017. - № 5. - С. 328 - 332.

186. Резчиков, А.Ф. Предотвращение критических сочетаний событий при сварке роботизированными технологическими комплексами / А.Ф. Резчиков, В.А. Кушников, В.А. Иващенко, Д.С. Фоминых, А.С. Богомолов, Л.Ю. Филимонюк // Проблемы машиностроения и надежности машин. - 2017. - № 4. - С. 60 - 71.

187. Резчиков, А.Ф. Управление процессом сварки в роботизированных технологических комплексах по критерию качества продукции в условиях риска возникновения нестабильных состояний / А.Ф. Резчиков, В.А. Кушников, В.А. Иващенко, Д.С. Фоминых, А.С. Богомолов, Л.Ю. Филимонюк // Системы управления и информационные технологии. - 2017. - №3. - С. 65 - 72.

188. Резчиков, А.Ф. Анализ и прогнозирование характеристик безопасности авиационных транспортных систем на основе уравнений системной динамики / А.Ф. Резчиков, В.А. Кушников, В.А. Иващенко, Л.Г. Цесарский, А.С. Богомолов, Л.Ю. Филимонюк, К.Ю. Адамович // Управление большими системами. - 2016. - № 64. - С. 27 - 48.

189. Резчиков, А.Ф. Проблемы критических сочетаний событий в крупномасштабных системах / А.Ф. Резчиков, В.А. Кушников, В.А. Твердохлебов, В.А. Иващенко, А.С. Богомолов, Л.Ю. Филимонюк // Управление развитием крупномасштабных систем (MLSD'2016): Материалы Девятой междунар. конфер., 3 - 5 октября 2016 г., Москва. Т. I. М.: ИПУ РАН, 2016. - С. 102 - 105.

190. Резчиков, А.Ф. Модель для оценки состояния национальной безопасности России на основе теории системной динамики / А.Ф. Резчиков, В.А. Кушников, Н.В. Яндыбаева, В.А. Иващенко,

A.С. Богомолов, Л.Ю. Филимонюк // Прикладная информатика. - 2017. - № 2. - С. 106 - 117.

191. Резчиков, А.Ф. Безопасность и ресурсосбережение в крупномасштабных системах: причинно-следственный подход / А.Ф. Резчиков, В.А. Твердохлебов // Материалы четвертой международной конференции «Управление развитием крупномасштабных систем MLSD'2010», 2010. - Т. 1. - С. 115 - 124.

192. Резчиков, А.Ф. Математические методы предотвращения критических сочетаний событий в крупномасштабных системах / А.Ф. Резчиков,

B.А. Твердохлебов, В.А. Кушников, В.А. Иващенко, Н.В. Яндыбаева, А.С. Богомолов, Л.Ю. Филимонюк, Л.Г. Цесарский, К.Ю. Адамович, К.И. Шоломов. - Саратов: Изд-во Сарат. ун-та, 2017. - 68 с.

193. Резчиков, А.Ф. Причинно-следственные комплексы как модели сложных человеко-машинных систем / А.Ф. Резчиков, В.А. Твердохлебов // Материалы седьмой Международной научно-практической конференции «Теоретические и прикладные аспекты построения программных систем», 2010. - С. 423 - 431.

194. Резчиков, А.Ф. Причинно-следственные комплексы как модели процессов в сложных системах / А.Ф. Резчиков, В.Д. Твердохлебов // Мехатроника, автоматизация, управление. - 2007. - № 7. - С. 1 - 9.

195. Резчиков, А.Ф. Причинно-следственные модели производственных систем / А.Ф. Резчиков, В.А. Твердохлебов. - Саратов: ООО Издательский Центр «Наука», 2008. - 138 с.

196. Резчиков, А.Ф. Цели и причинно-следственные модели крупномасштабных производственных систем / А.Ф. Резчиков, В.А. Твердохлебов // Материалы третьей международной конференции «Управление развитием крупномасштабных систем MLSD'2009», 2009. - С. 62 - 64.

197. Резчиков, А.Ф. Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения. А.Ф. Резчиков, В.А. Твердохлебов, В.С. Харченко и др. - Харьков: Изд-во Национальный аэрокосмический университет им. Н.Е.Жуковского. («ХАИ»), 2011. - 641с.

198. Романов, В.Н. Системный анализ для инженеров / В.Н. Романов. -СПб.: СЗГЗТУ, 2006. - 186 с.

199. Руководство по управлению безопасностью полётов // Международная организация гражданской авиации. Doc 9859 AN/474, 2013. 297 с.

200. Рутковский, Л. Методы и технологии искусственного интеллекта. // Л. Рутковский Л. - М.: Горячая линия. Телеком, 2010. - 520 с.

201. Рябинин, И.А. Надежность и безопасность структурно-сложных систем / И.А.Рябинин. - СПб.: Политехника, 2000. - 247 с.

202. Рябинин, И.А. Надежность и безопасность сложных систем / И.А. Рябинин. - СПб.: Политехника, 2000. - 248 с.

203. Рябинин, И.А. Надежность и безопасность структурно-сложных систем / И.А. Рябинин. - СПб.: Изд-во С.-Петерб. ун-та, 2007. - 276 с.

204. Рябинин, И.А. Определение «веса» и «значимости» отдельных элементов при оценке надежности сложной системы / И.А. Рябинин, Ю.М. Парфенов // Известия АН СССР. Энергетика и транспорт. -1978. - №6. - C. 22 - 32.

205. Садовничий, В.А. Моделирование и прогнозирование мировой динамики / В.А. Садовничий, А.А. Акаев, А.В. Коротаев, С.Ю. Малков. - М.: ИСПИ РАН, 2012. - 359 с.

206. Самарский, А.А. Математическое моделирование: Идеи. Методы. Примеры. / А.А. Самарский, А.П. Михайлов. - М.: Физматлит, 2005. -320 с.

207. Себряков, Г.Г. Распознавание навигационных ориентиров необорудованного аэродрома для навигационного обеспечения летательного аппарата в режиме захода на посадку / Г.Г. Себряков,

B.Н. Сошников, И.С. Кикин, А.А. Ишутин // Вестник компьютерных и информационных технологий. - 2015. - № 4 (130). - С. 9 - 13.

208. Скворцов, М.С. Решение задачи оптимизации надежности с помощью метода логико-вероятностных вкладов / М.С. Скворцов // Надежность. - 2009. - №2(30). - С. 15 - 29.

209. Смит, Д.Дж. Безопасность, ремонтопригодность и риск. Практические методы для инженеров, включая вопросы оптимизации надежности и систем, связанных с безопасностью / Д. Дж. Смит. - М.: ООО «Группа ИДТ», 2007. - 432 с.

210. Советов, Б.Я. Моделирование систем: Учеб. для вузов / Б.Я. Советов,

C.А. Яковлев. - М.: Высш. шк., 2001. - 343 с.

211. Состояние безопасности полетов в гражданской авиации государств-участников Соглашения о гражданской авиации и об использовании воздушного пространства [Электронный ресурс]. Режим доступа: https://mak-iac.org/rassledovaniya/bezopasnost-poletov/ (дата обращения: 01.01.2019).

212. Сперанский, Д.В. Обобщенная синхронизация линейных последова-тельностных машин / Д.В. Сперанский // Кибернетика. - 1998. - № 3. -С. 17 - 25.

213. Стекольников, Ю.И. Живучесть систем / Ю. И. Стекольников // СПб.: Политехника, 2002. - 155 с.

214. Сытник, А.А. Геометрические методы исследования поведения линейных автоматов / А.А. Сытник, А.Ю. Кондратьев, Л.Б. Тяпаев // Теоретические проблемы информатики и ее приложений. - 2003. - № 5.

- С. 157 - 162.

215. Сытник, А.А. Числовые методы функционального восстановления поведения систем / А.А. Сытник, Т.Э. Шульга // Автоматика и телемеханика. - 2003. - № 10. - С. 123 - 139.

216. Сытник, А.А. О восстановлении систем, моделируемых автоматами / А.А. Сытник, Т.Э. Шульга // Интеллектуальные системы. - 2005. - Т. 9. № 1 - 4. - С. 265.

217. Сытник, А.А. Управление поведением мехатронных систем на основе свойств функциональной избыточности / А.А. Сытник, Т.Э. Шульга, С.В. Папшев // Мехатроника, автоматизация, управление. - 2008. - № 12. - С. 41 - 44.

218. Сычев, Я.В. Опасности техногенных катастроф современности / Я.В. Сычев // Технологии техносферной безопасности. - 2012. - № 1. - С. 1

- 9.

219. Твердохлебов, В.А. Методы интерполяции в техническом диагностировании / В.А. Твердохлебов // Проблемы управления. -2007. - № 2. - С. 28 - 34.

220. Твердохлебов, В.А. Диагностирование больших неоднородных систем расширенными средствами диагностирования / В.А. Твердохлебов // Радюелектронш i комп'ютерш системи. - 2010. - №5. - С. 214 - 218.

221. Твердохлебов, В.А. Метод построения причинно-следственных связей процессов в человеко-машинных системах / В.А. Твердохлебов // Тезисы докладов Международной конференции «Теоретические и прикладные аспекты построения программных систем» TAAPSD'2011, 2011. - С. 192 - 200.

222. Твердохлебов, В.А. Модели мехатронных систем в процессах анализа аварий и катастроф / В.А. Твердохлебов // Материалы 7-й научно-

технической конференции «Мехатроника, автоматизация, управление» (МАУ-2010), 2010. - С. 377 - 380.

223. Твердохлебов, В.А. Особенности диагностирования человеко-машинных систем / В.А. Твердохлебов // Труды конференции «Технические и программные средства систем управления, контроля и измерения» (УКИ-10), 2010. - С. 146 - 156.

224. Трапезников, В.А. Кибернетика и автоматическое управление / В. А. Трапезников // Автоматика и телемеханика. - 1962. - № 3. - С. 279 -288.

225. Уотермен, Д. Руководство по экспертным системам / Д. Уотермен. -М.: Мир. - 1989. - 390 с.

226. Ушаков, И.А. Вероятностные модели надежности информационно-вычислительных систем / И.А. Ушаков. - М.: Радио и Связь. - 1991. -132 с.

227. Федеральные авиационные правила. Требования к диспетчерам управления воздушным движением и парашютистам-инструкторам. Приказ Минтранса России от 26 ноября 2009 г. № 216.

228. Федеральный Закон «О техническом регулировании» от 27 декабря 2002 №184-ФЗ.

229. Федосов, Е.А. Интегрированная модульная авионика / Е.А. Федосов, В.В. Косьянчук, Н.И. Сельвесюк // Радиоэлектронные технологии. -2015. - № 1. - С. 66 - 71.

230. Филимонюк, Л.Ю. Информационно-измерительная система для анализа критических ситуаций при управлении сложными объектами / Л.Ю. Филимонюк // Математические методы в технике и технологиях - ММТТ - 28 [текст]: сб. трудов XXVIII Междунар. науч. конф.: в 12 т. Т. 6. Саратов: Саратов. гос. техн. ун-т, 2015. - С. 126 - 129.

231. Филимонюк, Л.Ю. Подход к контролю комплексного ресурса сложных человеко-машинных систем / Л.Ю. Филимонюк // Математические методы в технике и технологиях - ММТТ - 26 [текст]: сб. трудов XXVI

Междунар. науч. конф.: в 10 т. Т. 4. - Нижний Новгород: Нижегород. гос. техн. ун-т, 2013. - С. 9 - 11.

232. Филимонюк, Л.Ю. Причинно-следственный подход к анализу критических ситуаций в сложных человеко-машинных системах / Л.Ю. Филимонюк // Материалы Всероссийской научной конференции с Международным участием «Проблемы критических ситуаций в точной механике и управлении». - Саратов: ООО Издательский Центр «Наука», 2013. - С. 113 - 116.

233. Филимонюк, Л.Ю. Причинно-следственный подход к определению остаточного ресурса сложных человеко-машинных систем / Л.Ю. Филимонюк // Доклады Академии военных наук. - 2011. - №5 (49) - С. 116 - 119.

234. Филимонюк, Л.Ю. Теоретико-игровая причинно-следственная модель посадки самолета для анализа критических ситуаций / Л.Ю. Филимонюк, А.С.Иванов // Мехатроника. Автоматизация. Управление: Материалы 7-й Всероссийской науч.-технич. конф, 2010. -С.412 - 415.

235. Флейшман, Е.С. Основы системологии / Е.С. Флейшман. - М.: Радио и связь. - 1982. - 288 с.

236. Форрестер, Д. Мировая динамика / Д. Форрестер. - М.: ООО «Изд-во АСТ», 2003. - 379 с.

237. Форрестер, Дж. Динамика развития города / Дж. Форрестер. - М.: Прогресс. - 1974. - 281 с.

238. Форрестер, Дж. Основы кибернетики предприятия / Дж. Форрестер. -М.: Прогресс. - 1971. - 340 с.

239. Харари, Ф. Теория графов. / Ф. Харари. - М.: Мир. - 1973. - 301 с.

240. Хенли, Э. Дж. Надежность технических систем и оценка степени риска / Э. Дж. Хенли, X. Кумамото. - М.: Машиностроение. - 1984. - 528 с.

241. Хунов, Т.Х. Анализ современных программных комплексов расчета надежности технических средств / Т.Х. Хунов, С.Н. Полесский //

Инновации на основе информационных и коммуникационных технологий. - 2015. - Т. 1. - С. 524 - 526.

242. Цвиркун, А.Д. Основы синтеза структуры сложных систем / А.Д. Цвиркун. - М.: Наука. - 1982. - 200 с.

243. Цвиркун, А.Д. Структура сложных систем / А.Д. Цвиркун. - М.: Советское радио. - 1975. - 200 с.

244. Цвиркун, А.Д. Структура многоуровневых и крупномасштабных систем / А.Д. Цвиркун, В.К. Акинфиев. - М.: Наука. - 1993. - 320 с.

245. Цирлин, А.Н. Вариационные методы оптимизации управляемых объектов / А.Н. Цирлин, В.С. Балакирев, В.Г. Дудников. - М.: Наука. -1976. - 448 с.

246. Шумилов, И.С. Авиационные происшествия. Причины возникновения и возможности предотвращения / И.С. Шумилов. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2006. - 384 с.

247. Эббинхауз, Г.-Д. Машины Тьюринга и рекурсивные функции / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес. - М.: Мир. - 1972. -264 с.

248. Яблонский, C.B. Введение е дискретную математику / С.В. Яблонский.

- М. : Наука. - 1986. - 384 с.

249. Abou, S.C. Performance assessment of multistate systems with critical failure modes: Application to the flotation metallic arsenic circuit / S.C. Abou // Reliability Engineering & System Safety. - 2006. - Vol. 91. - № 3.

- P. 261 - 269.

250. Alderson, J.C. Air safety, language assessment policy and policy implementation: the case of aviation English / J.C. Alderson // Annual Review of Applied Linguistics 29. 2009. - P. 168 - 187.

251. Altus, S. Quantitative Problem Solving Methods in the Airline Industry / S. Altus. // Springer, 2012. - P. 295 - 315.

252. Andrews, J.D. Importance Measures for Non - Coherent - System Analysis / J.D. Andrews, S. Beeson // IEBE Trans. on Reliability. - 2003. - Vol. 52. -№ 3. - P. 301 - 310.

253. Armstrong, M.J. Reliability - Importance and Dual Failure - Mode Components / M.J. Armstrong // IEEE Trans. on Reliability. - 1997. - Vol. 46. - № 2. - P. 212 - 221.

254. Aven, T. Stochastic Models in Reliability / T. Aven, U. Jensen // NY: Springer. - 1999. - P. 282.

255. Barlow, R.E. Importance of system components and fault tree events / R.E. Barlow, F. Proschan // Stochastic Processes and thir Applications. - 1975. -Vol. 3. - № 3. - P. 153 - 173.

256. Barlow, R. Coherent system with multistate elements / R. Barlow, A. Wu // Mathematics of Operations Research. - 1978. - Vo1. 3. - № 11. - P. 275 -281.

257. Bertsimas, D. An integer optimization approach to large-scale air traffic flow management / D. Bertsimas, G. Lulli, A. Odoni // Oper. Res. - 2011. - Vol. 59 (1). - P. 211 - 227.

258. Bimbaum, L.W. On the importance of different components in a multicomponent system / L.W. Bimbaum, P.R. Krishnaiah (ed) // Multivariate Analysis ll. New York: Academic Press. - 1969. - P. 581 - 592.

259. Bot, Y. FMECA modeling. A new approach / Y. Bot // Proceeding of Annual Reliability and Maintainability symposium. - 1999. - Vol. 5. - P. 23 - 34.

260. Bowles, J.B. Fuzzy logic prioritization of failures in a system failure mode, effects and criticality analysis / J.B. Bowles, C.E. Pelaez // Reliability Engineering and System safety. - 1995. - № 50. - P. 203 - 213.

261. Braglia, M. Fuzzy criticality assessment model for failure modes and effects analysis / M. Braglia, M. Frosolini, R. Montanariny // International Journal of Quality & Reliability Management. - 2003. - № 20(4). - P. 503 - 524.

262. Butler, D.A. A complete importance ranking for components of binary coherent systems, with extensions to multi - state systems / D.A. Butler // Naval Research Logistics Quarterly. - 1979. - Vol. 26. - P. 565 - 578.

263. Cadini, F. Monte Carlo-based assessment of the safety performance of a radioactive waste repositor / F. Cadini, J. De Sanctis et a1 // Reliability Engineering & System Safety. - 2010. - Vol. 95. - № 8. - P. 859 - 865.

264. Chang, C.L. Failure mode and effects analysis using fuzzy method and grey theory / C.L. Chang, C.C. Wei, Y.H. Lee // Kybernetes. - 2004. - № 28. - P. 1072 - 1080.

265. Chang, Y.R. Computing System Failure Frequencies and Reliability Importance Measures Using OBDD / Y.R. Chang, S. Amari, S.Y. Kuo // IEEE Transactions on Computers. - 2004. - Vol. 53. - № 3. - P. 54 - 68.

266. Chang, Y.R. OBDD-Based Evaluation of Reliability and Importance Measures for Multistate Systems Subject to Imperfect Fault Coverage / Y.R. Chang, S.V. Amari, S.Y. Kuo // IEEE Trans. on Dependable and Secure Computing. - 2005. Vol. 2. - № 4. - P. 336 - 347.

267. Choi, J.G. Reliability assessment of embedded digital system using multigate function / J.G. Choi, P.H. Seong // Reliability Engineering & System Safety. - 2006. - Vol. 91. - № 3. - P. 261 - 269.

268. Curtis, Graeber. Understanding Flight Crew Adherence to Procedures: The Procedural Event Analysis Tool (PEAT), Boeing Commercial Airplane Group, Seattle, Washington, U.S.A., Flight Safety Foundation / Curtis Graeber, M.M. Moodi // International Federation of Airworthiness, International Air Safety Seminar, Capetown, South Africa, November 17 - 19. -1998.

269. Ding, Y. The Hierarchical weighted Multi-State k-out-of-n System Model and Its Application for Infrastructure Management / Y. Ding, M.J. Zuo // IEEE Trans. On Reliability. - 2010. - Vol. 59. - № 3. - P. 593 - 603.

270. Forrester, J. Principles of systems / J. Forrester // Cambridge: Wright Allen Press. - 1960.

271. Fricks R.M. Importance Analysis with Markov Chains. Proc. of the IEEE 49th Annual Reliability & Maintainability Symposium (RAMS) / R.M.Fricks, K.S.Trivedi - January 27 - 30, Tampa, USA. - 2003. - P. 89 -95.

272. Fussell, J.B. How to hand-calculate system reliability and safety characteristics / J.B.Fussell // IEEE Trans on Reliability. - 1975. - Vol. 24. - №3. - P. 169 - 174.

273. Garcia, P.A. A fuzzy data envelopment analysis approach for FMECA / P.A. Garcia, R. Schirru, P.F. Frutuoso, E. Melo // Progress in Nuclear Energy. 2005. - №46 (3 - 4). - P. 359 - 373.

274. Giuma, T.A. Multivalued Logic Integral Calculus / T.A. Giuma, A. Katbab // Int.J.Electronics. - 1988. - Vol. 65. - P. 1051 - 1066.

275. Griffith, W.S. Multistate reliability models / W.S. Griffith // Journal of Applied Probability. - 1980. - Vol. 17. - P. 735 - 744.

276. Hansman, R.J. Mitigating complexity in air traffic control: the role of structure based abstractions / R.J. Hansman, J.M. Histon // Report No. ICAT-2008-05 August 2008 MIT International Center for Air Transportation (ICAT) Department of. Aeronautics & Astronautics Massachusetts Institute of Technology Cambridge, MA 02139 USA.

277. Hudson, J.C. Modules in Coherent Multistate Systems / J.C. Hudson, K.C. Kapur // IEEE Trans. on Reliability. - 1983. - Vo1. 32. - № 2. - P. 183 -185.

278. Johansson, J. An approach for modeling interdependent infrastructures in the context of vulnerability analysis / J. Johansson, H. Hansel // Reliability Engineering System Safety. - 2010. - Vo1. 95. - № 12. - P. 1335 - 1344.

279. Kai, Y. Multistate fault-tree analysis / Y. Kai // Reliability Engineering & System Safety. - 1990. - Vo1. 28. - № 1. - P. 1 - 7.

280. Klass, P.J. Multiplex system to be tested on B-l / P.J. Klass // Aviation Week. - 1973. - V. 98, March 5, №10.

281. Kolowrocki, K. Reliability of Large Systems / K. Kolowrocki // Elsevier. -2004. - P. 358.

282. Kopardekar, P. Airspace Complexity Measurement: An Air Traffic Control Simulation Analysis / P. Kopardekar, A. Schwartz, S. Magyarits, J. Rhodes // 7th USA / Europe Air Traffic Management R&D Seminar. 2007.

283. a63. Levitin, G. Importance and sensitivity analysis of multi - state Systems using the universal generating function method / G. Levitin, A. Lisnianski // Reliability Engineering & System Safety. - 1999. - Vol. 65. - № 3. - P. 271 - 282.

284. Levitin, G. Importance and sensitivity analysis of multi -statesystems using the universal generating function method / G. Levitin, A. Lisnianski // Reliability EngineeringSystem Safety. - 1999. - Vol. 65. - № 3. - P. 271 -282.

285. Levitin, G. Structure optimization of multistate system with two failure modes / G. Levitin, A. Lisnianski // Reliability Engineering & System Safety. - 2001. - Vo1. 72. - № 1. - P. 75 - 89.

286. Levitin, G. Generalized Importance Measures for Multi-State Elements Based on Performance Level Restrictions / G. Levitin, L. Podofilini, E. Zio // Reliability Engineering & System Safety. - 2003. - Vol. 82. - № 3. - P. 287 - 298.

287. Lisnianski, A. Redundancy analysis for repairable multi-state system by using combined stochastic processes methods and universal generating function technique / A. Lisnianski, Y. Ding // Reliability Engineering & System Safety. 2009. - Vol. 94. - № 11. - P. 1788 - 1795.

288. Lisnianski, A. Non - homogeneous Markov reward model for aging multistate system under corrective maintenance / A. Lisnianski, I. Frenkel // Safety, Reliability and Risk Analysis: Theory, Methods and Applications Eds. S. Martorell et al. - London: Taylor & Francis Group. - 2009. - P. 551 - 557.

289. Lyall, B. Flight Deck automation issues / B. Lyall, K. Funk // Proceedings of the conference on automation technology and human performance. N.J. Lawrence Erlbaum Associates. - 1998. - P. 288 - 292.

290. Marseguerra, M. Monte Carlo estimation of the differential importance measure: application to the protection system of a nuclear reactor / M. Marseguerra, E. Zio // Reliability Engineering & System Safety. - 2004. -Vol. 86. - № 1. - P. 11 - 24.

291. Massim, Y. Reliability evaluation of electrical power systems including multi-state considerations / Y. Massim, A.Zeblahet // Electrical Engineering. - 2006. - Vol. 88. - №2. - P. 109 - 116.

292. Meadows, D.L. Dynamics of Growth in a Finite World / D.L. Meadows et al. - Cambridge, Mass. Whrihgt Allen Press Inc.. - 1974.

293. Meadows, D.L. Toward Global Equilibrium; Collected Papers. / D.L. Meadows, D.H. Meadows. - Cambridge, Mass. Whrihgt Allen Press Inc.. - 1973.

294. Miele, A. Optimal Penetration Landing Trajectories in the Presence of Windshear / A. Miele, T. Wang, H. Wang, W.W. Melvin // Ibid. - 1988. -Vol. 57. - № 1. - P. 1 - 40.

295. Moret, BM.E. Boolean Difference Techniques for Time - Sequence and Common-Cause Analysis of Fault-Trees / BM.E. Moret, M.G. Thomason // IEEE Transactions on reliability. - 1984. - Vol. 33. - № 5. - P. 399 - 405.

296. Mosleh, A. Procedures Guidelines in Modelling Common Cause Failures in Probabilistic Risk Assessment, NUREG / A. Moslehet // CR - 5485. - 1998. - 76p.

297. Murchland, J. Fundamental Concepts and Relations for Reliability Analysis of Multistate System, Reliability and Fault Tree Analysis / J. Murchland // Theoretical and Applied Aspects of System Reliability. - SIAM. - 1975. -P. 581 - 618.

298. Natvig, B. Multistate Systems Reliability Theory with Applications / B. Natvig // Wiley. - 2010. - P. 262.

299. Pechenkin V. Method of Dynamic Rout Calculation in the "Smart City" Project / A. Borozdukhin, O. Dolinina, V. Pechenkin // Computer Technology and Application, 2016. - Vol. 7. № 4. - P. 209 - 215.

300. Pham, H. Handbook on Reliability Engineering / H. Pham // Singapore: Springer -Verlag, 2003. - P. 667.

301. Pillay, A. Modified failure mode and effects analysis using approximate reasoning / A. Pillay, J. Wang // Reliability Engineering and System safety. - 2003. - №79. - P. 69 - 85.

302. Ramirez-Marquez, J.E. Composite Importance Measures for Multi-State Systems with Multi - State Components. / J.E. Ramirez-Marquez, D.W. Coit // IEEE Trans. On Reliability. - 2005. - Vol. 54. - № 3. - P. 517 - 529.

303. Reason, J. Human Error / J. Reason // Cambridge University Press. - 1990.

304. Rezchikov, A. The problem of a human factor in aviation transport systems / A. Rezchikov, O. Dolinina, V. Kushnikov, V. Ivaschenko, K. Kachur, A. Bogomolov, L. Filimonyuk // Indian Journal of Science and Technology. December 2016. - Vol. 9(46).

305. Rezchikov, A. An approach to the development of the control system of the aviation transport safety taking into account the human factor / A. Rezchikov, O. Dolinina, V. Kushnikov, V. Ivaschenko, K. Kachur, A. Bogomolov, L. Filimonyuk // International Journal of Engineering Sciences & Research Technology, 6(2): February, 2017. - P. 279 - 284.

306. Rezchikov, A. The Approach to Provide and Support the Aviation Transportation System Safety Based on Automation Models / A. Rezchikov, V. Kushnikov, V. Ivaschenko, A. Bogomolov, L. Filimonyuk, O. Dolinina, E. Kulakova, K. Kachur // Advances in Intelligent Systems and Computing, Springer International Publishing. - 2017. - Vol. 575. - P. 244 - 254.

307. Rezchikov, A. Control of the air transportation system with flight safety as the criterion / A. Rezchikov, V. Kushnikov, V. Ivaschenko, A. Bogomolov, L. Filimonyuk, K. Kachur // Advances in Intelligent Systems and Compu-

ting, Springer International Publishing Switzerland. - 2016. - Vol. 466. - P. 423 - 432.

308. Risk Spectrum PSA Professional 1.20 / Teory, Manual., RELCON AB. -1998. - P. 57. (Швеция, сайт: http://www.riskspectrum.com). Вероятностный анализ риска и надежности методом деревьев отказов и деревьев событий. Аттестован в 2003 г. аттестационный паспорт № 160.

309. Rosenblatt, D. On the graphs and asymptotic forms of finite Boolean relation matrices / D. Rosenblatt // Naval Res. Log. Quart. - 1957. - Vol. 4. - P. 151.

310. Schneeweiss, W.G. A short Boolean derivation of mean failure frequency for any (also non-coherent) system / W.G. Schneeweiss // Reliability Engineering & System Safety. - 1996. - Vo1. 52. - № 1. - Р. 45 - 53.

311. Schwarz, S. On the semigroup of binary relations on a finite set / S. Schwarz // Czech. Math. Jour. - 1970. - Vol. 20. - P. 632 - 679.

312. Sharp, G. The Politics of Nonviolent Action (3 Vol's.) / G. Sharp // Boston: Porter Sargent. - 1973. - 913 p.

313. Sheehy, C.B. System Integration Offers Answer to Fault Analysis / C.B. Sheehy // Signal Magazine. - May 2001.

314. Sloane, N.J.A. An Encyclopedia of Integer Sequences / N.J.A. Sloane // SIAM Rewiew. - 1996. - Vol. 38. - P. 333 - 337.

315. Sollenberger, R. En Route Information Display System Benefits Study / R. Sollenberger, A. Koros, M. Hale // William J. Hughes Technical Center. - 2008.

316. Speranskij, D.V. Synchronization of linear sequential machines / D.V. Speranskij // Автоматика и телемеханика. - 1996. - № 5. - С. 141 - 149.

317. Speranskiy, D.V. Synchronization of fuzzy linear automata / D.V. Speranskiy // Automatic Control and Computer Sciences. - 2016. - Т. 50. № 2. - С. 72 - 79.

318. Stephan, M. J., Chenoweth, E. Why Civil Resistance Works. The Strategic Logic of Nonviolent Conflict/ M. J. Stephan, E. Chenoweth // International Security. - 2008. - V. 33. - № 1. - P. 7 - 44.

319. Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE) Version 7.0 (saphire.inel.gov). Reference Manual. (США)

320. Sytnik, A.A. Methods and models of the automata behaviour recovery / A.A. Sytnik // Автоматика и телемеханика. - 1992. - № 11. - С. 149 - 159.

321. Тау, К.М. Fuzzy FMEA with a guided rules reduction system for prioritization of failures / К.М. Тау, С.Р. Lim // International Journal of Quality Reliability Management. - 2006. - № 23 (8). - Р. 1047 - 1066.

322. Toktino, К. Stochastic performance evaluation for software system considering NHPP task arrival / K. Toktino, S. Yamada // International Journal of Permeability Engineering. - 2008. - Vol. 4. - № l. - P. 57 - 70.

323. Trahtman, A. Modifying the upper bound on the length of minimal synchronizing word / A. Trahtman // Fundamentals of Computation Theory. Lect. Notes Comput. Sci. - 2011. - Vol. 6914. - P. 173 - 180.

324. Trautvetter, С. Next-century avionics / С. Trautvetter // Professional Pilot. 1996. November. - P. 96 - 102.

325. US. Nuclear Regulatory Commission, Procedure for Treating Common-cause Failures in Safety and Reliability Studies, NUREG /CR - 4780. 1988. - Vol. 1. - P. 121.

326. Ushakov, I. Is the Reliability Still Alive? / I. Ushakov // Proc the 6th Int. Conf on Reliability and Statistics in Transportation and Communication, October 25 - 28. Riga, Latvia. - 2006. - P. 188 - 197.

327. Vaaben, B. Mitigation of airspace congestion impact on airline networks / B. Vaaben B., J. Larsen // Journal of Air Transport Management. - 2015. № 47. - P. 54 - 65.

328. Vesely, W.E. A time dependent methodology for fault tree evaluation / W.E. Vesely // Nuclear Engineering Design. - 1970. - Vol. 13. - №2. - P. 337 -360.

329. Vossen, T.W.M. Quantitative Problem Solving Methods in the Airline Industry / T.W.M. Vossen, R. Hoffman, A. Mukherjee // Springer. 2015. -P. 385 - 447.

330. Wang, W. Reliability Importance of Components in Complex System / W. Wang, J. Loman, P. Vassiliou // Proc. of the IEEE 5oth Annual Reliability Maintainability Symposium (RAMS), January 26 - 29. - Los Angeles, USA.

- 2004. - P. 6 - 11.

331. William, K. Krebs. Human Factors Aviation Maintenance / K. Krebs. William. Federal Aviation Administration, AAR-100.

332. Williams-Hayes, P.S. Flight Test Implementation of a Second Generation Intelligent Flight Control System / P.S. Williams-Hayes // NASA / TM-2005

- 213669, November, 2005.

333. Xue, J. Dynamic Reliability Analysis of Coherent Multistate Systems/ J. Xue, Y. Kai // IEEE Transactions on reliability. - Vol. 44. - №4. - P. 683 -688.

334. Yau, M. The use of prime implicants in dependability analysis of software controlled systems / M. Yau, G. Apostolakis, S. Guarro // Reliability Engineering System Safety. - 1998. - Vol. 62. - № 1 - 2. - P. 23 - 32.

335. Zadeh, L. Fuzzy sets / L. Zadeh // Inf. Control. - 1965. - Vol. 8. - P. 338 -353.

336. Zaitseva, E. Reliability Analysis Methods for Healthcare system. / E. Zaitseva // Proc. of the IEEE 3rd IntConf on Human System Interaction (HSI'10), May 13 - 15, Rzeszow, Poland. - 2010. - P. 211 - 216.

337. Zaitseva, E. Dynamic Reliability Indices for Parallel, Series and k-out-of-n Multi-State System / E. Zaitseva, V. Levashenko // Proc. of the IEEE 52nd Annual Reliability Maintainability Symposium (RAMS), January 23 - 26, Newport Beach, USA. - 2006. - P. 253 - 259.

338. Zaitseva, E. Dynamic Reliability Indices for parallel, series and k-out-of-n Mum-State System / E. Zaitseva, V. Levashenko // Proc. of the IEEE 52nd Annual Reliability & Maintainability Symposium (RAMS), January 23 - 26.

- Newport Beach, USA. - 2006. - P. 253 - 259.

339. Zaitseva, E. Investigation Multi-State System Reliability by Structure Function / E. Zaitseva, V. Levashenko // Proc. of the Int. Conf. on Dependa-

bility of Computer System (DepCoS-RELCOMEX'07). - 14 - 16 Jun. -SzklarskaPoreba, Poland. - 2007. - P. 81 - 88.

340. Zaitseva, E. Analysis of Mimi-State System Reliability by Logical Differential Calculus and Decision Diagrams. / E. Zaitseva, V. Levashenko, V. Kharchenko // Proc. of the 7th Int. Conf. on Computer-Aided Design of Discrete Devices (CAD DD' 10), November 16 - 17, Minsk, Belarus. -2010. - P. 92 - 99.

341. Zaitseva, E. Estimation of Multi-State system reliability depending on changes of some system component efficiencies / E. Zaitseva, S. Puuronen // Proc. Of European Safety and Reliability Conference (ESREL 2007), 25 -27 lime. Stavanger, Norway. - 2007. - P. 253 - 261.

342. Zio, E. Reliability engineering: Old problems and new challenges / E. Zio // Reliability Engineering and System Safety. - 2009. - Vo1. 94. - №92. - P. 125 - 141.

343. Zio E. Monte Carlo simulation analysis of the effects of different system performance levels on the importance of multi - state elements / E. Zio, L. Podofillini // Reliability Engineering & System Safety. - 2003. - Vol. 82. -№ 1. - P. 63 - 73.

ПРИЛОЖЕНИЯ

Свидетельство о государственной регистрации программы для ЭВМ

Приложение Б. (обязательное) Акт о внедрении в ПАО «ПрограммПРОМ»

«УТВЕРЖДАЮ» Генеральный директор ОАО ЮГРАММПРОМ»

Ю.С. Гершман 2018 г.

АКТ

о внедрении результатов докторской диссертации Богомолова Алексея Сергеевича

Докторское диссертационное исследование Богомолова Алексея

Сергеевича посвящено разработке моделей и методов системного анализа неблагоприятных комбинаций разнородных событий, приводящих к нарушениям функционирования человеко-машинных и организационно-технических систем.

Разработанные A.C. Богомоловым модели и методы системного анализа процессов возникновения и предотвращения неблагоприятных комбинаций событий используются в научных исследованиях прикладных проблем информатики и системотехники, осуществляемых в ОАО «ПРОГРАММПРОМ».

Специальное математическое, обеспечение, разработанное A.C. создании модулей опционального исследовательских разработках

алгоритмическое и программное Богомоловым, используется при состава прикладных программ и ОАО «ПРОГРАММПРОМ».

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