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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
 
(не показаны 133 промежуточных версий 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 9 октября
+
| align="center" | 29 сентября
−
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20250929.pdf|Аннотация доклада]]</sup>
−
| align="center" | Лопунов М.А.
+
| align="center" | Орлов Михаил
 
|-
 
|-
−
| align="center" | 16 октября
+
| align="center" | 06 октября
−
| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»<sup>[[Media:Specsem20251006.pdf|Аннотация доклада]]</sup>
−
| align="center" | Зизов В.С.
+
| align="center" | Кудимов Денис
 
|-
 
|-
−
| align="center" | 30 октября
+
| align="center" | 13 октября
−
| Доклад по статье  Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»<sup>[[Media:Specsem20251013.pdf|Аннотация доклада]]</sup>
−
| align="center" | Хзмалян Д.Э.
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 13 ноября
+
| align="center" | 20 октября
−
| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»<sup>[[Media:Specsem20251020.pdf|Аннотация доклада]]</sup>
−
| align="center" | Коноводов В.А.
+
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align="center" | 20 ноября
+
| align="center" | 27 октября
−
| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup>
+
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
−
| align="center" | Мальцев А.Н.
+
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align="center" | 27 ноября
+
| align="center" | 10 ноября
−
| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»<sup>[[Media:Specsem20251110.pdf|Аннотация доклада]]</sup>
−
| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
+
| align="center" | Михалев Евгений
 +
|-
 +
| align="center" | 17 ноября
 +
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
 +
| align="center" | Михалев Евгений
 +
|-
 +
| align="center" | 24 ноября
 +
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”<sup>[[Media:Specsem20251124.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align="center" | 4 декабря
 
−
| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.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»