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

отзыв на автореферат диссертации Королева Юрия Ильича«Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.11- математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» Представленная диссертационная работа посвящена актуальной теме, связанной с разработкой математического и программного обеспечения перспективных интеллектуальных систем (ИС), расширяющих возможности современных вычислительных комплексов.

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

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

Основные результаты работы прошли апробацию на многочисленных всероссийских и международных научных и научно-технических конференциях и Заведующий кафедрой «Дискретной математики и методов оптимизации» Южного федерального университета доктор технических наук, профессор Курейчик Виктор Михайлович 347928 г.

Таганрог пер. Некрас Тел. (8634) 311487, ета11: чпйи Подпись Курейчика В.М. заве Директор ИКТиБ ЮФУ, д.т.н. Г.Е. Веселов опубликованы в 19 печатных работах, из них 3 — в журналах, включенных ВАК в перечень ведущих рецензируемых научных журналов и изданий. Замечания по автореферату: - отмечено, что определены правила построения безопасной РСП РВ ТЛА, однако в автореферате эти правила не приведены; Отмеченные замечания не снижают общего положительного впечатления От работы. Диссертация Королева Ю.И. является завершенной научно- квалификационной работой, выполнена на высоком уровне, соответствует всем требованиям ВАК к кандидатским диссертациям, а ее автор заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

.