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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
 
(не показаны 132 промежуточных версий 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 508.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], м.н.с. [[Данилов Борис Радиславович]]
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 21 сентября
+
| align="center" | 22 февраля
−
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup>
−
| align="center" | Хзмалян Д.Э.
+
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align="center" | 28 сентября
+
| align="center" | 29 февраля
−
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]  
+
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup>
−
| align="center" | Мальцев А.Н.
+
| align="center" | Федоренко Илья
 
|-
 
|-
−
| align="center" | 5 октября
+
| align="center" | 7, 14 марта
−
| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup>
−
| align="center" | Титов В.А.
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| rowspan="2" align="center" | 12 октября
+
| align="center" | 21 марта
−
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Кленин Максим
 
|-
 
|-
−
| «Нижняя оценка энергопотребления для одного класса объёмных схем»
+
| align="center" | 28 марта
−
| align="center" | Ефимов Алексей Андреевич
+
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Фаизов Алексей
 
|-
 
|-
−
| align="center" | 19 октября
+
| align="center" | 5 апреля
−
| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup>
−
| align="center" | Кинжикеева Д.С.
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 26 октября
+
| align="center" | 11 апреля
−
| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»<sup>[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
+
| Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup>
−
| align="center" rowspan="2" | Красильникова А.А.
+
| align="center" | С.А.Ложкин и М.С.Шуплецов
 
|-
 
|-
−
| align="center" | 2 ноября
+
| align="center" | 18 апреля
−
|-
+
| Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup>
−
| rowspan="2" align="center" | 9 ноября
+
| align="center" | Башмаков Михаил
−
|-
+
−
| Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)
+
−
| align="center" | Александрова Н.Е.
+
−
|-
+
−
| rowspan="2" align="center" | 16 ноября
+
−
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+
−
|-
+
−
| Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»<sup>[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]]  
+
−
| align="center" | Высоцкий Л.И.
+
−
|-
+
−
| align="center" | 23 ноября
+
−
| Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»<sup>[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]]
+
−
| align="center" | Панчул Юрий Владимирович
+
−
|-
+
−
| rowspan="2" align="center" | 7 декабря
+
−
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+
−
|-
+
−
| Доклад по теме «О сложности многослойных клеточных схем»<sup>[[Media:Specsem_7dec.doc|Аннотация доклада]]
+
−
| align="center" | Калачев Г.В., Сытдыков Т.Р.
+
 
|-
 
|-
 
|}
 
|}

Текущая версия на 20:15, 17 апреля 2024

Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.

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

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

Дата Тема доклада Докладчик
22 февраля Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)Аннотация доклада Шухман Алексей
29 февраля Доклад по теме «Методы решения задачи поиска функциональных соответствий»Аннотация доклада Федоренко Илья
7, 14 марта Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)Аннотация доклада Михалев Евгений
21 марта Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)Аннотация доклада Кленин Максим
28 марта Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»Аннотация доклада Фаизов Алексей
5 апреля Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»Аннотация доклада Сергеев Максим
11 апреля Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»Аннотация доклада С.А.Ложкин и М.С.Шуплецов
18 апреля Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»Аннотация доклада Башмаков Михаил


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