Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
DanilovB (обсуждение | вклад) |
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
||
(не показаны 23 промежуточных версий 3 участников) | |||
Строка 3: | Строка 3: | ||
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]]. | Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]]. | ||
− | [[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]]. | + | [[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016) |
== Расписание докладов == | == Расписание докладов == | ||
Строка 14: | Строка 14: | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
+ | |||
|- | |- | ||
− | | rowspan="2" align="center" | | + | | rowspan="2" align="center" | 22 сентября |
+ | |- | ||
+ | | Доклад «Cинтез рекурсивных схем из функциональных элементов» | ||
+ | | align="center" | Жуков В.В. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 29 сентября | ||
+ | |- | ||
+ | | Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.» | ||
+ | | align="center" | Курбацкая В.К. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 6 октября | ||
+ | |- | ||
+ | | Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев» | ||
+ | | align="center" | Высоцкий Л.И. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 20 октября | ||
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
|- | |- | ||
− | | | + | | О динамической активности схем из функциональных элементов. |
− | | | + | | align="center" | Шуплецов М.С. |
|- | |- | ||
− | | align="center" | | + | |
− | | | + | | rowspan="2" align="center" | 27 октября |
− | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | |
− | |- | + | |- |
− | + | | Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]] | |
− | | Доклад по статье | + | | align="center" | Автайкина Мария |
− | | | + | |- |
− | |- | + | | rowspan="2" align="center" | 3 ноября |
− | | align="center" | | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] |
− | | Доклад по статье | + | |- |
− | + | | Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]] | |
− | + | | align="center" | В. К. Курбацкая | |
− | | align="center" | | + | |- |
− | + | | rowspan="2" align="center" | 11 ноября | |
− | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | |
− | |- | + | |
− | | | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | | | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|- | |- | ||
− | | | + | | Доклад "О глубине ступенчатых функций". |
− | | | + | | align="center" | Д. С. Кинжикеева |
|- | |- | ||
− | | | + | | rowspan="2" align="center" | 17 ноября |
− | | | + | |
|- | |- | ||
− | | | + | | Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» |
− | | | + | | align="center" | Павлова А.Ф. |
|- | |- | ||
− | | | + | | rowspan="2" align="center" | 24 ноября |
− | | | + | |
|- | |- | ||
− | | align="center" | | + | | Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» |
− | + | | align="center" | Крюков Павел | |
− | + | ||
|} | |} | ||
Версия 16:23, 24 ноября 2017
Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.
Руководители: проф. Ложкин Сергей Андреевич, проф. Марченко Александр Михайлович, доц. Романов Дмитрий Сергеевич.
Участники семинара и таблица посещаемости (14.12.2016)
Расписание докладов
|