Элементы теории дискретных управляющих систем
Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 7 семестре в объёме 36 часов лекций.
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2016-2017 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.su) и доцент Романов Дмитрий Сергеевич (d_s_romanov@mail.ru).
Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов контроля УС.
В нём рассматриваются дополнительные вопросы как массового так и индивидуального синтеза УС. В программу курса входят, в частности, результаты об асимптотике функции Шеннона для сложности формул, схем из функциональных элементов, контактных и итеративно-контактных схем в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе. Изучается сложность реализации ряда ФАЛ и систем ФАЛ, встречающихся в приложениях, в некоторых классах УС.
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.
Материалы по курсу
- Таблица посещаемости и успеваемости (01.19.2017)
- Вопросы и типовые задачи к экзамену, сроки проведения контрольных мероприятий (01.11.2016)
- Информационные материалы (14.12.2016)
- Ложкин С.А. Элементы теории синтеза дискретных управляющих систем [Методические материалы] : Часть 1 (21.01.2017)
| [архив объявлений] |
