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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
 
(не показаны 155 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 508.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], м.н.с. [[Данилов Борис Радиславович]]
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| rowspan="2" align="center" | 9 ноября
+
| align="center" | 20 сентября
 +
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сергеев Максим
 
|-
 
|-
−
| Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)
+
| align="center" | 27 сентября
−
| align="center" | Александрова Н.Е.
+
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Долгих Любовь
 
|-
 
|-
−
| rowspan="2" align="center" | 12 октября
+
| align="center" | 04 октября
−
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Гребенкин Сергей
 
|-
 
|-
−
| «Нижняя оценка энергопотребления для одного класса объёмных схем»
+
| align="center" | 11 октября
−
| align="center" | Ефимов Алексей Андреевич
+
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 28 сентября
+
| align="center" | 18 октября
−
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]  
+
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20241018.pdf|Аннотация доклада]]</sup>
−
| align="center" | Мальцев А.Н.
+
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align="center" | 21 сентября
+
| align="center" | 25 октября
−
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]  
+
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»<sup>[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]</sup>
−
| align="center" | Хзмалян Д.Э.
+
| align="center" | Сергеев И.С.
 
|-
 
|-
−
| align="center" | 5 октября
+
| align="center" | 01 ноября
−
| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"<sup>[[Media:Specsem01112024.pdf|Аннотация доклада]]</sup>
−
| align="center" | Титов В.А.
+
| align="center" | Белоусова Анна
 
|-
 
|-
−
| align="center" | 19 октября
+
| align="center" | 08 ноября
−
| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»<sup>[[Media:Specsem20241108.pdf|Аннотация доклада]]</sup>
−
| align="center" | Кинжикеева Д.С.
+
| align="center" | Кинжитаева Назия
 
|-
 
|-
−
| align="center" | 26 октября
+
| align="center" | 15 ноября
−
| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»<sup>[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
+
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»
−
| align="center" rowspan="2" | Красильникова А.А.
+
<sup>[[Media:Specsem20241115.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Шуплецов М.С.
 
|-
 
|-
−
| align="center" | 2 ноября
+
| align="center" | 22 ноября
−
|-
+
| Доклад по статье: L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)<sup>[[Media:Specsem20241122.pdf|Аннотация доклада]]</sup>
−
| align="center" | 16 ноября
+
| align="center" | Фесенко Анастасия
−
| Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»<sup>[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]]
+
−
| align="center" | Высоцкий Л.И.
+
−
|-
+
−
| align="center" | 23 ноября
+
−
| Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»<sup>[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]]  
+
−
| align="center" | Панчул Ю.
+
 
|-
 
|-
 
|}
 
|}

Текущая версия на 21:40, 21 ноября 2024

Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.

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

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

Дата Тема доклада Докладчик
20 сентября Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»Аннотация доклада Сергеев Максим
27 сентября Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»Аннотация доклада Долгих Любовь
04 октября Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»Аннотация доклада Гребенкин Сергей
11 октября Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»Аннотация доклада Михалев Евгений
18 октября Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»Аннотация доклада Шухман Алексей
25 октября Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»Аннотация доклада Сергеев И.С.
01 ноября Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"Аннотация доклада Белоусова Анна
08 ноября Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»Аннотация доклада Кинжитаева Назия
15 ноября Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»

Аннотация доклада

Шуплецов М.С.
22 ноября Доклад по статье: L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)Аннотация доклада Фесенко Анастасия


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