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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Материалы)
Строка 2: Строка 2:
 
<div style="max-width:940px">
 
<div style="max-width:940px">
  
Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 6 семестре в объёме 36 часов лекций.
+
Курс является обязательным для всех бакалавров (интегрированных магистров) кафедры математической кибернетики.
  
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2018-2019 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru).
+
Он читается в 6 семестре в объёме 36 часов лекций и 18 часов семинарских занятий. Курс завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи, изложенные на лекциях и семинарах.
  
«Элементы теории дискретных управляющих систем» читается вслед за курсом [[Основы кибернетики (2-й поток, 3 курс)|«Основы кибернетики»]] и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.
+
В приведённых далее информационных материалах содержатся подробные сведения о программе курса и планах его изучения в 2019-2020 уч. году, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.
  
В нём рассматриваются, в частности, дополнительные вопросы минимизации дизъюнктивных нормальных форм (ДНФ).
+
В соответствии с этими планами в течение семестра проводится несколько контрольных мероприятий. По результатам указанных контрольных с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.
  
В программу курса входят результаты об асимптотике функции Шеннона для сложности формул, схем из функциональных и функционально проводящих элементов в произвольном базисе.
+
Курс «Элементы теории дискретных управляющих систем» читается вслед за курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.
  
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов. На базе вероятностной модели схем из функциональных элементов (СФЭ) над базисом из надёжных и ненадёжных элементов рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения сколь угодно надёжных или самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность.
+
В программу курса входят результаты об асимптотике функции Шеннона для сложности (задержки) формул, схем из функциональных и функционально-проводящих элементов в произвольном базисе. Устанавливается возможность синтеза схем из функциональных элементов (СФЭ) асимптотически оптимальных как по сложности, так и по задержке.
  
<!--
+
На основе вероятностной модели СФЭ над базисом из надёжных и ненадёжных элементов рассматриваются некоторые вопросы их надёжности. Изучается, в частности, возможность построения как сколь угодно надёжных, так и самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность, а также возможность синтеза оптимальных по сложности самокорректирующихся контактных схем для линейных функций.
==Материалы семинаров==
+
 
* '''[[Media: elems_sem1.pdf | Семинар]]''': Применение метода забивающих констант (28.03)
+
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.  
* '''[[Media: elems_sem2.pdf | Семинар]]''': Верхние оценки числа схем и нижние мощностные оценки функций Шеннона для сложности схем из некоторых классов (12.04)
+
 
* '''[[Media: elems_sem3.pdf | Семинар]]''': Построение универсальных множеств и обобщённых разложений (18.04)
+
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2019-2020 уч. года - профессор Ложкин С.А. (lozhkin@cs.msu.ru).
-->
+
  
 
== Материалы ==
 
== Материалы ==
* [[Media:ЭТСНДУС_2019.pdf| Ложкин С.А. Элементы теории синтеза и надёжности дискретных управляющих систем [Методические материалы]]] (14.06.2019).
+
* [[Media:ЭТСНДУС_2019.pdf| Ложкин С.А. Элементы теории синтеза и надёжности дискретных управляющих систем [Методические материалы]]] (15.04.2020).
* [[Media:Программа_ЭТДУС_2019.pdf|Информационные материалы (гр. 318)]] (14.06.2019 v3)
+
* [[Media:Курс ЭТДУС-20-1 318.pdf|Информационные материалы (гр. 318)]] (15.04.2020)
* [[Media:Вопросы_ЭТДУС_2019.pdf|Вопросы к экзамену (гр. 318)]] (14.06.2019 v3)
+
  
 
{{Шаблон:Элементы теории дискретных управляющих систем - Объявления}}
 
{{Шаблон:Элементы теории дискретных управляющих систем - Объявления}}
  
 
[[Категория:Лекционные курсы кафедры МК]]
 
[[Категория:Лекционные курсы кафедры МК]]

Версия 01:48, 15 апреля 2020

Курс является обязательным для всех бакалавров (интегрированных магистров) кафедры математической кибернетики.

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

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

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

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

В программу курса входят результаты об асимптотике функции Шеннона для сложности (задержки) формул, схем из функциональных и функционально-проводящих элементов в произвольном базисе. Устанавливается возможность синтеза схем из функциональных элементов (СФЭ) асимптотически оптимальных как по сложности, так и по задержке.

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

В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.

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

Материалы


Cybernetics2.png

Объявления

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

Навигация