Заключение диссертационного совета (Математическое и программное обеспечение для управления базами знаний на основе многоуровневых семантических моделей гетерогенных информационных ресурсов)

Аттестационное дело №___19.04.2017 протокол № 52Заключение диссертационного совета Д 212.131.05, созданного на базефедерального государственного бюджетного образовательного учреждениявысшего образования «Московский технологический университет»(МИРЭА), Министерство образования и науки Российской Федерации,находящийся по адресу 119454, Москва, проспект Вернадского, д. 78, номерприказа № 2651-687 от 19 апреля 2017 г., по диссертации Грегер СергеяЭдуардовича на соискание ученой степени кандидата технических наук поспециальности 05.13.11 – Математическое и программное обеспечениевычислительныхмашин,комплексовикомпьютерныхсетейДиссертация«Математическоеипрограммноеобеспечениедляуправления базами знаний на основе многоуровневых семантических моделейгетерогенных информационных ресурсов» в виде рукописи по специальности05.13.11 – «Математическое и программное обеспечение вычислительныхмашин, комплексов и компьютерных сетей» выполнена в федеральномгосударственномавтономномобразовательномучреждениивысшегообразования «Уральский федеральный университет имени первого ПрезидентаРоссии Б.Н.

Ельцина» на кафедре радиоэлектроники и информационныхсистем.Диссертация принята к защите 16 февраля 2017 года протокол№ 1-17/П.Соискатель Грегер Сергей Эдуардович, 1957 года рождения, старшийпреподаватель кафедры информационных технологий Нижнетагильскоготехнологического института федерального государственного автономногообразовательного учреждения высшего образования «Уральский федеральныйуниверситет имени первого Президента России Б.Н. Ельцина».Грегер С.Э. в 1982 г. окончил с отличием «Саратовский государственныйуниверситетименипервогоН.Г.Чернышевского»поспециальности«Радиофизика и электроника» и получил диплом с квалификацией радиофизик.В 2015 году окончил заочную аспирантуру федерального государственного2автономного образовательного учреждения высшего образования «Уральскийфедеральный университет имени первого Президента России Б.Н.

Ельцина».НаучныйруководительПоршневСергейВладимирович,доктортехнических наук, профессор, профессор кафедры радиоэлектроники иинформационныхсистемфедеральногогосударственногоавтономногообразовательного учреждения высшего образования «Уральский федеральныйуниверситет имени первого Президента России Б.Н. Ельцина».Официальные оппоненты: Пруцков Александр Викторович, доктортехнических наук, доцент кафедры вычислительной и прикладной математикиРязанского государственного радиотехнического университета, г. Рязань;Жигалов Кирилл Юрьевич, кандидат технических наук, старший научныйсотрудник Института проблем управления Российской Академии Наук,г. Москва, дали положительные отзывы на диссертацию.Ведущая организация – федеральное государственное бюджетноеобразовательноеучреждениегосударственныйтехническийвысшегоуниверситетобразованияимени«ИжевскийМ.Т.

Калашникова»,г. Ижевск, дала положительное заключение о диссертации (заключениесоставленод.т.н.,профессоромО.В.Малиной,заведующейкафедрой«Автоматизированные системы обработки информации и управления» иутверждено ректором В.П. Граховым).Выбор официальных оппонентов и ведущей организации обосновываетсяих компетентностью в рассматриваемой отрасли, наличием публикаций испособностью определить научную и практическую ценность диссертации втехнической отрасли науки.Соискатель имеет 24 опубликованные работы по теме диссертации, 3 изкоторых, опубликованы в журналах, входящих в Перечень рецензируемыхнаучных журналов и изданий:1. Олейник П.

