Научная конференция «Ломоносовские чтения–2025»

В соответствии с Уставом Московского университета и приказом Ректора МГУ № 173 от 20 февраля 2025 г. «О проведении общеуниверситетской научной конференции «Ломоносовские чтения» для подведения итогов деятельности научных подразделений в 2024 году, представления и обсуждения результатов научно-исследовательских работ по всем тематическим направлениям в год 270-летия Московского университета, ежегодная научная конференция «Ломоносовские чтения» пройдет с 24 марта по 4 апреля 2025 года.

Секция вычислительной математики и кибернетики
Факультет ВМК
Программа

Секция 1. Дифференциальные уравнения
руководитель – профессор Ломов Игорь Сергеевич
24 марта, понедельник, 16.30 , ауд. 685

1. Спектральный анализ общих граничных задач для дифференциального уравнения второго порядка с инволюцией.
   Доклад доцента Крицкова Л.В., студ. Некрасова Н.В.
2. Корректная разрешимость смешанных задач для эволюционного уравнения с отражением.
   Доклад доцента Крицкова Л.В., студ. Романовой Ю.А.
3. О единственности решений модифицированных краевых задач для эллиптического уравнения с параболическим вырождением.
   Доклад асс. Емельянова Д.П.
4. Точные решения модельного нелинейного уравнения третьего порядка.
   Доклад доцента Аристова А.И.
5. Регуляризованный след первого порядка для оператора Штурма-Лиувилля с сингулярным потенциалом на графе-звезде.
   Доклад профессора Савчука А.М., асп. Кузнецова Е.Д.
6. Асимптотики собственных значений и собственных функций оператора Штурма-Лиувилля с сингулярным потенциалом на графе-звезде.
   Доклад профессора Садовничей И.В., студ. Зуева К.П.

Секция 2. Кафедра автоматизации научных исследований
руководитель – чл.-корр. РАН, профессор Посыпкин Михаил Анатольевич
25 марта, вторник, 16.20, ауд.685

1. Ускорение процесса обратной диффузии в задаче генеративного улучшения речи с использованием предсказательных декодеров.
   Доклад профессора Шишкина А.Г., асп. Никонова М.В.
2. Распознавание почечных патологий на основе анализа изображений УЗИ.
   Доклад профессора Шишкина А.Г., студ. Шейнова А.В.
3. Сравнительный анализ методов предиктивного анализа поиска аномалий в работе промышленного оборудования.
   Доклад доцента Ечкиной Е.Ю., студ. Белоусовой Н.М.
4. Операторно-разностные схемы для системы интегро-дифференциальных уравнений первого порядка.
   Доклад профессора Вабищевича П.Н.
5. Численное сопровождение экспериментов на установке Токамак Т-15МД.
   Доклад профессора Сычугова Д.Ю., ст.науч.сотр. НИЦ «Курчатовский Институт» Рыжакова Д.В., нач.лаб. НИЦ «Курчатовский Институт» Андреева В.Ф. нач.отдела НИЦ «Курчатовский Институт» Горбунова А.В., нач.отделения НИЦ «Курчатовский Институт» Кирневой Н.А., зам.нач.отдела НИЦ «Курчатовский Институт» Кислова Д.А., зам.нач. отдела НИЦ «Курчатовский Институт» Ноткина Г.Е., ст.науч.сотр. НИЦ "Курчатовский Институт» Сушкова А.В., вед.эксперта НИЦ «Курчатовский Институт» Тарасян К.Н., нач.лаб. НИЦ «Курчатовский Институт» Шелухина Д.А.
6. Исследование поведения границы плазмы в эксперименте на установке Токамак в условиях формирования диверторной конфигурации.
   Доклад доцента Зотова И.В., студ. Дементьева Н.С., студ. Пахнушева А.В.
