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

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

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

оттличаются новизной. практически приемлемой сложностью и предназначены для вк:почения в состав матема]ического и программного обеспечения современных и перспективных интеллектуальных систем реального времени. в частности, ингсллсктуальных сисгем поддержки принятия решений реального времени типичными, предназначенному для помощи оперативному персоналу при управлении слозкными техническими, транспортными и организапионными системами.

1'!рактическая значимость результатов и их достоверность подтверждается апробапией полученных результатов па ряде международных и всероссийских научных конференциях и семинарах, внедрением в научный и учебный процессьь а гакже государственной рсгнсграцисй разрабоганного программного комплекса «Инструментарий для разработки моделей систем на основе темпоральных сетей Петри с поддержкой логики Лллена», успешно примененного в системе моделирования объектов электроэнергетической сети и в учебном процессе. По теме диссертации опубликован 19 статей (включая 3 статьи в изданиях из списка ВЛК). автореферат в целом отражает осношюе содержание работы.

! 1о работе имен>тся следующие замечания; — в геории раскрашенных сетей 11етри важное место занимает подход на основе иерархических сетей. однако в работе это понятие не рассматривается; — в основных результатах работы отмечается. что в среде О2 разрабоган прототип инструментария, - следовало бы дать обоснование выбора этой среды. На основе автореферата можно сделать вывод о тока что представленная диссерзацишшая работа взшолнена на высоко~ научном уровне, имсег важное практическое значение, соответствует Положению ВЛК о присуждении ученых сгепенсйя„а сс авгор Королев!О.И. заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Профессор кафедры па ж.-д. транспорг «Лвтоматика н гелемеханика 'ГУ!!С, дл.н.. проф. Ъ. ... з~.'..~~~~А 'й.ф~.'й Ковалев С.М. Ла.!ь,... ' г".у';р., Фг = "";г ~- к 4 ~~! ~Г'7. б З ТЧ. Канина ,6"~ ж: Р.',,...,,у .