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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
 
(не показаны 55 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''
  
 
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
 
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 4 октября
+
| align="center" | 29 сентября
−
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20250929.pdf|Аннотация доклада]]</sup>
−
| align="center" | Соколов Михаил
+
| align="center" | Орлов Михаил
 
|-
 
|-
−
| align="center" | 11 октября
+
| align="center" | 06 октября
−
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»<sup>[[Media:Specsem20251006.pdf|Аннотация доклада]]</sup>
−
| align="center" | Гребенкин Сергей
+
| align="center" | Кудимов Денис
 
|-
 
|-
−
| align="center" | 18 октября
+
| align="center" | 13 октября
−
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»<sup>[[Media:Specsem20251013.pdf|Аннотация доклада]]</sup>
−
| align="center" | Кленин Максим
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 25 октября
+
| align="center" | 20 октября
−
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»<sup>[[Media:Specsem20251020.pdf|Аннотация доклада]]</sup>
−
| align="center" | Михалев Евгений
+
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align="center" | 1 ноября
+
| align="center" | 27 октября
−
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]
+
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
 +
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align="center" | 8 ноября
+
| align="center" | 10 ноября
−
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»<sup>[[Media:Specsem20251110.pdf|Аннотация доклада]]</sup>
−
| align="center" | Дарья Есипова
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 22 ноября
+
| align="center" | 17 ноября
−
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup>
+
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
−
| align="center" | Столетний Александр
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 29 ноября
+
| align="center" | 24 ноября
−
| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”<sup>[[Media:Specsem20251124.pdf|Аннотация доклада]]</sup>
−
| align="center" | Соколов Михаил
+
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align="center" | 6 декабря
 
−
| Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»<sup>[[Media:Specsem20231206.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»