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