Заседания семинаров
Yandex Telemost
Д. А. Сбоев
Описание операторов композиции пространств Соболева в метрических пространствах с мерой. II (продолжение).
Аннотация
В докладе будет изложено детальное описание гомеоморфизмов, индуцирующих ограниченные операторы композиции пространств Соболева $\varphi^{*}:D^{1,p}(Y)\cap Lip(Y)\to D^{1,q}(X)$, $\varphi^{*}(u)=u \circ \varphi$, $1 \le q < p < \infty$.Гондюл Е. А. (Институт нефтегазовой геологии и геофизики им. А. А. Трофимука СО РАН)
Алгоритм моделирования сейсмических волновых полей с использованием сеточного метода и нейронной сети (по материалам кандидатской диссертации).
Аннотация
В докладе будет представлен разработанный метод расчета волновых сейсмических полей на основе комбинирования сеточных методов решения системы уравнений динамической теории упругости с методами машинного обучения для повышения эффективности и ускорения моделирования данных сейсмических наблюдений. Используется нейронная сеть NDM-net (Numerical dispersion mitigation neural network) для подавления численных ошибок в сейсмических данных, отвечающих двумерным моделям изотропной упругой среды.
Разработана методика выбора оптимального набора положений источников для формирования обучающей выборки. Рассматривается применение разработанного алгоритма для сейсмического мониторинга захоронения CO2. При использовании NDM-net подавляется как численная дисперсия, так и численной ошибки при возмущении скоростной модели среды. При этом вычислительное время уменьшается более чем в 6 раз.
Н. Н. Ачасов и Г. Н. Шестаков
Феноменологическое описание распада $D_{s0}^{*}(2317)\to D_{s} \pi^0$.
Работа опубликована в журнале Physical Review D 112, 096004 (2025).
А. Кононов
Combined Scheduling, Memory Allocation and Tensor Replacement for Minimizing Off-Chip Data Accesses of DNN Accelerators
Реферат статьи Y. Li, A. Gupta, S. Malik (2023).
Zoom
В. А. Александров (ИМ СО РАН)
Изгибаемый многогранник Штеффена является вложенным. Доказательство.
Аннотация
В докладе будет представлено доказательство отсутствия самопересечений у изгибаемого многогранника Штеффена. Существенную роль в доказательстве играют символьные компьютерные вычисления в Wolfram Mathematica.
Доклад основан на статье:
V. Alexandrov and E. Volokitin: Steffen's flexible polyhedron is embedded. A proof via symbolic computation // Journal for Geometry and Graphics. V. 29, N 1. P. 79-88. 2025.
И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами.
Л. А. Грюнвальд
Обзор некоторых результатов из статьи:
“CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs.” Часть 2.
Заседание, посвящённое памяти М. И. Каргаполова.

