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

В соответствии с Положением факультета вычислительной математики и кибернетики МГУ для представления и обсуждения результатов работ по всем направлениям научных исследований на факультете ВМК ежегодная научная конференция «Тихоновские чтения», пройдет с 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: библиотека моделей машинного обучения для задач рентгеновской астрофизики.