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

Отмечается,что описанный в работе подход с использованием разработанного формального аппарата может быть применен как в автономных системах моделирования, так и в ИСППР РВ. 3 В заключении приведены основные результаты, полученные в работе. В приложение вынесены полученные автором акты об использовании результатов диссертационного исследования и свидетельство о государственной регистрации программы. Научная новизна исследований.

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

3. Разработан алгоритм верификации моделей на основе предложенного формализма и использования метода Мойе1 СЬесЫпд (проверка модели), который обеспечивает достоверность (безошибочность) разработанных моделей. Практическая значимость полученных результатов. Результаты исследования практически использованы в научно-исследовательской работе по модернизации электродинамической модели электроэнергетической системы (ЭЭС) ФГБОУ ВО «НИУ «МЭИ», проводимых в плане приоритетных исследований по «интеллектуальной» энергетике с созданием комплекса соответствующих ИСППР РВ для мониторинга, диагностики и управления энергообъектами. Электродинамическая модель обеспечивает экспериментальную базу и современную платформу для приобретения и закрепления навыков и знаний, необходимых для работы с реальными ЭЭС, что приводит к увеличению надежности таких систем.

Разработанная в ходе исследования модульная методология разработки моделей объектов ЭЭС позволила формализовать и упростить процесс модернизации (имеется акт об использовании). Использование результатов работы в научноисследовательских работах кафедры прикладной математики ФГБОУ ВО «НИУ «МЭИ» по проектам, поддержанных грантами РФФИ и по государственному заданию Министерства образования и науки РФ, в программе У.М.Н.И.К. (автор работы является победителем программы) также косвенно свидетельствует о практической ценности результатов работы.

На разработанный в ходе исследования программный продукт получено свидетельство о государственной регистрации программы для ЭВМ Мв2015616435 «Инструментарий для разработки моделей систем на основе темпоральных сетей Петри с поддержкой логики Аллена» от 09.06.2015. Рекомендации по использованию результатов и выводов диссертации. Результаты, полученные в диссертационной работе, могут быть использованы в ФИЦ ИУ РАН, ФГБОУ ВО НИУ «МЭИ», ИПУ РАН, МГТУ им. Н.Э. Баумана, НИУ ВШЭ, ВМиК МГУ и в других научных, учебных и исследовательских учреждениях и коллективах Российской Федерации, занимающихся исследовательской и практической деятельностью в таких областях, как разработка динамических интеллектуальных систем типа ИСППР РВ, моделирование работы сложных вычислительных систем и производственных процессов.

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

По теме исследования опубликовано 19 печатных работ, 3 из которых - в рецензируемых изданиях из Перечня ВАК. Замечания по работе. 1. Автор объясняет выбор формализма сетей Петри тем, что использование автоматов накладывает существенные ограничения на процесс разработки моделей сложных систем. Однако в итоге в работе в качестве базового формализма используются безопасные модификации сети Петри, которые, по сути, тождественны сетям автоматов. Таким образом, обоснование выбора формальной модели выполнено не достаточно четко. 2. В работе не проведен сравнительный анализ возможностей использования для решения поставленной задачи классических систем и сред имитационного моделирования (например, Япш1пй, ОРБИ).

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

4. Из работы неясно, насколько полно используются возможности смены цвета меток раскрашенных сетей Петри и влияет ли этот механизм на предложенные защитные функции переходов сети. Приведенные замечания не снижают общей положительной оценки работы. Отзыв обсужден и одобрен на совместном семинаре лабораторий «Методы интеллектуального управления», «Динамические интеллектуальные системы» ФИЦ ИУ РАН, протокол № 8 от 08.09.2015г.

Заведующий лабораторией «Методы интеллектуального управления» ФИЦ ИУ РАН д.т.н., профессор Хачумов В.М. Научный сотрудник лаборатории «Динамические интеллектуальные системы» ФИЦ ИУ РАН к.ф.-м.н. Панов А.И. Диссертация Королева Ю.И. соответствует критериям, установленным Положением о присуждении ученых степеней: в ней содержится решение задачи, имеющей существенное значение для математического и программного обеспечения вычислительных машин, комплексов и компьютерных сетей, она написана автором самостоятельно, обладает внутренним единством и содержит новые научные результаты. Автореферат соответствует содержанию диссертации.

Представленная работа полностью соответствует требованиям ВАК, предъявляемым к диссертациям на соискание ученой степени кандидата технических наук, а ее автор заслуживает присуждения ему искомой ученой степени кандидата технических наук по специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. .