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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Материалы)
 
(не показаны 64 промежуточных версий 3 участников)
Строка 2: Строка 2:
 
<div style="max-width:940px">
 
<div style="max-width:940px">
  
Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики.
+
Курс является обязательным для всех бакалавров (интегрированных магистров) кафедры математической кибернетики.
  
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su), преподаватель семинарских занятий – к.ф.-м.н. Нагорный Александр Степанович.
+
Он читается в 6 семестре в объёме 36 часов лекций и 18 часов семинарских занятий, причём все занятия в 2021-2022 уч. году проходят в дистанционном формате. Курс завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи, изложенные на лекциях и семинарах.
  
Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом [[Основы кибернетики (318, 418 группы)|«Основы кибернетики»]] и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов.
+
В приведённых ниже информационных материалах содержатся подробные сведения о программе курса и планах его изучения, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.
  
В нём рассматриваются дополнительные вопросы минимизации дизъюнктивных нормальных форм (ДНФ), массового и индивидуального синтеза УС. В программу курса входят, в частности, результаты о длине цепи в единичном кубе и о длине кратчайшей ДНФ для почти всех функций алгебры логики, а также об асимптотике функции Шеннона для сложности формул и схем из функциональных элементов в произвольном базисе.
+
В соответствии с этими планами в течение семестра проводятся 2 основные (не более 2 часов) и, возможно, несколько промежуточных (до 1 часа) тестов (контрольных).  По результатам указанных тестов (контрольных) с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы им выставляются предварительные оценки, играющие существенную роль при формировании окончательной оценки на экзамене.
  
==Материалы семинаров==
+
Курс «Элементы теории дискретных управляющих систем» читается вслед за курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.
* '''[[Media: elems_sem1.pdf | Семинар]]''': Применение метода забивающих констант (28.03)
+
  
== Материалы по курсу ==
+
В программу курса входят результаты об асимптотике функции Шеннона для сложности (задержки) формул, схем из функциональных и функционально-проводящих элементов в произвольном базисе. Устанавливается возможность синтеза схем из функциональных элементов (СФЭ) асимптотически оптимальных как по сложности, так и по задержке.
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ЭТДУС_318.pdf|гр. 318]] (25.02.2014)
+
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
+
  
<br>
+
На основе вероятностной модели СФЭ над базисом из надёжных и ненадёжных элементов рассматриваются некоторые вопросы их надёжности. Изучается, в частности, возможность построения как сколь угодно надёжных, так и самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность, а также возможность синтеза оптимальных по сложности самокорректирующихся контактных схем для линейных функций.
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
+
|+
+
  
==Объявления==
+
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.  
{{announce News|15 марта| Уточнённый график проведения занятий и контрольных работ на период с 17.03 по 04.04 для 318 группы:
+
  
'''17.03''' - семинар №1 (с 10:30 до 12:05, ауд. 503);
+
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2022-2023 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru), профессор д.ф.-м.н. [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).
  
'''19.03, 26.03 и 02.04''' - лекции по вопросам 5, 13 и семинар №7 соответственно (с 10:30 до 12:05, ауд. 504;
 
  
'''24.03''' - тест-контрольная №1 (с 10:30 до 12:05, ауд. 503) по вопросам 1-4 (теория и задача);
+
== Материалы ==
}}
+
* [[Media:Курс_ЭТДУС-24-1_318.pdf|Информационные материалы 2023-2024 учебного года (гр. 318)]] (08.02.2024)
|}
+
* Видеозаписи лекций, прочитанных С.А.Ложкиным, публикуются [https://m.cs.msu.ru/s/mnF2q5N3t4qrGHA здесь]
</div>
+
* [[Media:etdus-lectures-2021-1.pdf| Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем [Лекционные слайды]]] (12.05.2021 v2).
 +
* [[Media:ЭТСНДУС_2020.pdf| Ложкин С.А. Элементы теории синтеза и надёжности дискретных управляющих систем [Методические материалы]]] (16.06.2020 v2).
 +
* [[Media:etdus-lectures-2021-1-extra.pdf| Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем (лекции 1-2) [Лекционные слайды]]] (23.06.2021).
 +
 
 +
{{Шаблон:Элементы теории дискретных управляющих систем - Объявления}}
  
 
[[Категория:Лекционные курсы кафедры МК]]
 
[[Категория:Лекционные курсы кафедры МК]]

Текущая версия на 02:00, 8 февраля 2024

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

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

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

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

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

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

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

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

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


Материалы


Cybernetics2.png

Объявления

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

Навигация