Для заказа доставки данной работы воспользуйтесь поиском на сайте
advertisement
Для заказа доставки данной работы воспользуйтесь поиском на сайте http://www.mydisser.com/search.html 1 НАЦИОНАЛЬНАЯ АКАДЕМИЯ НАУК УКРАИНЫ ИНСТИТУТ ПРОБЛЕМ МАТЕМАТИЧЕСКИХ МАШИН И СИСТЕМ На правах рукописи СЕРАЯ АННА АНДРЕЕВНА УДК 004.94, 004.75 ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ РАСПРЕДЕЛЕННОГО ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ УПРАВЛЯЮЩИХ СИСТЕМ БЕЗОПАСНОСТИ Специальность 05.13.06 – информационные технологии Диссертация на соискание ученой степени кандидата технических наук 2 Научный руководитель Казимир Владимир Викторович, доктор технических наук, профессор Киев – 2012 3 СОДЕРЖАНИЕ СПИСОК УСЛОВНЫХ СОКРАЩЕНИЙ ..................................................................................... ......................................................................................................................................................... 7 ВВЕДЕНИЕ ...................................................................................................................................... ......................................................................................................................................................... 8 РАЗДЕЛ 1 АНАЛИЗ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ МОДЕЛИРОВАНИЯ УПРАВЛЯЮЩИХ СИСТЕМ БЕЗОПАСНОСТИ И ПОСТАНОВКА ЗАДАЧ ИССЛЕДОВАНИЯ ....................................................................................................... Error! Bookmark not defined. 1.1 Назначение, структура и особенности функционирования управляющих систем безопасности .................................................................................................................................... ....................................................................................................... Error! Bookmark not defined. 1.1.1 Роль и место управляющей системы безопасности в структуре системы управления потенциально опасным объектом .............................................. ........................................................................ Error! Bookmark not defined. 1.1.2 Характеристика процессов функционирования и показателей оценки безопасности управляющих систем безопасности ........................................ ........................................................................ Error! Bookmark not defined. 1.2 Особенности моделирования управляющих систем безопасности ...................................... ....................................................................................................... Error! Bookmark not defined. 1.2.1 Задача моделирования управляющих систем безопасности .............................................. ....................................................................................................... Error! Bookmark not defined. 1.2.2 Требования к имитационным моделям управляющих систем безопасности ........................................................................ Error! Bookmark not defined. 1.3 Анализ современных технологий распределенного имитационного моделирования ....... ....................................................................................................... Error! Bookmark not defined. 1.4 Анализ существующих подходов и методов формализации в моделировании управляющих систем безопасности ....................................................................................................................... ....................................................................................................... Error! Bookmark not defined. 1.5 Анализ систем распределенного имитационного моделирования ....................................... ....................................................................................................... Error! Bookmark not defined. 1.6 Постановка задач исследования .............................................................................................. ....................................................................................................... Error! Bookmark not defined. 4 1.7 Выводы по разделу.................................................................................................................... ....................................................................................................... Error! Bookmark not defined. РАЗДЕЛ 2 РАЗРАБОТКА МЕТОДА ФОРМАЛИЗИРОВАННОГО ОПИСАНИЯ ИЕРАРХИЧЕСКИХ Е-СЕТЕЙ....................................................................................................... ....................................................................................................... Error! Bookmark not defined. 2.1 Е-сети и их расширение на область распределенного моделирования ............................... ....................................................................................................... Error! Bookmark not defined. 2.1.1 Структура Е-сетей .................................................................................................................. ....................................................................................................... Error! Bookmark not defined. 2.1.2 Динамика Е-сетей ................................................................................................................... ....................................................................................................... Error! Bookmark not defined. 2.1.3 Расширение Е-сетей для распределенного моделирования на основе архитектуры HLA ............................................................................................. ........................................................................ Error! Bookmark not defined. 2.2 Разработка формального аппарата иерархических Е-сетей .................................................. ....................................................................................................... Error! Bookmark not defined. 2.3 Моделирование дискретно-непрерывных процессов ............................................................ ....................................................................................................... Error! Bookmark not defined. 2.4 Описание федерации архитектуры распределенного моделирования HLA на основе иерархических Е-сетей ................................................................................................................... ....................................................................................................... Error! Bookmark not defined. 2.4.1 Определение элементов архитектуры распределенного моделирования HLA с помощью иерархических Е-сетей ................................................................... ........................................................................ Error! Bookmark not defined. 2.4.2 Интеграция иерархических Е-сетей в архитектуру распределенного моделирования HLA ......................................................................................... ........................................................................ Error! Bookmark not defined. 2.5 Выводы по разделу.................................................................................................................... ....................................................................................................... Error! Bookmark not defined. РАЗДЕЛ 3 РАЗРАБОТКА АЛГОРИТМИЧЕСКИХ КОМПОНЕНТОВ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ РАСПРЕДЕЛЕННОГО ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ ................................................................................ ....................................................................................................... Error! Bookmark not defined. 3.1 Архитектурные особенности системы распределенного моделирования ........................... ....................................................................................................... Error! Bookmark not defined. 5 3.2 Структура ядра системы распределенного моделирования .................................................. ....................................................................................................... Error! Bookmark not defined. 3.3 Диаграммы классов системы распределенного моделирования .......................................... ....................................................................................................... Error! Bookmark not defined. 3.3.1 Классы пакета ядра ................................................................................................................ ....................................................................................................... Error! Bookmark not defined. 3.3.2 Классы пакета распределенного моделирования ................................................................ ....................................................................................................... Error! Bookmark not defined. 3.4 Язык описания моделей в системе распределенного моделирования ................................. ....................................................................................................... Error! Bookmark not defined. 3.4.1 Грамматика языка и идентификаторы ................................................................................. ....................................................................................................... Error! Bookmark not defined. 3.4.2 Операции ................................................................................................................................. ....................................................................................................... Error! Bookmark not defined. 3.4.3 Функции .................................................................................................................................. ....................................................................................................... Error! Bookmark not defined. 3.4.4 Операторы ............................................................................................................................... ....................................................................................................... Error! Bookmark not defined. 3.5 Алгоритмы функционирования системы распределенного моделирования ...................... ....................................................................................................... Error! Bookmark not defined. 3.5.1 Режим однопроцессорного моделирования......................................................................... ....................................................................................................... Error! Bookmark not defined. 3.5.2 Режим распределенного моделирования ............................................................................. ....................................................................................................... Error! Bookmark not defined. 3.5.3 Алгоритм синхронизации федератов ................................................................................... ....................................................................................................... Error! Bookmark not defined. 3.6 Организация обработки статистической информации .......................................................... ....................................................................................................... Error! Bookmark not defined. 3.7 Организация проведения эксперимента.................................................................................. ....................................................................................................... Error! Bookmark not defined. 3.8 Представление моделей в формате PNML ............................................................................. ....................................................................................................... Error! Bookmark not defined. 3.9 Тестирование производительности системы распределенного моделирования ................ ....................................................................................................... Error! Bookmark not defined. 6 3.10 Выводы по разделу.................................................................................................................. ....................................................................................................... Error! Bookmark not defined. РАЗДЕЛ 4 ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ РАСПРЕДЕЛЕННОГО ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ УПРАВЛЯЮЩИХ СИСТЕМ БЕЗОПАСНОСТИ ......................................................................................................... ....................................................................................................... Error! Bookmark not defined. 4.1Программное обеспечение информационной технологии распределенного моделирования ....................................................................................................... Error! Bookmark not defined. 4.2 .. Оценка эффективности разработанной информационной технологии распределенного моделирования................................................................................................................................. ....................................................................................................... Error! Bookmark not defined. 4.3 ................. Исследование управляющих систем безопасности с помощью разработанного инструментария информационной технологии распределенного моделирования .................. ....................................................................................................... Error! Bookmark not defined. 4.3.1 Прогнозирование предаварийного состояния в угольной шахте ...................................... ....................................................................................................... Error! Bookmark not defined. 4.3.2 Распределенная имитационная модель процесса функционирования управляющей системы безопасности технологического процесса производства газобетона .................................................................................. ........................................................................ Error! Bookmark not defined. 4.4 .............................................................................................................................. Выводы по разделу ....................................................................................................... Error! Bookmark not defined. ВЫВОДЫ ......................................................................................................................................... ....................................................................................................................................................... 13 СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ ...................................................................... ....................................................................................................................................................... 16 ПРИЛОЖЕНИЯ ............................................................................................................................... ....................................................................................................... Error! Bookmark not defined. ПРИЛОЖЕНИЕ А Результаты внедрения диссертационной работы ........................................ ....................................................................................................... Error! Bookmark not defined. ПРИЛОЖЕНИЕ Б Свидетельство про регистрацию авторского права ..................................... ....................................................................................................... Error! Bookmark not defined. ПРИЛОЖЕНИЕ В Фрагменты кода имитационных моделей управляющей системы безопасности производства газобетона в формате PNML .......................................................... ....................................................................................................... Error! Bookmark not defined. 7 СПИСОК УСЛОВНЫХ СОКРАЩЕНИЙ CM – Connect Module CORBA – Common Object Request Broker Architecture DIS – Distributed Interactive Simulation EMS – E-net Model System IEL – hIerarchic E-net Language FIFO – First Input First Output FOM – Federation Object Model GTW – Georgia Tech Time Warp HLA – High Level Architecture IE – hIerarchic E-net JSON – JavaScript Object Notation LIFO – Last Input First Output LBTS – Lower Bound of Time Stamp PNML – Petri Net Markup Language RTI – Run-Time Infrastructure TSO – Time Stamp Order XML – eXtensible Markup Language БД – База Данных ВАБ – Вероятностный Анализ Безопасности КЛА – Кусочно-Линейный Агрегат ПОО – Потенциально Опасный Объект РОП – Риск Ориентированный Подход СМО – Сети Массового Обслуживания СП – Сети Петри УСБ – Управляющая Система Безопасности 8 ВВЕДЕНИЕ Актуальность темы. Управляющая система безопасности является неотъемлемой составляющей любой системы управления потенциально опасными объектами, особенно, когда речь идет об опасных видах производства (например, ядерные реакторы, химическая промышленность, угольные шахты и т.д.). Ошибки в управлении такими объектами могут привести к необратимым потерям, а, иногда, и к катастрофическим последствиям. Проведение экспериментов в реальных условиях для проверки и усовершенствования управляющих систем безопасности, исходя из этих же причин, является невозможным. Поэтому основным методом исследования управляющих систем безопасности необходимо считать математическое моделирование. Модели управляющих систем безопасности должны воспроизвести наиболее критические режимы их работы, которые не проявляются в обычных условиях функционирования, однако должны быть учтены при их разработке, а также определить, насколько система безопасности чувствительна к изменениям условий функционирования. Учитывая сложность и масштабность процессов, которые подлежат воссозданию, большое количество параметров, а также разнородный (дискретно-непрерывный) характер процессов взаимодействия управляющих систем безопасности с внешним окружением наиболее перспективным, с точки зрения решения задачи проверки корректности управляющих систем безопасности является применение распределенных имитационных моделей. К созданию таких моделей необходимо привлечь специалистов, разбирающихся в сложных процессах функционирования систем безопасности. Информационным технологиям распределенного моделирования посвящено много публикаций ученых разных стран: Р.М. Фуджимото, П. Лоренца, Е.Б. Замятиной, Ю.Г. Карпова, В.В. Окольнишникова, Т.В. Вознесенской, Р.Е. Браянта, Дж. Мисра, В.М. Томашевского, В.В. Литвинова, Т.П. Марьяновича, В.В. Гусева, В.Б. Бигдана и других. Среди предложенных ними подходов наиболее перспективной технологией с точки зрения распределенного имитационного моделирования является архитектура высокого уровня High Level Architecture (HLA), которая активно используется для создания моделей внешнего окружения и представляет собой совокупность методик и стандартов построения имитационных моделей, включая обеспечение взаимодействия территориально распределенных участников моделирования. Несмотря на то, что HLA позволяет создавать модели высокой размерности, в данной технологии существует ряд ограничений, которые усложняют ее применение широким кругом исследователей. В первую очередь, остаются открытыми вопросы детальной проработки методов построения формализованных моделей. Кроме того, HLA ориентирована на непосредственное использование языков программирования, которые к тому же несовместимы в рамках существующих реализаций HLA, что усложняет верификацию полученных программных моделей. Таким образом, возникает необходимость усовершенствования теоретических и практических основ использования HLA специалистами предметной области, для которой создаются модели. 9 Поэтому научно-прикладная задача разработки на основе HLA новой информационной технологии распределенного имитационного моделирования, которая обеспечит эффективное создание и исследование иерархических разнородных моделей управляющих систем безопасности потенциально опасных объектов является актуальной. Связь работы с научными программами, темами и планами. Работа над диссертацией выполнялась в Институте проблем математических машин и систем Национальной академии наук Украины в рамках госбюджетных тем НАНУ и прикладных научно-исследовательских работ: 1. «Разработка и исследование алгоритмов, программно-технических архитектур защиты информации в IP-сетях», № 0107U000482, 2007-2011 гг. 2. «Разработка теоретических основ создания и исследования живучих гарантоспособных систем управления на основе вероятностно-физического подхода», № 0110U001005, 2010-2014 гг. 3. «Информационное, программное и математическое обеспечение добычи метана закрытых шахт: компоненты, модели, методы», № 0112U002983, 20122015 гг. Данное диссертационное исследование совпадает с основными научными направлениями и важными проблемами фундаментальных исследований Национальной академии наук Украины на 2009-2013 гг. в сфере разработки математических методов и систем моделирования объектов и процессов. Цель и задачи исследования. Целью диссертационной работы является повышение эффективности моделирования управляющих систем безопасности за счет разработки информационной технологии распределенного имитационного моделирования на основе архитектуры высокого уровня HLA. Для достижения поставленной цели необходимо решить такие задачи: 1) проанализировать особенности построения систем безопасности и существующие подходы в распределенном имитационном моделировании, включая методы построения формализованных моделей; 2) развить теорию агрегативных Е-сетей как общую формальную основу построения иерархических разнородных имитационных моделей; 3) разработать метод интеграции формализованных Е-сетевых моделей в архитектуру высокого уровня HLA; 4) определить предложенную модификацию Е-сетей в стандарте Petri Net Markup Language (PNML); 10 5) разработать распределенного алгоритмы и моделирования, структурные компоненты веб-системы включая подсистему, графическую интерпретатор моделей, подсистему проведения экспериментов; 6) проверить эффективность разработанной информационной технологии распределенного моделирования; 7) создать имитационные модели и провести исследования управляющих систем безопасности с целью их усовершенствования. Объект исследования – процессы моделирования управляющих систем безопасности потенциально опасного производства. Предмет исследования – методы, информационные технологии и средства построения распределенных имитационных моделей управляющих систем безопасности. Методы исследования. Совокупность выбранных методов определена сущностью задач исследования. Для определения и обоснования формального аппарата иерархических Е-сетей использованы методы теории множеств и графов, а также аппарат Е-сетей. Для решения практических задач информационной технологии распределенного моделирования использованы теории вероятностей и математической статистики, а также методы аналитического и имитационного моделирования, объектно-ориентированного анализа и графические нотации универсального языка моделирования UML. Теоретической основой работы являются научные труды ведущих отечественных и зарубежных ученых в области распределенного имитационного моделирования, верификации реактивных систем. Научная новизна полученных результатов состоит в следующем: 1. Впервые предложены иерархические Е-сети, которые отличаются от агрегативных Е-сетей возможностью включения агрегатов в качестве сетевых переходов и позволяют перейти к использованию вложенных агрегатов, обеспечивая сокращение сроков разработки моделей за счет повторного использования их элементов, а также моделирование непрерывных процессов с помощью вложенных агрегатов, что расширяет класс моделируемых систем. 2. Впервые на основе стандарта PNML дано определение иерархических Есетей в виде XML-описаний, что позволило автоматизировать процесс построения программных моделей федератов. 3. Впервые разработан метод интеграции иерархических Е-сетевых моделей на основе архитектуры высокого уровня HLA, который 11 позволяет, в отличие иерархическую схему от одноуровневых использования структур, федератов реализовать и применить универсальный подход к построению разнородных моделей, упрощая процесс их разработки специалистами предметной области. 4. Впервые, на основе предложенного метода интеграции, разработана имитационная системы модель безопасности газобетона, которая процесса функционирования технологического позволяет, в процесса отличие от управляющей производства существующих аналитических решений, определять параметры алгоритма управления в динамике развития процесса с целью предотвращения аварий. Практическая значимость полученных результатов. Результаты диссертационной работы являются теоретической основой информационной технологии распределенного имитационного моделирования, которая доведена до реально действующих компьютерных программ в составе разработанной вебсистеме имитационного распределенного моделирования EMS (E-net Model System). Данная система позволяет в графическом режиме создавать легкие для восприятия и дальнейшего использования имитационные модели дискретных и непрерывных процессов, проводить широкий спектр экспериментов с ними. Система EMS зарегистрирована в Государственной службе интеллектуальной собственности Украины – свидетельство №43777 от 15.05.2012г. Работа с системой EMS доступна в режиме онлайн по адресу: http://app.stu.cn.ua/ems. Результаты диссертационной работы были использованы в ходе разработки технических предложений по созданию центра комплексной безопасности предприятий угольной промышленности, которая разрабатывается ПАО «Автоматгормаш им. В.А. Антипова» (г. Донецк) – справка о внедрении №1-268 от 6.06.2012г., а также при разработке алгоритмов функционирования автоматизированной системы управления технологическими процессами и в процессе принятия управленческих решений по вопросам безопасности ООО «Ориентир-Будэлемент» (г. Бровары) – справка о внедрении №204 от 26.06.2012 г. Система EMS и технология исследования систем с помощью иерархических Е-сетевых моделей применяются на кафедре информационных компьютерных систем Черниговского государственного технологического университета при проведении лабораторных работ по дисциплине «Моделирование», а также в процессе дипломного и курсового проектирования – справка о внедрении №1202/08–1912 от 02.07.2012 г. Личный вклад соискателя. Все результаты получены лично. В работах [8-9, 9092, 114-115] соискателю принадлежат все теоретические и практические результаты, кроме постановки задания и идей теоретических исследований. В работе [118] автором диссертации предложен метод построения имитационных моделей, основанный на применении формального аппарата иерархических Е- 12 сетей, а также предложена и реализована интеграция формального аппарата иерархических Е-сетей в распределенную архитектуру HLA. В работах [123, 142] соискателем предложен подход к построению моделей внешней среды систем безопасности, который основан на моделировании дискретно-непрерывных процессов. В работе [125] соискателем предложен метод формализованного описания федерации распределенной архитектуры HLA. Автору диссертации принадлежит программная реализация информационной технологии, исследование ее свойств, а также построение исследуемых имитационных моделей [126, 127]. В статье [147] автор диссертации проводил исследования плана ликвидации аварии при загазованности угольной шахты на основе модели прогнозирования нарастания концентрации метана. На программную систему EMS автором получено свидетельство №43777 от 15.05.2012 на регистрацию авторского права на произведение компьютерная программа «Распределенная система имитационного моделирования «EMS». Апробация результатов диссертации. Основные результаты диссертации докладывались и обсуждались на конференциях: «П’ята всеукраїнська науково-технічна конференція студентів, аспірантів та молодих науковців «Комп’ютерний моніторинг та інформаційні технології (КМІТ-2009)» (м. Донецьк, 2009р.); «П’ята міжвузівська науково-практична конференція «Комплексна безпека підприємства: технічні, технологічні та економіко-правові тенденції формування і розвитку» (м. Чернігів, 2009 р.); «Міжнародна наукова конференція «Інтелектуальні системи прийняття рішень і проблеми обчислюваного інтелекту ISDMCI’2010» (м. Євпаторія, 2010 р.); «П’ята науково-практична конференція з міжнародною участю «Математичне та імітаційне моделювання систем МОДС’2010» (м. Київ, 2010 р.); «Шоста міжвузівська науково-практична конференція «Техніко- технологічні та економіко-правові аспекти комплексної безпеки організації та розвитку підприємства і бізнесу» (м. Чернігів, 2010 р.); «Шоста науково-практична конференція з міжнародною участю «Математичне та імітаційне моделювання систем МОДС’2011» (м. Чернігів, 2011 р.); «Міжнародна наукова конференція «Інтелектуальні системи прийняття рішень і проблеми обчислюваного інтелекту ISDMCI’2011» (м. Євпаторія, 2011р.) 13 «Сьома науково-практична конференція з міжнародною участю «Математичне та імітаційне моделювання систем МОДС’2012» (м. ЧернігівЖукін, 2012 р.); Публикации. По материалам диссертации опубликовано 14 научных работ: 5 в специализированых изданиях по техническим наукам, 8 в материалах конференций (из них 3 единоличные) и 1 свидетельство о регистрации авторского права на произведение. ВЫВОДЫ В работе сформулирована и решена актуальная научно-практическая задача повышения эффективности моделирования управляющих систем безопасности за счет разработки информационной технологии распределенного имитационного моделирования на основе архитектуры высокого уровня HLA. Главным результатом диссертации является разработанная информационная технология распределенного имитационного моделирования EMS, которая позволяет в режиме удаленного доступа в сети Internet создавать в графическом режиме легкие для восприятия и дальнейшего повторного использования распределенные модели дискретных и непрерывных процессов, а также проводить широкий спектр экспериментов с ними. В ходе решения задач исследования были получены следующие научные и практические результаты, которые обеспечивают достижение поставленной цели – повышение эффективности моделирования управляющих систем безопасности потенциально-опасных объектов: 1. На основе проведенного анализа систем безопасности и существующих методов моделирования сложных систем было установлено, что наиболее предпочтительным для моделирования управляющих систем безопасности является использование метода распределенного имитационного моделирования. Сравнительный анализ существующих подходов в распределенном моделировании позволил выбрать в качестве основы для разработки системы распределенного моделирования архитектуру высокого уровня HLA, выделить как преимущества, так и существующие ограничения ее применения. 2. Обоснован выбор аппарата Е-сетей, как наиболее мощного расширения сетей Петри, в качестве базового средства построения формализованных моделей управляющих систем безопасности, который позволяет отображать не только 14 потоки управления, но и потоки данных, предоставляет удобные механизмы маршрутизации развития процессов, значительно превосходит другие сетевые методы в реализации логических функций и проведении количественных оценок. 3. Предложен формальный аппарат иерархических Е-сетей, который базируется на агрегативных Е-сетях, отличается наличием вложенных агрегатов и позволяет моделировать разнородные дискретно-непрерывные процессы функционирования управляющих систем безопасности в распределенной среде, сокращая время разработки моделей за счет повторного использования их элементов. 4. Разработан метод интеграции иерархических Е-сетевых моделей на основе архитектуры высокого уровня HLA, основанный на применении разработанного соединительного модуля. Данный метод позволяет реализовать иерархическую схему использования федератов и применить универсальный подход к построению разнородных моделей, упрощая процесс их разработки специалистами предметной области. 5. За счет применения вложенных агрегатов расширен формальный аппарат Е-сетей для обеспечения возможности моделирования непрерывных процессов, характерных для отдельных элементов управляющих систем безопасности. 6. На основе стандарта PNML дано определение иерархических Е-сетей в виде XML-описаний, что позволило автоматизировать процесс построения программных моделей федератов. 7. Разработана архитектура, реализованы алгоритмы и структурные компоненты HLA-ориентированной системы распределенного моделирования, которая отличается наличием графического веб-интерфейса для разработки иерархических Е-сетевых моделей, упрощая процесс их разработки и верификации за счет автоматического построения программных моделей. 8. Разработана функционирования распределенная управляющей имитационная системы безопасности модель процесса технологического процесса при производстве газобетона, которая позволяет отображать динамику 15 нарастания концентрации водорода в воздухе, определять параметры алгоритма управления, учитывая нестационарный характер процессов, а также предотвращать возникновение аварийных ситуаций, контролируя работу системы вентиляции. 9. Проведена распределенного оценка производительности моделирования, которая разработанной показала, что системы дополнительные архитектурные элементы не влияют на скорость обмена данными, а применение сервисов синхронизации и алгоритмов передачи данных HLA позволяет сократить длительность моделирования на 6-8%. 10. Разработанный формальный метод и программно-технологический инструментарий информационной технологии распределенного моделирования позволяют повысить эффективность моделирования управляющих систем безопасности за счет сокращения времени разработки и исследования моделей, что достигается возможностью повторного использования кода, применения автоматической верификации моделей, проведения разнородных экспериментов в распределенном режиме моделирования на основе архитектуры высокого уровня HLA. 11. Использование графического режима построения имитационных моделей избавляет специалистов предметной области от необходимости изучения языков программирования и дает возможность привлечь их непосредственно к разработке моделей, что обеспечивает высокое качество разрабатываемых моделей, сокращает время и стоимость процесса разработки. Разработанная веб-система распределенного моделирования EMS прошла регистрацию в Государственной службе интеллектуальной собственности Украины и доступна для использования по адресу: http://app.stu.cn.ua/ems. 16 1. СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ Заплатинский В.М. Терминология науки о безопасности. // Zbornik prispevkov z medzinarodnej vedeckej konferencie «Bezhecnostna veda a bezpecnostne vzdelanie». – Liptovsky Mikulas: AOS v Liptovskom Mikulasi. – 2006. – ISBN 808040-302-3. 2. Белов П.Г. Теоретические основы системной инженерии безопасности. М.: ГНТП «Безопасность», 1996. – 424 с. 3. НП-001-97 (ПНАЭ Г-01-011-97). Общие положения обеспечения безопасности атомных станций ОПБ-88/97. – М. : Госатомнадзор России, 1998. – 18с. 4. Требования к управляющим системам, важным для безопасности атомных станций. НП-026-04 [Электронный ресурс]. – Режим доступа: http://www.gostrf.com/Basesdoc/45/45688/index.htm#i56755 5. Бегун В.В. Культура безопасности в ядерной энергетике / В.В. Бегун, С.В. Широков, С.В. Бегун, Е.Н. Письменный, В.В. Литвинов, И.В. Казачков. – К., 2012. – 576 с. 6. Мирошник Ю.М. Управляющая система безопасности АЭС / Мирошник Ю.М., Овчинников В.Н., Пелеганчук Ю.И., А.В. Пронякин [и др.] // Ядерные измерительно-информационные технологии. – М. : Издательский дом «Технологии», 2004. – №1 (9). – С. 17-29. – ISSN 1729-2689. 7. Ігнатович протиаварійної М.В. системи Перспективи УТАС / М.В. впровадження Ігнатович, В.Г. автоматизованої Здановський // Інформаційний бюлетень з промислової безпеки. – 2009. – № 4 (16). – С. 19–21. 8. Сіра Г.А. Синтетичне оточення систем інформаційної безпеки / Г.А. Сіра // Шоста міжвуз. наук.-практ. конф. «Техніко-технологічні та економікоправові аспекти комплексної безпеки організації та розвитку підприємства і бізнесу», (Чернігів, 31 березня 2010 р.). – Чернігів, 2010. – С. 228-230. 9. Казимир В.В. Технологія побудови синтетичного оточення систем інформаційної безпеки / В.В. Казимир., Г.А. Сіра, Д.О. Черних // Вісник 17 Національного авіаційного університету. – 2010. – № 1. – С. 159-163. – ISSN 18131166. 10. Александровская Л.Н. Статистические методы анализа безопасности сложных технических систем: Учебник / Л.Н. Александровская, И.З. Аронов, А.И. Елизаров; под. ред. В.П. Соколова. – М. : Логос, 2001. – 232 С. 11. Хенли Э. Дж., Надежность технических систем и оценка риска / Э. Дж. Хенли, Х. Кумамото // Пер. с англ. – М.: «Машиностроение», 1984. – С. 528. 12. Литвинов В.В. Модельно–ориентированное управление как стратегия функционирования интеллектуальных производственных систем / Виталий Васильевич Литвинов, Владимир Викторович Казимир // Математические машины и системы.– 2004.– №.4– С. 143–156. 13. Советов Б. Я. Моделирование систем: Учеб. для вузов; 3-е изд., перераб. и доп. / Б. Я. Советов, С. А. Яковлев. – [2-е изд.]. – М. : Высш. шк., 2001. – 343 с. 14. Шеннон Р. Имитационное моделирование систем – искусство и наука / Р. Шеннон. – М., 1986. – 418 с. 15. Третьяков Алексей Иванович Методика построения структур информационно-управляющих систем обеспечения пожарной безопасности объектов автомобильной промышленности : дис. канд. техн. Наук : 05.13.10 / Третьяков Алексей Иванович. – М., 2001. – 193 с. – Библиогр. : С. 175-190. 16. Kazachkov I.V. Modelling of Potentially Hazardous Objects with Time Shifts / I.V. Kazachkov, Ye.V. Chesnokov, O.M. Kazachkova // WSEAS Trans. on Business & Economics. – 2004. – Issue3, №1. – Р. 37-43. 17. Allen P.M. Evolution, Population Dynamics and Stability / P.M. Allen // Proceedings of the National Academy of Sciences of the USA. – 1976. – March. – Vol.73. – No.3. – P.665-668. 18. Джамшид Гараханлу Разработка и исследование агрегированных математических моделей ядерных объектов со сдвинутыми аргументами / Джамшид Гараханлу, И.В. Казачков // Ядерна та радіаційна безпека. – 2012.– №.2 18 – (54) С. 36-41. 19. Лоу А. Имитационное моделирование. Классика СS, 3-е изд. / А. Лоу, В. Кельтон. – СПб.: Питер; Киев: Издательская группа BHV, 2004. – 847c. 20. Томашевський В.М. Моделювання систем / В.М. Томашевський. – К. : Видавнича группа BHV, 2005. – 352с. 21. Стеценко І.В. Моделювання систем: навч. посіб. / І.В. Стеценко; М-во освіти и науки України, Черк. держ. технол. ун-т. – Черкаси: видавництво „Маклаут”, 2011. – 502 с. 22. Прицкер А. Введение в имитационное моделирование и язык СЛАМ II / А. Прицкер // – М.: Мир, 1987. – 646 с. 23. Олзоева С.И. Распределенное моделирование в задачах разработки АСУ / С.И. Олзоева. – Улан-Удэ : изд-во ВСГТУ, 2005 – 219 с. – ISBN 5-89230184-2. 24. Миков А.И. Инструментальные средства удаленного параллельного моделирования / А.И. Миков, Е.Б. Замятина, А.Н. Фирсов // ХХІІ International Conference “Knowledge-Dialogue-Solution”. – Sofia, 2006. – P. 280-287. 25. Танненбаум Э. Распределенные системы. Принципы и парадигмы / Э. Танненбаум, Стеен ван М. // – СПб.:Питер, 2003. – 877 с. 26. Цимбал А.А. Технологии создания распределенных систем / А.А. Цимбал, М.Л. Аншина. – СПб.: Питер, 2003. – 576 с. 27. Catalog of OMG CORBA / IIOP Specifications [Электронный ресурс]. – Режим доступа: http://www.omg.org/technology/documents/corba_spec_ catalog.htm 28. Remote Method Invocation (RMI) [Электронный ресурс]. – http://java.ociweb.com/mark/JavaUserGroup/JavaRMI.pdf 29. Microsoft Corporation The Component Object Model Specification // Version 0.9. – October 24, 1995. – 325 p. 30. – 558 p. Sun Microsystems Enterprise JavaBeans // Version 2.0. – March 21, 1998. 19 31. Ferguson J. C# Bible / Ferguson J., Patterson B., Beres J. // – Wiley, 2002. – 591 p. 32. Buss A. Distributed simulation modeling: a comparison of HLA, CORBA, and RMI / Arnold Buss, Leroy Jackson // Proceedings of the Winter Simulation Conference. – 1998. – 819-825 p. 33. IEEE 1516.3-2003 Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) – Development and Execution Process (FEDEP) [Электронный ресурс]. – Режим доступа: http://standards.ieee.org/findstds/ standard/1516.3-2003.html 34. IEEE 1516.1 Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) – Federate Interface Specification [Электронный ресурс]. – Режим доступа: http://simlab.gyte.edu.tr/docs/IEEE%20Std%201516.1-2000.pdf 35. IEEE 1516.2-2010 Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) – Object Model Template (OMT) Specification ресурс]. [Электронный – Режим доступа: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp? punumber=5557729 36. Fujimoto R. M. Parallel and Distributed Simulation Systems / Richard M. Fujimoto. – John Wiley & Sons, Inc., 2000. – 300 p. 37. Замятина Е.Б. Современные теории имитационного моделирования. Специальный курс / Е.Б. Замятина // Пермский государственный университет. Учебное пособие, 2007. – 119 с. 38. Афанасьев А.П. Современные технологии построения распределенных программных систем / А.П. Афанасьев, А.И. Ваньков, В.В. Волошинов, В.Е. Кривцов, Е.Ю. Попков, П.Г. Шляев // Проблемы системного анализа и управления: Сборник трудов ИСА РАН.: Москва, 2001. – С.115-180. 39. Окольнишников В.В. Представление времени в имитационном моделировании / В.В. Окольнишников // Вычислительные технологии. – 2005. – Т. 10, № 5. – С. 57–80. 40. ресурс]. IEEE 1278 Distributed Interactive Simulation (DIS) [Электронный – Режим доступа: http://www.sisostds.org/DesktopModules/ 20 Bring2mind/DMX/ Download.aspx?Command=Core_Download&EntryId=29289&PortalId=0&TabId=105 41. Fujimoto R.M. Time Management in the High Level Architecture / R.M. Fujimoto // SIMULATION Special Issue on High Level Architecture, 1998. – vol. 71. – №6. – 388-400 p. 42. D’Ambrogio A. Using CORBA to enhance HLA interoperability in distributed and web-based simulation / A. D’Ambrogio, D. Gianni [Электронный ресурс]. – Режим доступа: http://www.sel.uniroma2.it/pubs/2004-iscissim.pdf 43. Лычкина Н.Н. Современные технологии имитационного моделирования и их применение в информационных бизнес-системах и системах поддержки принятия решений. Материалы второй всероссийской научнопрактическая конференция по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» ИММОД-2005: Санкт-Петербург, 19-21 октября 2005 : сборник докладов [Электронный ресурс] / Н.Н Лычкина. – Режим доступа: htpp://www.gpss.ru 44. Сайт, посвященный моделированию на языке GPSS [Электронный ресурс]. – Режим доступа: http://gpss.ru/ 45. Сайт системы моделирования ExtendSim [Электронный ресурс]. – Режим доступу: www.extendsim.com 46. Антипина Г. Arena – система имитационного моделирования [Электронный ресурс] / Г. Антипина, А. Ярцев. – Режим доступа: http://interface.ru/sysmod/arena.htm 47. Сайт системы моделирования ProModel [Электронный ресурс]. – Режим доступа: www.promodel.com 48. Сайт системы моделирования WITNESS [Электронный ресурс]. – Режим доступа: http://www.iteam.ru/soft/modelling/993/ 49. Сайт разработчиков системы Flexsim [Электронный ресурс]. – Режим доступа: http://www.flexsim.com/ 50. Описание системы моделирования GPSS/H [Электронный ресурс]. – Режим доступа: http://www.iteam.ru/soft/modelling/990/ 21 51. Сайт центра имитационного моделирования [Электронный ресурс]. – Режим доступа: htpp://simulation.org.ua 52. Толуев Ю. Основные характеристики пакета имитационного моделирования eM-Plant [Электронный ресурс] / Ю. Толуев. – Режим доступа: http://gpss.ru/paper/tolujewem/index_w.html 53. Семишин Ю.А. ДАСИМ как инструментальное средство моделирования дискретных систем / Ю.А. Семишин, О.В. Литвинова // Технология и конструирование в электронной Политехпериодика, аппаратуре. – 2000. Одесса: – № 2-3. – С. 21-25. 54. Balci O. Visual Simulation Environment technology transfer [Электронный ресурс]/ O. Balci, A.I. Bertelrud, C.M. Esterbrook, R.E.Nance // Proceedings of the 1998 Winter Simulation Conference. – N.Y.: ACM Press, 1998. – P.1323-1329. – Режим доступа: http://portal.acm.org/citation.cfm?id=268778 55. Котов В.Е. Сети Петри / В.Е. Котов. – М.: Наука,1984. – 160 с. 56. Сайт разработчиков системы POSES++ [Электронный ресурс]. – Режим доступа: http://www.gpc.de 57. Стеценко І.В. Система імітаційного моделювання засобами сіток Петрі / І.В. Стеценко, О.В. Бойко // Математичні машини і системи. – Київ, 2009. – №1. – С. 117-124. 58. Сайт системы моделирования WINSIM [Электронный ресурс]. – Режим доступа: ftp://cmpe2.emu.edu.tr/SimSystem 59. Сайт, посвященный программной оболочке ARIS [Электронный ресурс]. – Режим доступа: www.vest.msk.ru/product/aris/default.asp 60. Черемных С.В. Структурный анализ систем: IDEF-технологии / С.В. Черемных, И.О. Семенов, В.С. Ручкин // М.: Финансы и статистика, 2003. – 208 с. 61. Сайт системы моделирования AnyLogic [Электронный ресурс]. – Режим доступа: www.anylogic.com 22 62. Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 / Ю.Г Карпов. – СПб. : «БХВ-Петербург», 2005. – 400 с. 63. Сайт разработчиков системы Powersim [Электронный ресурс]. – Режим доступа: http://www.powersimsolutions.com/technology/studio. htm 64. Сайт разработчиков системы Vensim [Электронный ресурс]. – Режим доступа: http://www.vensim.com 65. Сайт разработчиков системы Stella [Электронный ресурс]. – Режим доступа: www.iseesystems.com/softwares/Education/StellaSoftware.aspx 66. Описание системы моделирования Ithink [Электронный ресурс]. – Режим доступа: http://www.iteam.ru/soft/modelling/965/ 67. среде / Гиниятуллин Р. Г. Технологии создания приложений в модельной Р.Г. Гиниятуллин [Електронний ресурс]. – Режим доступа: http://gpss.ru/paper/giniyatullin/index_w.html 68. Рябинин И.А. Надежность и безопасность структурно-сложных систем. – СПб. : Политехника, 2000. – 248 с. – ISBN 5-7325-0549-0. 69. Рябинин И.А. Логико-вероятностные методы исследования надежности структурно-сложных систем / И.А. Рябинин, Г.Н. Черкесов. – М. : Радио и связь, 1981. – 264 с. 70. Можаев А.С. Современное состояние и некоторые направления развития логико-вероятностных методов анализа систем. Часть-I // Теория и информационная технология моделирования безопасности сложных систем. Вып.1. Под редакцией И.А. Рябинина. Препринт 101. – СПб.: ИПМАШ РАН. – 1994. – С. 23-53. 71. Можаев А.С. Теоретические основы общего логико-вероятностного метода автоматизированного моделирования систем / А.С. Можаев, В.Н. Громов. – СПб. ВИТУ, 2000. – 145с. 72. Гнеденко Б.В. Введение в теорию массового обслуживания / Б.В Гнеденко, И.Н. Коваленко. – М. : Наука, 1987. – 336 с. 23 73. Жерновий Ю.В. Марковські моделі масового обслуговування: Тексти лекцій / Ю.В.Жерновий. – Львів : Видавничий центр ЛНУ імю Івана Франка, 2004. – 154 с. 74. Клейнрок Л. Теория массового обслуживания / Л. Клейнрок. – М. : Машиностроение, 1979. – 425 с. 75. Сильвестров Д.С. Полумарковские процессы с дискретным множеством состояний. – М. : Сов. радио, 1980. – 272 с. 76. Поспелов Д.А. Ситуационное управление: теория и практика. – М. : Наука, 1986. – 228 С. 77. Лазарев В.А. Управление процессами и ресурсами в распределенных системах / В.А. Лазарев, В.Г. Черняев. – М. : Наука, 1989. – 172 с. 78. Абчук В.А. Управление в гибком производстве / В.А. Абчук, Ю.С. Карпенко // М. : Радио и связь, 1990. –128 с. 79. Слепцов А.И. Автоматизация проектирования управляющих систем гибких автоматизированных производств / А.И. Слепцов, А.А. Юрасов. – К. : Техніка, 1986.–110 с. 80. Питерсон Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. – М. : Мир, 1984. – 264 с. 81. Reising W. Petri Nets: An Introduction / W. Reising. – Verlag : Springer, 1985. – 161 р. 82. Brauer W. Petri Nets: Central Models and their Properties / W. Brauer, W. Reising, G. Rozenberg. – Berlin : Springer, 1987. – 480 p. 83. Zuburek W.M. Timed Petri Nets and Preliminary Performance Evaluation / W.M. Zuburek // Proc. EEE 7th. Annual. Symp. On Computer Architecture, 1980. – P. 88–95. 84. Jensen K. Coloured Petri Nets and the Invariant Methods / K. Jensen // Theoretical Computer Science. – 1981. – Vol. 14. – P. 317–336. 85. Никонов В.В. Применение сетей Петри / В.В. Никонов, Ю.Е. Подгурский // Зарубежная радиоэлектроника. – 1986. – N11. – C. 17–37. 24 86. Kramer B. Types and Modules for Net Specifications / B. Kramer, H. Schmidt // In K. Jensen and G. Rozeberg, editors, High–Level Petri Nets: Theory and Application. – Springer, 1991. – P. 171–188. 87. Nutt G.J. Evaluation Nets for Computer Systems Performance Analysis ns / G.J. Nutt // FJCC, AFIPS PRESS. – 1972. – Vol. 41. – P. 279–286. 88. Noe J.D. Makro E–Nets for representationof Parallel System. / J.D. Noe, G.J. Nutt // IEEE Trans. on Comp. – 1973. – Vol.C–22, N 8. – P.718–727. 89. Noe J.D. Nets in Modeling and Simulation / J.D. Noe, W. Brauer // Net Theory and Applications. – Berlin: Springer, 1980. – P. 347–368. 90. Казимир В.В. Методы и средства моделирования компьютерных атак / Владимир Викторович Казимир, Анна Андреевна Серая // Міжнар. наук. конф. «Інтелектуальні системи прийняття рішень і проблеми обчислюваного інтелекту ISDMCI’2010», (Євпаторія, 17–21 травня 2010 р.). – Євпаторія, 2010. – Т.1. – С. 439-441. 91. Казимир В.В. Метод построения моделей информационных атак / Владимир Викторович Казимир, Анна Андреевна Серая // Математичні машини і системи. – 2010. – № 4. – С. 52-61. – ISSN 1028-9763. 92. Казимир В.В. Построение моделей информационных атак на основе управляющих Е-сетей и многоагентного управления / В.В. Казимир, А.А. Серая, И.Б. Гавсиевич // П’ята наук.-практ. конф. з міжнар. Уч. «Математичне та імітаційне моделювання систем. МОДС’2010», (Київ, 21–25 червня 2010 р.). – Київ, 2010. – С. 269-271. 93. Пранявичюс Г.И. Модели и методы исследования вычислительных систем / Г.И. Пранявичюс. – Вильнюс : Мокслас, 1982. – 238 с. 94. Головин Ю.А. Использование расширений сетей Петри для спецификации протоколов / Ю.А. Головин, В.А. Матвеева // Автоматика и вычислительная техника. – 1988. – № 6. – С. 11–17. 95. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В.В. Васильев, В.В. Кузьмук. – К. : Наукова думка, 1990. – 216 с. 25 96. Костин А.Е. Организация и обработка структур данных в вычислительных системах / А.Е. Костин, В.Ф. Шаньгин. – М. : Высш. школа, 1987. – 248 с. 97. Milner R. Communication and Concurrency / R. Milner. – Prentice Hall, 1989. – 260 p. 98. Казимир В.В. Модельно-ориентированное управление интеллектуальными производственными системами: дис. доктора техн. наук: 05.13.06 / В.В. Казимир. – К., 2006. – 301 с. – Библиогр. : с.302-328. 99. Костин А.Е. Модели и алгоритмы организации распределенной обработки данных в информационно–управляющих системах: дис. докт. техн. наук: 05.13.01 / А.Е. Костин. – М.: МИЭТ, 1989. – 420 с. – Библиогр. : с.398-418. 100. Филлипс Д. Методы анализа сетей / Д. Филлипс, А. Гарсиа-Диас. – М. : Мир, 1984.–496 c. 101. Рожнов О.М. Анализ методов спецификации и верификации компонентов распределенных приложений / О.М. Рожнов // Проблемы программирования. – 1998. – Вып.4. – С. 93–101. 102. Rice M.D. A Formal Model for Module Interconnection Language / M.D. Rice, S.B. Seidman // IEEE Trans. of Software Eng. – 1994. – 20, N 1. – P. 88– 101. 103. Saiman S. A Theory of Interface Sand Module 1 – Compos. Theorem / S. Saiman, Lem Salley // Ibid. – 1994. – P. 55–71. 104. Лаврищева Е.М. Сборочное программирование / Е.М. Лаврищева, В.Н. Грищенко. – Киев : Наукова думка, 1991. – 213 с. 105. Fujimoto R. M. Georgia Tech Time Warp (GTW Version 3.1) Programmer’s Manual for Distributed Network of Workstations / Richard M. Fujimoto , Ranjan Das Samir , Kiran S. Panesar , Maria Hybinette, Christopher D. Carothers // CC Technical Report; GIT-CC-97-18, 1997. – 35p. 106. Томашевский В.М. Архитектура распределенной дискретной системы имитационного моделирования OpenGPSS / В.М. Томашевский, Д.Г. Диденко // 26 Системные исследования и информационные технологии. – 2006. – №4. – С. 123132 107. Сайт системы распределенного моделирования SPEEDES [Электронный ресурс]. – Режим доступа: http://www.speedes.com/ 108. Мальков П.С. Применение имитационной системы Triad.net для реинжиниринга бизнес-процессов / П.С. Мальков // Вестник Пермского университета. Серия: Математика. Механика. Информатика. – 2009. – №3. – С. 144 – 147. 109. Mascarenhas E., Knop F., Vernon R. ParaSol: A multithreaded system for parallel simulation based on mobile threads / E. Mascarenhas, F. Knop, R. Vernon // Proceeding of the 27-th conference on Winter simulation – Arlington. Virginia, 1995. – Р. 690–697. 110. Mascarenhas E. A parallel GPSS based on ParaSol simulation system / E. Mascarenhas, F. Knop, R. Vernon // Proceeding of the 28-th conference on Winter simulation – Arlington. Virginia, 1996. – Р. 801–808. 111. Галаган Т.Н. Oдин подход к автоматизации построения распределенной модели из ее сосредоточенного аналога / Т.Н Галаган, В.В. Гусев, Т.П. Марьянович, Н.М. Яценко // Проблемы программирования, 2002. – №1-2 (спецвыпуск). – С.182-197 112. Borshchev А. Distributed Simulation of Hybrid Systems with AnyLogic and HLA [Электронный ресурс] / А. Borshchev, Y. Karpov, V. Kharitonov. – Режим доступа: http://www.xjtek.com/anylogic/articles/?page=all& 113. Сайт библиотеки для распределенного моделирования на основе архитектуры HLA в системе MATLAB: HLA Toolbox for MATLAB [Электронный ресурс]. – Режим доступа: http://www.mathworks.com/products/connections/ product_detail/product_35843.html 114. Казимир В.В. Сучасні проблеми та тенденції інформаційної безпеки / Володимир Вікторович Казимир, Ганна Андріївна Сіра // П’ята Всеукр. наук.техн. конф. студентів, аспірантів та молодих науковців «Комп’ютерний 27 моніторинг та інформаційні технології (КМІТ-2009)», (Донецьк, 12–15 травня 2009 р.). – Донецьк, 2009. – С. 312-317. 115. Сіра Г.А. Інформаційна безпека: проблеми і методи розв’язання / Г.А. Сіра // П’ята міжвуз. наук.-практ. конф. «Комплексна безпека підприємства: технічні, технологічні та економіко-правові тенденції формування і розвитку», (Чернігів, 2 квітня 2009 р.). – Чернігів, 2009. – С. 293-297. 116. Бусленко Н.П. Моделирование сложных систем / Н.П. Бусленко. – М. : Наука, 1978. – 400 с. 117. Ломазова И.А. Вложенные сети Петри и моделирование распределенных систем с объектной структурой / И.А. Ломазова. – М. : Научный мир, 2004. – 208 с. 118. Казимир В.В. Розподілене моделювання в EMS на основі архітектури HLA / Володимир Вікторович Казимир, Ганна Андріївна Сіра // Математичні машини і системи. – 2011. – № 4. – С. 125-135. – ISSN 1028-9763. 119. Хоар Ч. Взаимодействующие последовательные процессы / Ч. Хоар. – М.: Мир, 1989. – 264 с. 120. Сениченков Ю.Б. Численное моделирование гибридных систем / Ю.Б. Сениченков. – СПб. : Изд-во политех. ун-та, 2004. – 206 c. 121. Колесов Ю.Б. Объектно-ориентированное моделирование сложных динамических систем / Ю.Б. Колесов. – СПб. : Изд-во СПбГПУ, 2004. – 240 с. 122. Згуровский М.З. Дискретно-непрерывные системы с управляемой структурой / М.З. Згуровский, В.А. Денисенко. – Киев : Наукова думка, 1998. – 350с. 123. Казимир В.В. Моделювання синтетичного оточення для оцінки безпеки системи / Володимир Вікторович Казимир, Ганна Андріївна Сіра // Шоста наук.-практ. конф. з міжнародною участю «Математичне та імітаційне моделювання систем. МОДС’2011», (Чернігів, 27–30 червня 2011 р.). – Чернігів, 2011. – С. 415-419. 124. Kowalewski Stefan Case study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem / Stefan Kowalewski, 28 Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffman, Jorg Preubig, Silke Simon, Manuel Remelhe and Heinz Tresel // 15th International Workshop on Hybrid Systems (HS V), September 11-13, 1997, Notre Dame, USA; 125. Казимир В.В. Метод формалізованого опису федерації HLA на основі пірамідально зростаючих агрегатних моделей / Володимир Вікторович Казимир, Ганна Андріївна Сіра // Сьома наук.-практ. конф. з між нар. уч. «Математичне та імітаційне моделювання систем. МОДС’2012», (Чернігів-Жукін, 25–28 червня 2012 р.). – Чернігів-Жукін, 2012. – С. 400-403. 126. Сіра Г.А. Комп’ютерна програма «Розподілена система імітаційного моделювання «EMS» / Г.А. Сіра, В.В. Казимир // Свідоцтво на реєстрацію авторського права на твір № 43777. – К. : Державна служба інтелектуальної власності України. – Дата реєстрації: 15.05.2012. 127. Казимир В.В. Розподілена система імітаційного моделювання EMS / В.В. Казимир, Г.А. Сіра, І.І. Мушкетик // Вісник Чернігівського державного технологічного університету. – 2011. – № 3 (51). – С. 144-153. 128. Буч Г. Язык UML. Руководство пользователя / Г. Буч, Д. Рамбо, А. Джекобсон // Пер. с анл. – М. : ДМК Пресс, 2001. – 432 с. – ISBN 5-94074-1444. 129. Chandy K.M. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs / K.M. Chandy, J. Misra // IEEE Transactions on Software Engineering. – 1978. – №5. – P. 440-452. 130. Феллер В. Введение в имитационное моделирование и язык СЛАМ-ІІ / В. Феллер. – М.: Мир, 1987. – 738 с. 131. Описание языка разметки Extensible Markup Language (XML) [Электронный ресурс]. – Режим доступа: http://www.w3.org/XML/ 132. Сайт, посвященный формату JSON [Электронный ресурс]. – Режим доступа: http://www.json.org/ 133. Сайт библиотеки SQLite [Электронный ресурс]. – Режим доступа: http://www.sqlite.org/ 29 134. Сайт стандарта PNML [Электронный ресурс]. – Режим доступа: http://www.pnml.org/ 135. Kindler Ekkart PNML: Concept, Status and Future Directions / Ekkart Kindler // Entwurf Komplexer Automatisierungs systeme (EKA). – 2006. – v. 9. – 3555p. 136. Сайт библиотеки Portico [Электронный ресурс]. – Режим доступа: http://www.porticoproject.org/index.php?title=Main_Page 137. Malinga L. HLA RTI Performance Evaluation / L. Malinga, Willem H. le Roux // Simulation Interoperability Standards Organization: 2009 SISO European Simulation Interoperability Workshop, (Istanbul, 13-16 July 2009). – 2009. – 1-6 p. 138. Гмурман В.Е. Теория вероятностей и математическая статистика / В.Е.Гмурман. – М. : Высшая школа, 2003. – 479 с. 139. Горбань І.І. Теорія ймовірностей і математична статистика / І.І. Горбань.– Київ, 2003. – 244 с. 140. Гавсиевич И.Б. Распределенная система имитационного моделирования: дис. канд. техн. наук: 05.13.06 / И.Б. Гавсиевич. – К., 2005. – 164 с. – Библиогр. : с. 136-146. 141. Литвинов В.В. Распределенная система имитационного моделирования на основе архитектуры CORBA / Литвинов В.В., Казимир В.В., Гавсиевич И.Б. // Математичні машини і системи. – Київ, 2000. – № 2,3. – С. 111114. 142. Сіра Г.А. Динамічна верифікація інформаційних систем на основі імітаційних моделей синтетичного оточення / Г.А. Сіра // Міжнар. наук. конф. «Інтелектуальні системи прийняття рішень і проблеми обчислюваного інтелекту ISDMCI’2011», (Євпаторія, 16–20 травня 2011 р.). – Євпаторія, 2011. – Т.1 – С. 113-117. 143. Шульга Ю.И. Системы безопасности шахт Украины, их возможности и перспективы / Ю.И. Шульга, В.Г. Здановский, Н.В. Кривцов, Н.В. Игнатович // Збірник наукових праць «Проблеми охорони праці в Україні». – 2010. – в. 18. С.311. 30 144. Нецепляев М.И. Борьба со взрывами угольной пыли в шахтах / М.И. Нецепляев, А.И. Любимова, П.М. Петрухин. – М. : Недра, 1992. – 298с. 145. Писаренко В.Г. Актуальные направления развития интеллектуализированной робототехники для снижения аварийности на шахтах / Валерий Георгиевич Писаренко, Юлия Валериевна Писаренко // Искусственный интеллект. – №3. – 2009. – С. 308-316. 146. Колмогоров А.Н. Теория вероятностей и математическая статистика / А.Н. Колмогоров. – М.: Наука, 1986. – 535 с. 147. Казимир В.В. Модели верификации планов ликвидации аварий угольных шахт / Владимир Викторович Казимир, Анна Андреевна Серая // Математичні машини і системи. – 2012. – № 1. – С. 129-138. – ISSN 1028-9763. 148. Герхард Ш. Свойства алюминиевых пигментов и их влияние на процесс производства ячеистого бетона / Ш. Герхард // НПК «Современное производство АГБ». – Санкт-Петербург. – 2011. – С.10-21. 31 до друку 15.02. 32 33 34 35 36 37 38 39 40 41 . 1 1 2 3 4 5 6 7 1 0 1 2 3 4 5 6 7 8 9 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 âààâàâ 16 17 18 1 1 1 1 2 3 Фінансовоекономічн а підсистема : Банки, інноваці йні банки; Регіонал ьні інноваці йні фонди інструме нти підтрим ки пріорите тних інноваці йних проектів ; Бюджет ні і позабюд жетні фонди; Регіонал ьні венчурні фонди; Страхові фонди; Бізнесангели. 4 5 Фінансовоекономічн а підсистема : Банки, інноваці йні банки; Регіонал ьні інноваці йні фонди інструме нти підтрим ки пріорите тних інноваці йних проектів ; Бюджет ні і позабюд жетні фонди; Регіонал ьні венчурні фонди; Страхові фонди; Бізнесангели. 6 1 пріорите інноваці банки; тних йні Регіонал інноваці банки; ьні Фінансовойних Регіонал інноваці економічн проектів ьні а йні ;інноваці фонди підсистема йні Бюджет : інструме ні фонди -і нти позабюд інструме підтрим Банки, жетні нти ки інноваці фонди; підтрим пріорите йні ки Регіонал тних банки; пріорите ьні інноваці Регіонал тних венчурні йних ьні інноваці фонди; проектів інноваці йних ; Страхові йні фонди; проектів Бюджет фонди ні і ;Бізнес інструме Бюджет позабюд ангели. нти ні жетні і підтрим позабюд фонди; ки жетні Регіонал пріорите фонди; ьні тних Регіонал венчурні інноваці ьні фонди; йних венчурні Страхові проектів фонди; ; Страхові БізнесБюджет фонди; ангели. ні і Бізнеспозабюд ангели. жетні фонди; Регіонал ьні венчурні фонди; Страхові фонди; Бізнесангели. 1 2 3 1 2 1 2 1 2 3 4 1 1 2 3 1 4 5 6 7 8 підсистема : Банки, інноваці йні банки; Регіонал ьні інноваці йні фонди інструме нти підтрим ки пріорите тних інноваці йних проектів ; Бюджет ні і позабюд жетні фонди; Регіонал ьні венчурні фонди; Страхові фонди; Бізнесангели. 9 10