Научная конференция «Тихоновские чтения»

В соответствии с Положением факультета вычислительной математики и кибернетики МГУ для представления и обсуждения результатов работ по всем направлениям научных исследований на факультете ВМК ежегодная научная конференция «Тихоновские чтения», пройдет с 30 октября по 03 ноября 2023 года по следующим секциям:

• Информационная безопасность (руководитель — академик РАН Соколов И.А.)
• Теория дифференциальных уравнений (руководитель — профессор Ломов И.С.)
• Математическое моделирование и вычислительные методы (руководители—академик РАН Четверушкин Б.Н., профессор Попов А.М.)
• Математическая физика и обратные задачи (руководители —профессор Денисов А.М., профессор Разгулин А.В.)
• Вычислительные технологии и моделирование (руководитель—академик РАН Тыртышников Е.Е.)
• Асимптотические методы и дифференциальные уравнения с малым параметром (руководитель— профессор Нефедов Н.Н.)
• Нелинейная динамика: качественный анализ и управление (руководитель— профессор Фомичев В.В.)
• Обратные задачи управления (руководитель—академик РАН Осипов Ю.С.)
• Системный анализ (руководитель—академик РАН Куржанский А.Б.)
• Математическая кибернетика (руководитель—профессор Ложкин С.А.)
• Исследования операций (руководитель—академик РАН Евтушенко Ю.Г.)
• Системное программирование и информационные технологии (руководители — академик РАН Аветисян А.И., чл.-корр. РАН Воеводин В.В., чл.-корр. РАН Смелянский Р.Л., профессор Машечкин И.В., доцент Абрамов В.Г.)
• Теория вероятностей и математическая статистика (руководитель — профессор Королев В.Ю.)

Тезисы докладов, оформленные по предлагаемому шаблону, в электронном виде направить до 20 октября 2023 года в.н.с. лаборатории математической физики Лопушенко В.В. по адресу: lmf@cs.msu.ru с пометкой в теме письма [Tikhonov 2023]. В сопроводительном письме необходимо указать название секции!

Программа

Секция: «Системное программирование и информационные технологии»
Подсекция кафедры системного программирования
Председатель академик РАН Аветисян А.И.
30 октября, понедельник, 12:30, ауд. 727

• Литвинов А.А., Ушаков Е.Н., Маркин Ю.В., Турдаков Д.Ю. Применение модели Segment Anything для сегментации цитологических клеток.
• Ларин А.В., Гетьман А.И. Наблюдаемость сетевой инфраструктуры Kubernetes.
• Хорошилов А.В., Чепцов В.Ю., Махов А.М. Адаптация ARINC 653 ОСРВ к архитектуре RISC-V.

Секция: «Вычислительные технологии и моделирование»
Председатель академик РАН Тыртышников Е.Е.
30 октября, понедельник, 14:30, ауд. 510

• Никольский И.М. Об оптимизации поиска k ближайших соседей для всех элементов дискретного множества.
• Косолапов И.А., Петров С.В., Шелопут Т.О. Применение алгоритма восполнения матриц для сжатия и интерполяции данных о температуре поверхности моря.
• Шевченко Б.С., Захарова Н.Б. Контроль и коррекция данных со спутников при решении задач ассимиляции наблюдений в математическом моделировании морских систем.
• Лукьянов Е.А. Эффективное вычисление периодических мероморфных функций на якобианах неособых алгебраических кривых.
• Масс И.А., Сетуха А.В. Комбинация методов объемных и поверхностных интегральных уравнений в задачах электромагнитного рассеяния на структурах малой толщины.
• Дьяченко Р.Р., Матвеев С.А. Эффекты конечной выборки при стохастическом моделировании процесса агрегации-дробления.
• Червяков Н.М., Романюха А.А. Математическая модель интерференции двух вирусов.
• Швецов М.П., Кириченко М.А. Низкоразрядные матричные умножения с повышенной точностью.
• Копнина И.А., Ляшев В.А. Упрощенный метод конической оптимизации в задаче пространственной фильтрации.
• Ожигов Ю.И., Мяо Хуэйхуэй, Ли Ваншунь, Ю Цзянчуань, Чэнь Жань, Викторова Н.Б., Кузьминский А.В. Новый взгляд на проект квантового компьютера.
• Шапаренко В.С. Математическое моделирование и обработка данных наблюдений планктонного сообщества озера Байкал.

