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