Автоматы в лабиринтах

Название спецкурса на английском языке
Automata in labyrinths
Авторы курса
Волков Николай Юрьевич
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2026/27
Список тем
Лабиринты: прямоугольные, мозаичные, шахматные.
Перемещение независимых систем автоматов в лабиринтах.
Возможность обхода конечных мозаичных лабиринтов конечными автоматами.
Теорема Будаха-Подколзина (невозможность обхода конечным автоматом всех мозаичных лабиринтов).
Обход автоматом конечных односвязных шахматных лабиринтов.
Обход конечным автоматом конечных лабиринтов с ограниченными внутренними дырами.
Перемещение в лабиринтах коллективов автоматов.
Периодичность поведения системы автоматов в конечных лабиринтах.
Пример непериодического поведения коллектива автоматов.
Автоматы со счётчиками.
Обход произвольных конечных шахматных лабиринтов автоматом со счётчиком.
Обход произвольных конечных шахматных лабиринтов коллективом автоматов.
Обход коллективом автоматов лабиринтов с одной дырой.
Постановка задачи преследования в шахматных лабиринтах.
Поведение конечного автомата в L0.
Задача преследования независимой системой хищников независимой системы жертв в L0.
Поведение конечного автомата в L1.
Задача преследования независимой системой хищников независимой системы жертв в L1.
Поведение конечного автомата в L2(l).
Задача преследования независимой системой хищников независимой системы жертв в L2(l).
Поведение конечного автомата в L3(l) и L4.
Задача преследования независимой системой хищников независимой системы жертв в L3(l) и L4.
Поимка данной жертвы в L0 коллективом хищников.
Существование универсального коллектива хищников в L0.
Существование универсального коллектива хищников в L1, L2(l), L3(l) и L4.
Задача преследования коллективом хищников независимой системы жертв в L5(l).
Нерешённые лабиринтные задачи.
Список источников
http://intsys.msu.ru/magazine/archive/v12(1-4)/volkov-137-158.pdf
http://intsys.msu.ru/magazine/archive/v11(1-4)/volkov-361-402.pdf
Дополнительная информация

Рассматриваются классические результаты по обходу мозаичных лабиринтов независимыми системами и коллективами автоматов, авторские результаты по задаче преследования в конечных и бесконечных шахматных лабиринтах. Наиболее интересный результат - существование в бесконечных лабиринтах простого вида универсального коллектива хищников, ловящего любую конечную независимую систему жертв. Также в рамках курса изучается программирование на коллективах автоматов.

День недели
четверг
Время
16:45-18:20
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Дополнительные главы теории вероятностей. Часть I

Название спецкурса на английском языке
Additional topics of probability theory. Part I
Авторы курса
Орлов Олег Павлович
Пререквизиты
Математический анализ, теория функций, базовый курс теории вероятностей
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра математической статистики и случайных процессов]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Предельные теоремы для сумм зависимых случайных индикаторов
Условные математические ожидания и условные распределения
Неравенства и предельные теоремы для вероятностей больших уклонений
Расстояние по вариации между вероятностными распределениями
Энтропия и теорема о числе высоковероятных цепочек
Список источников
А.А.Боровков. Теория вероятностей. URSS, 2009
В.Ф.Колчин, Б.А.Севастьянов, В.П.Чистяков. Случайные размещения. М.:Наука, 1976
Зубков А.М., Севастьянов Б.А., Чистяков В.П. Сборник задач по теории вероятностей. М.:Наука, 1989.
А.Файнстейн. Основы теории информации. М.: ИЛ, 1960
День недели
четверг
Время
16:45-18:20
Аудитория
1226а
Дата первого занятия
Аудитория первого занятия
1226а
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Распознающие системы

