Заседания семинаров
Николай Вячеславович Шилов (Лицей 22 «Надежда Сибири» и ИСИ СО РАН)
«The Verifying Compiler: a Grand Challenge for Computing Research» ХХ лет спустя.
Аннотация
5 марта 2026 г. скончался сэр Чарльз Энтони Ричард Хоар (Tony Hoare), один из пионеров информатики, лауреат премии Тьюринга (1980), «автор» одной из первых прикладных «нестандартных логик» - логики Хоара. В 2003 г. на международной конференции PSI он выступил с приглашенным докладом The Verifying Compiler: a Grand Challenge for Computing Research (есть более поздняя запись доклада). В предлагаемом выступлении будет дан первый (беглый) обзор развития за 20 лет (2003–2026 гг.) исследований по теме доклада Энтони Хоара.Алексей Викторович Васюков (к.ф.-м.н., МФТИ)
Численное решение прямых и обратных задач диагностики и неразрушающего контроля технических конструкций и биологических сред.
Аннотация
В части решения прямых задач будет рассмотрена математическая модель для описания распространения ультразвуковых импульсов в гетерогенной анизотропной среде, представлен численный метод на сетках из тетраэдров для моделирования ультразвукового исследования в областях сложной геометрии, описана программная реализация с использованием контейнеров Singularity. В докладе будут приведены результаты расчётов прямых задач, связанных с воздействием динамической нагрузки на инженерные композитные конструкции, грудную клетку и череп человека. Также будет рассмотрена серия обратных задач, связанных с диагностикой и неразрушающим контролем технических конструкций и биологических сред - будут приведены результаты решения обратных задач из области геофизики, испытаний технических конструкций, а также из области медицинского ультразвука. Для решения части задач используется сочетание классических градиентных методов и методов машинного обучения. В докладе приводится сравнение результатов расчётов и натурных экспериментов в задачах ультразвукового исследования композита с расслоениями, нагружения нитей тканевых композитов, медицинского ультразвукового исследования в случае наличия акустически контрастного слоя.И. С. Дудин, П. С. Колесников (ИМ СО РАН)
Киральные алгебры с абелевой конформной частью (продолжение).
Аннотация
Исследуется категорный подход к понятию многообразия киральных алгебр. В частности, киральные алгебры Ли известны как вертексные алгебры; в общем случае киральные алгебры являются обобщением конформных. Доказано, что класс киральных алгебр многообразия, заданного бинарной квадратичной операдой Var, у которых конформная структура является абелевой, совпадает с классом дифференциальных алгебр многообразия, заданного черным произведением Манина операд Var и Com.М. В. Швидефски
Ретракты пространств с аппроксимациями.
online
Махлиё Кадирова (НГУ)
О точках ветвления самоподобных континуумов с конечным пересечением (кандидатская диссертация; научный руководитель – д.ф.-м.н. А. В. Тетенов).
А. В. Пяткин, А. И. Сафарова
О не 3-представимости 4-мерного куба.
Нещадим Сергей
Алгоритмы с оценками для некоторых задач кластеризации с ограничениями на разброс кластеров.
Кандидатская диссертация. Специальность 1.2.3 - Теоретическая информатика, кибернетика.
Zoom
Воронин Анатолий Федорович (ИМ СО РАН)
Усеченное уравнение Винера—Хопфа с вещественным символом.
Аннотация
В докладе будут представлены достаточные условия корректной разрешимости (не известные ранее) усеченного уравнения Винера—Хопфа с вещественным символом. Эти условия были получены с помощью проведенного исследования задачи факторизации (векторной краевой задачи Римана—Гильберта), к которой свелось искомое уравнение.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
