Элементы теории синтеза, надежности и контроля дискретных управляющих систем
Курс по магистерской программе Дискретные управляющие системы и их приложения (гр. 518/2).
Курс является обязательным для всех (интегрированных) магистров кафедры математической кибернетики, обучающихся по программе «Дискретные управляющие системы и их приложения».
Он читается во 2 семестре в объёме 36 часов лекций, сопроводаемых 16 часами семинарских занятий, и завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи.
В приведённых далее информационных материалах содержатся подробные сведения о программе курса и планах его изучения в 2019--2020 уч. году, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.
В соответствии с этими планами в течение семестра проводится несколько контрольных мероприятий. По результатам этих мероприятий с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.
Курс «Элементы теории синтеза, надежности и контроля дискретных управляющих систем» является дополнением курса «Основы кибернетики» и «Элементы теории дискретных управляющих систем». Он посвящён более глубокому изучению ряда моделей, методов и результатов теории синтеза дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.
В нём рассматриваются, в частности, вопросы геометрической реализации схем на примере синтеза клеточных схем из функциональных элементов (СФЭ) и вложения деревьев. Излагаются методы синтеза, с помощью которых устанавливаются т.н. асимптотические оценки высокой степени точности (АОВСТ) функции Шеннона для сложности схем из некоторых классов.
В рамках модели СФЭ излагаются некоторые вопросы контроля УС, связанные, в частности, с построением тестов при неисправностях на входах схем, а также при неисправностях на выходах элементов. На базе вероятностной модели СФЭ рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения надёжных СФЭ из ненадежных элементов, имеющих для почти всех функций оптимальную по порядку сложность.
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2019-2020 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.ru) и доцент Романов Дмитрий Сергеевич (romanov@cs.msu.ru).
Материалы по курсу
- Видеозаписи лекций, прочитанных С.А.Ложкиным, публикуются здесь (весна 2021)
- Информационные материалы (гр. 518/2) 2020-2021 учебного года (29.03.2021).
- Материалы для подготовки по I части (13.01.2017).
| [архив объявлений] |
