Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
DanilovB (обсуждение | вклад) (→Расписание докладов) |
||
(не показаны 18 промежуточные версии 1 участника) | |||
Строка 22: | Строка 22: | ||
|- | |- | ||
| align="center" | 12 марта | | align="center" | 12 марта | ||
− | | Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.<sup>[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]]</sup> | + | | Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.<sup>[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]], [[Media:Specem_210312.pdf|Аннотация доклада]]</sup> |
| align="center" | Мальцев Александр | | align="center" | Мальцев Александр | ||
+ | |- | ||
+ | | align="center" | 19 марта | ||
+ | | Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Хомич Павел | ||
+ | |- | ||
+ | | align="center" | 26 марта | ||
+ | | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Белашкин И.А. | ||
+ | |- | ||
+ | | align="center" | 2 апреля | ||
+ | | Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Белашкин И.А. | ||
+ | |- | ||
+ | | align="center" | 9 апреля | ||
+ | | Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Зинкин Егор | ||
+ | |- | ||
+ | | align="center" | 1 октября | ||
+ | | Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Михаил Лопунов | ||
+ | |- | ||
+ | | align="center" | 15 октября | ||
+ | | Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Зизов Вадим | ||
+ | |- | ||
+ | | align="center" | 22 октября | ||
+ | | Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Купраш Екатерина | ||
+ | |- | ||
+ | | align="center" | 19 ноября | ||
+ | | Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Любич И.Г | ||
+ | |- | ||
+ | | align="center" | 26 ноября | ||
+ | | Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Антюфеев Г.В. | ||
|} | |} | ||
Версия 21:15, 25 ноября 2021
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
|