|
|
(не показаны 165 промежуточные версии 3 участников) |
Строка 1: |
Строка 1: |
− | ''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.'' | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.'' |
| | | |
− | Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]]. | + | Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]] |
− | | + | |
− | [[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016) | + | |
| | | |
| == Расписание докладов == | | == Расписание докладов == |
Строка 14: |
Строка 12: |
| ! Тема доклада | | ! Тема доклада |
| ! Докладчик | | ! Докладчик |
− |
| |
− | |-
| |
− | | 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" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
− | |-
| |
− | | О динамической активности схем из функциональных элементов.
| |
− | | 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 ноября
| |
− | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
− | |-
| |
− | | Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
| |
− | | 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" | 20 сентября |
| + | | Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup> |
| + | | align="center" | Сергеев Максим |
| |- | | |- |
− | | Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
| |
− | | align="center" | Крюков Павел
| |
| |} | | |} |
| | | |