Заключение диссертационного совета (1090639), страница 2
Текст из файла (страница 2)
- 2(52). - С. 65-77. Соискателемпредставленаархитектурасинхронизатораиеговспомогательноговзаимодействиеспрограммногопрограммнымкомплексакомплексоминтерпретатора, дано описание проведенного нагрузочного тестированияотдельных компонентов комплекса.4. Кейно П.П. Унификация типов прав доступа к информационнымресурсамоблачныхWeb-сервисов//Безопасностьинформационныхтехнологий. - М., 2015. - №1. - С. 87-89. Впервые описан методразграничения прав доступа к данным на основе разработанной методики.5. Кейно П.П.,Силуянов А.В.динамическихWeb-узловАвтоматизированнаясредствамиразработкадекларативногоязыкапрограммирования // Прикладная информатика.
- М., 2014. - 6 (54). - С. 70-78.СоискателемразработанапрограммированияWeb-узловиописанаиметодикаприложений,адекларативноготакжепредметно-ориентированный язык BML.6. Кейно П.П.,Силуянов А. В.Декларативныйподходописаниядинамических структур серверной стороны при разработке Web-узлов //Информационные системы и технологии.
- Орел, 2015. - 3 (89). - С. 47-51.Соискателем описана методика декларативного программирования и предметноориентированный язык BML, а также интерфейсы визуального редактора.67. Кейно П.П., Силуянов А.В. Разработка и внедрение интерпретаторадекларативногоязыкамоделированияWeb-интерфейсовнавысоконагруженных системах // Прикладная информатика. - М., 2015. - 1(55).- С. 55-70. Соискателем представлена архитектура программного комплексаинтерпретатора языка BML и дано описание результатов проведениянагрузочного тестирования отдельных компонентов комплекса.8. Кейно П.П., Ярмухаметов Ф.
Ф. Использование паттерна «абстрактнаяфабрика» в реализации модуля валидации и преобразования данныхинтерпретатора BlockSet // Прикладная информатика. - М., 2017. - 1(67). С. 95-101. Соискателем описана часть архитектуры программного комплексаинтерпретатора при реализации ключевого модуля «Блок».9. Ковалёв А.В., Кейно П.П. Вычисление мощности множества регулярноговыражения критерия оптимальности в задачах динамической маршрутизацииWeb-адресов // Прикладная информатика. М., 2016.
4(64).С. 90-96. Соискателемвпервые получен критерий оптимальности выбора релевантного объекта в задачединамической маршрутизации Web-адресов, идентифицируемых шаблоном,описаны методы поиска критерия и допустимые ограничения при реализации.10. Старчаус И.С., Кейно П.П., Хорошко Л.Л., Силуянов А.В. Метод анализа иоценкикачествадекларативногоиимперативногопрограммированиядинамических web-приложений // Прикладная информатика. — М., 2016.
—6(66). — С. 84-92. Соискателем опубликован метод комплексной оценкиинструментов императивной и декларативной разработки и рассмотрена системаоценивания и построена оценочная модель.Диссертационный совет отмечает, что на основании выполненныхсоискателем исследований решена задача, заключающаяся в понижениивремени на обучение при разработке динамических Web-узлов и приложенийспомощьюдекларативногопрограммированиянапредметно-ориентированном языке.Разработаны:абстрактныйпредметно-ориентированныйязыкдекларативного программирования BML, позволяющий эффективно вестипроцессразработкибезнеобходимостирешениярутинныхзадач;7архитектура программных комплексов синхронизатора и интерпретатора,обеспечивающая расширяемость, быстрый процесс исполнения исходногокодаиBMLасинхронноемасштабированиясистемы;перестроениеданныхпрограммныйскомплексвозможностьюсинхронизатора,позволяющий распределить во времени процесс перестроения внутреннихструктур данных и обеспечивающий непрерывное исполнение логики языкаBML на стороне интерпретатора; программный комплекс интерпретаторадекларативногопредметно-ориентированногопрограммирования,предоставляющий полный функционал для ведения гибкой Web-разработки,обеспечивающийнизкоевремяобучения;программныйкомплексвизуального редактора, обеспечивающий наглядное представление логики иструктуры языка BML и, как следствие, дополнительное снижение временина обучение предложенной методике.Теоретическаязначимостьисследованияобоснованатем,чтопредложена методика декларативного программирования динамическихWeb-узлов и приложений BlockSet, построенная на основе четырёх базовыхсущностей (модель, локация, набор, блок), отличающаяся повышеннойгибкостьюинизкимвременемобучениязасчётэффективногоперераспределения уровней абстракции; предложены семантические методыманипулирования данными: выборки и изменения на основе адаптивнойструктурыкаждойнеоднозначныхсущности,динамическихметодадресов;интеллектуальногоатакжеадаптивныйвыбораметодразграничения прав доступа в представленной методике; предложен методанализа языков на основе метрик Холстеда, с модификацией для оценкидекларативных языков программирования.Значение полученных соискателем результатов исследования дляпрактики подтверждается следующими актами о внедрении: акт о внедрениирезультатов диссертационного исследования, предоставленный Московскимавиационныминститутомуниверситетом»;акто(национальнымвнедрениирезультатовисследовательскимдиссертационногоисследования, предоставленный ОАО «Инженерный центр «Луч», а также8свидетельством о государственной регистрации программы для ЭВМ(№2014660878).Все представленные в работе положения, выводы и рекомендацииоснованы на четком использовании понятийного, математического илогическогоаппаратов,атакжеподтверждаютсятеоретическойобоснованностью предложенных средств и методов, которые подкрепленырядом специально разработанных тестовых задач и примеров.
Достоверностьподтверждается апробацией результатов исследования на международных,всероссийских и региональных научных конференциях. Личный вкладсоискателясостоитвнепосредственномучастиивовсехэтапахисследования, а именно: анализ существующих проблем в областидекларативного программирования на серверной стороне Web-разработки,формулировка цели и задач исследования, разработка средств и методов длядостижения поставленной цели, разработка программного комплекса, а такжеапробацииирезультатами,внедрениярезультатов.полученнымидругимиИспользованыавторамиисравненияссрезультатами,полученными с использованием других методик и программных продуктов.Диссертация охватывает основные вопросы поставленной научной задачи исоответствуеткритериювнутреннегоединства,чтоподтверждаетсяпоследовательным изложением методов и алгоритмов декларативногопрограммированияизаключительнымописаниемиспользованияразработанных методов и алгоритмов в созданном программном комплексе.Диссертациясоответствуетпроектированияианализап.
1«Модели,программиметодыипрограммныхалгоритмысистем,ихэквивалентных преобразований, верификации и тестирования» и п. 2 «Языкипрограммирования и системы программирования, семантика программ»паспортаспециальности05.13.11«Математическоеипрограммноеобеспечение вычислительных машин, комплексов и компьютерных сетей».Диссертационный совет пришёл к выводу о том, что диссертацияпредставляет собой научно-квалификационную работу, которая содержитрешениезадачиэффективноговизуальногодекларативного9программирования динамических Web-узлов и приложений, имеющейважное значение для развития математического и программного обеспечениявычислительных машин в области инструментальных средств и семантикипрограмм, и соответствует критериям, установленным «Положением опорядке присуждения ученых степеней», утвержденного Постановлениемправительства РФ от 24.09.2013 г.
№842.На заседании 29.06.2017 г. диссертационный совет принял решениеприсудить Кейно Павлу Петровичу ученую степень кандидата техническихнаук по специальности 05.13.11 – Математическое и программноеобеспечение вычислительных машин, комплексов и компьютерных сетей.При проведении тайного голосования диссертационный совет вколичестве 18 человек, из них 9 докторов наук по специальности 05.13.11рассматриваемой диссертации, участвовавших в заседании, из 22 человек,входящих в состав совета, проголосовали: за присуждение учёной степени18, против присуждения учёной степени нет, недействительных бюллетенейнет.Председательдиссертационного совета, академик РАНУчёный секретарьдиссертационного совета, к.т.н., доцент29.06.2017Сигов А.
С.Андрианова Е. Г..