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

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

Заседания семинаров

15.30 ч., к. 305, ИМ
Zoom

Объединенное заседание Семинара по геометрическому анализу им. Ю. Г. Решетняка и Семинара «Геометрическая теория функций»

Дроздов Дмитрий Алексеевич (ИМ СО РАН)
Анализ на самоподобных множествах с конечным пересечением (предварительная защита кандидатской диссертации в дисс. совете НГУ; научный руководитель - д.ф.-м.н. А. В. Тетенов).

14.30 ч., к. 305, ИМ
Zoom

Объединенное заседание Семинара по геометрическому анализу им. Ю. Г. Решетняка и Семинара «Геометрическая теория функций»

Аллабергенова Клара Бекиммат кизи (НГУ)
Пересечение копий и характер ветвления самоподобных дендритов (предварительная защита кандидатской диссертации в дисс. совете НГУ; научный руководитель - д.ф.-м.н. А. В. Тетенов).

16.00 ч., Zoom

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

Аннотация

Количественные оценки накопления радиофармпрепарата в патологических очагах при обследовании методом однофотонной эмиссионной компьютерной томографии (ОФЭКТ) имеют ключевое значение для определения стадии заболевания и планирования радионуклидной терапии. В данной работе выполнено сравнение двух алгоритмов реконструкции изображений: стандартного итерационного алгоритма Ordered Subset Expectation Maximization (OSEM), которым оснащено большинство ОФЭКТ-установок, и регуляризированного алгоритма реконструкции на основе байесовского подхода Maximum A Posteriori (MAP) с априорной информацией в виде функционала энтропии (MAP-Ent). Исследования проводились методом имитационного компьютерного моделирования in silico с использованием цифрового двойника вещественного фантома NEMA IEC. Оценка точности проводилась по коэффициенту восстановления, равный отношению максимального значения полученного решения в очаге к его точной величине. Результаты показали, что метод MAP-Ent:

  • обеспечивает более высокую количественную точность,
  • уменьшает влияние краевых артефактов по сравнению с OSEM,
  • позволяет контролировать артефакты за счёт выбора параметра регуляризации.

Таким образом, регуляризированный алгоритм MAP-Ent демонстрирует преимущества перед стандартным OSEM и может быть полезен для повышения точности диагностики и планирования терапии.

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

А. С. Герасимов (Санкт-Петербург)
Депренексификация в финитарных аналитических исчислениях для первопорядковой бесконечнозначной логики Лукасевича и полнота основанных на них инфинитарных исчислений.

Аннотация

В докладе рассматривается несколько финитарных аналитических гиперсеквенциальных исчислений для первопорядковой бесконечнозначной логики Лукасевича \L$\forall$, включая введённое Баацем (Baaz) и Меткалфом (Metcalfe) исчисление G\L$\forall$. В этих исчислениях правило сечения не допустимо и, вообще говоря, формула и её (определённая чисто синтаксически) пренексная форма не равновыводимы. Однако мы предлагаем метод депренексификации, позволяющий любой вывод любой гиперсеквенции $H$, в которой выделено вхождение любой пренексной формы любой формулы $F$, алгоритмически перестроить в вывод гиперсеквенции, полученной из $H$ заменой этого вхождения на $F$. С помощью этого метода мы устанавливаем полноту инфинитарных аналитических исчислений для \L$\forall$, основанных на вышеупомянутых финитарных исчислениях. В частности, даём первое верное доказательство полноты основанного на G\L$\forall$ инфинитарного аналитического исчисления для \L$\forall$.

Прослушивание доклада, состоявшегося на нашем семинаре 03.06.2025, не обязательно для понимания анонсируемого доклада; последний лишь опирается на основной результат первого.

14.30 ч., Google Meet

Силаев Д.
A self-adaptive memeplexes robust search scheme for solving stochastic demands vehicle routing problem.
Реферат статьи 2012 из журнала International Journal of Systems Science.

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

Andrea Sorbi (Siena, Italy)
Every nonzero enumeration degree contains infinitely many singleton degrees.

14.30 ч., Google Meet

Маткурбанов Тулкин Алимбоевич
Оптимизация сети сбора данных для мониторинга больших территорий.
Диссертация по техническим наукам
Специальность 1.2.2 – «Математическое моделирование, численные методы и комплексы программ»

16.20 ч., к. 305, ИМ
Курсовые работы (1 курс магистратуры)
  1.  Х. М. Трой
    О симплектических солвмногообразиях.
    Научный руководитель - И. А. Тайманов
     
  2. М. Ивлев
    О коммутирующих дифференциальных операторах ранга 2, отвечающих тригональным спектральным кривым рода 3.
    Научный руководитель - А. Е. Миронов
     
  3. Т. А. Алексеев
    Симметрии системы уравнений, описывающей интегрируемые геодезические потоки на поверхности.
    Научный руководитель - А. Е. Миронов
     
  4. Д. В. Аксенов
    Об одном методе построения минимальных подмногообразий коразмерности 2.
    Научный руководитель – Н. А. Даурцева
     
  5. С. Кунназаров
    О двумерных геодезических потоках с рациональными интегралами.
    Научный руководитель – С. В. Агапов

Список семинаров

***

В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.

На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.

Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.

***

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