ИМ СО РАН
Вход для сотрудников

Семинары ИМ СО РАН

Заседания семинаров

14.30 ч., ауд. 417, ИМ

Коновалова Д. С.
Построение и исследование математической модели процесса колебаний системы струн

Аннотация  

В докладе будет рассмотрен процесс поперечных колебаний системы струн, т.е. струн, соединенных между собой в некоторых точках. Будут представлены два подхода к построению математической модели этого процесса: интегральный - основанный на законе сохранения количества движения, и  дифференциальный, результатом которого является система дифференциальных уравнений с дополнительными условиями, отражающими специфику рассматриваемого процесса. Будут обсуждены преимущества, недостатки и  перспективы использования каждого из этих подходов.

Для системы, состоящей из двух струн, будет рассмотрена прямая задача, существование и единственность решения которой установлена автором. Для систем двух и четырех струн будут представлены некоторые обратные задачи.

14.30 ч., модуль ИМ СО РАН

Сабельфельд К. К.
Непрерывные и дискретные стохастические численные методы решения многомерных краевых задач и некоторые приложения.

16.20 ч., к. 417, ИМ
Google meet

И. А. Медных
Спектральные инварианты циклических накрытий графов и полиномы Чебышева.

Аннотация  

Цель данного направления исследований — изучение инвариантов циклических накрытий графов. При этом, накрываемый граф предполагается фиксированным, а циклическая группа накрытия имеет сколь угодно большой порядок. Классическим примером таких накрытий являются циркулянтные графы. Они накрывают одновершинный граф с заданным числом петель.

Доклад посвящен получению аналитических формул, позволяющих вычислять характеристические полиномы Лапласа. Знание такого полинома позволяет определять ряд основных спектральных инвариантов графов. Например, число отмеченных остовных лесов и деревьев, находить их асимптотическое поведение при стремлении числа вершин к бесконечности, и изучать арифметические свойства возникающих здесь числовых последовательностей. Все указанные инварианты являются спектральными — их значения определяются спектром матрицы Лапласа.

Основным инструментом для доказательства полученных результатов выступают полиномы Чебышева. Основные формулы, а также их асимптотика эффективно выражаются через корни линейных комбинаций полиномов Чебышева.

16.20 ч., ауд. 220, ИМ

Г. Ольховиков (Рурский университет, Бохум)
Conditionals in some constructive logics.

Аннотация  

In this talk, we present logics of would- and might-conditionals conservatively extending two constructive propositional logics: the intuitionistic logic $IL$ and the paraconsistent variant $N4$ of Nelson’s logic of strong negation. Our motivation for the correctness of the proposed systems is grounded upon the faithfulness of the respective standard translations of these logics into the first-order versions of $IL$ and $N4$.

We relate our work to the pre-existing work on modal extensions of $IL$ and $N4$ and show, in particular, how our conditional logics induce the basic modal logics $IK$ [1] and $FSK^d$ [2] as their modal companions.

References

[1] G. Fischer-Servi. Semantics for a class of intuitionistic modal calculi. In: M. L. Dalla Chiara, editor, Italian Studies in the Philosophy of Science. Studies in the Philosophy of Science, Vol. 47, 59–72 Dordrecht: Springer. (1981)

[2] S. Odintsov, H. Wansing. Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality. In: V. Hendricks et al., eds, First-Order Logic Revisited, 269–286, Berlin, Logos. (2004).

16.20 ч., к. 344, ИМ

Е. М. Сурков
Генетический алгоритм для задачи снабжения АЗС топливом.

16.20 ч., ауд. 115, ИМ

Sigrid Knust (Uni of Osnabrück)
Synchronous flow shop scheduling problems.

Список семинаров

***

В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.

На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.

Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.

***

Семинары ИМ СО РАН