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

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

Версия 10:12, 12 июня 2021

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

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

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

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

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

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

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

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

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

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

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



Cybernetics.jpg

Объявления

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

Навигация