Заседания семинаров
Семенов Юрий Дмитриевич
Планирование вычислительных задач в облачных средах с учётом времени выполнения и стоимости: приближённые алгоритмы и нижние оценки.
Специальность 2.3.5 – «Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей»
Диссертация на соискание учёной степени кандидата физико-математических наук
Научный руководитель: кандидат технических наук Сухорослов Олег Викторович
Kan Fang (Tianjin University)
Single machine scheduling in additive manufacturing with two-dimensional packing constraints.
Я. А. Гостюхин
Квази-Триангулярные Йордановы $D$-алгебры и расширенные относительные операторы Роты-Бакстера.
Yandex Telemost
Сторожук Константин Валерьевич (НГУ)
Дизъюнктно почти тривиальные неограниченные функционалы.
Аннотация
На бесконечномерных функциональных пространствах показано существование неограниченных линейных функционалов, принимающие не более одного ненулевого значения на произвольном семействе элементов, носители которых попарно не пересекаются.М. Э. Иванов
Функторы со свойством подъема и группы виртуальных узлов.
Аннотация
В докладе вводятся функторы со свойством подъёма, обобщающие свойства неабелевых тензорных и внешних произведений. Для них строятся относительные аналоги, связанные с $f$-расширениями групп. Это позволяет получить относительные версии теорем Шура и Бэра и ослабить некоторые гомологические условия в задачах об упорядочиваемости. В качестве приложения доказывается критерий упорядочиваемости групп виртуальных узлов.Дорошенко Светлана Сергеевна (Байкальский государственный университет)
Многофакторные эпидемические модели с постоянно действующим источником заражения.
Аннотация
Диссертационная работа посвящена разработке многофакторных математических моделей эпидемической кинетики для описания распространения вирусной инфекции в городской популяции с учётом постоянно действующих источников заражения, временного запаздывания развития инфекции и наличия бессимптомно инфицированных лиц. В качестве примера рассмотрена инфекция COVID-19.
В диссертации:
- разработана многофакторная интегро-дифференциальная модель эпидемической кинетики для вирусной инфекции с учётом постоянно действующих источников заражения;
- модернизирована дифференциальная модель эпидемической кинетики с запаздыванием для вирусной инфекции с учётом бессимптомно инфицированных лиц;
- исследована динамика эпидемического процесса в нестационарном и квазистационарном режимах;
- получено аналитическое выражение для ядра интегрального оператора на основе статистических данных о выздоровлении пациентов;
- получены аналитические выражения и проведены численные оценки скорости заражения в поликлиниках и неинфекционных стационарах на примере города Иркутска;
- исследованы статистические данные госпитального и амбулаторного лечения пациентов с COVID-19;
- проведён анализ данных о выздоровлении пациентов с учётом сопутствующих заболеваний;
- получены выражения для оценки средней продолжительности лечения и средних затрат на лечение одного пациента.
Полученные результаты позволяют моделировать динамику распространения инфекции с учётом постоянно действующих источников заражения, оценивать влияние отдельных факторов на развитие эпидемического процесса и могут быть использованы для анализа необходимых ресурсов системы здравоохранения и информационной поддержки принятия управленческих решений.
- М. А. Шишленин (ИМ СО РАН)
В гостях у мегасайенса: что мы увидели на синхротроне СКИФ».
- Антон Глухов (ИМ СО РАН)
Системы нелинейных ОДУ с запаздыванием в задачах динамики социальных протестов.
Николай Вячеславович Шилов (преподаватель Лицея 22 "Надежда Сибири" и Институт систем информатики СО РАН, Новосибирск)
Путеводитель (для начинающих) по стране Формальной Семантики Программ.
Аннотация
Три основных исторически сложившихся «провинции» страны Формальной Семантики Программ – это Операционная Семантика, Денотационная Семантика и Аксиоматическая Семантика. Выступление рассчитано прежде всего на тех, кто только начинает путешествие по этой стране, чтобы познакомиться с общедоступным путеводителем...
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
