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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
 
(не показаны 70 промежуточные версии 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" | 10 октября
+
| rowspan="2" align="center" | 20 октября
−
| Доклад по статье Нечипорука Э. И. «Об одной булевской матрице».
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
−
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
−
| align="center" | 17 октября
+
| О динамической активности схем из функциональных элементов.
−
|  Доклад по статье Маркова А. А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»
+
| align="center" | Шуплецов М.С.
−
| [[Ложкин Сергей Андреевич | Ложкин С. А.]]
+
 
|-
 
|-
−
| align="center" | 24 октября
+
| rowspan="2" align="center" | 27 октября
−
| Инверсная сложность булевых функций
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
−
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
−
| align="center" | 31 октября
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
−
|  Инверсная сложность булевых функций (окончание доклада)
+
| align="center" | Автайкина Мария
−
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
−
| align="center" | 7 ноября
+
| rowspan="2" align="center" | 3 ноября
−
| Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [http://link.springer.com/article/10.3103%2FS0027132212020064]
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
−
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
+
 
|-
 
|-
−
| align="center" | 14 ноября
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
−
| Задача синтеза для модели клеточных схем. Порядок функции Шеннона для площади клеточных схем в стандартном базисе.
+
| align="center" | В. К. Курбацкая
−
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
−
| align="center" | 21 ноября
+
| rowspan="2" align="center" | 11 ноября
−
| Асимптотика площади клеточного дешифратора и ее антагонизм с числом функциональных элементов.
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 508)
−
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
−
| align="center" | 5 декабря
+
| Доклад "О глубине ступенчатых функций".
−
| О синтезе схем с ограниченным числом регистров
+
| align="center" | Д. С. Кинжикеев
−
| Коноводов В. А.
+
 
|-
 
|-
−
| align="center" | 12 декабря
 
−
|  Доклад по статье Нечипорука Э. И. "Об одной булевской функции".
 
−
| [[Ложкин Сергей Андреевич | Ложкин С. А.]]
 
−
|-
 
−
| align="center" | 19 декабря
 
−
|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
 
−
| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 
 
|}
 
|}
−
 
−
 
  
  
Строка 77: Строка 58:
 
== Руководители ==
 
== Руководители ==
 
* доц. [[Романов Дмитрий Сергеевич]]
 
* доц. [[Романов Дмитрий Сергеевич]]
−
* м.н.с. [[Нагорный Александр Степанович]]
+
* ст.преп. [[Нагорный Александр Степанович]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
  
Строка 83: Строка 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)
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев


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

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

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

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