ИМ СО РАН 
Вход для сотрудников

Расписание семинаров

Сегодня,

10.50 ч., Yandex Telemost

Михайлапов Д. И.
Коррекция маски на трехмерных томографических изображениях головного мозга для слабо контролируемой сегментации острого ишемического инсульта.

Аннотация

В работе представлен метод слабо контролируемой сегментации трехмерных изображений головного мозга, полученных с использованием компьютерной томографии для диагностики острого ишемического инсульта. Метод основан на применении карты расстояний и карты весов для улучшения качества сегментации пораженных областей, что позволяет обозначить значимость центральных областей и корректировать важность спорных пограничных участков.

Так же используется метод сглаживания масок сегментации для сокращения малых областей, что способствует минимизации дефектов разметки и улучшению качества анализа. Использование карт расстояний в функции потерь при слабо контролируемом обучении модели позволяет обозначить значимость центральных областей и корректировать важность спорных пограничных участков.

В исследовании используются два типа данных: основной набор, состоящий из разметки, выполненной одним рентгенологом, и вспомогательный набор меньшего объема с несколькими вариантами разметки от различных специалистов. Анализ вспомогательного набора позволяет выявить ключевые характеристики несоответствий в разметке, возникающие вследствие сложности исследуемых изображений.

Для сегментации основного набора данных применяется модель U-Net в трехмерном формате. Используются функции потерь DICE и Focal для обучения модели, а для оценки качества прогноза применяется DICE-коэффициент. Экспериментальные результаты подтверждают эффективность предложенного метода.

Кононова П. А.
Реферат статьи из EJOR 2012 "Heuristics for the multi-depot petrol station replenishment problem with time windows" (Fabien Cornillier, Fayez Boctor, Jacques Renaud).

16.20 ч., ауд. 344, ИМ

А. Н. Глебов
Экстремальные конструкции в задаче о коалиционном доминировании (продолжение).

Анонсы

14.30 ч., модуль ИМ СО РАН; Google Meet

Жарков Денис, младший научный сотрудник ИФЗ РАН
Аналитическое моделирование амплитудных характеристик поверхностных акустических волн в неоднородных геофизических средах (По материалам диссертации на соискание ученой степени кандидата физико-математических наук).

16.20 ч., ауд. 417, ИМ
Google Meet

Р. Е. Малыхин (ВолГУ)
Алгоритм нахождения тензора напряжений деформированного тела методом триангуляций пространственных областей.

АннотацияВ докладе будет обсуждаться численный алгоритм расчета тензора напряжений в рамках нелинейной теории упругости методом триангуляций пространственных областей для заданной деформации и его реализация на языке Python. Кроме этого, будет приведен сравнительный анализ полученных результатов численного расчета напряжений с табличными данными для различных видов материалов и для некоторых модельных областей. Доклад будет снабжен соответствующими графиками и иллюстрациями.
10.00 ч., к. 417, ИМ

Владимир Иванович Лотов
Об одной модели случайного блуждания с переключениями.

АннотацияИзучаются свойства траекторий случайного блуждания, у которого снос меняется в соответствии со следующим правилом. Положительный снос сохраняется до момента первого достижения траекторией нижней полуплоскости, после чего происходит переключение на блуждание с отрицательным сносом. Это продолжается до момента первого достижения траекторией верхней полуплоскости, после чего возобновляется блуждание с положительным сносом, и так далее. Подобная конструкция находит приложение в исследованиях некоторых моделей стохастического градиентного спуска. В работе изучаются вопросы конечности экстремумов траектории и последовательных моментов пересечения оси абсцисс.
16.20 ч., к. 213, ИМ

И. В. Кузнецов (Институт гидродинамики им. М. А. Лаврентьева СО РАН)
Прямые и обратные задачи для уравнений импульсных волн с сильным затуханием. Гипотетическое приложение в сейсмологии.

АннотацияРечь пойдет о псевдогиперболических уравнениях или волновых уравнениях с сильным затуханием. Мы сформулируем прямую задачу с источником, аппроксимирующим дельта-функцию Дирака в начальный момент времени. Это означает, что в пределе вторая производная по времени неизвестного решения также является дельта-функцией Дирака, а первая производная по времени имеет разрыв в начальный момент времени. Мы применяем масштабирование для формулировки задачи на бесконечно малом начальном слое и вычисляем зазор в начальный момент для первой производной по времени. Затем мы сформулируем обратную задачу, когда интегральное условие переопределения для производной первого порядка по времени аппроксимирует функцию, разрывную в начальный момент. Это означает, что волновое уравнение содержит неизвестный источник, аппроксимирующий дельта-функцию Дирака. Повторяя процедуру масштабирования, как и для прямой задачи, мы получаем обратную задачу на бесконечно малом начальном слое, что позволяет вычислить зазор в начальный момент для производной первого порядка по времени неизвестного решения. В конце доклада будет представлено гипотетическое приложение к сейсмологии. Принято считать, что землетрясения связаны с теорией хрупкого разрушения. Альтернативный подход основан на генерации нелинейных ударных волн наряду с продольными и поперечными волнами. Поэтому будет кратко рассмотрена природа импульсных источников колебаний.
16.20 ч., ауд. 5251, НГУ (новый корпус)

Е. В. Борисов (ИФИП СО РАН, НГУ)
Натуральный вывод для CWPL.

Аннотация