Название спецкурса на английском языке
Recognition systems
Авторы курса
Козлов Вадим Никитович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору студента
Учебный год
2026/27
Список тем
Двумерное изображение, код двумерного изображения
Лемма о построении изображения по коду и заданным трем точкам
Теорема о кодах аффинно эквивалентных плоских изображений
Определение к-эквивалентности (к ≥2) двумерных изображений. Теорема о к-эквивалентности
Трехмерное изображение, код трехмерного изображения. Теорема о кодах аффинно эквивалентных объемных изображений
Цифровая подпись на основе кодов изображений
Постановка задачи о восстановлении тела по плоским проекциям. Основные определения
Лемма об условиях а-эквивалентности проекций тела
Основная лемма в задаче о восстановлении тела по плоским проекциям
Теорема о восстановлении тела по плоским проекциям
Алгоритм определения соответствующих друг другу точек на двух проекциях
Постановка задачи об искомом взаиморасположении двух изображений. Основные определения для случая параллельного переноса
Характеристическое изображение, его ядро, ключевая окружность
Лемма об эквивалентности ядер характеристических изображений при параллельных переносах
Лемма о дополнении ядра характеристического изображения новым центром
Теорема о единственности искомого взаиморасположения при параллельных переносах
Постановка задачи об искомом взаиморасположении изображений для аффинного случая. Согласованность изображений
Теорема о согласованности изображений как необходимом условии искомого взаиморасположения
Дискриминантный подход к распознаванию образов. Линейные и квадратичные дискриминантные функции. Пороговый логический блок
Теорема об обучении при линейных дискриминантных функциях (теорема Новикова)
Структурно-лингвистический подход к распознаванию. Порождающая грамматика и язык
Тестовый подход к распознаванию образов. Тупиковый тест. Алгоритм голосования по тестам.
Теорема о соответствии между монотонными булевыми функциями и характеристическими тестовыми функциями
Список источников
Козлов В.Н. Математическая теория зрительного восприятия - М.: Издательство Московского университета, 2026. – 147 c.(серия Классический университетский учебник).
Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.Н. Введение в теорию интеллектуальных систем. – М.: МАКС Пресс, 2006. – 208 c.
Хорн Б.К.П. Зрение роботов – М.: Мир, 1989
День недели
четверг
Время
15:00-16:35
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Специальные вопросы аналитической механики

Название спецкурса на английском языке
Special questions of analytical mechanics
Авторы курса
Кугушев Евгений Иванович
Пререквизиты
Математический анализ, алгебра, линейная алгебра и геометрия, аналитическая геометрия, дифференциальная геометрия, дифференциальные уравнения, функциональный анализ, теоретическая механика
Целевая аудитория
аспиранты
Подразделение
[Кафедра теоретической механики и мехатроники]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Элементы орбиты в задаче Кеплера и задаче двух тел.
Уравнение движения возмущенного движения в оскулирующих элементах.
Гравитационный потенциал и его спутниковое приближение.
Уравнения движения в центральном гравитационном поле и их первые интегралы.
Динамика твердого тела в центральном гравитационном поле, ограниченная постановка, относительные равновесия.
Групповые методы механики Группы и алгебры Ли, ряды Ли и Хаусдорфа.
Групповые инварианты и собственные функции, уравнения Пуанкаре.
Группы вращений, кватернионы.
Динамика управляемых систем, существование решения в оптимальных задачах, скользящие режимы.
Принцип максимума Понтрягина, регулярный синтез.
Метод динамического программирования, уравнение Беллмана.
Элементы теории дискретных и дифференциальных игр.
Динамика систем с односторонними связями и ударами, принцип Даламбера-Лагранжа для односторонних связей, лагранжева теория удара.
Основные законы теории удара, удар твердого тела о поверхность, соударение двух тел.
Математические и динамические бильярды, геометрическая теорема Пуанкаре и теорема Биркгофа о периодических движениях.
Список источников
Болотин С.В., Карапетян А.В., Кугушев Е И., Трещев Д.В. Теоретическая механика. М.: Академия. 2010.
Журавлев В.Ф. Основы теоретической механики. М.: Физматлит, 2008.
Александров В.В., Лемак С.С., Парусников Н.А. Лекции по механике управляемых систем. М.: МАКС пресс, 2012.
Охоцимский Д.Е. Динамика космических полетов. М.: Изд-во Моск. ун-та, 1968.
Болтянский В.Г. Математические методы оптимального управления. М.: Наука, 1969.
Айзекс Р. Дифференциальные игры. М.: Мир, 1967.
Биркгоф Дж. Динамические системы. Ижевск: НИЦ "РХД", 1999.
Дополнительная информация

Специальный курс для аспирантов 2-го года обучения посвящен вопросам аналитической механики классических и управляемых механических систем, выходящим за рамки стандартных курсов. В спецкурсе рассматриваются специальные задачи небесной механики, в частности движение твердого тела в центральном гравитационном поле с учетом спутникового приближения гравитационного потенциала. Излагаются основы геометрических аспектов механики, основанные на групповых методах (группы и алгебры Ли, группы симметрий, группы вращений). Рассматриваются основные принципы и методы динамики управляемых систем, основанные на принципе максимума Понтрягина и теории регулярного синтеза. Эти методы сопоставляются с методом динамического программирования, уравнением Беллмана. Даются элементы теории дискретных и дифференциальных игр. Также рассматривается динамика систем с односторонними связями и ударами. Формулируется принцип Даламбера-Лагранжа для таких систем, из которого выводится лагранжева теория удара.

