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