7. Исследование схем семейства CWENO для дискретизации трехмерных задач переноса на сетках со смешанным типом ячеек.
   Доклад доцента Смирнова А.П., студ. Жилина В.А., зав.лаб. ИБРАЭ РАН Капырина И.В., науч.сотр. ИБРАЭ РАН Ануприенко Д.В.

Секция 3. Вычислительные методы
руководитель – академик РАН, профессор Четверушкин Борис Николаевич
26 марта, среда, 13:00, ауд.621

1. Моделирование динамики веществ по сердечно-сосудистой системе человека с учетом детоксикационной функции печени.
   Доклад доцента Хруленко А.Б., студ. Попко Ф.Д.
2. Применение методов машинного обучения к реальным медицинским базам данных.
   Доклад профессора Мухина С.И., доцента Буничевой А.Я., математика Кочетова Е.В., студ. Радаевой К.В., асп. Королева Ю.М.
3. Схема КАБАРЕ для релаксационного приближения скалярных законов сохранения гиперболического типа.
   Доклад профессора Головизнина В.М., Сержантова А.В.
4. Автоматический выбор шага в численных методах решения задачи Коши для гамильтоновых систем.
   Доклад профессора Еленина Г.Г., науч.сотр.физического факультета МГУ Елениной Т.Г.
5. Математическое моделирование динамики мониторинга управляющих параметров электролиза алюминия.
   Доклад вед.науч.сотр. Савенковой Н.П., доцента Мокина А.Ю., асп. Сапожникова К.Э., студ. Ненахова Н.Д.
6. Математическая модель диффузии в многокомпонентной жидкой смеси.
   Доклад науч.сотр. Шобухова А.В.
7. Математическое моделирование сценариев отключения установок производства в задаче календарного планирования.
   Доклад вед.науч.сотр. Савенковой Н.П., доцента Артемьевой Л.А., доцента Мокина А.Ю., асс. Дряженкова А.А.
8. Особенности сверхзвукового обтекания осесимметричной модели HB-2 при больших углах атаки.
   Доклад мл.науч.сотр. Широкова И.А.
9. Достижение высокой эффективности адаптивных неотражающих искусственных краевых условий для уравнения Шредингера.
   Доклад ст.науч.сотр. Егоренкова В.А., профессора Южно-Китайского университета технологий (SCUT, Guangzhou, China) Трофимова В.А.
10. Влияние стекловидного тела на гидродинамические процессы в глазе человека.
    Доклад вед.науч.сотр. Савенковой Н.П., мл.науч.сотр. Складчикова С.А., доцента Лапонина В.С., офтальмолога ГКБ №15 им.О.М.Филатова Новодережкина В.В., профессора МПГУ Высикайло Ф.И.
11. Двойные решения уравнений математической физики.
    Доклад ст.науч.сотр. Петровой Л.И.
12. Численное решение модели реального делового цикла на основе игры среднего поля.
    Доклад профессора Богомолова С.В., асп. Леонова Е.А.

Секция 4. Вычислительные технологии и моделирование
руководитель – академик РАН, профессор Тыртышников Евгений Евгеньевич
26 марта, пятница, 13:30, ауд. 506

1. Об одном методе декомпозиции области для гармонических уравнений Максвелла.
   Доклад доцента Замарашкина Н.Л., асп. ИВМ РАН Когтенева Д.А.
2. Разработка алгоритма малой сложности канонического приближения тензоров малого ранга в задачах фильтрации шума.
   Доклад доцента Замарашкина Н.Л., студ. филиала МГУ им.М.В.Ломоносова в г.Саров Бабенко М.А.
3. Блочный обобщенный метод минимальных невязок.
   Доклад асс. Желткова Д.А., студ. Сукманюк С.В.
4. Применение метода объемных интегральных уравнений к задаче рассеяния на криволинейных структурах малой толщины.
   Доклад профессора Сетухи А.В., студ. Масс И.А.
5. Малоранговый метод Монте Карло для моделирования коагуляции с множественными источниками вещества.
   Доклад доцента Матвеева С.А., студ. Сколковского института науки и технологий Дьяченко Р.Р.