День недели
четверг
Время
09:00-10:35
Аудитория
Внешняя площадка
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Введение в астродинамику

Название спецкурса на английском языке
Introduction to astrodynamics
Авторы курса
Грушевский Алексей Васильевич
Пререквизиты
Математический анализ, алгебра, линейная алгебра и геометрия, аналитическая геометрия, дифференциальная геометрия, дифференциальные уравнения, теоретическая механика
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра теоретической механики и мехатроники]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Задача Кеплера. Первые интегралы уравнений движения материальной точки в ньютоновом поле. Траектории движения точки.
Формулы, задающие движение точки в функции времени. Аномалии. Элементы орбиты.
Метод сопряженных конических сечений. Периодические решения в ограниченной задаче трёх тел. Способ отыскания периодических решений с помощью сфер действия.
Пролет притягивающего центра по гиперболической траектории. Картинная плоскость.
Изохронные производные радиус-вектора и скорости точки, движущейся по кеплеровой эллиптической орбите.
Формула Ламберта. Построение решений задачи Ламберта, классификация Артура Кэли. Формула Ламберта для эллиптического движения.
Определение кеплеровой орбиты небесного тела по двум положениям. Формула Ламберта для гиперболического движения. Формула Баркера.
Ограниченная задача трех тел (материальных точек). Сфера действия тела.
Приближенное решение ограниченной задачи трех тел методом сфер действия. Метод точечных сфер действия.
Гравитационный маневр. Оптимизация параметров гравитационного маневра с помощью картинной плоскости. Полеты космических аппаратов к Луне и планетам Солнечной системы с использованием гравитационных маневров.
Сфера V-бесконечность. Резонансные кривые на V-бесконечность сфере. Полюс наклонения.
Гравитационные маневры в окрестностях планет Солнечной системы. Диаграмма Тиссерана-Пуанкаре. Цепочки гравитационных маневров. Повышающие гравитационные маневры.
Эффективный радиус планеты. Полный эффективный радиус планеты. Интеграл Якоби в синодической системе координат. Поверхности Хилла. Базовое свойство интеграла Якоби.
Основное свойство интеграла Якоби, экспресс-вывод. Цепочки гравитационных маневров.
Изменение скорости точки при пролёте мимо притягивающего центра по гиперболе. Задача о попадании точки в планету по гиперболической траектории. Интеграл Якоби в сидерической системе координат. Критерий Тиссерана. 3-D диаграмма Тиссерана-Пуанкаре.
Понижение асимптотической скорости КА в многотельных планетарных системах относительно лун и планет с целью их исследования. Малозатратная схема КА «Галилео» перелёта к Юпитеру по маршруту VEE-GA.
Периодичность оптимальных дат старта для межпланетных перелётов. Комплекс программ Balcalk. Полёты к Марсу 2028-2031 гг. Окна старта. Полёты к Венере 2028-2034 гг.
Список источников
Охоцимский Д.Е.. Динамика космических полетов. М.: Изд-во Моск. ун-та, 1968.
Сазонов В.В., Барбашова Т.Ф. Лекции по механике космического полета. М.: Изд-во Моск. ун-та, 2018.
Охоцимский Д.Е., Сихарулидзе Ю.Г. Основы механики космического полета. М.: Наука, 1990.
Боровин Г.К., Голубев Ю.Ф., Грушевский А.В. и др. Баллистико-навигационное обеспечение полетов автоматических космических аппаратов к телам Солнечной системы. М., Химки: “НПО Лавочкина”, 2018.
Дубошин Г.Н. Небесная механика. Основные задачи и методы. М.: Наука, 1975.
Белецкий В.В. Очерки о движении космических тел. М.: Наука, 1972.
Егоров В.А. Пространственная задача достижения Луны. М.: Наука, 1965.
Балк М.Б., Демин В.Г., Куницын А.Л. Сборник задач по небесной механике и космодинамике. М.: Наука, 1972.
Голубев Ю.Ф., Грушевский А.В., Корянов В.В. и др. Основное свойство интеграла Якоби для гравитационных маневров в Солнечной системе. М.: ИПМ им. М.В. Келдыша РАН, 2019.
Субботин М.Ф. Введение в теоретическую астрономию. М.: Наука, 1968.
Суханов А.А. Астродинамика. М.: Ин-т космических исследований РАН, 2010.
День недели
четверг
Время
15:00-16:35
Аудитория
1603
Дата первого занятия
Аудитория первого занятия
1603
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.