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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 74 промежуточных версий 3 участников)
Строка 1: Строка 1:
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 508.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], м.н.с. [[Данилов Борис Радиславович]]
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 9 ноября
+
| align="center" | 26 февраля
 +
| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сагандыков Жандос
 
|-
 
|-
| Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)
+
| align="center" | 5 марта
| align="center" | Александрова Н.Е.
+
| Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»<sup>[[Media:Specem_210305.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Купраш Екатерина
 
|-
 
|-
| rowspan="2" align="center" | 12 октября
+
| align="center" | 12 марта
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+
| Доклад по доказательству теорем 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>
 +
| align="center" | Мальцев Александр
 
|-
 
|-
| «Нижняя оценка энергопотребления для одного класса объёмных схем»
+
| align="center" | 19 марта
| align="center" | Ефимов Алексей Андреевич
+
| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Хомич Павел
 
|-
 
|-
| align="center" | 28 сентября
+
| align="center" | 26 марта
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]  
+
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup>
| align="center" | Мальцев А.
+
| align="center" | Белашкин И.А.
 
|-
 
|-
| align="center" | 21 сентября
+
| align="center" | 2 апреля
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]  
+
| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup>
| align="center" | Хзмалян Д.Э.
+
| align="center" | Белашкин И.А.
 
|-
 
|-
| align="center" | 5 октября
+
| align="center" | 9 апреля
| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup>
| align="center" | Титов В.А.
+
| align="center" | Зинкин Егор
 
|-
 
|-
| align="center" | 19 октября
+
| align="center" | 1 октября
| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup>
| align="center" | Кинжикеева Д.С.
+
| align="center" | Михаил Лопунов
 
|-
 
|-
| align="center" | 26 октября
+
| align="center" | 15 октября
| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»<sup>[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
+
| Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup>
| align="center" rowspan="2" | Красильникова А.А.
+
| align="center" | Зизов Вадим
 
|-
 
|-
| align="center" | 2 ноября
+
| 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" | Купраш Екатерина
 
|-
 
|-
| align="center" | 16 ноября
+
| align="center" | 19 ноября
| Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»<sup>[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]]  
+
| Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup>
| align="center" | Высоцкий Л.И.
+
| align="center" | Любич И.Г
 
|-
 
|-
| align="center" | 23 ноября
+
| align="center" | 26 ноября
| Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»<sup>[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]]  
+
| Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup>
| align="center" | Панчул Ю.
+
| align="center" | Антюфеев Г.В.
 
|-
 
|-
| align="center" | 7 декабря
+
| align="center" | 10 декабря
| Доклад по теме «О синтезе и сложности многослойных клеточных схем»<sup>[[Media:Калачев_Сатдыков_07_12_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье «Коммуникационная сложность универсального отношения»<sup>[[Media:Specem_211210.pdf|Аннотация доклада]]</sup>
| align="center" | Калачев Г.В., Сатдыков Т.
+
| align="center" | Белашкин И.А.
 
|-
 
|-
 +
| align="center" | 17 декабря
 +
| Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»<sup>[[Media:Specem_211217.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Местецкий Михаил
 
|}
 
|}
  

Версия 16:19, 15 декабря 2021

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

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

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

Дата Тема доклада Докладчик
26 февраля Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада Сагандыков Жандос
5 марта Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»Аннотация доклада Купраш Екатерина
12 марта Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.Статья, Аннотация доклада Мальцев Александр
19 марта Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»Аннотация доклада Хомич Павел
26 марта Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»Аннотация доклада Белашкин И.А.
2 апреля Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»Аннотация доклада Белашкин И.А.
9 апреля Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»Аннотация доклада Зинкин Егор
1 октября Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»Аннотация доклада Михаил Лопунов
15 октября Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»Аннотация доклада Зизов Вадим
22 октября Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»Аннотация доклада Купраш Екатерина
19 ноября Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»Аннотация доклада Любич И.Г
26 ноября Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»Аннотация доклада Антюфеев Г.В.
10 декабря Доклад по статье «Коммуникационная сложность универсального отношения»Аннотация доклада Белашкин И.А.
17 декабря Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»Аннотация доклада Местецкий Михаил


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