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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 45 промежуточные версии 3 участников)
Строка 1: Строка 1:
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''505'''.  
+
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
 +
 
 +
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
 +
 
 +
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 15:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 19 февраля
+
| rowspan="2" align="center" | 21 апреля
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
+
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.  
| Зиновьев В.С.
+
| align="center" |
|-  
+
|-
| rowspan="2" align="center" | 26 февраля
+
| rowspan="2" align="center" | 14 апреля
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
+
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
| Смирной Максим
+
| align="center" | Зиновьев В.С.
|-  
+
|-
| rowspan="2" align="center" | 4 марта
+
| 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" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
+
| Доклад по статье 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" | Смирнов М.Е.
 
|-
 
|-
| align="center" | 11 марта
 
| Синтез контактных схем ограниченной ширины.
 
| Бежовец А.В.
 
|-
 
 
|}
 
|}
  
Строка 41: Строка 61:
  
 
|}
 
|}
 
== Руководители ==
 
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Марченко Александр Михайлович]]
 
* доц. [[Романов Дмитрий Сергеевич]]
 
 
== Участники ==
 
 
{| width="100%"
 
| width="40%" |
 
 
<u>Аспиранты:</u>
 
* Антюфеев Григорий
 
* Богомолова Евгения
 
* [[Участник:KonovodovV|Коноводов Владимир]]
 
* Морозов Евгений
 
| width="40%" |
 
 
<u>Студенты 5 курса:</u>
 
* Костюков Станислав
 
* Тренкунов Антон
 
* Жукова Анна
 
* Чеховская Екатерина
 
* Доленко Ольга
 
* Белышов Михаил
 
|
 
 
<u>Студенты 4 курса:</u>
 
* Довгалюк Екатерина
 
* Кортунова Екатерина
 
* Кулешов Олег
 
* Кумар Виренд
 
* Раннев Егор
 
|}
 
 
== Ссылки ==
 
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dHB2ZjVpbjR2SkdmYVRVcUVqUG1sMGc&single=true&gid=0&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Версия 12:06, 20 апреля 2017

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

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

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

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

Дата Тема доклада Докладчик
21 апреля Совместно с семинаром Некоторые вопросы теории управляющих систем
Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
14 апреля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем» Зиновьев В.С.
7 апреля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» Жуков В.В.
17 марта Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада Трубицын Ю.А.
17 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул» Кинжикеева Д.
3 марта Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»Аннотация доклада Высоцкий Л.И.
31 марта Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»Аннотация доклада Смирнов М.Е.


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