6. Точная и эффективная оценка спектральной нормы сверточных слоев нейросетей.
   Доклад доцента ФКН НИУ ВШЭ Рахуба М.В., ст.-иссл. ФКН НИУ ВШЭ Гришиной Е.Р., студ. École Polytechnique Fédérale de Lausanne Горбунова М.А.
7. Применения методов анализа чувствительности для исследования работы нейросетевых моделей.
   Доклад доцента Матвеева С.А., студ. Мяо Цзясюань.
8. Прототип программного кода для решения систем ОДУ моделей биогеохимических циклов в экосистемах суши.
   Доклад асп. Файкина Г.М., асп. Шангареевой С.К., программиста НИВЦ МГУ Медведева А.И., зам.дир. НИВЦ МГУ Степаненко В.М.
9. Применение методов усвоения данных для идентификации моделей углеродного цикла.
   Долад асп. Шангареева С.К., зам.дир. НИВЦ МГУ Степаненко В.М

Секция 5. Математическая физика
руководитель – профессор Разгулин Александр Витальевич
26 марта, среда, 14:30 , ауд. 609

1. Обратные задачи для уравнений семейства КдВ и обратная задача для уравнения Гарднера.
   Доклад профессора Баева А.В.
2. Сравнительный анализ подходов для учета квантовых эффектов в плазмонных наночастицах.
   Доклад вед.науч.сотр. Ерёмина Ю.А., вед.науч.сотр. Лопушенко В.В.
3. Влияние слабой третьей гармоники на процесс удвоения частоты лазерного излучения.
   Доклад асс. Харитонова Д.М., профессора Южно-Китайского университета технологий (SCUT, Guangzhou, China) Трофимова В.А.
4. Об обратной задаче численного секционирования в конфокальной оптической системе.
   Доклад зав.каф. Разгулина А,В., асп. Бажитова С.Д., доцента физического факультета МГУ Ларичева А.В.
5. Идентификация эволюции источника в сингулярно возмущенном уравнении теплопроводности.
   Доклад профессора Денисова А.М., студ. Бочкарёва С.В.
6. Математическое моделирование нелинейного одномерного уравнения Гинзбурга-Ландау.
   Доклад студ. Тихвинского Д.Г., профессора Южно-Китайского университета технологий (SCUT, Guangzhou, China) Трофимова В.А., доцента Федотова М.В.
7. Использование неопределенности для расширения обучающих наборов данных в задаче сегментации материалов на геологических изображениях.
   Доклад науч.сотр. Хвостикова А.В., студ. Индычко О.И., вед.инженера геологического факультета МГУ Коршунова Д.М.
8. Нейросетевой метод нахождения и сопоставления ключевых точек на изображениях радужной оболочки глаза.
   Доклад доцента Павельевой Е.А., студ. Андреевой Е.В.

Секция 6. Исследование операций
руководитель – профессор Васин Александр Алексеевич
26 марта, среда, 15:00, в онлайн-режиме
Дистанционное подключение: Морозов Владимир Викторович vmorosov@mail.ru

1. Оптимальное управление накопителем энергии с учетом саморазрядки.
   Доклад профессора Васина А.А., математика Цыганова Н.И.
2. Оценки доходности инвестиций в накопители энергии.
   Доклад профессора Васина А.А., математика Цыганова Н.И., студ. Саносяна Г.А., студ. Абдулаева С.Ю.
3. О движении лазерной мишени в поле точечного заряда.
   Доклад профессора Белолипецкого А.А.
4. Методы Левенберга-Марквардта и методы Ньютона с подзадачами линейного программирования для задач оптимизации с комплементарными ограничениями.
   Доклад профессора Измаилова А.Ф., асп. Янь Чжибая.
5. О некоторых алгоритмах поиска минимального множества представителей системы подмножеств.
   Доклад доцента Морозова В.В., асп. Романова С.И., студ. Хуан Чжанжуньлуна.
