Теория управляющих систем и математические модели СБИС

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

Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.

Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович

Расписание докладов

Дата Тема доклада Докладчик
22 февраля Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»Аннотация доклада Купраш Е.Д.
1 марта Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»Аннотация доклада Жуков В.В.
15 марта Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)Аннотация доклада Лопунов М.А.
22 марта Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)Аннотация доклада Пименов Н.В.
29 марта
5 апреля Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)Аннотация доклада Омарова М.М.
12 апреля Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»Аннотация доклада Хзмалян Д.Э.
19 апреля Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
17 мая Выступления студентов 3 и 5 курсов с курсовыми работами


архив докладов за прошлые семестры