Сведения о результатах публичной защиты (1149637), страница 2
Текст из файла (страница 2)
Отзыв замечаний не содержит.5Выбор ведущей организации обосновывается тем, что она имеетзначительныйопытисследований,непосредственносоответствующихтематике данной диссертационной работы и способна определить научную ипрактическую ценность диссертации. Выбор в качестве официальногооппонента Водяхо А.И. обусловлен тем, что он является известнымспециалистом в Российской Федерации в области программной инженерии,имеет непосредственное отношение к теме и предмету диссертационногоисследования, является автором многочисленных публикаций. Выбор вкачестве официального оппонента Дробинцева П.Д.
обусловлен тем, чтоон являетсяизвестным экспертом в области программной инженерии,активно публикуется и выступает с докладами в этих областях.Диссертационный совет отмечает, что на основании выполненныхсоискателем исследований:разработаны алгоритмы поиска нечётких повторов (алгоритм компоновки ипоиска по образцу);предложены методика поиска нечётких повторов на основе тепловых карт,метод улучшения документации на основе поиска нечётких повторов;доказана корректность алгоритма компоновки нечётких повторов и полнотаалгоритма поиска по образцу;введено понятие нечётких повторов в документации ПО.Теоретическая значимость исследования обоснована тем, что:доказана корректность алгоритма компоновки нечётких повторов и полнотаалгоритма поиска по образцу;использована концепция архетипа и дельт Бассета-Ерзабека, а также токенориентированный метод поиска точных клонов в ПО;изложеныидеидокументации ПО,онеобходимостиизучениянеточныхповторовввыдвинута идея о полезности таких повторов дляунификации ПО;изучены неточные повторы в реальной промышленной документации ПО;6проведена модернизация традиционных средств поиска точных повторов сцелью их применения для поиска неточных (алгоритм компоновки на основеметода поиска клонов).Значение полученных соискателем результатов исследованиядля практики подтверждается тем, что:разработан подход к поиску неточных повторов в документации ПО;созданпрограммный инструмент Duplicate Fider, снабжённый удобнымисредствами визуализации многомерной информации о найденных повторах;представлены методические рекомендации по поиску и анализу неточныхповторов в реальной промышленной документации.Результаты работы рекомендуются к использованию в Институтепрограммныхсистемим.А.К.АйламазянаРАН,Московскомгосударственном университете им.
М.В.Ломоносова, Санкт-Петербургскомгосударственном университете, Институте прикладной математики им. М.В.Келдыша РАН, Институте системного программирования РАН, и могутнайти применение при создании инфраструктур для работы с большимипакетами документов в различных бизнес-компаниях.Оценка достоверности результатов исследования выявила, что:теория построена на адекватном формальном аппарате и согласуется с болееранними результатами;идея базируется на обобщении концепции неточного повтора БассетаЕрзабека, а также на имеющихся средствах поиска точных повторов;использованы интервальные деревья, метафора визуализации «Тепловаякарта», языки программирования Python и Java;установлены корректность алгоритма компоновки и полнота алгоритмапоиска по образцу.Личный вклад соискателя состоит в разработке модели неточныхповторов, в создании, доказательстве корректности и полноты, а такжереализации двух алгоритмов поиска неточных повторов, в создании7.















