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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
 
(не показаны 160 промежуточные версии 3 участников)
Строка 1: Строка 1:
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 508.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], м.н.с. [[Данилов Борис Радиславович]]
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
 
+
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 15: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 12 октября
+
| align="center" | 20 сентября
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сергеев Максим
 +
|-
 +
| align="center" | 27 сентября
 +
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Долгих Любовь
 +
|-
 +
| align="center" | 04 октября
 +
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<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" | Кинжитаева Назия
 
|-
 
|-
 
|}
 
|}

Текущая версия на 19:14, 7 ноября 2024

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

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

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

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


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