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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
Строка 16: Строка 16:
 
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
 
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
 
| Зиновьев В.С.
 
| Зиновьев В.С.
|-
+
 
| rowspan="2" align="center" | 26 февраля
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
+
| Смирной Максим
+
|-
+
| rowspan="2" align="center" | 4 марта
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
+
| Вяткин Евгений
+
|-
+
| align="center" | 11 марта
+
| Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup>
+
| Бежовец А.В.
+
|-
+
| align="center" | 18 марта
+
| Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup>
+
| Павлов А.В.
+
|-
+
| rowspan="2" align="center" | 25 марта
+
| colspan="2" align="center" | Совместно с семинаром  [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
+
| Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
+
|-
+
| align="center" | 1 апреля
+
| Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"
+
| Курбацкая В.К.
+
|-
+
| align = "center"| 8 апреля
+
| Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок".  <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
+
| Кухтинов А.С.
+
|-
+
| align = "center"| 15 апреля
+
| Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами». 
+
| Высоцкий Л.И.
+
|-
+
| rowspan="2" align="center" | 22 апреля
+
| colspan="2" align="center" | Совместно с семинаром  [[Некоторые вопросы теории управляющих систем]] (Ауд. 526б)
+
|-
+
| Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup>
+
| Семинар компании Cadence design systems.
+
|-
+
| rowspan="2" align="center" | 29 апреля
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
+
| Калинина А.Н.
+
|-
+
| rowspan="2" align="center" | 6 мая
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".
+
| Шишков Илья Сергеевич
+
 
|-
 
|-
 
|}
 
|}

Версия 20:50, 20 сентября 2016

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

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

Дата Тема доклада Докладчик
19 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада Зиновьев В.С.


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

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

Участники

Аспиранты:

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

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

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

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

Ссылки