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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 32 промежуточных версий 3 участников)
Строка 1: Строка 1:
 
[[image:NekVoprSinteza.jpg|thumb|right]]
 
[[image:NekVoprSinteza.jpg|thumb|right]]
  
Спецсеминар для студентов 3 курса.
+
''Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.''
  
Проходит по пятницам в '''16:20''' в аудитории '''713'''.
+
[[Media:pcst16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
 
+
__TOC__
+
 
+
<br style="clear:both;"/>
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 19: Строка 15:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 19 февраля
+
| rowspan="2" align="center" | 21 апреля
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
+
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.  
| Зиновьев В.С.
+
| align="center" |
|-
+
| rowspan="2" align="center" | 26 февраля
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
 
|-
 
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
+
| rowspan="2" align="center" | 14 апреля
| Смирной Максим
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
|-
+
| rowspan="2" align="center" | 4 марта
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
 
|-
 
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
+
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
| Вяткин Евгений
+
| align="center" | Зиновьев Д.С.
 
|-
 
|-
| align = "center"| 11 марта
+
| rowspan="2" align="center" | 7 апреля
| Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. <sup>[[Media:filimonov.docx|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Филимонов Владимир
+
|-
+
| align = "center"| 18 марта
+
| О соотношении между сложностью и глубиной формул. <sup>[[Media:chemodan.docx|Аннотация доклада]]</sup>
+
| Чемоданова О.М.
+
|-
+
| rowspan="2" align="center" | 25 марта
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
 
|-
 
|-
| Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
+
| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
| Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
+
| align="center" | Жуков В.В.
 +
|-
 +
| rowspan="2" align="center" | 24 марта
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 +
|-
 +
| Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis».
 +
| align="center" | Автайкина М.А.
 +
|-
 +
| align="center" | 17 марта
 +
| Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Козловский А.Н.
 +
|-
 +
| rowspan="2" align="center" | 17 февраля
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 +
|-
 +
| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
 +
| align="center" | Кинжикеева Д.
 +
|-
 +
| align="center" | 3 марта
 +
| Доклад «О минимальных формулах для монотонных симметрических функций с порогом 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" | Смирнов М.Е.
 
|-
 
|-
| align = "center"| 1 апреля
 
| Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций»
 
| Трубицин В.А.
 
|-
 
 
|}
 
|}
  
Строка 78: Строка 82:
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
== Участники ==
 
 
Студенты 3-го курса:
 
 
 
== Ссылки ==
 
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dFIyM1ROdWdBc1R4d0JLZzJnSGFHX2c&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Версия 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»Аннотация доклада Смирнов М.Е.


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

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

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