Элементы теории дискретных управляющих систем — различия между версиями
RomanovDS (обсуждение | вклад) (→Материалы по курсу) |
DanilovB (обсуждение | вклад) |
||
| Строка 2: | Строка 2: | ||
<div style="max-width:940px"> | <div style="max-width:940px"> | ||
| − | Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в | + | Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 6 семестре в объёме 36 часов лекций. |
| − | Чтение курса обеспечивается кафедрой математической кибернетики, | + | Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2018-2019 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru). |
| − | + | «Элементы теории дискретных управляющих систем» читается вслед за курсом [[Основы кибернетики (2-й поток, 3 курс)|«Основы кибернетики»]] и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля~УС. | |
| − | В нём рассматриваются дополнительные вопросы | + | В~нём рассматриваются, в частности, дополнительные вопросы минимизации дизъюнктивных нормальных форм (ДНФ). |
| + | |||
| + | В~программу курса входят результаты об асимптотике функции Шеннона для сложности формул и схем из функциональных элементов в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе. | ||
| + | |||
| + | В~рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов на базе вероятностной модели схем из функциональных элементов (СФЭ) над базисом из надёжных и ненадёжных элементов. Рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения сколь угодно надёжных или самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность. | ||
| − | |||
<!-- | <!-- | ||
==Материалы семинаров== | ==Материалы семинаров== | ||
| Строка 17: | Строка 20: | ||
* '''[[Media: elems_sem3.pdf | Семинар]]''': Построение универсальных множеств и обобщённых разложений (18.04) | * '''[[Media: elems_sem3.pdf | Семинар]]''': Построение универсальных множеств и обобщённых разложений (18.04) | ||
--> | --> | ||
| − | |||
| − | |||
| − | |||
| − | |||
== Материалы прошлых лет == | == Материалы прошлых лет == | ||
| − | |||
| − | |||
* Ложкин С.А. Элементы теории синтеза дискретных управляющих систем [Методические материалы] : [[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)
| [архив объявлений] |
