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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 30 промежуточные версии 3 участников)
Строка 1: Строка 1:
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 508.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], м.н.с. [[Данилов Борис Радиславович]]
 
+
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 14: Строка 12:
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
 
 
|-
 
|-
| rowspan="2" align="center" | 22 сентября
+
| align="center" | 21 сентября
 +
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]
 +
| align="center" | Хзмалян Д.Э.
 
|-
 
|-
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
+
| align="center" | 28 сентября
| align="center" | Жуков В.В.
+
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]
 
+
| align="center" | Мальцев А.Н.
 
|-
 
|-
| rowspan="2" align="center" | 29 сентября
+
| align="center" | 5 октября
 +
| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]
 +
| align="center" | Титов В.А.
 
|-
 
|-
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
+
| rowspan="2" align="center" | 12 октября
| align="center" | Курбацкая В.К.
+
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
 
+
 
|-
 
|-
| rowspan="2" align="center" | 6 октября
+
| «Нижняя оценка энергопотребления для одного класса объёмных схем»
 +
| align="center" | Ефимов Алексей Андреевич
 
|-
 
|-
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
+
| align="center" | 19 октября
| align="center" | Высоцкий Л.И.
+
| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]
 
+
| align="center" | Кинжикеева Д.С.
 
|-
 
|-
| rowspan="2" align="center" | 20 октября
+
| align="center" | 26 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»<sup>[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
 +
| align="center" rowspan="2" | Красильникова А.А.
 
|-
 
|-
| О динамической активности схем из функциональных элементов.
+
| align="center" | 2 ноября
| align="center" | Шуплецов М.С.
+
 
|-
 
|-
 
+
| rowspan="2" align="center" | 9 ноября
| rowspan="2" align="center" | 27 октября
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
 
|-
 
|-
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
+
| Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)
| align="center" | Автайкина Мария
+
| align="center" | Александрова Н.Е.
 
|-
 
|-
| rowspan="2" align="center" | 3 ноября
+
| rowspan="2" align="center" | 16 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
 
|-
 
|-
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
+
| Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»<sup>[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]]  
| align="center" | В. К. Курбацкая
+
| align="center" | Высоцкий Л.И.
 
|-
 
|-
| rowspan="2" align="center" | 11 ноября
+
| align="center" | 23 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»<sup>[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]]
 +
| align="center" | Панчул Юрий Владимирович
 
|-
 
|-
| Доклад "О глубине ступенчатых функций".
+
| rowspan="2" align="center" | 7 декабря
| align="center" | Д. С. Кинжикеев
+
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
 
|-
 
|-
| rowspan="2" align="center" | 18 ноября
+
| Доклад по теме «О сложности многослойных клеточных схем»<sup>[[Media:Specsem_7dec.doc|Аннотация доклада]]
 +
| align="center" | Калачев Г.В., Сытдыков Т.Р.
 
|-
 
|-
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
 
| align="center" | Павлова А.Ф.
 
 
 
|}
 
|}
  

Версия 17:45, 5 декабря 2018

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

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

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

Дата Тема доклада Докладчик
21 сентября Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»Аннотация доклада Хзмалян Д.Э.
28 сентября Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»Аннотация доклада Мальцев А.Н.
5 октября Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»Аннотация доклада Титов В.А.
12 октября Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС
«Нижняя оценка энергопотребления для одного класса объёмных схем» Ефимов Алексей Андреевич
19 октября Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»Аннотация доклада Кинжикеева Д.С.
26 октября Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»Аннотация доклада Красильникова А.А.
2 ноября
9 ноября
Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf) Александрова Н.Е.
16 ноября Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС
Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»Аннотация доклада Высоцкий Л.И.
23 ноября Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»Аннотация доклада Панчул Юрий Владимирович
7 декабря Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС
Доклад по теме «О сложности многослойных клеточных схем»Аннотация доклада Калачев Г.В., Сытдыков Т.Р.


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