Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
DanilovB (обсуждение | вклад) (→Расписание докладов) |
||
(не показаны 19 промежуточные версии 2 участников) | |||
Строка 1: | Строка 1: | ||
− | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.'' |
− | Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], | + | Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]] |
== Расписание докладов == | == Расписание докладов == | ||
Строка 13: | Строка 13: | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | | + | | align="center" | 22 февраля |
+ | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Купраш Е.Д. | ||
|- | |- | ||
− | | Доклад по | + | | align="center" | 1 марта |
− | | align="center" | | + | | Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup> |
+ | | align="center" | Жуков В.В. | ||
|- | |- | ||
− | | | + | | align="center" | 15 марта |
− | | | + | | Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup> |
+ | | align="center" | Лопунов М.А. | ||
|- | |- | ||
− | | | + | | align="center" | 22 марта |
− | | align="center" | | + | | rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup> |
+ | | align="center" rowspan="2" | Пименов Н.В. | ||
|- | |- | ||
− | | align="center" | | + | | align="center" | 29 марта |
− | + | ||
− | + | ||
|- | |- | ||
− | + | | align="center" | 5 апреля | |
− | + | | Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup> | |
− | + | | align="center" | Омарова М.М. | |
− | + | ||
− | | align="center" | 5 | + | |
− | | Доклад по статье | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | | align="center" | | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|- | |- | ||
+ | | align="center" | 12 апреля | ||
+ | | Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Хзмалян Д.Э. | ||
|} | |} | ||
Версия 15:36, 11 апреля 2019
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
|