Заседания семинаров
Zoom
Объединенное заседание Семинара по геометрическому анализу им. Ю. Г. Решетняка и Семинара «Геометрическая теория функций»
Дроздов Дмитрий Алексеевич (ИМ СО РАН)
Анализ на самоподобных множествах с конечным пересечением (предварительная защита кандидатской диссертации в дисс. совете НГУ; научный руководитель - д.ф.-м.н. А. В. Тетенов).
Zoom
Объединенное заседание Семинара по геометрическому анализу им. Ю. Г. Решетняка и Семинара «Геометрическая теория функций»
Аллабергенова Клара Бекиммат кизи (НГУ)
Пересечение копий и характер ветвления самоподобных дендритов (предварительная защита кандидатской диссертации в дисс. совете НГУ; научный руководитель - д.ф.-м.н. А. В. Тетенов).
Нестерова Ангелина Витальевна
Сравнительный анализ подходов к решению обратной задачи реконструкции изображений в эмиссионной медицинской томографии.
Аннотация
Количественные оценки накопления радиофармпрепарата в патологических очагах при обследовании методом однофотонной эмиссионной компьютерной томографии (ОФЭКТ) имеют ключевое значение для определения стадии заболевания и планирования радионуклидной терапии. В данной работе выполнено сравнение двух алгоритмов реконструкции изображений: стандартного итерационного алгоритма Ordered Subset Expectation Maximization (OSEM), которым оснащено большинство ОФЭКТ-установок, и регуляризированного алгоритма реконструкции на основе байесовского подхода Maximum A Posteriori (MAP) с априорной информацией в виде функционала энтропии (MAP-Ent). Исследования проводились методом имитационного компьютерного моделирования in silico с использованием цифрового двойника вещественного фантома NEMA IEC. Оценка точности проводилась по коэффициенту восстановления, равный отношению максимального значения полученного решения в очаге к его точной величине. Результаты показали, что метод MAP-Ent:
- обеспечивает более высокую количественную точность,
- уменьшает влияние краевых артефактов по сравнению с OSEM,
- позволяет контролировать артефакты за счёт выбора параметра регуляризации.
Таким образом, регуляризированный алгоритм MAP-Ent демонстрирует преимущества перед стандартным OSEM и может быть полезен для повышения точности диагностики и планирования терапии.
А. С. Герасимов (Санкт-Петербург)
Депренексификация в финитарных аналитических исчислениях для первопорядковой бесконечнозначной логики Лукасевича и полнота основанных на них инфинитарных исчислений.
Аннотация
В докладе рассматривается несколько финитарных аналитических гиперсеквенциальных исчислений для первопорядковой бесконечнозначной логики Лукасевича \L$\forall$, включая введённое Баацем (Baaz) и Меткалфом (Metcalfe) исчисление G\L$\forall$. В этих исчислениях правило сечения не допустимо и, вообще говоря, формула и её (определённая чисто синтаксически) пренексная форма не равновыводимы. Однако мы предлагаем метод депренексификации, позволяющий любой вывод любой гиперсеквенции $H$, в которой выделено вхождение любой пренексной формы любой формулы $F$, алгоритмически перестроить в вывод гиперсеквенции, полученной из $H$ заменой этого вхождения на $F$. С помощью этого метода мы устанавливаем полноту инфинитарных аналитических исчислений для \L$\forall$, основанных на вышеупомянутых финитарных исчислениях. В частности, даём первое верное доказательство полноты основанного на G\L$\forall$ инфинитарного аналитического исчисления для \L$\forall$.
Прослушивание доклада, состоявшегося на нашем семинаре 03.06.2025, не обязательно для понимания анонсируемого доклада; последний лишь опирается на основной результат первого.
Силаев Д.
A self-adaptive memeplexes robust search scheme for solving stochastic demands vehicle routing problem.
Реферат статьи 2012 из журнала International Journal of Systems Science.
Andrea Sorbi (Siena, Italy)
Every nonzero enumeration degree contains infinitely many singleton degrees.
Маткурбанов Тулкин Алимбоевич
Оптимизация сети сбора данных для мониторинга больших территорий.
Диссертация по техническим наукам
Специальность 1.2.2 – «Математическое моделирование, численные методы и комплексы программ»
Курсовые работы (1 курс магистратуры)
- Х. М. Трой
О симплектических солвмногообразиях.
Научный руководитель - И. А. Тайманов
- М. Ивлев
О коммутирующих дифференциальных операторах ранга 2, отвечающих тригональным спектральным кривым рода 3.
Научный руководитель - А. Е. Миронов
- Т. А. Алексеев
Симметрии системы уравнений, описывающей интегрируемые геодезические потоки на поверхности.
Научный руководитель - А. Е. Миронов
- Д. В. Аксенов
Об одном методе построения минимальных подмногообразий коразмерности 2.
Научный руководитель – Н. А. Даурцева
- С. Кунназаров
О двумерных геодезических потоках с рациональными интегралами.
Научный руководитель – С. В. Агапов