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

ОТЗЫВ НА АВТОРЕФЕРАТ диссертации Королева Юрия Ильича «Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Диссертация Королева Ю.И. посвящена актуальной проблеме имитационного моделирования сложных объектов дискретного типа, для мониторинга и управления которыми используются динамические интеллектуальные системы, в частности, интеллектуальные системы поддержки принятия решений (ИСППР).

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

На основании полученных теоретических результатов создан программный комплекс «Инструментарий для разработки моделей на основе темпоральных сетей Петри с поддержкой логики Аллена», зарегистрированный в установленном порядке, и проведена его экспериментальная апробация в рамках работ по модернизации электродинамических моделей электроэнергетической сети, что.

наряду с имеюшимися публикациями по теме работы, свидетельствует о практической значимости проведенного исследования. По тексту автореферата можно сделать ряд замечаний, в целом не снижающих общее положительное впечатление от работы, а именно: ° очень кратко„на мой взгляд, описаны современные методы моделирования темпоральных зависилюстей а интеллекту шьных системах, следовало бы более подробно остановиться на сравнительном анализе различных подходов к представлению времени; ° наблюдается избыток сокращений, что затрудняет чтение текста, а нередко нарушает и смысловое использование сокращений (например, сокращение «ИМ», введенное на стр,3 для обозначения словосочетания «имитационные модели», на других страницах, в частности 13 и др., уже используется для словосочетания «имитационное моделирование»).

Диссертация Королева Ю.И. «Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри» выполнена на высоком научном уровне и является завершенной квалификационной работой, удовлетворяющей всем требованиям, предъявляемым к кандидатским диссертациям ВАК РФ, а автор заслуживает присуждения ему степени кандидата технических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Доктор технических наук, профессор Щукин Борис Алексеевич 22.09.2015 Подпись Б.А. Щукина удостоверяю Почтовый адрес: 115409, г.

Москва, Каширское ш., 31 Адрес электронной почты: ВАЯтс)шЫп®гпер!й.ги Телефон: +7 (495) 788-5б-99 Место работы: Национальный исследовательский ядерный университет «МИФИ» (НИЯУ МИФИ) .