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

Спецсеминар для студентов 3 курса.

Проходит по пятницам в 16:20 в аудитории 713.

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

Дата Тема доклада Докладчик 19 февраля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада Зиновьев В.С. 26 февраля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада Смирной Максим 4 марта Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". Аннотация доклада Вяткин Евгений 11 марта Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. Аннотация доклада Филимонов Владимир 18 марта О соотношении между сложностью и глубиной формул. Аннотация доклада Чемоданова О.М. 25 марта Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) Доклад «Cadence design systems: основные тренды в индустрии». Аннотация доклада Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов 1 апреля Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций» Трубицин В.А. 8 апреля Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции». Аннотация доклада Титов В.А.     темы семинаров предварительные, следите за возможными изменениями архив докладов за прошлые семестры

Руководители

• доц. Романов Дмитрий Сергеевич
• ст.преп. Нагорный Александр Степанович
• асс. Шуплецов Михаил Сергеевич

Научные кураторы

• проф. Ложкин Сергей Андреевич
• проф. Захаров Владимир Анатольевич

Участники

Студенты 3-го курса:

Ссылки

• Таблицы посещаемости (2013-2014 учебный год)