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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Отмена правки 2416, сделанной участником RomanovDS (обс.))
Строка 34: Строка 34:
 
|-  
 
|-  
 
| rowspan="2" align="center" | 13 ноября
 
| rowspan="2" align="center" | 13 ноября
−
| colspan="2" align="center" | Совместно с семинаром [[Дискретная математика и математическая кибернетика]]
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
 
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
 
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
Строка 40: Строка 40:
 
|-
 
|-
 
| rowspan="2" align="center" | 20 ноября
 
| rowspan="2" align="center" | 20 ноября
−
| colspan="2" align="center" | Совместно с семинаром [[Дискретная математика и математическая кибернетика]]
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
 
|  Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".  
 
|  Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".  

Версия 11:54, 15 февраля 2016

Спецсеминар (для студентов 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 декабря Совместно с семинаром Дискретная математика и математическая кибернетика
Доклад "Маршрут физического проектирования систем на кристалле" Евгений Зенин


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

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

Участники

Аспиранты:

Студенты 5 курса:

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

Студенты 4 курса:

  • Довгалюк Екатерина
  • Кортунова Екатерина
  • Кулешов Олег
  • Кумар Виренд
  • Раннев Егор

Ссылки

Источник — «https://mk.cs.msu.ru/index.php?title=Теория_управляющих_систем_и_математические_модели_СБИС&oldid=2417»