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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м (→‎Расписание докладов)
 
(не показаны 82 промежуточных версий 5 участников)
Строка 1: Строка 1:
 +
[[Категория:Архив спецсеминаров кафедры математической кибернетики]]
 +
 
[[image:NekVoprSinteza.jpg|thumb|right]]
 
[[image:NekVoprSinteza.jpg|thumb|right]]
  
−
Спецсеминар для студентов 3 курса.
+
''Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.''
−
 
+
−
Проходит по средам с '''14:35''' до '''16:10''' в аудитории '''507'''.
+
−
 
+
−
 
+
−
 
+
−
__TOC__
+
  
−
<br style="clear:both;"/>
+
[[Media:pcst16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 21: Строка 17:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 19 февраля
+
| rowspan="2" align="center" | 20 октября
−
| rowspan="2" | Инверсная сложность булевых функций. <sup>[[Медиа:SQCS19.02.2014.pdf | Аннотация доклада]],[[Медиа:inverse_complexity.pdf | Презентация]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
−
| rowspan="2" | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
−
| align="center" | 26 февраля
+
| О динамической активности схем из функциональных элементов.
 +
| align="center" | Шуплецов М.С.
 
|-
 
|-
−
| align="center" | 5 марта
+
| rowspan="2" align="center" | 27 октября
−
| Методы обфускации кода для защиты программного обеспечения <sup> [[Media:SQCS05.03.2014.pdf | Аннотация доклада]], [[Media:Presentation0503.pdf | Презентация]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
−
| Темербекова Гульгайша
+
 
|-
 
|-
−
|align="center" | 14 марта
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
−
| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
+
| align="center" | Автайкина Мария
−
| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]],
+
−
[[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|-
 
|-
−
| align="center" | 19 марта
+
| rowspan="2" align="center" | 3 ноября
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
−
| align="center" | 2 апреля
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
−
| Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул"
+
| align="center" | В. К. Курбацкая
−
| Зиновьев Владимир
+
 
|-
 
|-
−
| align="center" | 9 апреля
+
| rowspan="2" align="center" | 11 ноября
−
| Задача выполнимости и верификация логических схем
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 508)
−
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
|-
 +
| Доклад "О глубине ступенчатых функций".
 +
| align="center" | Д. С. Кинжикеев
 
|-
 
|-
−
| align="center" | 16 апреля
 
−
| Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"
 
−
| Добровецкий Даниил
 
 
|}
 
|}
−
 
  
  
Строка 67: Строка 58:
 
== Руководители ==
 
== Руководители ==
 
* доц. [[Романов Дмитрий Сергеевич]]
 
* доц. [[Романов Дмитрий Сергеевич]]
−
* м.н.с. [[Нагорный Александр Степанович]]
+
* ст.преп. [[Нагорный Александр Степанович]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
  
Строка 73: Строка 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»