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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
Строка 19: Строка 19:
 
|-
 
|-
 
| Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis».
 
| Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis».
−
| Автайкина М.А.
+
| align="center" | Автайкина М.А.
 
|-
 
|-
 
| align="center" | 17 марта
 
| align="center" | 17 марта
 
| Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
 
| Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
−
| Козловский А.Н.  
+
| align="center" | Козловский А.Н.  
 
|-
 
|-
 
| rowspan="2" align="center" | 17 февраля
 
| rowspan="2" align="center" | 17 февраля
Строка 29: Строка 29:
 
|-
 
|-
 
| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
 
| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
−
| Кинжикеева Д.
+
| align="center" | Кинжикеева Д.
 
|-
 
|-
 
| align="center" | 3 марта
 
| align="center" | 3 марта
 
| Доклад «О минимальных формулах для монотонных симметрических функций с порогом 2»<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
 
| Доклад «О минимальных формулах для монотонных симметрических функций с порогом 2»<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
−
| проф. Ложкин С.А.
+
| align="center" | проф. Ложкин С.А.
 +
|-
 +
| rowspan="2" align="center" | 31 марта
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 +
|-
 +
| Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»<sup>[[Media:mmvlsi-pcst-annot-170331.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Смирнов М.Е.
 
|-
 
|-
 
|}
 
|}

Версия 12:04, 29 марта 2017

NekVoprSinteza.jpg

Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.

Участники семинара и таблица посещаемости (14.12.2016)

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

Дата Тема доклада Докладчик
24 марта Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis». Автайкина М.А.
17 марта Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада Козловский А.Н.
17 февраля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» Кинжикеева Д.
3 марта Доклад «О минимальных формулах для монотонных симметрических функций с порогом 2»Аннотация доклада проф. Ложкин С.А.
31 марта Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»Аннотация доклада Смирнов М.Е.


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

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

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

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