Важнейшие результаты СО РАН в области математики и информатики за 2024 год
Фундаментальные результаты
Институт вычислительной математики и математической геофизики
- Исследование смещения N-частичных оценок метода Монте-Карло для решения нелинейных кинетических уравнений (Г.А. Михайлов, С.В. Рогазинский, Г.З. Лотова)
- Моделирование распространения микропластика в полярных акваториях (Е.Н. Голубева, М.А. Градова)
Институт математики им. С.Л. Соболева
- О связи между ориентированным и неориентированным диаметром графа с транзитивной группой автоморфизмов (С.В. Скресанов)
- Построена IT-платформа моделирования распространения эпидемии с учетом социально-экономической ситуации в регионах (О.И. Криворотько, С.И. Кабанихин, Н.Ю. Зятьков, В.С. Петракова)
Иркутский национальный исследовательский технический университет
- Подход к оценке температуры асинхронного двигателя при нелинейных возмущениях параметров с использованием метода цифровых двойников (Ю. Луо, Л. Ван, Д. Сидоров, А. Дрегля, Е. Чистякова)
- Методы идентификации моделей Вольтерра типа черного ящика: метод коллокации и метод наименьших квадратов (Д. Сидоров, А. Тында, В. Муратов, Е. Яницкий)
Институт систем информатики им. А.П. Ершова
- Методика извлечения информации из текстов и построения графов знаний на основе онтологии и больших языковых моделей (Е.А.Сидорова, И.Р. Ахмадеева, Ю.А. Загорулько, А.И. Иванов, К.А. Овчинникова)
- Классификация систем линейных эволюционных дифференциальных уравнений в частных производных по их алгоритмической сложности (С.В. Селиванова, совместно с I. Koswara, G. Pogudin, M. Ziegler)
Новосибирский государственный технический университет
- Цифровая платформа для проектирования и обработки данных технологий электроразведки на основе комплекса методов высокоточного многомерного численного моделирования и решения обратных задач (М.Г. Персова, Ю.Г. Соловейчик и др.)
Новосибирский государственный университет
- Конечнозонные PT-потенциалы (И.А. Тайманов)
Результаты, готовые к практическому применению
Институт вычислительной математики и математической геофизики
- Библиотека моделирования кинетики химических реакций (версия 1) и алгоритмы ускорения решения задач моделирования кинетики химических реакций
- Методика оценки эффективности узловых средств защиты информации (СЗИ) для мониторинга событий информационной безопасности
Институт систем информатики им. А.П. Ершова
- Программный комплекс для мультимодального анализа данных в области гуманитарных исследований «Фольконт»
- Соревнования VeHa как формат для внедрения в IT-индустрию России формальной верификации программного обеспечения
Сибирский федеральный университет
Важнейшие результаты СО РАН в области математики и информатики за 2023 год
Институт вычислительной математики и математической геофизики
- Неизотермическая фильтрация: однотемпературная вычислительная модель (М.И. Иванов, И.А. Кремер, Ю.М. Лаевский)
- Исследование волновых полей в сопряженных средах при вибросейсмическом мониторинге Байкальской рифтовой зоны (В.В. Ковалевский, М.С. Хайретдинов, А.А. Михайлов, Л.П. Брагинская)
Институт динамики систем и теории управления имени В.М. Матросова
- Теоремы сравнения для эволюционных включений с максимально монотонными операторами. L2-теория (А.А. Толстоногов)
- Экстремальное управление моделью «жертва-хищник» при постоянном ареале обитания с учетом гистерезисных эффектов (С.А. Тимошин)
Институт математики им. С.Л. Соболева
- Евклидов объём конического многообразия над гиперболическим узлом является алгебраическим числом (Н.В. Абросимов, А.А.Колпаков, А.Д. Медных)
- Установлены основные предельные законы, описывающие возможные процедуры обнаружения момента разладки (А.А. Боровков)
Институт систем информатики им. А.П. Ершова
- Программный комплекс с веб-доступом для загрузки, хранения, обработки и анализа генетических данных респираторных вирусов (А.Ю. Пальянов, П.А. Старцев, Н.В. Пальянова)
- Логика для суждений об ошибках в циклах над последовательностями данных (Д.А. Кондратьев)