'

Институт проблем математических машин и систем НАН Украины

Понравилась презентация – покажи это...





Слайд 0

Институт проблем математических машин и систем НАН Украины Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.06 – Информационные технологии СИСТЕМА РАСПРЕДЕЛЕННОГО МОДЕЛИРОВАНИЯ ВНЕШНЕГО ОКРУЖЕНИЯ СИСТЕМ БЕЗОПАСНОСТИ Серая Анна Андреевна Киев - 2012 Научный руководитель д.т.н., проф. Казимир Владимир Викторович


Слайд 1

Объект и предмет исследования Объект исследования – процессы функционирования управляющих систем безопасности на потенциально опасном производстве (угольные шахты, химические предприятия, ядерные реакторы и т.п.). Система безопасности – часть системы управления, объединяющая в своем составе управляющие элементы и оборудование, обеспечивающее безопасное функционирование объекта управления (УТАС, УСБ АС, УСБ ХП и т.п.). Безопасное функционирование определяется условиями, в которых протекает технологический процесс. Данные условия вместе с объектом управления формируют внешнее окружение систем безопасности. Предмет исследования – методы, информационные технологии и средства построения распределенных имитационных моделей внешнего окружения систем безопасности. 2


Слайд 2

Схема работы системы безопасности 3 Система безопасности - реактивная система, работа которой характеризуется постоянной поддержкой взаимодействия с разнородным внешним окружением и реагированием на его изменения. Особенность исследования СБ – невозможность проведения экспериментов в реальных условиях. Основной метод исследования – распределенное имитационное моделирование.


Слайд 3

Существующие стандарты распределенного имитационного моделирования 4 High Level Architecture (HLA). IEEE 1516, 1516.1 и 1516.2 Distributed Interactive Simulation (DIS). IEEE 1278.1, 1278.2


Слайд 4

Цель и задачи исследования 5 Цель исследования – разработка формального метода и программно-технологического инструментария системы распределенного моделирования на основе архитектуры HLA для моделирования внешнего окружения систем безопасности. Задачи исследования: анализ известных методов формализации в имитационном моделировании; усовершенствование теории агрегативных Е-сетей как общей формальной основы построения разнородных элементов архитектуры HLA; разработка метода интеграции формальных моделей федератов в архитектуру HLA; усовершенствование формального аппарата Е-сетей для моделирования непрерывных процессов внешнего окружения; расширение стандарта PNML для иерархических Е-сетей; разработка архитектуры, алгоритмов функционирования и структурных компонентов web-системы распределенного моделирования на основе иерархических Е-сетей; оценка эффективности разработанной распределенной системы имитационного моделирования; создание методики и примеров исследования систем безопасности с помощью разработанной системы имитационного моделирования.


Слайд 5

High Level Architecture (HLA) [Richard M. Fujimoto. Parallel and Distributed Simulation Systems // John Wiley & Sons, Inc., 2000. – 300p.] 6 Компоненты HLA: Эталонная объектная модель (OMT) Правила федерации Спецификация интерфейсов Федерат – компонент имитационного моделирования (имитационная модель, тренажер, «живой участник»). Федерация – объединение федератов, взаимодействующих в целях решения некоторой конкретной задачи.


Слайд 6

Е-сети как средство формального описания поведения внешнего окружения Преимущества Е-сетей: возможность отображения потоков управления и данных; возможность количественного анализа моделируемых процессов; расширенные возможности реализации логических функций и механизмов маршрутизации развития процессов; поддержка объектно-ориентированного подхода; универсальная алгоритмическая система, эквивалентная машине Тьюринга. 7 Е-сети (G.Natt, 1972) Сети Петри (K.Petri, 1962) Агрегативные Е-сети (В.В.Казимир, 2003) Иерархические Е-сети (IE-net)


Слайд 7

Формальное описание структуры федерации с помощью иерархических Е-сетей 8


Слайд 8

Метод вложенных иерархических федератов 9


Слайд 9

Взаимодействие между федератами 10  


Слайд 10

Connection Module (CM) 11 Внутренняя структура CM модуля Интерфейс CM модуля


Слайд 11

Интеграция формального аппарата Е-сетей в архитектуру HLA 12


Слайд 12

Расширенная архитектура федерации HLA 13 RTI - Portico


Слайд 13

Архитектура системы моделирования EMS (однопроцессорное моделирование) 14


Слайд 14

Архитектура системы моделирования EMS (распределенное моделирование) 15


Слайд 15

Редактор моделей системы EMS 16


Слайд 16

Моделирование непрерывных процессов 17    


Слайд 17

Язык IE-net Language (IEL) Обеспечивает автоматическое формирование FOM.xml файла (имя файла, путь для сохранения, список атрибутов, список параметров) Позволяет задавать функции на переходах V['X'] = UNIFORM(0,1); IF (V['X']>=0.3) RETURN 0; IF (V['X']<0.3 && V['X']>=0.2) RETURN 1; IF (V['X']<0.2 && V['X']>=0.1) RETURN 2; IF (V['X']<0.1) RETURN 3; Поддерживает: задание законов изменения непрерывных величин - F; объявление переменных и работу с переменными IЕ-сети; VAR count = TRUE; V['count'] = V['count'] +1; A[‘A1’].V[‘Tfin']=TIME; работу с атрибутами метки IЕ-сети P['P1'].T[‘atr1'] = 10; управляющие конструкции основные математические функции функции для получения случайных величин написание комментариев 18


Слайд 18

19 Объектная модель расширенного стандарта PNML


Слайд 19

Расширение стандарта PNML для IЕ-сетей Добавление нового атрибута “definition” PNML для объекта “Transition”: <definition type="TYPE“ subType="SUBTYPE"> Добавление атрибута “attribute name” для объекта “Place” Введение понятия типа агрегата 20


Слайд 20

Сравнение систем имитационного моделирования 21


Слайд 21

Производительность EMS б) в режиме reliable а) в режиме best_effort


