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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
 
(не показаны 24 промежуточных версий 2 участников)
Строка 1: Строка 1:
 
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
 
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 26 февраля
+
| align="center" | 10 октября
| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup>
| align="center" | Сагандыков Жандос
+
| align="center" | Козин Георгий
 
|-
 
|-
| align="center" | 5 марта
+
| align="center" | 17 октября
| Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»<sup>[[Media:Specem_210305.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup>
| align="center" | Купраш Екатерина
+
| align="center" | Исаков Ильяс
 
|-
 
|-
| align="center" | 12 марта
+
| align="center" | 24 октября
| Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.<sup>[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]], [[Media:Specem_210312.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup>
| align="center" | Мальцев Александр
+
| align="center" | Местецкий Михаил
 
|-
 
|-
| align="center" | 19 марта
+
| align="center" | 7 ноября
| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup>
| align="center" | Хомич Павел
+
| align="center" | Фесенко Анастасия
 
|-
 
|-
| align="center" | 26 марта
+
| align="center" | 14 ноября
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup>
+
| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
| align="center" | Белашкин И.А.
+
| align="center" | Фесенко Анастасия
 
|-
 
|-
| align="center" | 2 апреля
+
| align="center" | 21 ноября
| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup>
| align="center" | Белашкин И.А.
+
| align="center" | Романов Дмитрий
 
|-
 
|-
| align="center" | 9 апреля
+
| align="center" | 28 ноября
| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup>
| align="center" | Зинкин Егор
+
| align="center" | Синенкова Анна
 
|-
 
|-
| align="center" | 1 октября
+
| align="center" | 5 декабря
| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup>
| align="center" | Михаил Лопунов
+
| align="center" | Романов Дмитрий
|-
+
| align="center" | 15 октября
+
| Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup>
+
| align="center" | Зизов Вадим
+
|-
+
| align="center" | 22 октября
+
| Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup>
+
| align="center" | Купраш Екатерина
+
 
|}
 
|}
  

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

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

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

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

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


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