Секция: «Нелинейная динамика: качественный анализ и управление»
Председатель профессор Фомичев В.В.
30 октября, понедельник, 14:30
Дистанционное подключение: Денисова Н. denisovanadezda0@gmail.com

• Гиргидов Р.А. Методы определения регулярности пространственной структуры группы дронов.
• Крылов П.А., Фурсов А.С. Об инвариантности графа дискретных состояний переключаемой аффинной системы для параметризованного семейства переключающих сигналов.
• Атамась Е.И. О связи инвариантных и передаточных нулей многосвязных систем.
• Высоцкий А.О. Об устойчивости системы алгоритма “super-twisting” при вариации параметра нелинейности.

Секция: «Системный анализ»
Председатель академик РАН Куржанский А.Б.
30 октября, понедельник, 14:30
Дистанционное подключение: Денисова Н. denisovanadezda0@gmail.com

• Чистяков И.А., Точилин П.А. Построение внутренних оценок множества разрешимости на основе алгоритма PPO и принципа сравнения
• Трусов Н.В., Шананин А.А. Математическая модель динамики человеческого капитала.
• Зайцева М.В., Точилин П.А. О построении управления в задаче моделирования потоков людей.

Секция: «Теория дифференциальных уравнений»
Председатель профессор Ломов И.С.
30 октября, понедельник, 16:30, ауд. 685

• Васильченко Д.Д., Капустин Н.Ю. О задаче для уравнения Лапласа с интегральным граничным условием.
• Полосин А.А. О спектре интегрального оператора типа свертки с логарифмическим ядром специального вида.
• Савчук А.М., Садовничая И.В. Спектральный след для одномерной системы Дирака с условиями Дирихле.
• Коровина М.В., Смирнов И.Н. Оценки коэффициентов в асимптотиках решений для некоторых задач математической физики.
• Чэн Шияо, Коровина М.В. Вычисление коэффициентов в асимптотиках решений однородных уравнений 2-го порядка с мероморфными коэффициентами в окрестности иррегулярных особых точек.
• Зайцева Н.В. Классические решения многомерных гиперболических дифференциально-разностных уравнений.

Секция: «Асимптотические методы и дифференциальные уравнения с малым параметром»
Председатель профессор Нефедов Н.Н.
31 октября, вторник, 17:00, ауд. 4-46 (физический факультет)

• Нефедов Н.Н. Существование, асимптотика и устойчивость по Ляпунову решений периодических параболических краевых задач для систем Тихоновского типа.
• Киселюс В., Илларионов Е.А., Соколов Д.Д. Восстановление нейтральных линий магнитного поля солнца методами машинного обучения.
• Юшков Е.В., Аллахвердиев Р., Соколов Д.Д. Модель Казанцева в дельта-коррелированной турбулентности со слабой анизотропией.
• Нефедов Н.Н., Орлов А.О. Существование, локальная единственность и асимптотическая устойчивость решений с пограничными слоями в Тихоновской системе с KPZ – нелинейностями.
• Быков А.А. Обобщенное решение уравнения равновесия двумерной контрастной структуры.
• Давыдова М.А., Рублев Г.Д. Асимптотический анализ в прямых и обратных задачах нелинейного теплообмена: расчет тепловых полей и восстановление теплофизических характеристик по данным моделирования.
• Булатов П.Е. Численное интегрирование одномерной задачи реакция-диффузия-адвекция на адаптивных сетках.
• Никулин Е.И, Волков В.Т. О контрастной структуре типа ступеньки в задаче теории эффекта бареттирования.
• Никулин Е.И, Волков В.Т., Карманов Д.А. Внутренние переходные слои в уравнениях «реакция-диффузия» в случае слабого разрыва реакции.

Секция: «Математическое моделирование и вычислительные методы»
Подсекция кафедры вычислительных методов
Председатель академик РАН Четверушкин Б.Н.
01 ноября, среда, 13:30, ауд. 621

• Головизнин В.М., Симакин Д.А. Исследование диссипативных и дисперсионных характеристик разностной схемы «зигзаг».
• Богомолов С.В., Панферова И.А., Филиппова М.А. Тест Кроули для разрывного метода частиц.
• Дородницын Л.В., Александров А.В. Моделирование взаимодействия турбулентного следа с препятствием и формирования акустического поля.
• Широков И.А. Влияние расчетной сетки и искусственной диссипации на структуру ударно-волновых областей при моделировании сверхзвуковой воздушной струи.
• Петрова Л.И. Невырожденные и вырожденные преобразования в Математической физике.

