Защита диссертации - Головешкин Алексей Валерьевич

Головешкин Алексей Валерьевич

Устойчивая алгоритмическая привязка к коду программы

Диссертация защищена

Искомая степень: Кандидат технических наук.

Специальность: 2.3.5 – Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей.

Дата размещения: 11 октября 2022.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 15 декабря 2022.

Официальный оппонент: Легалов Александр Иванович, доктор технических наук (05.13.11).

Место работы, должность: Национальный исследовательский университет «Высшая школа экономики», профессор департамента программной инженерии факультета компьютерных наук.

Основные публикации за последние 5 лет:

1. МЕТОДЫ ПРЕОБРАЗОВАНИЯ ПАРАЛЛЕЛИЗМА В ПРОЦЕССЕ ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС. Рыженко И.Н., Непомнящий О.В., Легалов А.И., Шайдуров В.В. Моделирование и анализ информационных систем. 2022. Т. 29. № 1. С. 60-72.
2. ТРАНСФОРМАЦИЯ МОДЕЛИ ПАМЯТИ ЯЗЫКА ПРОГРАММИРОВАНИЯ C В ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРЕДСТАВЛЕНИЕ НА ЯЗЫКЕ EO. Легалов А.И., Бугаенко Е.Г., Чуйкин Н.К., Шипицин М.В., Рябцев Я.И., Каменский А.Н. Моделирование и анализ информационных систем. 2022. Т. 29. № 3. С. 246-264.
3. PARALLELISM REDUCTION METHOD IN THE HIGH-LEVEL VLSI SYNTHESIS IMPLEMENTATION. Romanova D.S., Nepomnyashchiy O.V., Ryzhenko I.N., Legalov A.I., Sirotinina N.Y. Proceedings of the Institute for System Programming of the RAS. 2022. Т. 34. № 1. С. 59-72.
4. МЕТОДЫ РЕДУКЦИИ ПАРАЛЛЕЛИЗМА В ПРОЦЕССЕ ВЫСОКОУРОВНЕГО СИНТЕЗА ЦИФРОВЫХ ИНТЕГРАЛЬНЫХ СХЕМ. Романова Д.С., Непомнящий О.В., Легалов А.И., Рыженко И.Н., Сиротинина Н.Ю. Программная инженерия. 2022. Т. 13. № 6. С. 259-271.
5. DYNAMICALLY CHANGING PARALLELISM WITH ASYNCHRONOUS SEQUENTIAL DATA FLOWS. Legalov A.I., Matkovskii I.V., Ushakova M.S., Romanova D.S. Automatic Control and Computer Sciences. 2021. Т. 55. № 7. С. 636-646.
6. ТРАНСФОРМАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ В ИМПЕРАТИВНЫЕ. Васильев В.С., Легалов А.И., Зыков С.В. Моделирование и анализ информационных систем. 2021. Т. 28. № 2. С. 198-214.
7. ДОБАВЛЕНИЕ СТАТИЧЕСКОЙ ТИПИЗАЦИИ В ЯЗЫК ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ. Легалов А.И., Легалов И.А., Матковский И.В. Электронные библиотеки. 2020. Т. 23. № 4. С. 788-807.
8. ОПТИМИЗАЦИЯ ГРАФОВ ПОТОКА УПРАВЛЕНИЯ В ПРОМЕЖУТОЧНЫХ ПРЕДСТАВЛЕНИЯХ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ. Васильев В.С., Легалов А.И. Научный вестник Новосибирского государственного технического университета. 2020. № 4 (80). С. 37-46.
9. ДИНАМИЧЕСКИ ИЗМЕНЯЮЩИЙСЯ ПАРАЛЛЕЛИЗМ С АСИНХРОННО-ПОСЛЕДОВАТЕЛЬНЫМИ ПОТОКАМИ ДАННЫХ. Легалов А.И., Матковский И.В., Ушакова М.С., Романова Д.С. Моделирование и анализ информационных систем. 2020. Т. 27. № 2. С. 164-179.
10. ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА КОНСТРУИРОВАНИЯ СРЕДЫ МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА, ОРИЕНТИРОВАННОЙ НА ТРЕБУЕМУЮ ПРЕДМЕТНУЮ ОБЛАСТЬ. Иванов Н.Д., Легалов А.И., Анкудинов А.В., Постников А.И. Успехи современной радиоэлектроники. 2018. № 12. С. 77-83.
11. ОПТИМИЗАЦИЯ ИНВАРИАНТА ЦИКЛА В ЯЗЫКЕ ПИФАГОР. Васильев В.С., Легалов А.И. Моделирование и анализ информационных систем. 2018. Т. 25. № 4 (76). С. 347-357.
12. LOOP-INVARIANT OPTIMIZATION IN THE PIFAGOR LANGUAGE. Vasilev V.S., Legalov A.I. Automatic Control and Computer Sciences. 2018. Т. 52. № 7. С. 843-849.
13. ВЕРИФИКАЦИЯ ПРОГРАММ СО ВЗАИМНОЙ РЕКУРСИЕЙ НА ЯЗЫКЕ ПИФАГОР. Ушакова М.С., Легалов А.И. Моделирование и анализ информационных систем. 2018. Т. 25. № 4 (76). С. 358-381.
14. VERIFICATION OF PROGRAMS WITH MUTUAL RECURSION IN PIFAGOR LANGUAGE. Ushakova M.S., Legalov A.I. Automatic Control and Computer Sciences. 2018. Т. 52. № 7. С. 850-866.
15. МЕТОД АРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС. Непомнящий О.В., Рыженко И.Н., Легалов А.И. Известия ЮФУ. Технические науки. 2018. № 8 (202). С. 38-47.

