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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(не показаны 9 промежуточные версии 2 участников)
Строка 15: Строка 15:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 23 сентября
+
| rowspan="2" align="center" | 21 апреля
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
+
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
| Жуков В.В.
+
| align="center" |
 
|-
 
|-
| align="center" | 14 октября
+
| rowspan="2" align="center" | 14 апреля
| Доклад по статье Маркова А.А. "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций." <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Ложкин С.А.
+
 
|-
 
|-
| align="center" | 21 октября
+
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
| Доклад "Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один." <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| align="center" | Зиновьев Д.С.
| Романов Д.С.
+
 
|-
 
|-
| align="center" | 28 октября
+
| rowspan="2" align="center" | 7 апреля
| Доклад "Об одной булевской матрице" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Данилов Б.Р.
+
 
|-
 
|-
| align="center" | 11 ноября
+
| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
| Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| align="center" | Жуков В.В.
| Щуплецов М.С.
+
 
|-
 
|-
| align="center" | 18 ноября
+
| rowspan="2" align="center" | 24 марта
| Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Ложкин С.А.
+
 
|-
 
|-
| rowspan="2" align="center" | 25 ноября
+
| Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis».
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
| align="center" | Автайкина М.А.
 
|-
 
|-
| Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:%D0%9A_%D0%90_%D0%9F%D0%BE%D0%BF%D0%BA%D0%BE%D0%B2_%D0%9A%D0%A1-%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA.doc|Аннотация доклада]]</sup>
+
| align="center" | 17 марта
| Тамм Я.-М.Ю.
+
| Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Козловский А.Н.  
 
|-
 
|-
| rowspan="2" align="center" | 2 декабря
+
| rowspan="2" align="center" | 17 февраля
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
| Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
| Уваров И.В.
+
| align="center" | Кинжикеева Д.
 
|-
 
|-
| align="center" | 9 декабря
+
| align="center" | 3 марта
| Доклад "О минимальныз пи-схемах для монотонных симметрических функций с порогом 2" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| Доклад «О минимальных формулах для монотонных симметрических функций с порогом <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:05, 20 апреля 2017

NekVoprSinteza.jpg

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

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

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

Дата Тема доклада Докладчик
21 апреля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
14 апреля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем» Зиновьев Д.С.
7 апреля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» Жуков В.В.
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»Аннотация доклада Смирнов М.Е.


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

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

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