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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
(не показаны 103 промежуточных версий 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 9 октября
+
| align="center" | 20 сентября
−
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
−
| align="center" | Лопунов М.А.
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 16 октября
+
| align="center" | 27 сентября
−
| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup>
−
| align="center" | Зизов В.С.
+
| align="center" | Долгих Любовь
 
|-
 
|-
−
| align="center" | 30 октября
+
| align="center" | 04 октября
−
| Доклад по статье  Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup>
−
| align="center" | Хзмалян Д.Э.
+
| align="center" | Гребенкин Сергей
 
|-
 
|-
−
| align="center" | 13 ноября
+
| align="center" | 11 октября
−
| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup>
−
| align="center" | Коноводов В.А.
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 20 ноября
+
| align="center" | 18 октября
−
| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup>
+
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20241018.pdf|Аннотация доклада]]</sup>
−
| align="center" | Мальцев А.Н.
+
| 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" | 27 ноября
 
−
| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
 
 
|}
 
|}
  

Версия 19:14, 7 ноября 2024

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

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

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

Дата Тема доклада Докладчик
20 сентября Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»Аннотация доклада Сергеев Максим
27 сентября Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»Аннотация доклада Долгих Любовь
04 октября Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»Аннотация доклада Гребенкин Сергей
11 октября Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»Аннотация доклада Михалев Евгений
18 октября Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»Аннотация доклада Шухман Алексей
25 октября Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»Аннотация доклада Сергеев И.С.
01 ноября Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"Аннотация доклада Белоусова Анна
08 ноября Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»Аннотация доклада Кинжитаева Назия


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