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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
 
(не показаны 79 промежуточные версии 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" | 16 апреля
+
| Доклад "О глубине ступенчатых функций".
| Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"
+
| align="center" | Д. С. Кинжикеев
| Добровецкий Даниил
+
 
|-
 
|-
| align="center" | 30 апреля
 
| Доклад по статье Тиунчика А. А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" <sup> [[Медиа:SQCS23.04.2014.pdf | Аннотация доклада]]</sup>
 
| Чеховская Екатерина
 
|-
 
| align="center" | 7 мая
 
| Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" <sup> [[Медиа:SQCS07.05.2014.pdf | Аннотация доклада]]</sup>
 
| Павлов Андрей
 
 
|}
 
|}
 
  
  
Строка 75: Строка 58:
 
== Руководители ==
 
== Руководители ==
 
* доц. [[Романов Дмитрий Сергеевич]]
 
* доц. [[Романов Дмитрий Сергеевич]]
* м.н.с. [[Нагорный Александр Степанович]]
+
* ст.преп. [[Нагорный Александр Степанович]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
  
Строка 81: Строка 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)
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев


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

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

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