Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
м (→Расписание докладов) |
DanilovB (обсуждение | вклад) |
||
| (не показаны 7 промежуточные версии 2 участников) | |||
| Строка 20: | Строка 20: | ||
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup> | | Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup> | ||
| align="center" | Федоренко Илья | | align="center" | Федоренко Илья | ||
| + | |- | ||
| + | | align="center" | 7, 14 марта | ||
| + | | Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Михалев Евгений | ||
| + | |- | ||
| + | | align="center" | 21 марта | ||
| + | | Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Кленин Максим | ||
| + | |- | ||
| + | | align="center" | 28 марта | ||
| + | | Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Фаизов Алексей | ||
| + | |- | ||
| + | | align="center" | 5 апреля | ||
| + | | Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Сергеев Максим | ||
| + | |- | ||
| + | | align="center" | 11 апреля | ||
| + | | Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | С.А.Ложкин и М.С.Шуплецов | ||
| + | |- | ||
| + | | align="center" | 18 апреля | ||
| + | | Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Башмаков Михаил | ||
|- | |- | ||
|} | |} | ||
Версия 20:15, 17 апреля 2024
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.
Руководители: заведующий кафедрой Ложкин Сергей Андреевич, проф. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, асс. Данилов Борис Радиславович
Расписание докладов
|
