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