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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
Строка 61: Строка 61:
 
| Семинар компании Cadence design systems.
 
| Семинар компании Cadence design systems.
 
|-
 
|-
 +
| rowspan="2" align="center" | 27 апреля
 +
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 +
|-
 +
| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
 +
| Калинина А.Н.
 +
|-
 
|}
 
|}
  

Версия 11:03, 27 апреля 2016

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

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

Дата Тема доклада Докладчик
19 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада Зиновьев В.С.
26 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада Смирной Максим
4 марта Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". Аннотация доклада Вяткин Евгений
11 марта Синтез контактных схем ограниченной ширины. Аннотация доклада Бежовец А.В.
18 марта Об асимптотических оценках сложности константных схем заданной степени. Аннотация доклада Павлов А.В.
25 марта Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад «Cadence design systems: основные тренды в индустрии». Аннотация доклада Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
1 апреля Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов" Курбацкая В.К.
8 апреля Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". Аннотация доклада Кухтинов А.С.
15 апреля Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами». Высоцкий Л.И.
22 апреля Совместно с семинаром Некоторые вопросы теории управляющих систем (Ауд. 526б)
Автоматизация проектирования электронных устройств Аннотация доклада Семинар компании Cadence design systems.
27 апреля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits». Калинина А.Н.


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

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

Участники

Аспиранты:

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

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

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

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

Ссылки

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