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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
 
(не показаны 202 промежуточных версий 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
−
 
+
−
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 14: Строка 12:
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
−
 
 
|-
 
|-
−
| rowspan="2" align="center" | 06 апреля
+
| align="center" | 29 сентября
 +
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20250929.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Орлов Михаил
 
|-
 
|-
−
| Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов»
+
| align="center" | 06 октября
−
| align="center" | Высоцкий Л. И., Жуков В. В.
+
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»<sup>[[Media:Specsem20251006.pdf|Аннотация доклада]]</sup>
−
 
+
| align="center" | Кудимов Денис
 
|-
 
|-
−
| rowspan="2" align="center" | 23 марта
+
| align="center" | 13 октября
 +
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»<sup>[[Media:Specsem20251013.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сергеев Максим
 
|-
 
|-
−
| Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627).
+
| align="center" | 20 октября
−
| align="center" | Курбацкая В.К.
+
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»<sup>[[Media:Specsem20251020.pdf|Аннотация доклада]]</sup>
−
 
+
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| rowspan="2" align="center" | 16 марта
+
| align="center" | 27 октября
 +
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
 +
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с.
+
| align="center" | 10 ноября
−
| align="center" | Мальцев А.Н.
+
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»<sup>[[Media:Specsem20251110.pdf|Аннотация доклада]]</sup>
−
 
+
| align="center" | Михалев Евгений
 +
|-
 +
| align="center" | 17 ноября
 +
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
 +
| align="center" | Михалев Евгений
 
|-
 
|-
−
| rowspan="2" align="center" | 2 марта
+
| align="center" | 24 ноября
 +
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”<sup>[[Media:Specsem20251124.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Шухман Алексей
 
|-
 
|-
−
| Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем".
 
−
| 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»