Теория управляющих систем и математические модели СБИС — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
Строка 59: Строка 59:
 
| align="center" | Д. С. Кинжикеев
 
| align="center" | Д. С. Кинжикеев
 
|-
 
|-
−
| rowspan="2" align="center" | 18 ноября
+
| rowspan="2" align="center" | 17 ноября
 
|-
 
|-
 
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
 
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
 
| align="center" | Павлова А.Ф.
 
| align="center" | Павлова А.Ф.
−
 
+
|-
 +
| rowspan="2" align="center" | 24 ноября
 +
|-
 +
| Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
 +
| align="center" | Крюков Павел
 
|}
 
|}
  

Версия 14:21, 23 ноября 2017

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

Руководители: проф. Ложкин Сергей Андреевич, проф. Марченко Александр Михайлович, доц. Романов Дмитрий Сергеевич.

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

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

Дата Тема доклада Докладчик
22 сентября
Доклад «Cинтез рекурсивных схем из функциональных элементов» Жуков В.В.
29 сентября
Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.» Курбацкая В.К.
6 октября
Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев» Высоцкий Л.И.
20 октября Совместно с семинаром Некоторые вопросы теории управляющих систем
О динамической активности схем из функциональных элементов. Шуплецов М.С.
27 октября Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада Автайкина Мария
3 ноября Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада В. К. Курбацкая
11 ноября Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев
17 ноября
Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» Павлова А.Ф.
24 ноября
Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» Крюков Павел


архив докладов за прошлые семестры

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