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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 193 промежуточных версий 4 участников)
Строка 1: Строка 1:
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''612'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
 +
 
 +
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 20 февраля
+
| align="center" | 26 февраля
| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".  
+
| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup>
| Смирнов А. А.
+
| align="center" | Сагандыков Жандос
 
|-
 
|-
| align="center" | 27 февраля
+
| align="center" | 5 марта
| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
+
| Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»<sup>[[Media:Specem_210305.pdf|Аннотация доклада]]</sup>
| Сальников В. А.
+
| align="center" | Купраш Екатерина
 
|-
 
|-
| align="center" | 13 марта
+
| 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" | Мальцев Александр
 +
|-
 +
| align="center" | 19 марта
 +
| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Хомич Павел
 +
|-
 +
| align="center" | 26 марта
 +
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Белашкин И.А.
 +
|-
 +
| align="center" | 2 апреля
 +
| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Белашкин И.А.
 +
|-
 +
| align="center" | 9 апреля
 +
| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Зинкин Егор
 +
|-
 +
| align="center" | 1 октября
 +
| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup>
 +
| 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" | Купраш Екатерина
 +
|-
 +
| align="center" | 19 ноября
 +
| Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Любич И.Г
 +
|-
 +
| align="center" | 26 ноября
 +
| Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Антюфеев Г.В.
 +
|-
 +
| align="center" | 10 декабря
 +
| Доклад по статье «Коммуникационная сложность универсального отношения»<sup>[[Media:Specem_211210.pdf|Аннотация доклада]]</sup>
 +
| 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" | Местецкий Михаил
 +
|-
 +
| align="center" | 4 марта
 +
| Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»<sup>[[Media:Specem_220304.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Демиденко Александр
 +
|-
 +
| align="center" | 18 марта
 +
| Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»<sup>[[Media:Specem_220318.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Ступин Роман
 +
|-
 +
| align="center" | 25 марта
 +
| Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»<sup>[[Media:Specem_220325.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Исаков Ильяс
 +
|-
 +
| align="center" | 1 апреля
 +
| Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»<sup>[[Media:Specem_220401.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Синенкова Анна
 +
|-
 +
| align="center" | 8 апреля
 +
| Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»<sup>[[Media:Specem_220408.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Тамерлан Еркибаев
 +
|-
 +
| align="center" | 15 апреля
 +
| Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»<sup>[[Media:Specem_220415.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Фесенко Анастасия
 
|}
 
|}
  
Строка 30: Строка 100:
  
 
|}
 
|}
 
== Руководители ==
 
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Марченко Александр Михайлович]]
 
* доц. [[Романов Дмитрий Сергеевич]]
 
 
== Участники ==
 
 
{| width="100%"
 
| width="40%" |
 
 
<u>Аспиранты:</u>
 
* Антюфеев Григорий
 
* Богомолова Евгения
 
* [[Участник:KonovodovV|Коноводов Владимир]]
 
* Морозов Евгений
 
| width="40%" |
 
 
<u>Студенты 5 курса:</u>
 
* Костюков Станислав
 
* Тренкунов Антон
 
* Жукова Анна
 
* Чеховская Екатерина
 
* Доленко Ольга
 
* Белышов Михаил
 
|
 
 
<u>Студенты 4 курса:</u>
 
* Довгалюк Екатерина
 
* Кортунова Екатерина
 
* Кулешов Олег
 
* Кумар Виренд
 
* Раннев Егор
 
|}
 
 
== Ссылки ==
 
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dHB2ZjVpbjR2SkdmYVRVcUVqUG1sMGc&single=true&gid=0&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Версия 00:49, 15 апреля 2022

Спецсеминар для бакалавров 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»Аннотация доклада Местецкий Михаил
4 марта Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»Аннотация доклада Демиденко Александр
18 марта Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»Аннотация доклада Ступин Роман
25 марта Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»Аннотация доклада Исаков Ильяс
1 апреля Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»Аннотация доклада Синенкова Анна
8 апреля Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»Аннотация доклада Тамерлан Еркибаев
15 апреля Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»Аннотация доклада Фесенко Анастасия


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