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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
 
(не показаны 63 промежуточных версий 5 участников)
Строка 1: Строка 1:
 +
[[Категория:Архив спецсеминаров кафедры математической кибернетики]]
 +
 
[[image:NekVoprSinteza.jpg|thumb|right]]
 
[[image:NekVoprSinteza.jpg|thumb|right]]
  
Спецсеминар для студентов 3 курса.
+
''Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.''
 
+
Проходит по пятницам в '''16:20''' в аудитории '''704'''.
+
 
+
__TOC__
+
  
<br style="clear:both;"/>
+
[[Media:pcst16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 19: Строка 17:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 20 февраля
+
| rowspan="2" align="center" | 20 октября
| О динамической активности схем из функциональных элементов. Доклад по статье [http://mi.mathnet.ru/uzku1268]
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
| align="center" | 27 февраля
+
| О динамической активности схем из функциональных элементов.
| О минимальных π-схемах для монотонных симметрических функций с порогом 2
+
| align="center" | Шуплецов М.С.
| [[Ложкин Сергей Андреевич | Ложкин С. А.]]
+
 
|-
 
|-
| align="center" | 13 марта
+
| rowspan="2" align="center" | 27 октября
| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Фивейский С. В.
+
 
|-
 
|-
| align="center" | 20 марта
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| Обзор основных современных подходов к решению задачи привязки логической схемы к библиотеке <sup> [[Медиа:NVSUS200315.pdf | Аннотация доклада]]</sup>
+
| align="center" | Автайкина Мария
| Автайкина М. А.
+
 
|-
 
|-
| align="center" | 27 марта
+
| rowspan="2" align="center" | 3 ноября
| Легкотестируемые реализации логических функций (по [http://dl.acm.org/citation.cfm?id=1312433 статье] S. M. Reddy «Easily testable realizations for logic functions»)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Курбатская В. К.
+
 
|-
 
|-
| align="center" | 3 апреля
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
| Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций»
+
| align="center" | В. К. Курбацкая
| Бежовец А. В.
+
|-
 +
| rowspan="2" align="center" | 11 ноября
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 508)
 +
|-
 +
| Доклад "О глубине ступенчатых функций".
 +
| align="center" | Д. С. Кинжикеев
 
|-
 
|-
| align="center" | 10 апреля
 
| Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций» (окончание)
 
| Бежовец А. В.
 
 
|}
 
|}
  
Строка 63: Строка 58:
 
== Руководители ==
 
== Руководители ==
 
* доц. [[Романов Дмитрий Сергеевич]]
 
* доц. [[Романов Дмитрий Сергеевич]]
* м.н.с. [[Нагорный Александр Степанович]]
+
* ст.преп. [[Нагорный Александр Степанович]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
  
Строка 69: Строка 64:
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
== Участники ==
 
 
Студенты 3-го курса:
 
 
 
== Ссылки ==
 
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dFIyM1ROdWdBc1R4d0JLZzJnSGFHX2c&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 

Текущая версия на 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)
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев


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

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

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