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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
 
(не показаны 55 промежуточные версии 2 участников)
Строка 1: Строка 1:
 
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
 
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 27 сентября
+
| align="center" | 10 октября
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specsem_190927.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup>
| align="center" | Хзмалян Д.Э.
+
| align="center" | Козин Георгий
 
|-
 
|-
| align="center" | 11 октября
+
| align="center" | 17 октября
| Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup>
| align="center" | Лопунов М.А.
+
| align="center" | Исаков Ильяс
 
|-
 
|-
| align="center" | 18 октября
+
| align="center" | 24 октября
| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup>
| align="center" | Зизов В.
+
| align="center" | Местецкий Михаил
 
|-
 
|-
| align="center" | 25 октября
+
| align="center" | 7 ноября
| Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»<sup>[[Media:Specsem_191025.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup>
| align="center" | Ибрагимов Б.М.
+
| align="center" | Фесенко Анастасия
 
|-
 
|-
| align="center" | 8 ноября
+
| align="center" | 14 ноября
| rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»<sup>[[Media:Specsem_191108.pdf|Аннотация доклада]]</sup>
+
| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
| rowspan="2" align="center" | проф. Ложкин С.А.
+
| align="center" | Фесенко Анастасия
 
|-
 
|-
| align="center" | 15 ноября
+
| align="center" | 21 ноября
 +
| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Романов Дмитрий
 
|-
 
|-
| align="center" | 22 ноября
+
| align="center" | 28 ноября
| Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)<sup>[[Media:Specsem_221119.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup>
| align="center" | Купраш Е.
+
| align="center" | Синенкова Анна
 
|-
 
|-
| align="center" | 13 декабря
+
| align="center" | 5 декабря
| Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»<sup>[[Media:Specsem_191213.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup>
| align="center" | доцент кафедры МАТИС
+
| align="center" | Романов Дмитрий
механико-математического факультета Часовских А.А.
+
|-
+
| align="center" | 21 февраля
+
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_200221.pdf|Аннотация доклада]]</sup>
+
| align="center" | Мальцев А.Н.
+
|-
+
| align="center" | 28 февраля
+
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:Specsem_200228.pdf|Аннотация доклада]]</sup>
+
| align="center" | Пименов Н.В.
+
 
|}
 
|}
  

Текущая версия на 16:07, 5 декабря 2022

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

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

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

Дата Тема доклада Докладчик
10 октября Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»Аннотация доклада Козин Георгий
17 октября Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»Аннотация доклада Исаков Ильяс
24 октября Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»Аннотация доклада Местецкий Михаил
7 ноября Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»Аннотация доклада Фесенко Анастасия
14 ноября Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем» Фесенко Анастасия
21 ноября Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»Аннотация доклада Романов Дмитрий
28 ноября Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»Аннотация доклада Синенкова Анна
5 декабря Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада Романов Дмитрий


архив докладов за прошлые семестры