отзыв
научного руководителя на диссертационную работу Федосина
Михаила Евгеньевича по теме «Виртуализация
многокомпонентной системной архитектуры предметно
ориентированной облачной вычислительной среды»,
представленную на соискание ученой степени кандидата
технических наук по специальности 05.13.15 - Вычислительные
машины, комплексы и компьютерные сети.
Тема диссертационной работы Федосина М.Е. посвящена исследованию предметно-ориентированных облачных вычислительных сред с целью повышения эффективности их проектирования, а также расширения их функциональных и эксплуатационных возможностей за счет виртуализации их функциональной и системной архитектур.
В исследовании Федосина М.Е. решаются сложные и актуальные задачи, связанные с проектированием программно-аппаратного комплекса, позволяющего организовывать облачные сервисы в моделях 8аа8 и Раа§ в области высокопроизводительных вычислений для конкретных предметных областей. Благодаря проведенной работе стало возможным предоставление ученым и исследователям облачного доступа к прикладному программному обеспечению для математического моделирования с графическим интерфейсом, а также к средствам разработки, тестирования и отладки такого ПО.
Для решения поставленных задач были применены объектноориентрованный анализ и проектирование систем, методология системного моделирования, логико-алгебраические модели и методы для формализации системной и функциональной архитектур систем.
К наиболее существенным научным результатам, полученным автором диссертации лично, следует отнести:
- методики проектирования на абстрактном и прикладном уровнях системной и функциональной архитектур сложных многокомпонентных ПООС, отличительной особенностью которых является использование декларативно-императивного подхода к представлению знаний о предметной ориентации и сценариях функционирования облачной среды;
- функциональная архитектура ПООС, основанная на анализе и интерпретации причинно-следственных межкомпонентных связей, отличительной особенностью которой является внедрение системы аккаунтинга ресурсов и супервизора с поддержкой технологии мультиресурсного запуска вычислительных заданий;
- логико-алгебраические модели представления знаний о структурных, логических и темпоральных связях между компонентами и ресурсами ПООС, базирующиеся на эволюционирующих многоосновных алгебраических системах и алгебре модулей;
- виртуализированная системная архитектура ПООС, учитывающая реализацию структурных, логических и темпоральных связей между различными компонентами и ресурсами и отличающаяся от известных принципом отображения унифицированной абстрактной схемы декларативно-императивной поведенческой модели в архитектуру программно-аппаратных средств ПООС.
Научная новизна методик проектирования системной и функциональной архитектур сложных многокомпонентных ПООС состоит в том, что с помощью них возможно построение масштабируемых, регулярных, модульных и реконфигурируемых структур ПООС.
Научная новизна функциональной архитектуры ПООС состоит в том, что ее использование позволяет упростить реализацию и повысить оперативность взаимодействия компонентов системы.
Научная новизна логико-алгебраических моделей представления знаний о структурных, логических и темпоральных связях между компонентами и ресурсами ПООС состоит в том, что они позволяют упростить построение формализованных поведенческих моделей системы, обеспечить их непосредственное использование в качестве формализованных технических заданий в процессе проектирования функциональной и системной архитектур ПООС, учесть на абстрактном и прикладном уровнях проектирования предметную ориентированность, асинхронную и параллельную работу компонентов и на этой основе повысить производительность ПООС.
Научная новизна виртуализированной системной архитектуры ПООС состоит в том, что ее использование позволяет сократить сроки проектирования и ускорить проведение анализа работы системы.
В ходе работ автором были разработаны инструментальные средства поддержки проектирования и последующего анализа архитектуры ПООС, включающие в себя синтезатор, анализатор и интерпретатор модели, и обеспечивающие концептуальное и поведенческое моделирование при учете асинхронного и параллельного функционирования компонентов.
Теоретические и практические результаты работы использованы при выполнении фундаментальной НИР «Развитие теории организации взаимодействия параллельных процессов в распределенных системах обработки данных» на кафедре «Вычислительная техника» Пензенского государственного университета; внедрены на промышленном предприятии ЗАО НПК «Электровыпрямитель», а также используются в учебном процессе Мордовского государственного университета им. Н.П. Огарёва и Пензенского государственного университета, что подтверждается соответствующими актами о внедрении.
Все результаты, вынесенные на защиту, получены Федосиным М.Е.
самостоятельно. Теоретические и практические результаты, полученные автором по теме диссертации, прошли всестороннюю апробацию. За время работы над диссертацией Федосин М.Е. подготовил и выступил с докладами на многих международных конференциях, опубликовал 17 печатных работ, в том числе 5 статей в изданиях, рекомендованных ВАК РФ, 3 свидетельства об официальной регистрации программ для ЭВМ, а также патент на полезную модель структуры программно-аппаратного комплекса.
Содержание опубликованных работ достаточно полно отражает цель, задачи и предмет исследований, теоретические и практические результаты. В публикациях, подготовленных совместно с научными руководителями, основные теоретические положения принадлежат соискателю.
Федосин М.Е. в 2009 году окончил Московский государственный университет им. М.В. Ломоносова с присуждением квалификации «Математик. Системный программист» по специальности «Прикладная математика и информатика». Обучался в аспирантуре Института системного программирования Российской академии наук. В настоящее время Федосин М.Е. ведет научные и прикладные исследования по тематике диссертации в сотрудничестве с кафедрой вычислительной техники Пензенского государственного университета.
Считаю, что кандидатская диссертация Федосина М.Е. представляет собой завершенную научную квалификационную работу, содержащую значимые научные и практические результаты. Диссертация отвечает всем требованиям, приведенным в п. 9 Положения о порядке присуждения ученых степеней ВАК России, а ее автор, Федосин Михаил Евгеньевич, заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.15 —Вычислительные машины, комплексы и компьютерные сети.
Доктор технических наук, доцент, профессор кафедры «Вычислительная
«