Элементы теории синтеза, надежности и контроля дискретных управляющих систем

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

Курс по магистерской программе Дискретные управляющие системы и их приложения (гр. 518/2).

Курс является обязательным для всех (интегрированных) магистров кафедры математической кибернетики, обучающихся по программе «Дискретные управляющие системы и их приложения».

Он читается во 2 семестре в объёме 36 часов лекций, сопроводаемых 16 часами семинарских занятий, и завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи.

В приведённых далее информационных материалах содержатся подробные сведения о программе курса и планах его изучения в 2020--2021 уч. году, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.

В соответствии с этими планами в течение семестра проводится несколько контрольных мероприятий. По результатам этих мероприятий с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.

Курс «Элементы теории синтеза, надежности и контроля дискретных управляющих систем» является дополнением курса «Основы кибернетики» и «Элементы теории дискретных управляющих систем». Он посвящён более глубокому изучению ряда моделей, методов и результатов теории синтеза дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.

В нём рассматриваются, в частности, вопросы геометрической реализации схем на примере синтеза клеточных схем из функциональных элементов (СФЭ). Излагаются методы синтеза, с помощью которых устанавливаются т.н. асимптотические оценки высокой степени точности (АОВСТ) функции Шеннона для сложности схем из некоторых классов.

В рамках модели СФЭ излагаются некоторые вопросы контроля УС, связанные, в частности, с построением тестов при неисправностях на входах схем, а также при неисправностях на выходах элементов. На базе вероятностной модели СФЭ рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения надёжных СФЭ из ненадежных элементов, имеющих для почти всех функций оптимальную по порядку сложность.

Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2020-2021 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.ru) и доцент Романов Дмитрий Сергеевич (romanov@cs.msu.ru).

Материалы по курсу

  • Видеозаписи лекций, прочитанных С.А.Ложкиным, публикуются здесь (весна 2021)



Cybernetics.jpg

Объявления

[архив объявлений]

Навигация