Заседания семинаров
Коновалова Д. С.
Построение и исследование математической модели процесса колебаний системы струн
Аннотация
В докладе будет рассмотрен процесс поперечных колебаний системы струн, т.е. струн, соединенных между собой в некоторых точках. Будут представлены два подхода к построению математической модели этого процесса: интегральный - основанный на законе сохранения количества движения, и дифференциальный, результатом которого является система дифференциальных уравнений с дополнительными условиями, отражающими специфику рассматриваемого процесса. Будут обсуждены преимущества, недостатки и перспективы использования каждого из этих подходов.
Для системы, состоящей из двух струн, будет рассмотрена прямая задача, существование и единственность решения которой установлена автором. Для систем двух и четырех струн будут представлены некоторые обратные задачи.
Сабельфельд К. К.
Непрерывные и дискретные стохастические численные методы решения многомерных краевых задач и некоторые приложения.
Google meet
И. А. Медных
Спектральные инварианты циклических накрытий графов и полиномы Чебышева.
Аннотация
Цель данного направления исследований — изучение инвариантов циклических накрытий графов. При этом, накрываемый граф предполагается фиксированным, а циклическая группа накрытия имеет сколь угодно большой порядок. Классическим примером таких накрытий являются циркулянтные графы. Они накрывают одновершинный граф с заданным числом петель.
Доклад посвящен получению аналитических формул, позволяющих вычислять характеристические полиномы Лапласа. Знание такого полинома позволяет определять ряд основных спектральных инвариантов графов. Например, число отмеченных остовных лесов и деревьев, находить их асимптотическое поведение при стремлении числа вершин к бесконечности, и изучать арифметические свойства возникающих здесь числовых последовательностей. Все указанные инварианты являются спектральными — их значения определяются спектром матрицы Лапласа.
Основным инструментом для доказательства полученных результатов выступают полиномы Чебышева. Основные формулы, а также их асимптотика эффективно выражаются через корни линейных комбинаций полиномов Чебышева.
Г. Ольховиков (Рурский университет, Бохум)
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).
Е. М. Сурков
Генетический алгоритм для задачи снабжения АЗС топливом.
Sigrid Knust (Uni of Osnabrück)
Synchronous flow shop scheduling problems.