Отзыв оппонента: Скачать

Официальный оппонент: Зуев Евгений Александрович, кандидат физико-математических наук (05.13.11).

Место работы, должность: Автономная некоммерческая организация высшего образования «Университет Иннополис», руководитель лаборатории операционных систем, языков программирования и компиляторов.

Основные публикации за последние 5 лет:

1. ОПРЕДЕЛЕНИЕ НАПРЯЖЕННО-ДЕФОРМИРОВАННОГО СОСТОЯНИЯ БАЗОВЫХ ДЕТАЛЕЙ СЛОЖНОЙ ФОРМЫ МЕТОДОМ КОНЕЧНЫХ ЭЛЕМЕНТОВ И ПРИ ПОМОЩИ ЭЛЕКТРОТЕНЗОМЕТРИИ. Зуев Е.А., Воробьёв А.К., Зуева М.Н. Сборка в машиностроении, приборостроении. 2022. № 1. С. 18-22.
2. ТЕСТИРУЕМ ЖЕЛЕЗО ПОД SOLIDWORKS SIMULATION. Зуев Е. САПР и графика. 2021. № 1 (291). С. 28-31.
3. ЧТО ТАКОЕ ПАРАМЕТРЫ HVAC И ЗАЧЕМ ИХ РАССЧИТЫВАЮТ. Зуев Е. САПР и графика. 2021. № 9 (299). С. 42-43.
4. ОБЕСПЕЧЕНИЕ ДОЛГОВЕЧНОСТИ КОЛОНН ГИДРАВЛИЧЕСКИХ ПРЕССОВ С ПОМОЩЬЮ БАНДАЖИРОВАНИЯ ГАЙКИ ПРИ ЧАСТИЧНОМ РАЗРУШЕНИИ РЕЗЬБЫ. Зуев Е.А., Воробьёв А.К., Зуева М.Н. Сборка в машиностроении, приборостроении. 2021. № 12. С. 568-571.
5. ПОДДЕРЖКА ВРАЩАЮЩИХСЯ ОБЛАСТЕЙ В ЗАДАЧАХ СО СВОБОДНОЙ ПОВЕРХНОСТЬЮ - ОДНА ИЗ САМЫХ ОЖИДАЕМЫХ ФУНКЦИЙ В SOLIDWORKS FLOW SIMULATION 2021. Зуев Е. САПР и графика. 2020. № 10 (288). С. 58-59.
6. ПРЕИМУЩЕСТВА ТРЕХМЕРНОГО МОДЕЛИРОВАНИЯ В СРЕДЕ SOLIDWORKS. Зуев Е. САПР и графика. 2020. № 3 (281). С. 60-61.
7. ПРИЧИНЫ РАЗРУШЕНИЙ ГЛАВНЫХ ЦИЛИНДРОВ И ТЕХНИЧЕСКИЕ РЕШЕНИЯ, ПРИНЯТЫЕ ДЛЯ ИХ ПРЕДУПРЕЖДЕНИЯ. Воробьёв А.К., Зуев Е.А. Прогрессивные технологии и системы машиностроения. 2020. № 2 (69). С. 3-8.
8. ОПРЕДЕЛЕНИЕ НАПРЯЖЕННО-ДЕФОРМИРОВАННОГО СОСТОЯНИЯ КОЛОНН ГИДРАВЛИЧЕСКИХ ПРЕССОВ МЕТОДОМ ЭЛЕКТРОТЕНЗОМЕТРИИ. Зуев Е.А., Зуева М.Н. Справочник. Инженерный журнал. 2019. № 8 (269). С. 27-30.
9. ПОДГОТОВКА ГЕОМЕТРИИ САПР К АНАЛИЗУ В SOLIDWORKS SIMULATION. Зуев Е. САПР и графика. 2019. № 8 (274). С. 34-35.
10. ОБНОВЛЕНИЕ ТЯЖЕЛЫХ МАШИН В ПЕРИОД ЭКОНОМИЧЕСКИХ САНКЦИЙ НА ОСНОВЕ ИННОВАЦИОННЫХ ПРОЕКТОВ. Воробьев А.К., Зуев Е.А., Сурков И.А. Тяжелое машиностроение. 2019. № 5-6. С. 11-13.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное учреждение «Федеральный исследовательский центр Институт прикладной математики им.М.В.Келдыша Российской академии наук».

