Сведения о результатах публичной защиты (1149637)
Текст из файла
ЗАКЛЮЧЕНИЕ ДИССЕРТАЦИОННОГО СОВЕТА Д 212.232.51НА БАЗЕ ФЕДЕРАЛЬНОГО ГОСУДАРСТВЕННОГО БЮДЖЕТНОГООБРАЗОВАТЕЛЬНОГО УЧРЕЖДЕНИЯ ВЫСШЕГО ОБРАЗОВАНИЯ«САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»,ПРАВИТЕЛЬСТВО РФ, ПО ДИССЕРТАЦИИ НА СОИСКАНИЕ УЧЕНОЙСТЕПЕНИ КАНДИДАТА НАУКаттестационное дело № _________________решение диссертационного совета от 17 мая 2018 г.
№ 34.06-51-1-9ОприсужденииЛуцивуДмитриюВадимовичу,гражданинуРоссийской Федерации, учёной степени кандидата физико-математическихнаук.Диссертация «Поиск неточных повторов в документации программногообеспечения» по специальности 05.13.11 ― математическое и программноеобеспечение вычислительных машин, комплексов и компьютерных сетейпринятакзащитедиссертационнымгосударственногообразования01 марта 2018 года,советомДбюджетного212.232.51протоколнаобразовательного«Санкт-Петербургскийбазе№ 34.06-51-1-3Федеральногоучреждениягосударственныйвысшегоуниверситет»,Правительство РФ, 199034, г. Санкт-Петербург, Университетская наб., д. 7-9,приказ 248/нк от 15.05.2014 г.Соискатель Луцив Дмитрий Вадимович 1981 года рождения.В 2003 году соискатель окончил Федеральное государственноеобразовательное учреждение высшего профессионального образования«Санкт-Петербургский государственный университет» по специальности«Математическое обеспечение и администрирование информационныхсистем»,внастоящеегосударственноговремябюджетногоявляетсяаспирантомобразовательногоФедеральногоучреждениявысшегообразования «Санкт-Петербургский государственный университет», а такжеработает в должности старшего преподавателя кафедры системногопрограммирования.Диссертация выполнена на кафедре системного программированияФедерального государственного бюджетного образовательного учреждениявысшего образования «Санкт-Петербургский государственный университет»,Правительство РФ.Научный руководитель ― доктор технических наук Кознов ДмитрийВладимирович, Федеральное государственное образовательное учреждениевысшегопрофессиональногообразования«Санкт-Петербургскийгосударственный университет», кафедра системного программирования,профессор.Официальные оппоненты:Водяхо Александр Иванович, доктор технических наук, профессор,Федеральное государственное автономное образовательное учреждениевысшегообразования«Санкт-Петербургскийгосударственныйэлектротехнический университет "ЛЭТИ" им.
В. И. Ульянова (Ленина)»,кафедра вычислительной техники, профессор;Дробинцев Павел Дмитриевич, кандидат технических наук, доцент,Федеральное государственное автономное образовательное учреждениевысшего образования «Санкт-Петербургский политехнический университетимени Петра Великого», высшая школа программной инженерии, доцентдали положительные отзывы на диссертацию.Ведущая организация Федеральное государственное учреждение«Федеральный исследовательский центр Институт прикладной математикиим. М.В.
Келдыша Российской академии наук» (ИПМ им. М.В. КелдышаРАН), в своём положительном отзыве, подписанном старшим научнымсотрудником, кандидатом физико-математических наук (специальность05.13.11 ― математическое и программное обеспечение вычислительныхмашин, комплексов и компьютерных сетей) Ю.А. Климовым и утверждённомдиректором ИПМ им. М.В. Келдыша РАН А.И.
Аптекаревым, указала, чтодиссертационная работа Луцива Д.В. отвечает всем требованиям Положения2оприсужденииучёныхстепеней,предъявляемымккандидатскимдиссертациям, а ее автор заслуживает присуждения учёной степеникандидата физико-математических наук по специальности 05.13.11 –математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей.Соискатель имеет 18 опубликованных работ, 8 из них — по темедиссертации, в том числе 3 работы опубликованы в рецензируемых научныхизданиях из перечня российских рецензируемых научных журналов, вкоторых должны быть опубликованы основные научные результатыдиссертаций на соискание учёных степеней доктора и кандидата наук, и 3работы опубликованы в изданиях, индексируемых в международных базахScopus и Web of Science.
В диссертации отсутствуют недостоверныесведения об опубликованных соискателем работах. В опубликованныхработах соискателя общим объёмом 81 страница исследованы вопросы,связанные с поиском неточных повторов в документации программногообеспечения, в частности, разработка новых алгоритмов поиска, созданиеметодики поиска, разработка метода улучшения документации на основепоиска неточных повторов. Также разработан программный инструментDuplicate finder, в рамках которого автором были предложены оригинальныеметафорывизуализациипредставленырезультатымногомерных данных.экспериментовВ работе такжеразработанныхсредствнапромышленной документации открытых и коммерческих продуктов, а такжесформулированырекомендациипоприменениюрезультатовдиссертационного исследования в индустрии и научных исследованиях.
Всепредставленные в работе основные результаты выполнены автором личноили при его активном непосредственном участии.Наиболее значительные научные работы по теме диссертации (вних соискателю принадлежит разработка модели неточных повторов,создание, доказательство корректности и полноты, а также реализация двух3алгоритмов поиска неточных повторов, создание методики поиска неточныхповторов, разработка метода улучшения документации на основе поисканеточных повторов, разработка инструмента Duplicate Finder, экспериментыс промышленной документацией):Луцив, Д.В. Задачи поиска нечётких повторов при организации1.повторного использования документации / Д.В.
Луцив, Д.В. Кознов, Х.А.Басит, А.Н. Терехов // Программирование. — 2016. — № 4. — С. 39–49.Луцив, Д.В. Метод поиска повторяющихся фрагментов текста в2.технической документации / Д.В. Луцив, Д.В. Кознов, Х.А. Басит, О.Е. Ли,М.Н.Смирнов,К.Ю. Романовский//Научно-техническийвестникинформационных технологий, механики и оптики.
— 2014. — 4 (92). — С.106–114.3.Луцив, Д.В.Обнаружениенеточноповторяющегосятекставдокументации программного обеспечения / Л.Д. Кантеев, Ю.О. Костюков,Д.В. Луцив, Д.В. Кознов, М.Н. Смирнов // Труды Института системногопрограммирования РАН. — 2017. — № 4. — С. 303–314.4.Luciv, D.V. Clone detection in reuse of software technical documentation /D.V. Koznov, D.V. Luciv, H.A.
Basit, O.E. Lieh, M.N. Smirnov // Lecture Notesin Computer Science. — 2016. — Vol. 9609. — P. 170–185.5.Luciv, D.V. Duplicate management in software documentation maintenance/ D.V. Koznov, D.V. Luciv, G.A. Chernishev // Proceedings of the 5th InternationalConference on Actual Problems of System and Software Engineering (APSSE2017). CEUR Workshops proceedings. — Vol. 1989. — 2017. — P. 195–201.На автореферат поступили отзывы, все отзывы положительные:1.Откандидатафизико-математическихнаук,доцентакафедрыматематических и информационных технологий Санкт-ПетербургскогонациональногоисследовательскогоАкадемическогоуниверситетаРоссийской академии наук Вяткиной Киры Вадимовны.
В качествезамечаний указано: имеющихся в тексте автореферата пояснений не хватает4для понимания представленных алгоритмов, критерия полноты алгоритмапоиска по образцу.2. От доктора технических наук, профессора, заведующей кафедройинформатикиивычислительнойтехникиФГБОУВО«Сибирскийгосударственный университет науки и технологий имени академикаМ.Ф. Решетнева» Фаворской Маргариты Николаевны. Указаны следующиезамечания: зачем потребовалось дважды определять k то как меру близостигруппы неточных повторов, то как точность группы неточных повторов; изавторефератанеясно,насколькоуменьшилоськоличестволожноположительных срабатываний при использовании предлагаемогоподхода: отсутствует сравнение с аналогичными результатами.3.Откандидатаматематическогофизико-математическихобеспечениянаук,вычислительныхдоцентасистемкафедрыПермскогогосударственного национального исследовательского университета ЛядовойЛюдмилы Николаевны.
В качестве замечаний указано следующее: вопределениях 3 и 4 (стр. 10-12) связь понятий меры близости и точностигруппы неточных повторов показана нечётко, определения требуютпояснений; в автореферате не приведены результаты экспериментов, которыепозволили бы оценить преимущества, эффективность предложенногоподхода, сравнить с существующими методами, инструментами.Ответы на замечания в отзывах на автореферат даны в ходе защиты.4. От доктора технических наук Шалыто Анатолия Абрамовича, профессора,заведующегокафедройПетербургского«Технологиинациональногопрограммирования»исследовательскогоСанкт-университетаинформационных технологий, механики и оптики (Университет ИТМО).Отзыв замечаний не содержит.5.Откандидатафизико-математическихнаукРачинскогоЕвгенияСтаниславовича, ведущего ИТ консультанта МСГ Системс АГ (MSG SystemsAG).
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