Секция: «Математическое моделирование и вычислительные методы»
Подсекция кафедры автоматизации научных исследований
Председатель профессор Попов А.М.
01 ноября, среда, 14:30, ауд. 527

• Четкин Е., Шишкин А.Г. Детекция внедоменных данных байесовыми нейросетевыми классификаторами в интерфейсах мозг-компьютер.
• Бердышев Д., Шишкин А.Г. Метаоптимизация стартовых весов нейросетевых классификаторов.
• Никонов М., Долматов А.А., Шишкин А.Г. Проектирование робастных ансамблей нейросетевых моделей для аукционных рынков со случайным уровнем рынка.
• Долматов А.А., Афонина А.А., Марьевич М.Д., Сычугов Д.Ю., Юровский А.Ю., Определение синдрома блокады левой ножки пучка Гиса на основе стандартного алгоритма обработки ЭКГ и метода опорных векторов.
• Загидуллин Р.Р. Построение трехмерной модели движения агрегирующих частиц.
• Семёнов А.Н., Романенко Т.Е. Применение нейросетевых технологий к решению задачи численного моделирования распространения электромагнитных волн методом FDTD.
• Ечкина Е.Ю., Назаров А.С. Разработка алгоритма предиктивной оценки остаточного ресурса работы валкового пресса на основе анализа временных рядов и нейронных сетей LSTM.
• Вабищевич П.Н., Чернышов М.М. Разностные схемы с весами для моделирования течений жидкости в приближении мелкой воды.
• Лунин П.Е., Зотов И.В. Исследование различных моделей анализа финансового рынка.

Секция: «Математическая физика и обратные задачи»
Председатели профессор Денисов А.М., профессор Разгулин А.В.
01 ноября, среда, 14:30, ауд. 612

• Денисов А.М., Чжу Дунцинь. Итерационные методы решения задач определения кинематического коэффициента в модели динамики сорбции.
• Ильинский А.С., Смирнов Ю.Г. Метод интегральных уравнений в задаче дифракции электромагнитных волн на диэлектрическом стержне, покрытом графеном.
• Баев А.В. О стационарных решениях уравнения Навье-Стокса и математическая модель вращающегося облака свободного газа.
• Разгулин А.В., Ларичев А.В., Горохов С.А. О восстановлении негладких волновых фронтов проекционным методом со стабилизатором дробного порядка.
• Крылов А.С., Пенкин М.А. Нейросетевая реализация диффузионного метода повышения качества медицинских изображений.
• Денисов А.М., Соловьева С.И. Методы определения двух неизвестных функций в уравнении теплопроводности.
• Ерёмин Ю.А. Классическая и мезоскопическая электродинамика плазмонных наноструктур.
• Романенко Т.Е. Применение нейронных сетей типа U-Net к задаче секционирования многослойных объектов.
• Чакак И.А., Трофимов В.А., Федотов М.В., Харитонов Д.М. Сравнение двух математических моделей процесса отражения оптического импульса от экрана, расположенного за слоем нелинейной среды.
• Проценко М.А., Павельева Е.А. Использование фазы дробного преобразования Фурье для сопоставления изображений.
• Тихонов И.В., Алмохамед Муатаз. Применение функций Миттаг-Леффлера в теории обратных задач.

Секция: «Исследование операций»
Председатель академик РАН Евтушенко Ю.Г.
01 ноября, среда, 14:35
Дистанционное подключение: Морозов В.В. vmorosov@mail.ru

• Васин А.А., Агаджанян Е.Г., Шония О.Б. Об оптимальном использовании ВИЭ на рынке электроэнергии с накопителями.
• Новикова Н,М., Поспелова И.И. О формировании договоренности между фрирайдерами на аукционе спектра.
• Давидсон М.Р. Ограничения на максимальное количество смен состояния в задаче выбора состава оборудования.
• Морозов В.В., Кочерина О.И. Оптимизация разделяемого трафика на сети.
• Козодой А.И. Использование критериев VaR и CVaR в стохастической задаче формирования портфеля.
• Голембиовский Д.Ю., Садовников А.А. Статистический арбитраж на рынке криптовалют.
• Лаврухин Е.В. Сегментация томографических изображений пористых сред с помощью нейронных сетей.