Контактные данные: 125047, Москва, Миусская пл., д.4, +7(499)978-13-14, office@keldysh.ru, keldysh.ru

Основные публикации за последние 5 лет:

1. ИСПОЛЬЗОВАНИЕ ПРЯМОУГОЛЬНЫХ СЕТОК СОВМЕСТНО С ПРОЕКЦИОННЫМ МЕТОДОМ ТЕТРАЭДРИЗАЦИИ ДЛЯ РАСПРЕДЕЛЁННОЙ ГЕНЕРАЦИИ ТЕТРАЭДРАЛЬНОЙ СЕТКИ. Григорьев С.К., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2020). Короткие статьи и описания плакатов. 2020. С. 128-132.
2. ИССЛЕДОВАНИЕ ЛУЧИСТОГО ПЕРЕНОСА ТЕПЛА С ПАРАЛЛЕЛЬНОЙ РЕАЛИЗАЦИЕЙ ВЫЧИСЛЕНИЙ. Корявка Н.А., Якобовский М.В., Ольховская О.Г. Параллельные вычислительные технологии (ПаВТ2020). Короткие статьи и описания плакатов. 2020. С. 152-162.
3. Frolov V.A., Galaktionov V.A., Barladyan B.H. Comparative study of high performance software rasterization techniques // Mathematica Montisnigri. 2020. Vol. 47. pp. 152-175. DOI: 10.20948/mathmontis-2020-47-13
4. Санжаров В.В., Фролов В.А., Галактионов В.А. Исследование технологии Nvidia RTX // Программирование. 2020. № 4. с. 65-72. DOI: 10.31857/s0132347420030061
5. ВОССТАНОВЛЕНИЕ РАСЧЕТОВ МЕТОДОМ ДИФФУЗНОЙ БАЛАНСИРОВКИ НАГРУЗКИ. Бондаренко А.А., Григорьев С.К., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2019). Короткие статьи и описания плакатов XIII Международной научной конференции. 2019. С. 175-185.
6. АЛГОРИТМЫ АДАПТИВНОГО ИЗМЕЛЬЧЕНИЯ ТРЕХМЕРНЫХ РАСЧЕТНЫХ СЕТОК. Грузинцев И.О., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2019). Короткие статьи и описания плакатов XIII Международной научной конференции. 2019. С. 223-231.
7. PARALLEL RAY TRACING ALGORITHM FOR NUMERICAL ANALYSIS OF LASER RADIATION ABSORPTION IN A PLASMA. Kotelnikov A., Tsygvintsev I., Yakobovsky M., Gasilov V. Communications in Computer and Information Science (см. в книгах). 2019. Т. 1129 CCIS. С. 110-120.
8. NUMERICAL ALGORITHMS FOR HPC SYSTEMS AND FAULT TOLERANC. Chetverushkin B.N., Yakobovskiy M.V., Kornilina M.A., Semenova A.V. Communications in Computer and Information Science (см. в книгах). 2019. Т. 1063. С. 34-44.
9. КООРДИНИРОВАННОЕ СОХРАНЕНИЕ С ЖУРНАЛИРОВАНИЕМ ПЕРЕДАВАЕМЫХ ДАННЫХ И АСИНХРОННОЕ ВОССТАНОВЛЕНИЕ В СЛУЧАЕ ОТКАЗА. Бондаренко А.А., Ляхов П.А., Якобовский М.В. Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика. 2019. Т. 8. № 2. С. 76-91.
10. Shcherbakov A.S., Frolov V.A. Implementation of the Radiosity algorithm for large scale scenes // CEUR Workshop Proceedings. 2019. Vol. 2485. pp. 13-17. DOI: 10.30987/graphicon-2019-2-13-17
11. Sanzharov V.V., Frolov V.A., Pavlov I.V. Restricted extensions for GPU photo-realistic renderer // CEUR Workshop Proceedings. 2019. Vol. 2485. pp. 37-42. DOI: 10.30987/graphicon-2019-2-37-42
12. Grechanik S. A. Polyprograms and polyprogram bisimulation //Моделирование и анализ информационных систем. – 2018. – Т. 25. – №. 5. – С. 534-548.
13. Adamovich I. A., Klimov A. V. An interactive specializer based on partial evaluation for a Java subset //Труды института системного программирования РАН. – 2018. – Т. 30. – №. 4. – С. 29-44.
14. Климов А. В., Романенко С. А. Суперкомпиляция: основные принципы и базовые понятия //Препринты Института прикладной математики им. МВ Келдыша РАН. – 2018. – №. 0. – С. 111-36.
15. Романенко С. А. и др. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления //Препринты ИПМ им. МВ Келдыша. – 2018. – №. 209. – С. 1-32.
16. Андреев, С. С., Дбар, С. А., Климов, Ю. А., Лацис, А. О., Плоткина, Е. А. Квантовая модель вычислений глазами классического программиста // Препринт ИПМ № 178, Москва, 2018, 30 с.
17. ОСОБЕННОСТИ РАБОТЫ С ДАННЫМИ ДИНАМИЧЕСКОГО РАЗМЕРА И СИЛЬНО-СВЯЗАННЫМИ ДАННЫМИ НА ПРИМЕРЕ ЗАДАЧИ ПОСТРОЕНИЯ РАЗЛИЧНОГО ВИДА НЕСТРУКТУРИРОВАННЫХ СЕТОК. Григорьев С.К., Якобовский М.В. Научный сервис в сети Интернет. 2019. № 21. С. 290-294.
18. ВЫЧИСЛИТЕЛЬНЫЕ АЛГОРИТМЫ И АРХИТЕКТУРА СИСТЕМ ВЫСОКОЙ ПРОИЗВОДИТЕЛЬНОСТИ. Четверушкин Б.Н., Якобовский М.В. Препринты ИПМ им. М.В. Келдыша. 2018. № 52. С. 1-12.
19. ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ ТРАССИРОВКИ ЛУЧЕЙ ДЛЯ АНАЛИЗА ПОЛЯ ИЗЛУЧЕНИЯ И ПОСТРОЕНИЯ ОБСКУРОГРАММ ИЗЛУЧАЮЩЕГО ГАЗА. Ольховская О.Г., Гасилов В.А., Котельников А.М., Якобовский М.В. Препринты ИПМ им. М.В. Келдыша. 2018. № 143. С. 1-16.
20. АЛГОРИТМ ГАРАНТИРОВАННОЙ ГЕНЕРАЦИИ ТЕТРАЭДРАЛЬНОЙ СЕТКИ ПРОЕКЦИОННЫМ МЕТОДОМ. Якобовский М.В., Григорьев С.К. Препринты ИПМ им. М.В. Келдыша. 2018. № 109. С. 1-18.
21. STATIC BALANCING METHODS IN PROJECTION-BASED MESH GENERATION ALGORITHM. Grigorjev S.K., Yakobovskiy M.V. Communications in Computer and Information Science (см. в книгах). 2018. Т. 910. С. 135-146.
22. PARALLEL RAY TRACING ALGORITHM FOR NUMERICAL ANALYSIS IN RADIATIVE MEDIA PHYSICS. Olkhovskaya O., Kotelnikov A., Yakobovskiy M., Gasilov V. Advances in Parallel Computing. 2018. Т. 32. С. 137-146.
23. Frolov V.A., Sanzharov V.V. Modern Problems of Software Integration in Computer Graphics Applications and Ways to Solve Them // Programming and Computer Software. 2018. Vol. 44, No. 4. pp. 233-239. DOI: 10.1134/S0361768818040060

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 16 из 22 членов диссертационного совета: Петренко А.К., Зеленов С.В., Белеванцев А.А., Бобков С.Г., Бурдонов И.Б., Дроздов А.Ю., Евтушенко Н.В., Захаров В.Н., Карпов Л.Е., Козачок А.В., Крюков В.А., Кузнецов С.Д., Лаврищева Е.М., Семенов В.А., Серебряков В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать