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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
 
(не показаны 75 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 10 октября
+
| align="center" | 29 сентября
−
| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20250929.pdf|Аннотация доклада]]</sup>
−
| align="center" | Козин Георгий
+
| align="center" | Орлов Михаил
 
|-
 
|-
−
| align="center" | 17 октября
+
| align="center" | 06 октября
−
| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»<sup>[[Media:Specsem20251006.pdf|Аннотация доклада]]</sup>
−
| align="center" | Исаков Ильяс
+
| align="center" | Кудимов Денис
 
|-
 
|-
−
| align="center" | 24 октября
+
| align="center" | 13 октября
−
| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»<sup>[[Media:Specsem20251013.pdf|Аннотация доклада]]</sup>
−
| align="center" | Местецкий Михаил
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 7 ноября
+
| align="center" | 20 октября
−
| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»<sup>[[Media:Specsem20251020.pdf|Аннотация доклада]]</sup>
−
| align="center" | Фесенко Анастасия
+
−
|-
+
−
| align="center" | 14 ноября
+
−
| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
+
−
| align="center" | Фесенко Анастасия
+
−
|-
+
−
| align="center" | 21 ноября
+
−
| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup>
+
 
| align="center" | Романов Дмитрий
 
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align="center" | 28 ноября
+
| align="center" | 27 октября
−
| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup>
+
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
−
| align="center" | Синенкова Анна
+
−
|-
+
−
| align="center" | 5 декабря
+
−
| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup>
+
 
| align="center" | Романов Дмитрий
 
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align="center" | 12 декабря
+
| align="center" | 10 ноября
−
| Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»<sup>[[Media:Specsem221211.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»<sup>[[Media:Specsem20251110.pdf|Аннотация доклада]]</sup>
−
| align="center" | Гребенкин Сергей
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 7 марта
+
| align="center" | 17 ноября
−
| Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»<sup>[[Media:Specsem230307.pdf|Аннотация доклада]]</sup>
+
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
 
| align="center" | Михалев Евгений
 
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 14 марта
+
| align="center" | 24 ноября
−
| Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»<sup>[[Media:Specsem230314.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”<sup>[[Media:Specsem20251124.pdf|Аннотация доклада]]</sup>
−
| align="center" | Кленин Максим
+
| align="center" | Шухман Алексей
−
|-
+
−
| align="center" | 21 марта
+
−
| Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup>
+
−
| align="center" | Есипова Дарья
+
−
|-
+
−
| align="center" | 28 марта
+
−
| Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»<sup>[[Media:Specem28032023.pdf|Аннотация доклада]]</sup>
+
−
| align="center" | Соколов Михаил
+
 
|-
 
|-
−
| align="center" | 4 апреля
 
−
| Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»<sup>[[Media:Specsem20230404.pdf|Аннотация доклада]]</sup>
 
−
| align="center" | Козин Георгий
 
 
|}
 
|}
  

Текущая версия на 12:44, 24 ноября 2025

Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.

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

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

Дата Тема доклада Докладчик
29 сентября Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»Аннотация доклада Орлов Михаил
06 октября Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»Аннотация доклада Кудимов Денис
13 октября Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»Аннотация доклада Сергеев Максим
20 октября Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»Аннотация доклада Романов Дмитрий
27 октября Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов» Романов Дмитрий
10 ноября Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»Аннотация доклада Михалев Евгений
17 ноября Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб» Михалев Евгений
24 ноября Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”Аннотация доклада Шухман Алексей


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