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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
Строка 58: Строка 58:
 
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции».  <sup>[[Media:titov.docx|Аннотация доклада]]</sup>
 
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции».  <sup>[[Media:titov.docx|Аннотация доклада]]</sup>
 
| Титов В.А.
 
| Титов В.А.
−
|-
 
−
| align = "center"| 15 апреля
 
−
| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
 
−
| Калинина А.Н.
 
 
|-  
 
|-  
 
| rowspan="2" align="center" | 22 апреля
 
| rowspan="2" align="center" | 22 апреля
Строка 69: Строка 65:
 
| Семинар компании Cadence design systems.
 
| Семинар компании Cadence design systems.
 
|-
 
|-
 +
| align = "center"| 27 апреля
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
 +
| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
 +
| Калинина А.Н.
 +
|-
 
|}
 
|}
  

Версия 11:01, 27 апреля 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 апреля Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции». Аннотация доклада Титов В.А.
22 апреля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 526б)
Автоматизация проектирования электронных устройств Аннотация доклада Семинар компании Cadence design systems.
27 апреля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits». Калинина А.Н.


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

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

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

Участники

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


Ссылки

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