Заседания семинаров
Кладов Д. Е.
Прогнозирование потребления электроэнергии и кластеризация паттернов потребления электроэнергии умного дома на основе ансамблевых методов машинного обучения.
Аннотация
В работе рассматривается задача прогнозирования потребления электроэнергии и кластеризации паттернов потребления для частного домохозяйства. Для повышения точности и робастности кластеризации был разработан и применен ансамблевый алгоритм на основе метрики Вассерштейна. Предложенный подход позволяет выделить типичные сценарии энергопотребления, интерпретировать поведение потребителя и повысить точность краткосрочного прогноза.П. П. Соколов
Фробениусовы $G$-формы на скрещенных алгебрах.
Шеметова В. В. (Новосибирский государственный университет)
Краевые задачи для класса псевдогиперболических уравнений (по материалам кандидатской диссертации).
П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 5).
С. В. Скресанов
Полиномиальные сведения в проблеме изоморфизма групп.
И. С. Борисов, Ю. Ю. Линке
Об одном усилении теоремы Гаека-Шидака.
Аннотация
Доказан аналог теоремы Гаека-Шидака об асимптотической нормальности распределения суммы взвешенных независимых одинаково распределенных центрированных случайных величин с конечным вторым моментом в случае, когда нормирующие коэффициенты этой суммы являются не константами, а случайными величинами.И. В. Кузнецов (ИГиЛ СО РАН, Новосибирск)
Уравнения Навье-Стокса с импульсной правой частью.
Аннотация
В докладе будут рассмотрены уравнения Навье-Стокса для несжимаемой неоднородной жидкости с импульсным воздействием, которое содержит в форме представления аппроксимацию дельта функции Дирака в $t=0$. В докладе будет описан предельный переход по параметру аппроксимации, при котором возникает инфинитезимальный начальный слой. Такие задачи важны как при описании внешних воздействий, так и при описании активных жидкостей, в которых экспериментально доказано возникновение спонтанных потоков за счет внутренних процессов.Е. В. Борисов (ИФИП СО РАН, НГУ)
Натуральный вывод для CWPL.
Аннотация
Кросс-мировая предикация - это приписывание отношений объектам, каждый из которых ассоциирован с некоторым возможным миром. Например, предложение "Джон мог быть выше, чем Мэри, как она есть" приписывает отношение "выше" Джону, каков он в некотором возможном мире $w$, и Мэри, какова она в действительном мире $u$; в этом смысле Джон ассоциирован с $w$, Мэри - с $u$. Для отображения феномена кросс-мировой предикации в модальной логике первого порядка необходима кросс-мировая интерпретация предикатов, т.е. интерпретация, при которой $n$-местному предикату назначаются экстенсионалы не для отдельных возможных миров, а для упорядоченных $n$-ок возможных миров. Одна из логик, основанных на кросс-мировой интерпретации предикатов, была предложена автором; будем называть ее CWPL (crossworld predication logic). В указанных ниже публикациях представлены семантика и табличное исчисление для CWPL. В докладе будет описана семантика и представлено натуральное исчисление для упрощенной версии этой логики. Доклад будет состоять из двух частей.
- Borisov E. V. A Nonhybrid Logic for Crossworld Predication // Logical Investigations. 2023. Vol. 29. No. 2. Pp. 125–147.
- Borisov E. V. A tableau proof theory for CWPL // Logical Investigations. 2025. Vol. 31. No. 1. Pp. 74-96.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
