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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 99 промежуточные версии 3 участников)
Строка 1: Строка 1:
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
 
+
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 14: Строка 12:
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
 
 
|-
 
|-
| rowspan="2" align="center" | 22 сентября
+
| align="center" | 26 февраля
 +
| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сагандыков Жандос
 
|-
 
|-
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
+
| 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" | 29 сентября
+
| align="center" | 12 марта
 +
| Доклад по доказательству теорем 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" | Мальцев Александр
 
|-
 
|-
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
+
| align="center" | 19 марта
| align="center" | Курбацкая В.К.
+
| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup>
 
+
| align="center" | Хомич Павел
 
|-
 
|-
| rowspan="2" align="center" | 6 октября
+
| align="center" | 26 марта
|-
+
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup>
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
+
| align="center" | Белашкин И.А.
| align="center" | Высоцкий Л.И.
+
 
+
|-
+
| rowspan="2" align="center" | 20 октября
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
|-
+
| О динамической активности схем из функциональных элементов.
+
| align="center" | Шуплецов М.С.
+
|-
+
 
+
| rowspan="2" align="center" | 27 октября
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
 
|-
 
|-
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
+
| align="center" | 2 апреля
| align="center" | Автайкина Мария
+
| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Белашкин И.А.
 
|-
 
|-
| rowspan="2" align="center" | 3 ноября
+
| align="center" | 9 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Зинкин Егор
 
|-
 
|-
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
+
| align="center" | 1 октября
| align="center" | В. К. Курбацкая
+
| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Михаил Лопунов
 
|-
 
|-
| rowspan="2" align="center" | 11 ноября
+
| align="center" | 15 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Зизов Вадим
 
|-
 
|-
| Доклад "О глубине ступенчатых функций".
+
| align="center" | 22 октября
| align="center" | Д. С. Кинжикеева
+
| Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Купраш Екатерина
 
|-
 
|-
| rowspan="2" align="center" | 17 ноября
+
| align="center" | 19 ноября
 +
| Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Любич И.Г
 
|-
 
|-
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
+
| align="center" | 26 ноября
| align="center" | Павлова А.Ф.
+
| Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Антюфеев Г.В.
 
|-
 
|-
| rowspan="2" align="center" | 24 ноября
+
| align="center" | 10 декабря
 +
| Доклад по статье «Коммуникационная сложность универсального отношения»<sup>[[Media:Specem_211210.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Белашкин И.А.
 
|-
 
|-
| Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
+
| align="center" | 17 декабря
| align="center" | Крюков Павел
+
| Доклад по статье 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»Аннотация доклада Местецкий Михаил


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