Інформаційна технологія підтримки рішень з урахуванням ризиків при мережевому плануванні та управлінні

Посадська, А. С.

dc.contributor.author	Посадська, А. С.
dc.date.accessioned	2017-12-07T13:47:35Z
dc.date.available	2017-12-07T13:47:35Z
dc.date.issued	2017
dc.identifier.uri	http://ir.stu.cn.ua/123456789/15523
dc.description	Посадська, А. С. Інформаційна технологія підтримки рішень з урахуванням ризиків при мережевому плануванні та управлінні : автореф. дис. ... канд. техн. наук : 05.13.06 / А. С. Посадська. - Чернігів, 2017. - 23 с.	en_US
dc.description.abstract	Дисертація присвячена розробці інформаційної технології підтримки рішень з урахуванням ризиків при мережевому плануванні та управлінні. Для розв’язання поставленої задачі запропоновано: метод динамічної оцінки ризику, який базується на використанні імітаційної моделі сітьового графіку для обчислення ймовірності виконання темпоральних формул, що визначають динамічні властивості плану робіт; метод вибору оптимальної стратегії планування, який використовує формальну модель статистичної гри для динамічної верифікації плану робіт; метод дослідження циклічних планів, які представлені як нечіткі когнітивні карти, з метою прогнозування станів системи, що змінюються під впливом факторів, в тому числі, за альтернативними рішеннями. Практична реалізація інформаційної технології здійснена за допомогою розробки плагіну до розподіленої системи імітаційного моделювання EMS. Розроблено алгоритми верифікації динамічних властивостей планів робіт при їх дослідженні за допомогою розподіленої системи імітаційного моделювання EMS. Інтегровано EMS в хмарне середовище, що дало змогу застосувати її для побудови планів робіт різного рівня складності. Експериментально за допомогою інформаційної технології розв’язано задачі оцінки ризику в ході виконання стартап-проекту, прогнозування станів екосистеми та планування маршруту польоту агродрону.	en_US
dc.language.iso	uk	en_US
dc.publisher	Чернігів	en_US
dc.subject	динамічна оцінка ризику	en_US
dc.subject	мережеве планування та управління	en_US
dc.subject	Е-мережі	en_US
dc.subject	темпоральні логіки	en_US
dc.subject	імітаційне моделювання	en_US
dc.subject	нечіткі когнітивні карти	en_US
dc.subject	хмарні обчислення	en_US
dc.subject	динамическая оценка риска	en_US
dc.subject	сетевое планирование и управление	en_US
dc.subject	Е-сети	en_US
dc.subject	темпоральные логики	en_US
dc.subject	имитационное моделирование	en_US
dc.subject	нечеткие когнитивные карты	en_US
dc.subject	облачные вычисления	en_US
dc.subject	dynamic risk assessment	en_US
dc.subject	network planning and management	en_US
dc.subject	E-nets	en_US
dc.subject	temporal logic	en_US
dc.subject	simulation modeling	en_US
dc.subject	fuzzy cognitive map	en_US
dc.subject	cloud computing	en_US
dc.title	Інформаційна технологія підтримки рішень з урахуванням ризиків при мережевому плануванні та управлінні	en_US
dc.title.alternative	Информационная технология поддержки принятия решений с учетом рисков при сетевом планировании и управлении	en_US
dc.title.alternative	Information technology for decision support with risk accounting in network planning and management	en_US
dc.type	Autoreferat	en_US
dc.description.abstractalt1	Диссертация посвящена разработке информационной технологии поддержки принятия решений с учетом рисков при сетевом планировании и управлении. Для решения поставленной задачи разработан метод динамической оценки риска основанный на процедуре верификации Dynamic Model Checking. Для построения формализованной модели предложены управляющие Е-сети. Имитационная модель сетевого графика используется для вычисления вероятности выполнения темпоральных формул, определяющих динамические свойства плана работ. Количественная оценка риска выполнения плана по альтернативным путям осуществляется путем определения вероятностей выполнения формул темпоральной логики по результатам проведения статистических экспериментов с имитационной моделью в виде CENL. Разработан метод выбора оптимальной стратегии планирования, использующий формальную модель статистической игры для динамической верификации плана работ. Под стратегией планирования рассматривается определенная стратегия статистика на множестве альтернативных решений при разных наборах параметров плана. Оптимальная стратегия выбирается за правилом Байеса на основе оценок риска, полученных с помощью имитационных моделей плана работ. Разработан метод исследования циклических планов, которые представлены в виде нечетких когнитивных карт, для прогнозирования состояний системы, изменяющиеся под воздействием факторов, в том числе, по альтернативным решениям. За основу практической реализации информационной технологии взято распределенную систему имитационного моделирования EMS. В ней на основе подсистемы эксперимента реализовано плагин, позволяющий проводить моделирование с помощью формул темпоральной логики для динамической оценки риска в процессе сетевого планирования. Алгоритмы верификации динамических свойств планов работ на основе процедуры динамической верификации DMC реализованы при помощи данного плагина. Методика оценки рисков при сетевом планировании и управлении реализована на базе исследования имитационной модели плана работ в виде CEN с заданными переменными модели, функциями переходов CEN, ограничениями по выполнению плана работ в виде формул CTL и проведении соответствующих экспериментов. Интеграция EMS в облачную среду позволила применять информационную технологию для построения планов работ различного уровня сложности. Экспериментально с помощью разработанных методов и информационной технологии поддержки принятия решений с учетом рисков решены такие задачи как оценка риска для плана стартап-проекта, прогнозирование изменения состояний экосистемы, заданной в виде нечеткой когнитивной карты, определение оптимального маршрута полета сельскохозяйственных беспилотников согласно заданных ограничений с учетом риска и в условиях неопределенности.	en_US
dc.description.abstractalt2	The thesis is devoted to development of information technology for decision support with risk accounting in network planning and management. There were proposed such methods for solving the risk assessment task. The first is method of dynamic risk assessment based on the usage of simulation model of the network graph to calculate the probability of implementation of temporal formulas that determine the dynamic properties of the work plan. The second is method of choosing the optimal planning strategy with usage the formal model of statistical game for dynamic verification of the work plan. The third is method of research of cyclic plans, which are represented as fuzzy cognitive map in order to forecast states of the system that change under the influence of factors, also according to the alternative decisions. Practical implementation of information technology was made by designing the plugin to the distributed simulation system EMS. Algorithms for verification of dynamic properties of the work plans in their study using a distributed simulation system EMS were developed. EMS was integrated into the cloud environment, which made it possible to apply it for the building of work plans of various levels of complexity. Such tasks as risk assessment for the start-up project plan, forecasting of ecosystem and flight route planning for agricultural drones were solved experimentally using the developed information technology.	en_US