Важнейшие результаты СО РАН в области математики и информатики за 2025 год

Фундаментальные результаты

Институт вычислительной математики и математической геофизики

• Стохастические итерационные методы повышенной точности и их приложения в задачах наноэлектроники и акустической томографии (К.К. Сабельфельд, И.А. Шалимова, Г.И. Агарков, И.А. Шафигулин)
• Вариации спектрального состава микросейсм как прогнозный параметр сейсмических событий в Байкальской рифтовой зоне (А.П. Григорюк, Л.П. Брагинская, В.В. Ковалевский)

Институт математики им. С.Л. Соболева

• Прямоугольная группа Кокстера минимального кообъёма в трёхмерном пространстве Лобачевского (А.Ю. Веснин, А.А. Егоров)

Институт систем информатики им. А.П. Ершова

• Экспериментальное исследование и компьютерное моделирование нейронной активности, мышечных сокращений и движения тела головастика Xenopus в различных ситуациях (S. Farjami, А.Ю. Пальянов, H.-Y. Zhang, V. Saccomanno, R. Merrison-Hort, A. Ferrario, R. Borisyuk, J. Tabak, W.-C.Li)
• Программная система для изучения пределов когнитивных возможностей самообучающихся виртуальных организмов с эволюционирующей нервной системой и цветным зрением, имитирующих муравьев, в трёхмерном физическом симуляторе (А.П. Девятериков, М.С. Зенин, А.Ю. Пальянов )

Институт вычислительного моделирования

• Математическое моделирование сверхбыстрых разрывов в земной коре (В.М. Садовский, М.А. Гузев, О.В. Садовская)

Северо-Восточный Федеральный университет им. М. К. Аммосова

• Аппроксимация волн Россби с использованием адаптивного алгоритма искусственной пчелиной колонии с двумя стратегиями (В.И. Сивцева, А.В. Саввин, В.В. Григорьев)

Результаты, готовые к практическому применению

Институт вычислительной математики и математической геофизики

• Разработана библиотека алгоритмов моделирования кинетики химических реакций

• Способ определения готовящегося сейсмического события и Многопользовательская платформа для обработки и анализа электромагнитных зондирований и сейсмологических наблюдений — ПЛЭС

Институт математики им. С.Л. Соболева

• Разработан новый метод количественной диагностики в ядерной медицине

Институт систем информатики им. А.П. Ершова

• Технология разработки операционных семантик языков программирования по схеме «Семантика как программа»

Важнейшие результаты СО РАН в области математики и информатики за 2024 год

Фундаментальные результаты

Институт вычислительной математики и математической геофизики

• Исследование смещения N-частичных оценок метода Монте-Карло для решения нелинейных кинетических уравнений (Г.А. Михайлов, С.В. Рогазинский, Г.З. Лотова)
• Моделирование распространения микропластика в полярных акваториях (Е.Н. Голубева, М.А. Градова)

Институт математики им. С.Л. Соболева

• О связи между ориентированным и неориентированным диаметром графа с транзитивной группой автоморфизмов (С.В. Скресанов)
• Построена IT-платформа моделирования распространения эпидемии с учетом социально-экономической ситуации в регионах (О.И. Криворотько, С.И. Кабанихин, Н.Ю. Зятьков, В.С. Петракова)

Иркутский национальный исследовательский технический университет

• Подход к оценке температуры асинхронного двигателя при нелинейных возмущениях параметров с использованием метода цифровых двойников (Ю. Луо, Л. Ван, Д. Сидоров, А. Дрегля, Е. Чистякова)
• Методы идентификации моделей Вольтерра типа черного ящика: метод коллокации и метод наименьших квадратов (Д. Сидоров, А. Тында, В. Муратов, Е. Яницкий)

Институт систем информатики им. А.П. Ершова

• Методика извлечения информации из текстов и построения графов знаний на основе онтологии и больших языковых моделей (Е.А.Сидорова, И.Р. Ахмадеева, Ю.А. Загорулько, А.И. Иванов, К.А. Овчинникова)
• Классификация систем линейных эволюционных дифференциальных уравнений в частных производных по их алгоритмической сложности (С.В. Селиванова, совместно с I. Koswara, G. Pogudin, M. Ziegler)

Новосибирский государственный технический университет

• Цифровая платформа для проектирования и обработки данных технологий электроразведки на основе комплекса методов высокоточного многомерного численного моделирования и решения обратных задач (М.Г. Персова, Ю.Г. Соловейчик и др.)

Новосибирский государственный университет

• Конечнозонные PT-потенциалы (И.А. Тайманов)

Результаты, готовые к практическому применению

Институт вычислительной математики и математической геофизики

• Библиотека моделирования кинетики химических реакций (версия 1) и алгоритмы ускорения решения задач моделирования кинетики химических реакций
• Методика оценки эффективности узловых средств защиты информации (СЗИ) для мониторинга событий информационной безопасности

Институт систем информатики им. А.П. Ершова

• Программный комплекс для мультимодального анализа данных в области гуманитарных исследований «Фольконт»
• Соревнования VeHa как формат для внедрения в IT-индустрию России формальной верификации программного обеспечения

Сибирский федеральный университет

• Решение задачи одобрения кредита с помощью биотехнологический нейронной сети BWASD

Важнейшие результаты СО РАН в области математики и информатики за 2023 год

Институт вычислительной математики и математической геофизики

• Неизотермическая фильтрация: однотемпературная вычислительная модель (М.И. Иванов, И.А. Кремер, Ю.М. Лаевский)
• Исследование волновых полей в сопряженных средах при вибросейсмическом мониторинге Байкальской рифтовой зоны (В.В. Ковалевский, М.С. Хайретдинов, А.А. Михайлов, Л.П. Брагинская)

Институт динамики систем и теории управления имени В.М. Матросова

• Теоремы сравнения для эволюционных включений с максимально монотонными операторами. L2-теория (А.А. Толстоногов)
• Экстремальное управление моделью «жертва-хищник» при постоянном ареале обитания с учетом гистерезисных эффектов (С.А. Тимошин)

Институт математики им. С.Л. Соболева

• Евклидов объём конического многообразия над гиперболическим узлом является алгебраическим числом (Н.В. Абросимов, А.А.Колпаков, А.Д. Медных)
• Установлены основные предельные законы, описывающие возможные процедуры обнаружения момента разладки (А.А. Боровков)

Институт систем информатики им. А.П. Ершова

• Программный комплекс с веб-доступом для загрузки, хранения, обработки и анализа генетических данных респираторных вирусов (А.Ю. Пальянов, П.А. Старцев, Н.В. Пальянова)
• Логика для суждений об ошибках в циклах над последовательностями данных (Д.А. Кондратьев)