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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
 
(не показаны 270 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''505'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''
 +
 
 +
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 9 октября
+
| align="center" | 29 сентября
−
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
+
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20250929.pdf|Аннотация доклада]]</sup>
−
| Зиновьев В. С.
+
| align="center" | Орлов Михаил
 
|-
 
|-
−
| align="center" | 16 октября
+
| align="center" | 06 октября
−
| Синтез и сложность дешифраторных схем контактного типа
+
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»<sup>[[Media:Specsem20251006.pdf|Аннотация доклада]]</sup>
−
| Добровецкий Д. И.
+
| align="center" | Кудимов Денис
−
|-
+
−
| rowspan="2" align="center" | 23 октября
+
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
 
|-
 
|-
−
| New bounds on Klarner's constant
+
| align="center" | 13 октября
−
| Gill Barequet, Dept. of Computer Science, Technion
+
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»<sup>[[Media:Specsem20251013.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align = "center"|30 октября
+
| align="center" | 20 октября
−
| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup>
+
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»<sup>[[Media:Specsem20251020.pdf|Аннотация доклада]]</sup>
−
| Довгалюк Е. Л.
+
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align = "center"|6 ноября
+
| align="center" | 27 октября
−
| Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup>
+
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
−
| Фивейский С.В.
+
| align="center" | Романов Дмитрий
−
|-
+
−
| rowspan="2" align="center" | 13 ноября
+
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
 
|-
 
|-
−
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
+
| align="center" | 10 ноября
−
| Мария Автайкина
+
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»<sup>[[Media:Specsem20251110.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Михалев Евгений
 
|-
 
|-
−
| rowspan="2" align="center" | 20 ноября
+
| align="center" | 17 ноября
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
 +
| align="center" | Михалев Евгений
 
|-
 
|-
−
| Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
+
| align="center" | 24 ноября
−
1. http://www.iccad.com (конференция)
+
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”<sup>[[Media:Specsem20251124.pdf|Аннотация доклада]]</sup>
−
2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+
| align="center" | Шухман Алексей
−
3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
+
−
| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
+
 
|-
 
|-
−
| align = "center"| 27 ноября
 
−
| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
 
−
| Кухтинов А.С.
 
−
|-
 
−
| align = "center"| 4 декабря
 
−
| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
 
−
| Шуплецов М.С.
 
−
|-
 
−
| rowspan="2" align="center" | 11 декабря
 
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
−
|-
 
−
| Доклад "Маршрут физического проектирования систем на кристалле"
 
−
| Евгений Зенин
 
 
|}
 
|}
  
Строка 69: Строка 53:
  
 
|}
 
|}
−
 
−
== Руководители ==
 
−
 
−
* проф. [[Ложкин Сергей Андреевич]]
 
−
* проф. [[Марченко Александр Михайлович]]
 
−
* доц. [[Романов Дмитрий Сергеевич]]
 
−
 
−
== Участники ==
 
−
 
−
{| 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 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Текущая версия на 12:44, 24 ноября 2025

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

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

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

Дата Тема доклада Докладчик
29 сентября Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»Аннотация доклада Орлов Михаил
06 октября Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»Аннотация доклада Кудимов Денис
13 октября Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»Аннотация доклада Сергеев Максим
20 октября Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»Аннотация доклада Романов Дмитрий
27 октября Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов» Романов Дмитрий
10 ноября Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»Аннотация доклада Михалев Евгений
17 ноября Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб» Михалев Евгений
24 ноября Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”Аннотация доклада Шухман Алексей


архив докладов за прошлые семестры
Источник — «https://mk.cs.msu.ru/index.php?title=Теория_управляющих_систем_и_математические_модели_СБИС&oldid=12362»