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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
Строка 63: Строка 63:
 
| Калинина А.Н.
 
| Калинина А.Н.
 
|-  
 
|-  
 +
| rowspan="2" align="center" | 22 апреля
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 526б)
 +
|-
 +
| Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup>
 +
| Семинар компании Cadence design systems.
 +
|-
 
|}
 
|}
  

Версия 23:26, 19 апреля 2016

NekVoprSinteza.jpg

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

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


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

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


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

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

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

Участники

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


Ссылки