6. Байесовский подход в теории портфеля.
   Доклад профессора Голембиовского Д.Ю., студ. Е Цзыхао.
7. О сходимости алгоритма стохастического проекционного безградиентного спуска в задаче калибровки модели ARMA-GARCH базового актива по рыночным ценам опционов.
   Доклад профессора Голембиовского Д.Ю., асп. Арбузова П.А.
8. Адаптивный немонотонный обучающий алгоритм с ограничением на веса нейронной сети в задачах оценки кредитного риска.
   Доклад асс. Куренного Д.С., студ. Жукова А.С.
9. Сравнительный анализ подходов машинного обучения для оценки риска падения на основе характеристик шага.
   Доклад доцента Белянкина Г.А., студ. Забелло М.А.
10. Исследование явления ложных корреляций и однозначных признаков в нейронных сетях.
    Доклад профессора Измаилова П.А., студ. Глушко А.А.

Секция 7. Кафедра Автоматизации систем вычислительных комплексов
руководитель – чл.-корр. РАН, профессор Смелянский Руслан Леонидович
26 марта, среда, 16.00. ауд 247а

1. Алгоритмы построения энергосберегающего многопроцессорного расписания вычислений.
   Доклад ст.науч.сотр. Балашова В.В., студ. Мальчевского С.А.
2. Формирование специализированного образа виртуальной машины для курса «Практические аспекты сетевых протоколов в Linux».
   Доклад ст.преподавателя Капитоновой А.П., программиста Курячего Г.В., студ. Осипчука А.А.
3. Метод экспоненциально-векторной авторегрессии для прогнозирования качества канала передачи данных.
   Доклад зав.каф. Смелянского Р.Л., зав.каф. Королева В.Ю., асп. Гао Фэнжуй.
4. Балансировка стационарных динамических потоков данных в гетерогенных системах.
   Доклад зав.каф. Смелянского Р.Л., студ. Сеченых И.И.
5. Балансировка нестационарных динамических потоков данных в гетерогенных системах.
   Доклад зав.каф. Смелянского Р.Л., асс. Степанова Е.П., студ. Алексеева Г.С.
6. Использование блокчейн для хранения секретов в Mesh VPN.
   Доклад вед.науч.сотр. Писковского В.О., асп. Милешина А.К., студ. Ильина И.К.
7. Разработка подсистемы контроля процедурами реконфигурации в программно-конфигурируемых сетях с использованием распределенного реестра.
   Доклад вед.науч.сотр. Писковского В.О., студ. Шпигуна И.К.
8. Методика тестирования сетевого процессорного устройства.
   Доклад доцента Волканова Д.Ю., студ. Рябченкова В.М.
9. Исследование различных методологий выбора подхода к организации архитектуры микросервисных приложений в облачных вычислительных средах.
   Доклад доцента Антоненко В.А., студ. Любимова А.В.

Секция 8. Теория вероятности и математическая статистика
руководитель – профессор Королев Виктор Юрьевич
26 марта, среда, 18:00, в онлайн-режиме
Дистанционное подключение: Шестаков Олег Владимирович ms@cs.msu.ru

1. Об одной характеризации логистического распределения.
   Доклад профессора Хохлова Ю.С.
2. О стационарных распределениях стохастических разностных уравнений со случайными коэффициентами.
   Доклад зав.каф. Королева В.Ю., асп. Романюка Н.Р.
3. О моментах распределения Колмогорова.
   Доклад профессора Шевцовой И.Г., зав.каф. Королева В.Ю.
4. Асимптотические свойства оценки риска при использовании непрерывных функций пороговой обработки.
   Доклад доцента Кудрявцева А.А., профессора Шестакова О.В.
5. Анализ стохастических дифференциальных уравнений в пространстве Lp при p<2.
   Доклад доцента Захаровой Т.В., ведущего программиста АКЦ ФИАН им. Лебедева Савушкина Е.В.
