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

Диссертационный совет отмечает, что на основании выполненных соискателем исследований: ~аз аботано математическое и программное обеспечение дня создания и верификации имитационных моделей сложных динамических объектов, которое можно использовать в интеллектуальных системах поддержки принятия решений реального времени (ИСППР РВ); пйедгяошены модификация формапизма раскрашенных сетей Петри, позволяющая использовать в качестве защитных функций переходов сети выражения темпоральной логики Аллена (ТЛА); оригинальные алгоритмы функционирования, методы анализа и верификации имитационных моделей на основе этой модификации; показана возможность применения разработанного аппарата для создания имитационных моделей сложных динамических систем с учетом качественных темпор альных зависимостей на примере моделирования объектов электроэнергетической системы; введено новое понятие «раскрашенные сети Петри реального времени с поддержкой темпоральной логики Аллена» ~РСП РВ ТЛА), обозначающее раскрашенные сети Петри реального времени, в которых в качестве защитных функций переходов используются выражения ТЛА.

Теоретическая значимость исследования обоснована тем, что: ~~~к зыты ограничения суюествуююих подходов к моделированию сивиных динамических систем, в частности, проблема учета темпоральных зависимостей между отдельными компонентами таких объектов; и ове ена мо е низа ия существующего формализма раскрашенных сетей Петри реального времени, позволившая разрабатывать модели систем с учетом количественных и качественных темпоральных зависимостей; доказано, что вычиспитепьная спонность разработанных алгоритмов функционирования и верификации имитационных моделей не превышает полиномиальную оценку, что позволяет использовать их в ИСППР РВ. Значение полученных соискателем результатов исследования для практики подтверждается тем, что: ~аз аботань авгаря ы фрнкдиовироаания и аерификадии имитапионных моделей сложных динамических систем на основе РСП РВ ТЛА, программная реализация алгоритмов осуществлена в виде инструментальной системы разработки моделей в среде Сйепзут 62 (прототип) и в среде М~сго~о~1 1Ъиаl Я1ийо 2012 (полная версия программного продукта); определены перспективы практического испопьзоаавия разработанного математического и программного обеспечения в системах управления и мониторинга сложных динамических объектов типа ИСППР РВ; создана программная система «Инструментарий дпя разработки моделей разработанного экспе иментально проверена эффективность математического и программного обеспечения на примере задачи моделирования объектов электроэнергетической системы; тео ия пост оена на базе применения классических графовых формализмов и методов моделирования времени к разработке и верификации имитационных моделей сложных динамических систем; и ея базн ется на адаптации формализма сетей Петри и методов оперирования темпоральной информацией к разработке и верификации имитационных моделей сложных динамических систем; использованы современные среды разработки 6епиут сй2, Мгсгою~й 1рЪиа1 5'7исйо 2012, язык программирования СФ.

систем на основе темпоральных сетей Петри с поддержкой логики Аллена», позволяющая как автономное применение, так и включение в ИСППР РВ; н е ставлены екомен а ии по использованию имитационных моделей на основе РСП РВ ТЛА в качестве моделей высокого уровня, объединяющих более простые (не обязательно созданные на основе разработанного подхода). Оценка достоверности результатов исследования выявила: Личный вклад соискателя состоит в следующем: нее«номен оригинальный формализм РПП РВ ТЛА ллл имитационног моделирования сложных динамических систем; наз аботаиы алгоритмы фуи«ционироеании имитационных моцЕЗЕй на основе РСП РВ ТЛА, сложность которых не превышает полиномиальную оценку; методы анализа и верификации таких моделей; выполнена п ог аммная еализа ия разработанных методов и алгоритмов в средах Суепзут 62 и М~сгозоЯ 1Уииа1 Яийо 2012; п ове ена экспе иментальная ап оба ия разработанного математического и программного обеспечения в рамках работ по моделированию объектов электроэнергетической системы.

Заместитель председателя диссертационного совета Д 212.157.01 д т.~ йрафсетсары ', :",,:+ у'. еный гсетк1Ыт«арь - .'. дй~еерттацф1онного.'с4вгета Д 212.157.01 «.т.и',."; цоцент ь,, " .':~р "«Л Вагин Вадим Николаевич Фомина Марина Владимировна Дата оформления Заключения: 19 октября 2015 г. 11 На заседании 1б октября 2015 г. диссертационный совет Д212.157.01 принял решение присудить Королеву Юрию Ильичу ученую степень кандидата технических наук. При проведении тайного голосования диссертационный совет в количестве 16 человек, из них 8 докторов наук по специальности 05.13.11, участвовавших в заседании, из 19 человек, входящих в состав совета, проголосовали: за 15, против О, недействительных бюллетеней 1.

.