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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
 
(не показаны 5 промежуточные версии 1 участника)
Строка 1: Строка 1:
 +
[[Категория:Архив спецсеминаров кафедры математической кибернетики]]
 +
 
[[image:NekVoprSinteza.jpg|thumb|right]]
 
[[image:NekVoprSinteza.jpg|thumb|right]]
  
Строка 15: Строка 17:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 21 апреля
+
| rowspan="2" align="center" | 20 октября
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.  
+
| О динамической активности схем из функциональных элементов.  
| align="center" |
+
| align="center" | Шуплецов М.С.
 
|-
 
|-
| rowspan="2" align="center" | 14 апреля
+
| rowspan="2" align="center" | 27 октября
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| align="center" | Зиновьев Д.С.
+
| align="center" | Автайкина Мария
 
|-
 
|-
| rowspan="2" align="center" | 7 апреля
+
| rowspan="2" align="center" | 3 ноября
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
| align="center" | Жуков В.В.
+
| align="center" | В. К. Курбацкая
 
|-
 
|-
| rowspan="2" align="center" | 24 марта
+
| rowspan="2" align="center" | 11 ноября
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 508)
|-
+
| Доклад по статье 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" | Д. С. Кинжикеев
 
|-
 
|-
 
|}
 
|}
Строка 82: Строка 64:
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 

Текущая версия на 12:27, 18 февраля 2019

NekVoprSinteza.jpg

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

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

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

Дата Тема доклада Докладчик
20 октября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
О динамической активности схем из функциональных элементов. Шуплецов М.С.
27 октября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада Автайкина Мария
3 ноября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада В. К. Курбацкая
11 ноября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 508)
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев


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

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

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