6. Влияние пропуска данных на точность критерия биоэквивалентности.
   Доклад доцента Захаровой Т.В., асп. Клименко В.К.
7. Анализ расхождений в распределениях характеристик препаратов при проверке биоэквивалентности.
   Доклад доцента Захаровой Т.В., студ. Панова П.В.
8. Асимптотики для статистик, построенных на выборках случайного размера.
   Доклад профессора Ульянова В.В.
9. О повышении эффективности нейросетевого прогнозирования временных рядов с использованием смешанных компонент связности и модифицированной функции потерь.
   Доклад доцента Горшенина А.К., асп. Виляева А.Л.
10. О композиции графово-сверточных нейронных сетей и квадродеревьев в задаче сегментации кораблей на радиолокационных изображениях.
    Доклад доцента Горшенина А.К., асп. Достоваловой А.М.
11. О построении нейросетей Колмогорова-Арнольда на вероятностном базисе.
    Доклад доцента Горшенина А.К., студ. Жидковой Ю.М.

Секция 9. Интеллектуальные информационные технологии
руководитель – профессор Машечкин Игорь Валерьевич
27 марта, четверг, 18:15, ауд.609

1. Методы анализа сложно структурированных данных для решения задач информационной безопасности.
   Доклад зав.каф. Машечкина И.В., доцента Петровского М.И., инженера Горохова О.Е.
2. Методы отбора признаков для построения моделей процессов нефтепереработки с использованием глубокого обучения.
   Доклад зав.каф. Машечкина И.В., доцента Петровского М.И., асп. Лазухина И.С.
3. Система контроля выполнения физических упражнений средствами гибридного интеллекта: признаки динамики.
   Доклад профессора Рыжова А.П., асп. Шергина И.А.
4. Индекс экологического благополучия на основе открытых данных и нечеткой логики.
   Доклад профессора Рыжова А.П., студ. Двоеглазова Р.А.
5. Исследование и разработка time-varying моделей для оценки деградации жестких дисков.
   Доклад доцента Петровского М.И., асп. Васильева Ю.А., студ. Говердовского М.В.
6. Исследование и разработка векторного представления для задачи разметки программного кода.
   Доклад доцента Чернова А.В., студ. Пасконовой Л.В.

Секция 10. Математическая кибернетика
руководитель – профессор Ложкин Сергей Андреевич
31 марта, понедельник, 12:50, ауд. 637

1. Уточненные асимптотические оценки сложности реализации мультиплексорной функции в классе схем из функциональных элементов.
   Доклад зав.каф. Ложкина С.А., Власова Н.В.
2. Уточненные асимптотические оценки функции Шеннона для глубины функций алгебры логики.
   Доклад зав.каф. Ложкина С.А., студ. Сергеева М.Д.
3. О проверке эквивалентности простых программ над двоичными деревьями.
   Доклад доцента Подымова В.В., студ. Шагова В.С.

Секция 11. Кафедры системного анализа и нелинейных динамических систем и процессов управления
соруководители – академик РАН, профессор Шананин Александр Алексеевич, профессор Фомичев Василий Владимирович
31 марта, понедельник, 14:30, в онлайн-режиме
Дистанционное подключение: Востриков Иван Васильевич ivan_vostrikov@cs.msu.ru

1. О равномерном размещении агентов в ограниченной области.
   Доклад зав. каф. Фомичева В.В., асп. Шутовой К.Ю.
2. Об использовании механизма внимания в многоагентных системах.
   Доклад профессора Ильина А.В., асп. Бегишева Р.Р.
3. О показателе состоятельности кусочно-линейной аппроксимации нелинейной аффинной системы.
   Доклад профессора Фурсова А.С., асп. Крылова П.А.
4. О задаче субоптимальной фильтрации для гибридных систем.
   Доклад мл.науч.сотр. Каменщикова М.А.
5. Задача построения приближенных функциональных наблюдателей.
   Доклад зав. каф. Фомичева В.В., асп. Денисовой Н.И.