Секция: «Математическая кибернетика»
Председатель профессор Ложкин С.А.
01 ноября, среда, 14:45, ауд. 582

• Бухман А.В. О полноте одной системы преобразований, уменьшающих длину, над обобщёнными полиномами.
• Владимирова Ю.С. Метод получения логического вывода в алгебраической системе Н.П.Брусенцова.
• Ложкин С.А. Оценки функции Шеннона для сложности реализации функций алгебры логики в одном классе клеточных схем.
• Зизов В.С. Уточненные оценки функции Шеннона для площади клеточных схем.

Секция: «Системное программирование и информационные технологии»
Подсекция кафедр суперкомпьютеров и квантовой информатики, автоматизации систем вычислительных комплексов
Председатели чл.-корр. РАН Воеводин В.В., чл.-корр. РАН Смелянский Р.Л.
01 ноября, среда, 15:00, ауд. 238

• Иванов Д.А., Воеводин В.В. Кодизайн оптимизированных нейронных сетей и вычислений рядом с памятью как движение в сторону нейроморфности.
• Волканов Д.Ю. Математические задачи, возникающие при проектировании сетевого процессорного устройства.
• Вотинцев А.К., Волканов Д.Ю. Исследование методов сжатия разреженных кодов в канале c аддитивным белым гауссовым шумом.
• Дьяченко Д.С., Никольский И.М. О некоторых методах выравнивания облаков точек.
• Гарькавый И.С. Об оптимальном управлении загрузкой очередей маршрутизатора.
• Сайбель Т.А., Никольский И.М. О методах выделения геометрических примитивов в облаках точек.
• Оконишников А.А., Степанов Е.П. Об управлении перегрузкой в наложенных каналах при помощи методов машинного обучения.
• Пашков В. Н. Об архитектуре отказоустойчивого распределенного контура управления для программно-конфигурируемых сетей.
• Федоров В.В., Ершов Н.М. Реализация клеточных автоматов семейства Lenia на графических ускорителях.
• Плакунов А.В. Исследование эффективности многоагентного метода машинного обучения для решения задачи балансировки трафика.
• Рязанов А.М., Волканов Д.Ю., Зуев Н.В. Система сбора, хранения и обработки сетевого трафика для обучения алгоритмов прогнозирования качества гетерогенных каналов в сетях передачи данных.
• Шибаев П.П., Писковский В.О. Об эффективности хранения конфигураций в блокчейн хранилище контроллера ПКС Runos.

Секция: «Теория вероятностей и математическая статистика»
Председатель профессор Королев В.Ю.
01 ноября, среда, 18:00
Дистанционное подключение: Шестаков О.В. ms@cs.msu.ru

• Кудрявцев А.А., Шестаков О.В. О методе оценивания параметров гамма-экспоненциального распределения по выборке со слабо зависимыми компонентами.
• Воронцов М.О., Шестаков О.В. Среднеквадратичный риск метода контроля доли ложных отклонений в задаче множественной проверки гипотез для разреженных слабо зависимых данных.
• Хохлов Ю.С., Роор Д.Д. Модели риска невозврата кредитов.
• Шевцова И.Г, Макаренко В.А., Королев В.Ю. Оценки скорости сходимости смешанных пуассоновских случайных сумм к дисперсионно-сдвиговым нормальным смесям.
• Макаренко В.А. Об аналогах неравенств Эссеена-Ванга-Ахмада и Розовского для случайных сумм.
• Захарова Т.В., Панов П.В. Исследование биоэквивалентности лекарственных препаратов.
• Захарова Т.В., Сабиров А.И. Локализация источников нейронной активности в многодипольной модели.
• Берговин А.К., Ушаков В.Г. О двух моделях смешанных приоритетов в системах вида M | G | 1.
• Савушкин Е.В. Существование сильного решения стохастического дифференциального уравнения в классе Lp, 1<p<2.
• Королев В.Ю. Квазистепенные нормальные распределения.

Секция: «Обратные задачи управления»
Председатель академик РАН Осипов Ю.С.
02 ноября, четверг, 12:15, ауд. 728

