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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(не показаны 45 промежуточные версии 3 участников)
Строка 1: Строка 1:
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 606.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
 
+
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 15: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 14 апреля
+
| align="center" | 22 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»
|-
+
| align="center" | Купраш Е.
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
+
| align="center" | Зиновьев В.С.
+
|-
+
| rowspan="2" align="center" | 7 апреля
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
+
| align="center" | Жуков В.В.
+
|-
+
| align="center" | 17 марта
+
| Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
+
| align="center" | Трубицын Ю.А.
+
|-
+
| rowspan="2" align="center" | 17 февраля
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
+
| align="center" | Кинжикеева Д.
+
|-
+
| align="center" | 3 марта
+
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
+
| align="center" | Высоцкий Л.И.
+
|-
+
| rowspan="2" align="center" | 31 марта
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| Доклад по статье 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" | Смирнов М.Е.
+
|-
+
 
|}
 
|}
  

Версия 16:13, 22 февраля 2019

Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 606.

Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович

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

Дата Тема доклада Докладчик
22 февраля Доклад по статье «Finding Efficient Circuits Using SAT-Solvers» Купраш Е.


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