6. Consensus Ranking of Universities: a Numerical Experiment.
   Доклад профессора Смирнова С.Н., студ. Цзюлун Ч.
7. Точки совпадения двух отображений при равенстве констант накрывания и Липшица.
   Доклад профессора Арутюнова А.В., студ. Васянина О.А.
8. Приложение нелинейной модели межотраслевого баланса для анализа агрегированной структуры затраты-выпуск российской экономики.
   Доклад доцента Обросовой Н.К., студ. Чебановой А.М.
9. Сравнительный анализ крупных мировых экономик с помощью моделей межотраслевого баланса с учетом замещения производственных факторов.
   Доклад доцента Обросовой Н.К., студ. Рыбаковой А.А.
10. Применение вариационных неравенств для анализа интересов конечных потребителей в экономике.
    Доклад доцента Обросовой Н.К., студ. Горбачева А.В.
11. Мажоризация по Лоренцу в модели Рамсея-Бьюли.
    Доклад академика РАН, профессора Шананина А.А., асп. Парастаева Г.С.

Секция 12. Суперкомпьютеры и квантовая информатика
руководитель – чл.-корр. РАН, профессор Воеводин Владимир Валентинович
31 марта, понедельник, 15:00 , ауд. 612

1. Границы применимости суперкомпьютеров при расчете конечномерных моделей КЭД.
   Доклад асс. Кулагина А.В., профессора Ожигова Ю.И., асп. Мяо Х., асп. Ли В., студ. Кузьминского А.В., асп. Чэнь Ж., асп. Ю Ц., студ. Чижевского А.А., студ. Овчинникова А.В.
2. Исследование и разработка стратегии маскирования изображений для повышения эффективности масочного автоэнкодера.
   Доклад доцента Буряка Д.Ю., студ. Килиной М.Л.
3. О фильтрации трёхмерных сканированных изображений лесных деревьев.
   Доклад доцента Никольского И.М.
4. Реализация псевдоспектрального метода для уравнения генерации магнитного поля на нескольких графических ускорителях.
   Доклад доцента Жукова К.А., студ. Юань Д.
5. Моделирование освещенности поверхности космических объектов на современных высокопроизводительных архитектурах.
   Доклад доцента Русола А.В., студ. Маркина И.В.
6. Повышение производительности итерационных методов решения систем уравнений на графических ускорителях.
   Доклад доцента Жукова К.А., студ. Куприя Р.М., вед.науч.сотр. НИИ механики МГУ Краснопольского Б.И.
7. Исследование влияния метода сравнения каналов на эффективность алгоритмов поканального прореживания нейронных сетей.
   Доклад доцента Буряка Д.Ю., студ. Чернышова Н.Д.
8. Оптимизация параллельного алгоритма умножения разреженных матриц.
   Доклад доцента Жукова К.А., студ. Матвеева А.Д., вед.науч.сотр. НИИ механики МГУ Краснопольского Б.И.

Секция 13. Информационная безопасность
руководитель – академик РАН, профессор Соколов Игорь Анатольевич
1 апреля, вторник, 12:30, ауд. 551

1. Извлечение шаблонов HTTP-запросов из мобильных приложений методом статического анализа.
   Доклад мл.науч.сотр. Петухова А.А., студ. Ситникова А.В.
2. Поиск ближайшего вектора в целочисленных решетках с помощью метода квантового отжига.
   Доклад доцента Применко Э.А., асп. Лысакова И. В.
3. Помощник ученого на базе ИИ агента для поиска и извлечения информации из научных публикаций.
   Доклад асс. Ильюшина Е. А., студ. Бежанян Р.О.
4. Исследование робастности методов машинного обучения для обнаружения мошенничества в банковских транзакциях.
   Доклад асс. Ильюшина Е. А., студ. Ломоносовой В. Е.