• Никольский М.С. О линейной задаче оптимального быстродействия при интегральных ограничениях на управление.
• Асеев А.С., Самсонов С.П. Принцип максимума Понтрягина для одной негладкой задачи оптимального экономического роста.
• Хайлов Е.Н., Григоренко Н.Л., Григорьева Э.В. Управляемые модели конкуренции Лотки-Вольтерры в адаптивной терапии раковых заболеваний.
• Жуковский В.И., Жуковская Л.В. Коалиционные нетрасферабельные позиционные дифференциальные игры.
• Семендяева Н.Л., Киселёв Ю.Н., Аввакумов С.Н., Орлов М.В., Орлов С.М. Исследование поведения фазовых траекторий специальной нелинейной системы в окрестности особой точки типа центр.
• Гончарова М.Н. Самсонов С.П. О множестве управляемости для одной задачи оптимального управления с фазовым ограничением.
• Орлов С.М., Ровенская Е.А. Модификация модели Рамсея для случая двух агентов.
• Кулевский А.В. Моделирование освоения исчерпаемого природного ресурса.
• Григоренко Н.Л. О задаче терминального управления для модели движения твердого тела в среде с препятствием.

Секция: «Системное программирование и информационные технологии»
Подсекция кафедры алгоритмических языков
Председатель доцент Абрамов В.Г.
02 ноября, четверг, 14:35, ауд. 507

• Мэн Линцянь, Мельников Б.Ф., Вылиток А.А. Построение и исследование полугруппы конечного автомата PRI.
• Вылиток А.А., Лай Вэньтао. Построение композиции L-преобразователей.
• Елфимова А.Е., Полякова И.Н. Автоматизация проверки текстов на корейском языке на наличие грамматических ошибок.
• Ли Сынгжу, Полякова И.Н., Разработка эффективности дополнения данных для малого датасета.
• Ефремова Н.Э., Яковлева С.А. Применение модели Т5 в задаче реферирования научных текстов.
• Гладышев Г.Ю., Головин И.Г. Построение синтаксического анализатора русского языка по размеченному корпусу текстов.
• Абрамов В.Г., Данилов С.В. Разработка оперативных маршрутов для транспортной сети с учетом условий движения и предпочтений водителя.
• Кабанов А.В. Метод векторного выравнивания элементов последовательностей для слов естественного языка.
• Грацианова Т.Ю., Рогожин Д.А. Сравнение моделей перефразирования.
• Большакова Е.И. Коваленко А.П. Автоматическая оценка сложности текстов: подходы и методы.
• Грибов И.Ю. Лукашевич Н.В. Порождение состязательных примеров в задаче классификации.

Секция: «Информационная безопасность»
Председатель академик РАН Соколов И.А.
02 ноября, четверг, 16:20, ауд. 551

• Намиот Д.Е., Ильюшин Е.А. Об одном подходе к аудиту систем искусственного интеллекта.
• Чижов И.В. Квадрат Шура-Адамара последовательно соединенных линейных кодов.
• Пак Ю.Р.,Терехина И.Ю. Обзор методов состязательных атак на системы машинного обучения для аудиоданных.
• Герасимов И.Ю. О подходах к решению задачи Диффи-Хеллмана на эллиптической кривой с малой степенью расширения.
• Якупов Д.Р, Намиот Д.Е. Современные алгоритмы для систем рекомендаций на основе сессий.
• Малоян Н.Г., Намиот Д.Е. Автоматическая генерация входных данных для больших языковых моделей с целью получения вредоносных ответов.
• Нутфуллин Б.М., Евграфов В.А. Обзор возможных рисков использования систем с мультимодальными языковыми моделями.

Секция: «Системное программирование и информационные технологии»
Подсекция кафедры интеллектуальных информационных технологий
Председатель профессор Машечкин И.В.
02 ноября, четверг, 18:15, ауд. 609

• Сорока А.Г., Мещеряков А.В., Герасимов С.В., Михельсон Г.В. SmartRoutes: нейросетевые решения задач оптимизации маршрутов с ограничениями реального мира.
• Рыжов А.П., Шергин И.А. Методы оценки позы человека и их применение в персонализации обучения физическим навыкам.
• Казачук М.А., Чикин О.П. Методы аутентификации пользователей смартфонов по данным акселерометра.
• Мещеряков А.В., Тэаро К.А., Герасимов С.В. SRGz: библиотека моделей машинного обучения для задач рентгеновской астрофизики.