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

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

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

В авторе ферате приводятся основные теоретические выкладки, описывающие работу таких ИМ, а также алгоритмы на их основе, обладающие полиномиальной сложностью. Практическая значимость исследования подтверждается разработанным в среде М1сгозо11 Изпа1 Мийо и зарегистрированным программным продуктом «Инструментарий для разработки моделей на основе темпоральных сетей Петри с поддержкой логики Аллена», а также описанным в работе применением предложенного подхода в задаче моделирования сложных объектов энергосети.

В качестве замечания следует указать, что процесс тестирования разработанного инструментария описан в автореферате недостаточно подробно. Замечание не влияет на общее положительное впечатление. В целом можно констатировать, что работа выполнена на высоком уровне, соответствует Положениям о присуждении научных степеней БАК, а Королев Юрий Ильич, безусловно, заслуживает присуждения степени кандидата технических наук по специальности 05.13.11. Д екан факультета «Управление», заведующий кафедрой «Автоматизированные системы управления» ФГБОУ ВПО «Московский автомобильно-дорожный государственный технический университет 1МАДИ)», лауреат премии Правительства РФ, заслуженный деятель науки РФ, д,т.н., профессор Николаев А.Б. Контактная информация: 125319, Москва, Ленинградский проспект, д.б4 (499)155-04-72, (499) 151-25-38 пйо1аечлпай пза11.тц Подпись зав.

каф. АСУ, д.т.н., проф. Николаева Андрея Борисовича, Подтверждаю, проректор по научной работдд.т...ц.„проф. Иванов А.М,: . "1 .