5. Разработка программного комплекса для оценки робастности мультимодальных больших языковых моделей.
   Доклад вед.программиста Дмитриева Л.В., асп. Нутфуллина Б.М., студ. Задорожной Ю.А.
6. О связи задачи перестановочной эквивалентности линейных кодов и задачи линейной эквивалентности подпространств квадратичных форм.
   Доклад доцента Чижова И.В.

Секция 14. Системное программирование
руководитель – академик РАН, профессор Аветисян Арутюн Ишханович
2 апреля, среда, 10:30, ауд. 685

1. Унифицированный метод поиска ошибок в бинарном коде в ходе конкретного и символьного исполнения.
   Доклад доцента Соловьева М.А., вед.математика Манушина Д.В., студ. Цехмистера А.А.
2. Механизм выявления инцидентов в сетях ЦОД на основе анализа временных рядов сетевых метрик.
   Доклад доцента Коруховой Л.С., студ. Тулина Д.И., ст.лаб. ИСП РАН Столярова Р.К., науч.сотр. ИСП РАН Богомолова И.В.
3. Роль внедрения тестовых результатов в задаче исправления ошибок в исходном коде с использованием больших языковых моделей.
   Доклад доцента Коруховой Л.С., студ. Абдрахмановой В.Т., мл.науч.сотр. ИСП РАН Сорокина К.С.
4. Методы оптимизации статического анализа помеченных данных.
   Доклад доцента Игнатьева В.Н., студ. Рагозиной П.И., мл.науч.сотр. ИСП РАН Беляева М.В.
5. Дополнение запросов к LLM информацией из статического анализатора для проверки истинности предупреждений.
   Доклад доцента Игнатьева В.Н., студ. Панова Д.Д., мл.науч.сотр. ИСП РАН Шимчика Н.В.
6. Реализация механизма аугментации данных в задаче дообучении модели инструмента DeepVariant.
   Доклад доцента Турдакова Д.Ю., студ. Пеструиловой А.Н.
7. Программное управление оверлейными сетями на физических коммутаторах в сетях ЦОД.
   Доклад доцента Морозова С.В., студ. Арефьева В.А., науч.сотр. ИСП РАН Борисенко О.Д.
8. Оптимизация инструмента автоматической балансировки виртуальных машин между разными серверами.
   Доклад профессора Аветисяна А.И., студ. Калинина Г.М., науч.сотр. ИСП РАН Богомолова И.В.
9. Реализация и сравнительный анализ планировщиков транспортных протоколов в многопутевом режиме.
   Доклад асс. Гетьмана А.И., студ. Попова М.В., асп. ИСП РАН Степанова И.А.
10. Исследование и реализация алгоритмов предсказания RTT в протоколе TCP.
    Доклад асс. Гетьмана А.И., студ. Головаша Д.Р., асп. ИСП РАН Степанова И.А.
11. Статический анализ языка Python с разрешением косвенных вызовов.
    Доклад профессора Белеванцева А.А., студ. Галустова А.Л., ст.науч.сотр. ИСП РАН Бородина А.Е.
12. Оптимизация генерации кода матричного умножения для тензорного процессора.
    Доклад ст.преподавателя Кулагина И.И., студ. Романова М.М.
13. Статический анализ композитных типов в языке Java.
    Доклад профессора Белеванцева А.А., студ. Субботина Д.Н., ст.науч.сотр. ИСП РАН Бородина А.Е.
14. Анализ Java-программ методом динамического символьного выполнения.
    Доклад профессора Белеванцева А.А., студ. Савидова Г.А., мл.науч.сотр. ИСП РАН Куца Д.О.
15. Статический анализ, использующий собранные при фаззинге данные.
    Доклад доцента Гайсаряна С.С., студ. Акопяна А.А., специалиста ИСП РАН Санкиной П.А., вед.науч.сотр. ИСП РАН Курмангалеева Ш.Ф.