Кросс-мировая предикация - это приписывание отношений объектам, каждый из которых ассоциирован с некоторым возможным миром. Например, предложение "Джон мог быть выше, чем Мэри, как она есть" приписывает отношение "выше" Джону, каков он в некотором возможном мире $w$, и Мэри, какова она в действительном мире $u$; в этом смысле Джон ассоциирован с $w$, Мэри - с $u$. Для отображения феномена кросс-мировой предикации в модальной логике первого порядка необходима кросс-мировая интерпретация предикатов, т.е. интерпретация, при которой $n$-местному предикату назначаются экстенсионалы не для отдельных возможных миров, а для упорядоченных $n$-ок возможных миров. Одна из логик, основанных на кросс-мировой интерпретации предикатов, была предложена автором; будем называть ее CWPL (crossworld predication logic). В указанных ниже публикациях представлены семантика и табличное исчисление для CWPL. В докладе будет описана семантика и представлено натуральное исчисление для упрощенной версии этой логики. Доклад будет состоять из двух частей.

  1. Borisov E. V. A Nonhybrid Logic for Crossworld Predication // Logical Investigations. 2023. Vol. 29. No. 2. Pp. 125–147.
  2. Borisov E. V. A tableau proof theory for CWPL // Logical Investigations. 2025. Vol. 31. No. 1. Pp. 74-96.
14.00 ч., Online

И. В. Кузнецов (ИГиЛ СО РАН, Новосибирск)
Уравнения Навье-Стокса с импульсной правой частью.

АннотацияВ докладе будут рассмотрены уравнения Навье-Стокса для несжимаемой неоднородной жидкости с импульсным воздействием, которое содержит в форме представления аппроксимацию дельта функции Дирака в $t=0$. В докладе будет описан предельный переход по параметру аппроксимации, при котором возникает инфинитезимальный начальный слой. Такие задачи важны как при описании внешних воздействий, так и при описании активных жидкостей, в которых экспериментально доказано возникновение спонтанных потоков за счет внутренних процессов.
17.00 ч., Zoom

И. С. Борисов, Ю. Ю. Линке
Об одном усилении теоремы Гаека-Шидака.

АннотацияДоказан аналог теоремы Гаека-Шидака об асимптотической нормальности распределения суммы взвешенных независимых одинаково распределенных центрированных случайных величин с конечным вторым моментом в случае, когда нормирующие коэффициенты этой суммы являются не константами, а случайными величинами.
16.30 ч., к. 417, ИМ

С. В. Скресанов
Полиномиальные сведения в проблеме изоморфизма групп.

18.10 ч., новый корпус НГУ, ауд. 5218

П. П. Соколов
Фробениусовы $G$-формы на скрещенных алгебрах.

16.20 ч., ауд. 5239, НГУ, Yandex Telemost

С. В. Скресанов
Полиномиальные сведения в проблеме изоморфизма групп.

16.20 ч., ауд. 115, ИМ

Hyun-Jung Kim (KAIST)
Scheduling with Machine Learning.

Семинары ОФ ИМ СО РАН

Семинары ММЦ в Академгородке

Диссертационные советы SciAct1C-Кабинет сотрудника Важнейшие результаты

Новые публикации

Bardakov V. G., Kozlovskaya T. A., Talalaev D. V.
Самодистрибутивные алгебры и биалгебры
Теоретическая и математическая физика. 2025. Т. 224. № 1. С. 3-21.
DOI: 10.4213/tmf10900

Alexandrov V., Volokitin E.
Steffen’s flexible polyhedron is embedded. A proof via symbolic computations
Journal for Geometry and Graphics. 2025. V. 29. N 1. P. 79-88.

Kashapov R., Afanasyev A., Sharifulin R., Khrushchev S., Ruzankin P., Demin I., Bogachev-Prokophiev A.
Minimally Invasive or Conventional Sternotomy for Mitral Valve Surgery With Concomitant Surgical Ablation for Atrial Fibrillation: A Comparative Systematic Review
Reviews in Cardiovascular Medicine. 2025. V. 26. N 8. 39706 :1-11.
DOI: 10.31083/rcm39706

Galt A. A., Tyutyanov V. N.
$G$-permutable Subgroups in $PSL2(q)$ and Hereditarily $G$-permutable Subgroups in $PSU3(q)$
Известия Иркутского государственного университета. Серия: Математика (Bulletin of Irkutsk State University. Series Mathematics). 2025. V. 53. P. 156-164.
DOI: 10.26516/1997-7670.2025.53.156

Пожидаев А. П.
Об изоморфизмах эндоморфов и дублей Витта
Сибирский математический журнал. 2025. Т. 66. № 5. С. 937-959.
DOI: 10.33048/smzh.2025.66.514

Редакционная деятельность

Журналы ИМ СО РАН

Сибирский математический журнал
Сайт журнала | СМЖ в Springer | Полные тексты

Дискретный анализ и исследование операций
Сайт журнала | Полные тексты

Сибирский журнал индустриальной математики
Сайт журнала  |  Полные тексты

Journal of Applied and Industrial Mathematics
Сайт журнала

Сибирские электронные математические известия
Сайт журнала

Свежие номера журналов

Сибирский математический журнал
Том 66, 2025 г., номер 5

Дискретный анализ и исследование операций
Том 32, 2025 г., номер 2

Сибирский журнал индустриальной математики
Том 28, 2025 г., номер 2(102)

Сибирские электронные математические известия
Том 22, 2025 г., номер 1

По результатам оценки результативности научных организаций ФГБУН Институту математики им. С. Л. Соболева Сибирского отделения Российской академии наук присвоена 1 категория.

Список публикаций сотрудников ИМ СО РАН за 2014-2022 гг. (по информации Scopus)

Список публикаций сотрудников ИМ СО РАН за 2014-2022 гг. (Web of Science (Core Collection))