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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

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

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

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

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

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

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


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

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


Cybernetics2.png

Объявления

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

Навигация