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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 16 промежуточные версии 2 участников)
Строка 1: Строка 1:
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 508.''
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], м.н.с. [[Данилов Борис Радиславович]]
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 21 сентября
+
| align="center" | 22 февраля
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup>
| align="center" | Хзмалян Д.Э.
+
| align="center" | Купраш Е.Д.
 
|-
 
|-
| align="center" | 28 сентября
+
| align="center" | 1 марта
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]  
+
| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup>
| align="center" | Мальцев А.Н.
+
| align="center" | Жуков В.В.
 
|-
 
|-
| align="center" | 5 октября
+
| align="center" | 15 марта
| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup>
| align="center" | Титов В.А.
+
| align="center" | Лопунов&nbsp;М.А.
 
|-
 
|-
| rowspan="2" align="center" | 12 октября
+
| align="center" | 22 марта
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+
| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup>
 +
| align="center" rowspan="2" | Пименов&nbsp;Н.В.
 
|-
 
|-
| «Нижняя оценка энергопотребления для одного класса объёмных схем»
+
| align="center" | 29 марта
| align="center" | Ефимов Алексей Андреевич
+
 
|-
 
|-
| align="center" | 19 октября
+
| align="center" | 5 апреля
| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]  
+
| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup>
| align="center" | Кинжикеева Д.С.
+
| align="center" | Омарова&nbsp;М.М.
 
|-
 
|-
| align="center" | 26 октября
+
| align="center" | 12 апреля
| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»<sup>[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
+
| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup>
| align="center" rowspan="2" | Красильникова А.А.
+
| align="center" | Хзмалян&nbsp;Д.Э.
 
|-
 
|-
| align="center" | 2 ноября
+
| align="center" | 19 апреля
|-
+
| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
| 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" | Калачев Г.В., Сытдыков Т.Р.
+
 
|-
 
|-
 +
| align="center" | 17 мая
 +
| Выступления студентов 3 и 5 курсов с курсовыми работами
 +
| align="center" |
 
|}
 
|}
  

Версия 22:19, 16 мая 2019

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

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

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

Дата Тема доклада Докладчик
22 февраля Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»Аннотация доклада Купраш Е.Д.
1 марта Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»Аннотация доклада Жуков В.В.
15 марта Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)Аннотация доклада Лопунов М.А.
22 марта Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)Аннотация доклада Пименов Н.В.
29 марта
5 апреля Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)Аннотация доклада Омарова М.М.
12 апреля Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»Аннотация доклада Хзмалян Д.Э.
19 апреля Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
17 мая Выступления студентов 3 и 5 курсов с курсовыми работами


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