Слайд 22

Методика моделирования внешнего окружения СБ с помощью EMS Прогнозирование вероятностей состояний объекта с помощью имитационной модели Оценка параметров работы СБ с помощью распределенной имитационной модели 23 Модели внешнего окружения на основе иерархических Е-сетей позволяют: воссоздать сценарии развития аварий; идентифицировать аварийные последовательности с определением их частоты появлений; определять важные с точки зрения риска элементы (процессы) в аварийных последовательностях; отображать зависимость систем безопасности от конкретных исходных условий; прогнозировать наступление аварийной ситуации и принимать решение о ее недопущении в текущий момент времени моделирования. Варианты исследований


Слайд 23

Прогнозирование аварийной ситуации на угольной шахте Состояния угольной шахты: Q0 – нет метана и нет искры (p=0,7); Q1 – есть метан, нет искры (p=0,1); Q2 – нет метана, есть искра (p=0,11); Q3 – есть метан и искра (p=0,09). 24


Слайд 24

Имитационная модель прогнозирования аварийного состояния угольной шахты 25


Слайд 25

Результаты моделирования 26


Слайд 26

Имитационная модель производства газобетона 27 ПДК водорода = 0,8%; 1 форма выделяет 1900л = 0,1%


Слайд 27

Агрегат - сектор заливки 28 Вложенный агрегат – выделение водорода Поступление исходных материалов Добавление алюминия Транспортировка в камеру (90с)


Слайд 28

29 Агрегат - камера нагревания Вложенный агрегат – выделение водорода Выбор пути Нагревание формы (90мин) Сигнал в систему вентиляции


Слайд 29

Агрегат – выделение водорода в секторе заливки 30 Сигнал от системы вентиляции Условия начала заливки Подсчет концентрации водорода (шаг 1с) Процесс заливки Передача данных о концентрации водорода в систему вентиляции  


Слайд 30

Агрегат – выделение водорода в камере нагревания 31 Сигнал от системы вентиляции Процесс нагревания (60мин) Подсчет концентрации водорода (шаг 1мин) Передача данных о концентрации водорода в систему вентиляции  


Слайд 31

Результаты моделирования 32


Слайд 32

Результаты моделирования 33 Результат: вентиляторы необходимо включать через 25мин на 5 мин


Слайд 33

Основные научные и практические результаты Впервые предложено формальное определение иерархических Е-сетей, которое позволяет подойти к исследованию сложных систем с позиций системного анализа и моделировать разнородные процессы внешнего окружения систем безопасности. Впервые разработано метод интеграции иерархических Е-сетей в архитектуру HLA. Впервые разработано архитектуру, алгоритмы функционирования веб-системы распределенного имитационного моделирования в архитектуре HLA и язык описания моделей с помощью иерархических Е-сетей. Впервые предложено методику моделирования внешнего окружения систем безопасности с помощью разработанной системы имитационного моделирования. Усовершенствовано формальный аппарат Е-сетей для моделирования непрерывных процессов. Расширено стандарт PNML для иерархических Е-сетей. Произведена экспериментальная проверка производительности разработанных программных средств, которая показала их высокую эффективность. Разработаны имитационные модели внешнего окружения управляющих систем безопасности угольной шахты и процесса производства газобетона. 34


Слайд 34

Публикации, апробация и внедрение результатов работы 1.Результаты работы изложены в 14 научных трудах: 5 статей – в профессиональных изданиях Украины 8 публикаций в сборниках и материалах научных конференций получено 1 авторское свидетельство. 2. Результаты работы использованы в НИР ИПММС НАНУ «Разработка теоретических основ создания и исследования живучих гарантоспособных систем управления на основе вероятностно-физического подхода», № 0110U001005, 2010-2014рр. 3. Система распределенного имитационного моделирования EMS прошла регистрацию в государственной службе интеллектуальной собственности Украины, свидетельство про регистрацию авторского права на произведение №43777 от 15.05.2012 4. Внедрение результатов диссертационной работы: ОП «Шахта имени О.Ф. Засядько», г. Донецк ООО «Ориентир-Будэлемент», г. Киев кафедра информационных и компьютерных систем Черниговского государственного технологического университета (http://app.stu.cn.ua/ems/) 35


Слайд 35

Благодарю за внимание! 36


×

HTML:





Ссылка: