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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
Строка 18: Строка 18:
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
|-
 
| align="center" | 9 октября
 
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
 
| Зиновьев В. С.
 
|-
 
| align="center" | 16 октября
 
| Синтез и сложность дешифраторных схем контактного типа
 
| Добровецкий Д. И.
 
|-
 
| align = "center"|6 ноября
 
| О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций. <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup>
 
| Любич И.Г.
 
|-
 
| rowspan="2" align="center" | 13 ноября
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
 
|-
 
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
 
| Мария Автайкина
 
|-
 
| rowspan="2" align="center" | 20 ноября
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
 
|-
 
|  Обзор конференции 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 (задача соревнования)
 
| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
 
|-
 
| align = "center"|27 ноября
 
| Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" <sup>[[Media:SemAnnot26112015.pdf|Аннотация доклада]]</sup>
 
| Данилов Б.Р.
 
|-
 
| align = "center"|4 декабря
 
| Доклад по статье Ложкина С. А., Ли Да Мина "О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки" <sup>[[Media:visotskiy.docx|Аннотация доклада]]</sup>
 
| Высоцкий Л.И.
 
|-
 
| rowspan="2" align="center" | 11 декабря
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
 
|-
 
| Доклад "Маршрут физического проектирования систем на кристалле"
 
| Евгений Зенин
 
 
|-
 
|-
 
| rowspan="2" align="center" | 19 февраля
 
| rowspan="2" align="center" | 19 февраля

Версия 11:19, 2 марта 2016

NekVoprSinteza.jpg

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

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


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

Дата Тема доклада Докладчик
19 февраля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада Зиновьев В.С.
26 февраля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада Смирной Максим


   
     
темы семинаров предварительные, следите за возможными изменениями архив докладов за прошлые семестры

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

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

Участники

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


Ссылки