16. Методы генерации сетевых сессий для фаззинга протоколов.
    Доклад доцента Гайсаряна С.С., студ. Гайфутдиновой Ф.Х., науч.сотр. ИСП РАН Акользина В.В. вед.науч.сотр. ИСП РАН Курмангалеева Ш.Ф.

Секция 15. Алгоритмические языки
соруководители – профессор Лукашевич Наталья Валентиновна, доцент Абрамов Владимир Геннадьевич
2 апреля, среда, 15:00, ауд.527

1. Алгоритм автоматического построения индексов фиксированного класса запросов.
   Доклад доцента Абрамова В.Г., студ. Молотилова Н.Н.
2. Об одном подходе к реализации поиска формул с использованием методов доказательства эквивалентности.
   Доклад доцента Коруховой Ю.С., студ. Ступенькова В.О.
3. Методы решения задачи построения маршрутов по описанию.
   Доклад доцента Коруховой Ю.С., студ. Герелюка И.С.
4. Прогнозирование изменений на финансовом рынке на основе анализа тональности текстов.
   Доклад доцента Поляковой И.Н., студ. Дорофеева А.В.
5. Метод построения L-графа по формальной грамматике без ограничений.
   Доклад доцента Вылитка А.А., студ. Касимова Р.Р.
6. Описание контекстно-зависимых языков с помощью L-графов.
   Доклад доцента Вылитка А.А., асп. Ли Цзямянь.
7. Методы преобразования бесконтекстных L-графов с помощью конечных автоматов.
   Доклад доцента Вылитка А.А., асп. Му Цзинъюань.
8. Влияние параметров нейросети на точность решения задачи классификации шахматных комбинаций.
   Доклад науч.сотр. Захарова В.Б., студ. Волкова А.П.
9. Использование дебютных деревьев для автоматической генерации шахматных задач.
   Доклад науч.сотр. Захарова В.Б., математика Мостяева А.И., студ. Цыбикова Т.В.
10. Особенности программного обеспечения цифровизации документального наследия Московского общества испытателей природы.
    Доклад вед.науч.сотр. Леонова М.В.
11. Система автоматического тестирования программ на языке Си.
    Доклад ст.науч.сотр. Новикова М.Д.

Секция 16. Оптимальное управление и дифференциальные игры
руководитель – академик РАН, профессор Осипов Юрий Сергеевич
3 апреля, четверг, 12:15, ауд.728

1. О некоторых задачах отслеживания заданного движения.
   Доклад профессора Никольского М.С.
2. Двухэтапная задача оптимального управления в модели конкуренции Лотки-Вольтерры лечения ракового заболевания.
   Доклад доцента Хайлова Е.Н.
3. Оптимальное решение в модели многофакторной экономики с функционалом интегрального вида с дисконтированием и интегрантом типа логарифм.
   Доклад доцента Киселёва Ю.Н., ст.преподавателя Аввакумова С.Н., доцента Орлова М.В., доцента Орлова С.М.
4. Оптимальный синтез для трехмерной управляемой цепочки с фазовым ограничением.
   Доклад профессора Дмитрука А.В., студ.Ворониной Е.Ю.
5. К задаче конкуренции при учете неопределенности и рисков.
   Доклад профессора Жуковского В.И., вед.науч.сотр. Жуковской Л.В., доцента Бельских Ю.А., доцента Смирновой Л.В.
6. О множестве управляемости для одной системы второго порядка с мнимыми собственными значения.
   Доклад доцента Самсонова С.П., доцента Гродненского государственного университета им.Янки Купалы Гончаровой М.Н. (Республика Беларусь), асп. Прошкина Д.Р.
7. Исследование модели 2h-DICE с двумя типами домохозяйств.
   Доклад доцента Орлова С.М., науч.сотр. Ровенской Е.А.
8. Об одном свойстве линейного преобразования множеств.
   Доклад ст. преподавателя Кулевского А.В.
9. Об одной нелинейной дифференциальной игре с неполной информацией.
   Доклад профессора Григоренко Н.Л., вед.математика Горькова В.П.