Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
||
| (не показаны 13 промежуточные версии 2 участников) | |||
| Строка 20: | Строка 20: | ||
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup> | | Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup> | ||
| align="center" | Долгих Любовь | | align="center" | Долгих Любовь | ||
| + | |- | ||
| + | | align="center" | 04 октября | ||
| + | | Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Гребенкин Сергей | ||
| + | |- | ||
| + | | align="center" | 11 октября | ||
| + | | Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Михалев Евгений | ||
| + | |- | ||
| + | | align="center" | 18 октября | ||
| + | | Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20241018.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Шухман Алексей | ||
| + | |- | ||
| + | | align="center" | 25 октября | ||
| + | | Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»<sup>[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Сергеев И.С. | ||
| + | |- | ||
| + | | align="center" | 01 ноября | ||
| + | | Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"<sup>[[Media:Specsem01112024.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Белоусова Анна | ||
| + | |- | ||
| + | | align="center" | 08 ноября | ||
| + | | Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»<sup>[[Media:Specsem20241108.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Кинжитаева Назия | ||
| + | |- | ||
| + | | align="center" | 15 ноября | ||
| + | | Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях» | ||
| + | <sup>[[Media:Specsem20241115.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Шуплецов М.С. | ||
| + | |- | ||
| + | | align="center" | 22 ноября | ||
| + | | Доклад по статье: L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)<sup>[[Media:Specsem20241122.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Фесенко Анастасия | ||
|- | |- | ||
|} | |} | ||
Текущая версия на 21:40, 21 ноября 2024
Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.
Руководители: заведующий кафедрой Ложкин Сергей Андреевич, проф. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, асс. Данилов Борис Радиславович
Расписание докладов
|
