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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Материалы по курсу)
Строка 2: Строка 2:
 
<div style="max-width:940px">
 
<div style="max-width:940px">
  
Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 7 семестре в объёме 36 часов лекций.
+
Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 6 семестре в объёме 36 часов лекций.
  
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2016-2017 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su) и доцент [[Романов Дмитрий Сергеевич]] (d_s_romanov@mail.ru).
+
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2018-2019 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru).
  
Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом [[Основы кибернетики (318, 418 группы)|«Основы кибернетики»]] и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов контроля УС.
+
«Элементы теории дискретных управляющих систем» читается вслед за курсом [[Основы кибернетики (2-й поток, 3 курс)|«Основы кибернетики»]] и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля~УС.
  
В нём рассматриваются дополнительные вопросы как массового так и индивидуального синтеза УС. В программу курса входят, в частности, результаты об асимптотике функции Шеннона для сложности формул, схем из функциональных элементов, контактных и итеративно-контактных схем в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе. Изучается сложность реализации ряда ФАЛ и систем ФАЛ, встречающихся в приложениях, в некоторых классах УС.
+
В~нём рассматриваются, в частности, дополнительные вопросы минимизации дизъюнктивных нормальных форм (ДНФ).
 +
 
 +
В~программу курса входят результаты об асимптотике функции Шеннона для сложности формул и схем из функциональных элементов в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе.
 +
 
 +
В~рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов на базе вероятностной модели схем из функциональных элементов (СФЭ) над базисом из надёжных и ненадёжных элементов. Рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения сколь угодно надёжных или самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность.
  
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.
 
 
<!--
 
<!--
 
==Материалы семинаров==
 
==Материалы семинаров==
Строка 17: Строка 20:
 
* '''[[Media: elems_sem3.pdf | Семинар]]''': Построение универсальных множеств и обобщённых разложений (18.04)
 
* '''[[Media: elems_sem3.pdf | Семинар]]''': Построение универсальных множеств и обобщённых разложений (18.04)
 
-->
 
-->
 
== Материалы по курсу ==
 
* [[Media:Список вопросов к экзамену по курсу ЭТДУС.docx|Вопросы к экзамену 2017-2018 учебного года (318 группа)]] (08.06.2018)
 
* [[Media:EDCST-418-Q-18-1.pdf|Вопросы к экзамену 2017-2018 учебного года (418 группа)]] (03.05.2018)
 
  
 
== Материалы прошлых лет ==
 
== Материалы прошлых лет ==
* [[Media:EDCST-GR-170123.pdf|Таблица посещаемости и успеваемости]] (23.01.2017)
 
* [[Media:Курс_ЭТДУС_418.pdf|Информационные материалы]] (14.12.2016)
 
 
* Ложкин С.А. Элементы теории синтеза дискретных управляющих систем [Методические материалы] : [[Media:ЭТСДУС_Часть_1_2016.pdf|Часть 1]] (22.01.2017)
 
* Ложкин С.А. Элементы теории синтеза дискретных управляющих систем [Методические материалы] : [[Media:ЭТСДУС_Часть_1_2016.pdf|Часть 1]] (22.01.2017)
  

Версия 00:35, 6 февраля 2019

Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 6 семестре в объёме 36 часов лекций.

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

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

В~нём рассматриваются, в частности, дополнительные вопросы минимизации дизъюнктивных нормальных форм (ДНФ).

В~программу курса входят результаты об асимптотике функции Шеннона для сложности формул и схем из функциональных элементов в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе.

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


Материалы прошлых лет

  • Ложкин С.А. Элементы теории синтеза дискретных управляющих систем [Методические материалы] : Часть 1 (22.01.2017)


Cybernetics2.png

Объявления

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

Навигация