Элементы теории синтеза, надежности и контроля дискретных управляющих систем — различия между версиями
DanilovB (обсуждение | вклад) (→Материалы по курсу) |
DanilovB (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
__NOTOC__ | __NOTOC__ | ||
<div style="max-width:940px"> | <div style="max-width:940px"> | ||
− | Курс по магистерской программе Дискретные управляющие системы и их приложения. | + | Курс по магистерской программе Дискретные управляющие системы и их приложения (гр. 518/2). |
− | Чтение курса обеспечивается кафедрой математической кибернетики, лекторы — профессор [[Ложкин Сергей Андреевич]] | + | Курс является обязательным для всех (интегрированных) магистров кафедры математической кибернетики, обучающихся по программе «Дискретные управляющие системы и их приложения». |
+ | |||
+ | Он читается во 2 семестре в объёме 36 часов лекций, сопроводаемых 16 часами семинарских занятий, и завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи. | ||
+ | |||
+ | В приведённых далее информационных материалах содержатся подробные сведения о программе курса и планах его изучения в 2019--2020 уч. году, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена. | ||
+ | |||
+ | В соответствии с этими планами в течение семестра проводится несколько контрольных мероприятий. По результатам этих мероприятий с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене. | ||
+ | |||
+ | Курс «Элементы теории синтеза, надежности и контроля дискретных управляющих систем» является дополнением курса «Основы кибернетики» и «Элементы теории дискретных управляющих систем». Он посвящён более глубокому изучению ряда моделей, методов и результатов теории синтеза дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС. | ||
+ | |||
+ | В нём рассматриваются, в частности, вопросы геометрической реализации схем на примере синтеза клеточных схем из функциональных элементов (СФЭ) и вложения деревьев. Излагаются методы синтеза, с помощью которых устанавливаются т.н. асимптотические оценки высокой степени точности (АОВСТ) функции Шеннона для сложности схем из некоторых классов. | ||
+ | |||
+ | В рамках модели СФЭ излагаются некоторые вопросы контроля УС, связанные, в частности, с построением тестов при неисправностях на входах схем, а также при неисправностях на выходах элементов. На базе вероятностной модели СФЭ рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения надёжных СФЭ из ненадежных элементов, имеющих для почти всех функций оптимальную по порядку сложность. | ||
+ | |||
+ | Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2019-2020 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru) и доцент [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru). | ||
== Материалы по курсу == | == Материалы по курсу == | ||
− | * [[Media: | + | * [[Media:Курс_ЭТСНКДУС-20-1_318.pdf| Информационные материалы (гр. 518/2)]] (15.04.2020). |
* [[Media:Слайды_ЭТСНКДУС_Ч1.pdf| Материалы для подготовки по I части]] (13.01.2017). | * [[Media:Слайды_ЭТСНКДУС_Ч1.pdf| Материалы для подготовки по I части]] (13.01.2017). | ||
Версия 02:02, 15 апреля 2020
Курс по магистерской программе Дискретные управляющие системы и их приложения (гр. 518/2).
Курс является обязательным для всех (интегрированных) магистров кафедры математической кибернетики, обучающихся по программе «Дискретные управляющие системы и их приложения».
Он читается во 2 семестре в объёме 36 часов лекций, сопроводаемых 16 часами семинарских занятий, и завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи.
В приведённых далее информационных материалах содержатся подробные сведения о программе курса и планах его изучения в 2019--2020 уч. году, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.
В соответствии с этими планами в течение семестра проводится несколько контрольных мероприятий. По результатам этих мероприятий с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.
Курс «Элементы теории синтеза, надежности и контроля дискретных управляющих систем» является дополнением курса «Основы кибернетики» и «Элементы теории дискретных управляющих систем». Он посвящён более глубокому изучению ряда моделей, методов и результатов теории синтеза дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.
В нём рассматриваются, в частности, вопросы геометрической реализации схем на примере синтеза клеточных схем из функциональных элементов (СФЭ) и вложения деревьев. Излагаются методы синтеза, с помощью которых устанавливаются т.н. асимптотические оценки высокой степени точности (АОВСТ) функции Шеннона для сложности схем из некоторых классов.
В рамках модели СФЭ излагаются некоторые вопросы контроля УС, связанные, в частности, с построением тестов при неисправностях на входах схем, а также при неисправностях на выходах элементов. На базе вероятностной модели СФЭ рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения надёжных СФЭ из ненадежных элементов, имеющих для почти всех функций оптимальную по порядку сложность.
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2019-2020 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.ru) и доцент Романов Дмитрий Сергеевич (romanov@cs.msu.ru).
Материалы по курсу
- Информационные материалы (гр. 518/2) (15.04.2020).
- Материалы для подготовки по I части (13.01.2017).
[архив объявлений] |