Заключение диссертационного совета (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов), страница 2
Описание файла
Файл "Заключение диссертационного совета" внутри архива находится в следующих папках: Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов, Документы. PDF-файл из архива "Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов", который расположен в категории "". Всё это находится в предмете "технические науки" из Аспирантура и докторантура, которые можно найти в файловом архиве РТУ МИРЭА. Не смотря на прямую связь этого архива с РТУ МИРЭА, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "диссертации и авторефераты" в общих файлах, а ещё этот архив представляет собой кандидатскую диссертацию, поэтому ещё представлен в разделе всех диссертаций на соискание учёной степени кандидата технических наук.
Просмотр PDF-файла онлайн
Текст 2 страницы из PDF
Диссертация охватывает основныевопросы поставленной научной задачи и соответствуют критериювнутреннего единства, что подтверждается последовательным изложениемметодов и алгоритмов декларативного программирования и описаниемиспользования предложенных алгоритмов в созданном вычислительномкомплексе. Диссертация соответствует п. 3 «Модели, методы, алгоритмы,языки и программные инструменты для организации взаимодействияпрограммипрограммныхсистем”паспортаспециальности05.13.11 «Математическое и программное обеспечение вычислительныхмашин, комплексов и компьютерных сетей».Диссертационный совет считает, что Быков Сергей Анатольевичразработалалгоритмыипрограммноеобеспечениедлярешения9актуальной научно-технической задачи формирования геометрическихограничений на границах структурных компонентов ограниченнойплощади, имеющей важное социально-экономическое и хозяйственноезначение, и диссертация соответствует критериям, установленным«Положением о порядке присуждения ученых степеней», утвержденногоПостановлением правительства РФ от 24.09.2013 г.
№842.На заседании декабря 2017 г. диссертационный совет принялрешение присудить Быкову Сергею Анатольевичу ученую степенькандидата технических наук по специальности 05.13.11 – Математическоеипрограммноеобеспечениевычислительныхмашин,комплексови компьютерных сетей.При проведении тайного голосования диссертационный советв количестве 18 человек, из них 9 докторов наук по специальности05.13.11 рассматриваемой диссертации, участвовавших в заседании, из 21человека, входящих в состав совета, проголосовали: за присуждениеученойстепени17,противприсужденияученойстепениНет,недействительных бюллетеней 1.Председательдиссертационного совета, академик РАНСигов А.
С.Ученый секретарьдиссертационного совета, к.т.н., доцент07.12.2017Андрианова Е. Г..