Элементы теории дискретных управляющих систем
Курс является обязательным для всех бакалавров (интегрированных магистров) кафедры математической кибернетики.
Он читается в 6 семестре в объёме 36 часов лекций и 18 часов семинарских занятий, причём все занятия в 2021-2022 уч. году проходят в дистанционном формате. Курс завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи, изложенные на лекциях и семинарах.
В приведённых ниже информационных материалах содержатся подробные сведения о программе курса и планах его изучения, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.
В соответствии с этими планами в течение семестра проводятся 2 основные (не более 2 часов) и, возможно, несколько промежуточных (до 1 часа) тестов (контрольных). По результатам указанных тестов (контрольных) с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы им выставляются предварительные оценки, играющие существенную роль при формировании окончательной оценки на экзамене.
Курс «Элементы теории дискретных управляющих систем» читается вслед за курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.
В программу курса входят результаты об асимптотике функции Шеннона для сложности (задержки) формул, схем из функциональных и функционально-проводящих элементов в произвольном базисе. Устанавливается возможность синтеза схем из функциональных элементов (СФЭ) асимптотически оптимальных как по сложности, так и по задержке.
На основе вероятностной модели СФЭ над базисом из надёжных и ненадёжных элементов рассматриваются некоторые вопросы их надёжности. Изучается, в частности, возможность построения как сколь угодно надёжных, так и самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность, а также возможность синтеза оптимальных по сложности самокорректирующихся контактных схем для линейных функций.
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2021-2022 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.ru), доцент д.ф.-м.н. Романов Дмитрий Сергеевич (romanov@cs.msu.ru).
Материалы
- Информационные материалы (гр. 318) (15.04.2022)
- Видеозаписи лекций, прочитанных С.А.Ложкиным, публикуются здесь
- Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем [Лекционные слайды] (12.05.2021 v2).
- Ложкин С.А. Элементы теории синтеза и надёжности дискретных управляющих систем [Методические материалы] (16.06.2020 v2).
- Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем (лекции 1-2) [Лекционные слайды] (23.06.2021).

21 июня | 1. Вывешен окончательный список вопросов и типовых задач к экзамену, который несколько отличается от предварительного списка.
2. Экзамен будет проходить 26.06.2021 с 10.00 по схеме устного экзамена: а) краткая подготовка и ответ на 2 теоретических вопроса полученного билета, один из которых относится к первому, другой - ко второму разделам программы курса; б) собеседование (на уровне определений и формулировок) по другим вопросам программы, включая те их них, которые связаны с решением типовой задачи билета; в) решение (возможно, в дополнительное время) конкретной задачи данного типа. 3. Студенты, которые прислали первые полные и правильные письменные решения задач, дававшихся для самостоятельной проработки на семинарских занятиях первого раздела, а также задачи №2 семинара 4 второго раздела курса, от решения конкретных задач данного раздела в ходе экзамена (пункт в) освобождаются. 4. Консультация к экзамену состоится 25.06 в 13.00. 5. Как сам экзамен, так и консультация к нему будут проводиться в системе Zoom (по соответствующим приглашениям). |
1 марта | Опубликованы обновлённые информационные материалы по курсу.
|
[архив объявлений] |