Теория управляющих систем и математические модели СБИС — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
 
(не показаны 79 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 26 февраля
+
| align="center" | 20 сентября
−
| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
−
| align="center" | Сагандыков Жандос
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 5 марта
+
| align="center" | 27 сентября
−
| Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»<sup>[[Media:Specem_210305.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup>
−
| align="center" | Купраш Екатерина
+
| align="center" | Долгих Любовь
 
|-
 
|-
−
| align="center" | 12 марта
+
| align="center" | 04 октября
−
| Доклад по доказательству теорем 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>
+
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup>
−
| align="center" | Мальцев Александр
+
| align="center" | Гребенкин Сергей
 
|-
 
|-
−
| align="center" | 19 марта
+
| align="center" | 11 октября
−
| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup>
−
| align="center" | Хомич Павел
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 26 марта
+
| align="center" | 18 октября
−
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup>
+
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20241018.pdf|Аннотация доклада]]</sup>
−
| align="center" | Белашкин И.А.
+
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align="center" | 2 апреля
+
| align="center" | 25 октября
−
| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup>
+
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»<sup>[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]</sup>
−
| align="center" | Белашкин И.А.
+
| align="center" | Сергеев И.С.
 
|-
 
|-
−
| align="center" | 9 апреля
+
| align="center" | 01 ноября
−
| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"<sup>[[Media:Specsem01112024.pdf|Аннотация доклада]]</sup>
−
| align="center" | Зинкин Егор
+
| align="center" | Белоусова Анна
 
|-
 
|-
−
| align="center" | 1 октября
+
| align="center" | 08 ноября
−
| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup>
+
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»<sup>[[Media:Specsem20241108.pdf|Аннотация доклада]]</sup>
−
| align="center" | Михаил Лопунов
+
| align="center" | Кинжитаева Назия
 
|-
 
|-
−
| align="center" | 15 октября
+
| align="center" | 15 ноября
−
| Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»<sup>[[Media:Specsem20241115.pdf|Аннотация доклада]]</sup>
−
| align="center" | Зизов Вадим
+
| align="center" | Шуплецов М.С.
 
|-
 
|-
−
| align="center" | 22 октября
+
| align="center" | 22 ноября
−
| Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье 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" | Купраш Екатерина
+
| align="center" | Фесенко Анастасия
 
|-
 
|-
−
| align="center" | 19 ноября
+
| align="center" | 13 декабря
−
| Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup>
+
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»<sup>[[Media:Specsem20241213D.pdf|Аннотация доклада]]</sup>
−
| align="center" | Любич И.Г
+
| align="center" | Цуй Чжэнюй, Романов Д. С.
 
|-
 
|-
−
| align="center" | 26 ноября
 
−
| Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Антюфеев Г.В.
 
−
|-
 
−
| align="center" | 10 декабря
 
−
| Доклад по статье «Коммуникационная сложность универсального отношения»<sup>[[Media:Specem_211210.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Белашкин И.А.
 
−
|-
 
−
| align="center" | 17 декабря
 
−
| Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»<sup>[[Media:Specem_211217.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Местецкий Михаил
 
−
|-
 
−
| align="center" | 4 марта
 
−
| Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»<sup>[[Media:Specem_220304.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Демиденко Александр
 
−
|-
 
−
| align="center" | 18 марта
 
−
| Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»<sup>[[Media:Specem_220318.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Ступин Роман
 
−
|-
 
−
| align="center" | 25 марта
 
−
| Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»<sup>[[Media:Specem_220325.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Исаков Ильяс
 
−
|-
 
−
| align="center" | 1 апреля
 
−
| Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»<sup>[[Media:Specem_220401.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Синенкова Анна
 
−
|-
 
−
| align="center" | 8 апреля
 
−
| Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»<sup>[[Media:Specem_220408.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Тамерлан Еркибаев
 
 
|}
 
|}
  

Текущая версия на 22:02, 12 декабря 2024

Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.

Руководители: заведующий кафедрой Ложкин Сергей Андреевич, проф. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, асс. Данилов Борис Радиславович

Расписание докладов

Дата Тема доклада Докладчик
20 сентября Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»Аннотация доклада Сергеев Максим
27 сентября Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»Аннотация доклада Долгих Любовь
04 октября Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»Аннотация доклада Гребенкин Сергей
11 октября Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»Аннотация доклада Михалев Евгений
18 октября Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»Аннотация доклада Шухман Алексей
25 октября Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»Аннотация доклада Сергеев И.С.
01 ноября Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"Аннотация доклада Белоусова Анна
08 ноября Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»Аннотация доклада Кинжитаева Назия
15 ноября Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»Аннотация доклада Шуплецов М.С.
22 ноября Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)Аннотация доклада Фесенко Анастасия
13 декабря Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»Аннотация доклада Цуй Чжэнюй, Романов Д. С.


архив докладов за прошлые семестры
Источник — «https://mk.cs.msu.ru/index.php?title=Теория_управляющих_систем_и_математические_модели_СБИС&oldid=11629»