Заседания семинаров
Иван Давыдов
Задача распределения регистров и планирования инструкций. Обзор.
Zoom
Л. А. Грюнвальд (ИМ СО РАН, Новосибирск)
О критической группе конуса над графом сэндвичем.
Аннотация
В докладе рассматривается критическая группа конуса над графом сэндвичем. Показано, что ее структура может быть описана через дискретный оператор Лапласа, а также получено рекуррентное соотношение, позволяющее эффективно проводить вычисления и выявлять свойства исследуемых групп.П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 2).
Бирама Сангаре
Автоморфизмы и антиавтоморфизмы квандлов.
Демиденко Г. В.
Об одном классе уравнений, не разрешенных относительно старшей производной.
И. А. Бизяев (УдГУ, Ижевск)
Качественный анализ геодезических из общей теории относительности.
- Шахзод Файзуллаев
Асимптотика числа различных слов в модели, управляемой цепью Маркова.
Аннотация
Рассматриваются модели появления различных слов, управляемые конечной цепью Маркова с бесконечными урновыми схемами. Изучается предельное поведение процессов и влияние стационарных вероятностей на их нормализацию.
- Александр Резлер
Метод пробных функций для нахождения оценок скорости сходимости однородных цепей Маркова к инвариантному распределению.
Аннотация
Критерий Фостера является удобным инструментом для доказательства положительной возвратности однородной марковской цепи. Его суть заключается в определении такой пробной функции $L(x)$, что математическое ожидание ее приращения за один шаг от элементов цепи отрицательно вне некоторого множества и ограничено внутри него. В работах С. Г. Фосса было доказано обобщение критерия на многошаговый случай.
Впрочем, при использовании критерия Фостера для исследования эргодичности марковской цепи, остается открытым вопрос о связи свойств распределения приращения $L$ и скорости сходимости цепи к инвариантному распределению. Как известно, последняя зависит от свойств распределения момента возвращения цепи в положительно возвратное множество.
В докладе будут приведены теоретические результаты метода пробных функций на случай растущих и, более того, случайных шагов, а также примеры, где полученные результаты удалось применить.
Стажер-исследователь Михайлапов Денис Иванович
Коррекция маски на трехмерных томографических изображениях головного мозга для слабо контролируемой сегментации острого ишемического инсульта.

