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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
(не показаны 48 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''505'''.  
+
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
 +
 
 +
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
 +
 
 +
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 15:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 9 октября
+
| rowspan="2" align="center" | 21 апреля
−
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
+
−
| Зиновьев В. С.
+
−
|-
+
−
| align="center" | 16 октября
+
−
| Синтез и сложность дешифраторных схем контактного типа
+
−
| Добровецкий Д. И.
+
−
|-
+
−
| rowspan="2" align="center" | 23 октября
+
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
−
| New bounds on Klarner's constant
+
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
−
| Gill Barequet, Dept. of Computer Science, Technion
+
| align="center" |
 
|-
 
|-
−
| align = "center"|30 октября
+
| rowspan="2" align="center" | 14 апреля
−
| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup>
+
−
| Довгалюк Е. Л.
+
−
|-
+
−
| align = "center"|6 ноября
+
−
| Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup>
+
−
| Фивейский С.В.
+
−
|-
+
−
| rowspan="2" align="center" | 13 ноября
+
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
−
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
+
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
−
| Мария Автайкина
+
| align="center" | Зиновьев В.С.
 
|-
 
|-
−
| rowspan="2" align="center" | 20 ноября
+
| rowspan="2" align="center" | 7 апреля
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
−
| Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
+
| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
−
1. http://www.iccad.com (конференция)
+
| align="center" | Жуков В.В.
−
2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+
−
3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
+
−
| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
+
 
|-
 
|-
−
| align = "center"| 27 ноября
+
| align="center" | 17 марта
−
| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
+
| Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
−
| Кухтинов А.С.
+
| align="center" | Трубицын Ю.А.
−
|-
+
−
| align = "center"| 4 декабря
+
−
| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
+
−
| Шуплецов М.С.
+
−
|-
+
−
| rowspan="2" align="center" | 11 декабря
+
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
 
|-
 
|-
−
| Доклад "Маршрут физического проектирования систем на кристалле"
+
| rowspan="2" align="center" | 17 февраля
−
| Евгений Зенин
+
−
|-
+
−
| rowspan="2" align="center" | 19 февраля
+
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
−
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
+
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
−
| Зиновьев В.С.
+
| align="center" | Кинжикеева Д.
−
|-  
+
|-
−
| rowspan="2" align="center" | 26 февраля
+
| 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). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.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" | Смирнов М.Е.
 +
|-
 
|}
 
|}
  
Строка 81: Строка 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»Аннотация доклада Смирнов М.Е.


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