П., Грегер С. Э. Применение и реализация онтологий при3разработке приложений баз данных системы // Прикладная информатика, 2016.Том 11. № 3 (63). С.76102.2. Грегер С.Э, Поршнев С.В. Совместное использование онтологическоймоделииобъектноймоделейприпроектированиииреализацииинформационных WEB-систем//Естественные и технические науки, 2011. № 6.С. 461468.3. ГрегерС.Э,ПоршневС.В.Построениеонтологииархитектурыинформационной системы//Фундаментальные исследования, 2913. № 10 (часть11). С. 24052409.На диссертацию и автореферат поступило 4 положительных отзыва:1.От к.т.н., доцента кафедры ФИД Шахтинского института ЮРГПУОлейника П.П., замечания: в автореферате нет обоснования выбора дляреализации объектной системы именно системы управления содержимымPlone; не выявлены и не представлены условия комплекса для другой целевойплатформы, отличной от CMS Plone.2.От к.ф-м.н., доцента кафедры физико-математического образованияНижнетагильского филиала Института развития образования Свердловскойобласти Потаскуева С.Э., замечаний нет.3.замечания:От к.т.н., программиста ООО «Октоника» Бородина А.М.,неяснопроводиласьлипроверканепротиворечивостисемантической модели в инструментальных средах OntoEditor, PhoneModeler;существует ли семантическая или концептуальная модель для OntoEditor,PhoneModeler; возможно ли проводить онтологический анализ моделиOntoEditor в самом OntoEditor.4.От д.т.н., профессора, профессора кафедры информатики ФГБОУВО «Уральский горный университет» Зобнина Б.Б., замечания: модельинформационных ресурсов должна строиться с учетом преобразованияинформации в процессе контроля.Диссертационный совет отмечает, что на основании выполненных4соискателем исследований:разработаны математическое и программное обеспечение системыуправлениябазамизнаний(СУБЗ),основанныенаиспользованиимногоуровневых семантических моделей, которые позволяют организоватьединообразное управление гетерогенными информационными ресурсами,обеспечивающими функционирование СУБЗ;предложен объектно-ориентированный метод представления, хранения иуправлениямногоуровневымисемантическимимоделями,позволяющийуправление разнородными информационными ресурсами;доказана перспективность использования семантической формализации имногоуровневых семантических моделей для управления СУБЗ на каждом изэтапов ее жизненного цикла;введены в научный оборот формальные многоуровневые семантическиемодели гетерогенных информационных ресурсов.Теоретическая значимость исследования обоснована тем, что:доказанапринадлежащихвозможностьданномуаннотированияуровнюсемантическихмоделирования,конструкций,семантическимиконструкциями, определенными на более высоком уровне моделирования;применительно к проблематике диссертации результативно использованыдескриптивная логика, методология объектно-ориентированного анализа имоделирования информационных систем, онтологический анализ, методысистемной инженерии;изложены обоснования предложенных в диссертации многоуровневыхсемантических моделей гетерогенных информационных ресурсов и алгоритмовуправления данными семантической модели;раскрытысуществующиепротиворечиямеждурезультатамитеоретических исследований семантических моделей, свидетельствующими овозможностиупрощенияпроцедурыинтеграциигетерогенных5информационных ресурсов, и возможностями существующего программногообеспечения разработки СУБЗ;изучены современные подходы к проектированию СУБЗ систем, стандарты,регламентирующие их разработку, а также методы решения различных задач ивыявлено отсутствие единой методологии, обеспечивающей комплексноеприменениемногоуровневыхсемантическихмоделейгетерогенныхинформационных ресурсов на этапах разработки и управления СУБЗ;проведена модернизация парадигмы проектирования за счет введения длямоделирования нового семантического уровня абстракции и использованияметодов управления знаниями.Значение полученныхсоискателем результатов исследованиядляпрактики подтверждается тем, что: разработаны программные комплексы«OntoEditor» и «Plone Modeler» и внедрены в Уральском федеральномуниверситете им.

первого Президента России Б.Н. Ельцина при создании ИС«Интеллектуальнойсистемыпроектированиявеб-приложений»иИС«Интеллектуальной система управления учебным процессом», а также вучебных курсах «Теория информационных процессов и систем» и «Методы исредства проектирования информационных систем» в качестве виртуальныхлабораторий разработки информационных систем методология и технологияпостроения информационных систем на основе семантических моделейцелевой системы, адаптированных к семантическим моделям обеспечивающейсистемы, позволяющие единым образом организовать сетевой доступ кразнородным информационным ресурсам;определеныперспективыпрактическогоиспользованияонтологоуправляемых информационных систем, основанных на использованиимоделей семантического уровня моделирования;созданы формальные модели, методы и алгоритмы разработки сложныхинструментальных средств, образующих инструментальную среду на основе их6формальных моделей;представлены методические рекомендации по использованию моделей,методов и алгоритмов разработки сложных инструментальных средств,образующих инструментальную среду на основе их формальных моделей.Оценка достоверности результатов работ выявила:теория построена на известных в области теории и технологийпроектирования современных ИС, интегрирующих разнородные, в том числе,распределённые объекты, сервисы и информационные ресурсы;идеябазируетсянарезультатаханализатеории,практикипроектирования, разработки и эксплуатации современных информационныхсистем;использованымногоуровневыесемантическиемодели,языкиформального описания моделей, объектно-ориентированные представлениясемантических моделей, методы многоуровневого объектно-ориентированногомоделирования;методы семантического согласования многоуровневых семантическихмоделей, онтологии, методы управления знаниями и обеспечения целостностиинформационных систем;установлено, что информационная система «Интеллектуальная системапроектированиявеб-приложений»иинформационнаясистема«Интеллектуальная система управления учебным процессом», созданные спомощьюпрограммныекомплексы«OntoEditor»и«PloneModeler»,разработанных в диссертации, в полной мере удовлетворяют заданнымтехническим требованиям;использованысовременныеметодытестированияпрограммногообеспечения.Личный вклад соискателя состоит в непосредственном участии во всех этапахисследования, в том числе: анализе существующих проблем в областиразработки СУБЗ, формулировке цели и задач исследования, разработке7.