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

Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 505.

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

Дата Тема доклада Докладчик 9 октября Синтез и сложность универсальных схем контактного типа с разделёнными полюсами Зиновьев В. С. 16 октября Синтез и сложность дешифраторных схем контактного типа Добровецкий Д. И. 23 октября Совместно с семинаром Некоторые вопросы теории управляющих систем New bounds on Klarner's constant Gill Barequet, Dept. of Computer Science, Technion 30 октября О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. Аннотация доклада Довгалюк Е. Л. 6 ноября Об одной модели рекурсивных схем из функциональных элементов. Аннотация доклада Фивейский С.В. 13 ноября Совместно с семинаром Некоторые вопросы теории управляющих систем Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution". Мария Автайкина 20 ноября Совместно с семинаром Некоторые вопросы теории управляющих систем Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015". 1. http://www.iccad.com (конференция) 2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование) 3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования) Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир. 27 ноября Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" Аннотация доклада Кухтинов А.С. 4 декабря Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций" Шуплецов М.С. 11 декабря Совместно с семинаром Некоторые вопросы теории управляющих систем Доклад "Маршрут физического проектирования систем на кристалле" Евгений Зенин 19 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада Зиновьев В.С. 26 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада Смирной Максим архив докладов за прошлые семестры

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

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

Участники

Аспиранты: Антюфеев Григорий Богомолова Евгения Коноводов Владимир Морозов Евгений

Студенты 5 курса: Костюков Станислав Тренкунов Антон Жукова Анна Чеховская Екатерина Доленко Ольга Белышов Михаил

Студенты 4 курса: Довгалюк Екатерина Кортунова Екатерина Кулешов Олег Кумар Виренд Раннев Егор

Ссылки

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