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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 9 октября
+
| align="center" | 26 февраля
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup>
| align="center" | Лопунов М.А.
+
| align="center" | Сагандыков Ж.М.
|-
+
| align="center" | 16 октября
+
| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup>
+
| align="center" | Зизов В.С.
+
|-
+
| align="center" | 30 октября
+
| Доклад по статье  Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup>
+
| align="center" | Хзмалян Д.Э.
+
|-
+
| align="center" | 13 ноября
+
| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup>
+
| align="center" | Коноводов В.А.
+
|-
+
| align="center" | 20 ноября
+
| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup>
+
| align="center" | Мальцев А.Н.
+
|-
+
| align="center" | 27 ноября
+
| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup>
+
| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
+
|-
+
| align="center" | 4 декабря
+
| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup>
+
| align="center" | М.С.Шуплецов, В.В.Жуков
+
|-
+
| align="center" | 11 декабря
+
| Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup>
+
| align="center" | Н.В.Пименов
+
 
|}
 
|}
  

Версия 18:42, 25 февраля 2021

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

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

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

Дата Тема доклада Докладчик
26 февраля Доклад по статье Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада Сагандыков Ж.М.


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