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