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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(не показаны 188 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
−
 
+
−
[[Media:cstnmmvlsi1617.pdf|Участники семинара и таблица посещаемости]].
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 15: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| rowspan="2" align="center" | 23 сентября
+
| align="center" | 22 февраля
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Шухман Алексей
 +
|-
 +
| align="center" | 29 февраля
 +
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Федоренко Илья
 
|-
 
|-
−
| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
+
| align="center" | 7, 14 марта
−
| Жуков В.В.
+
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 30 сентября
+
| align="center" | 21 марта
−
| Нижняя оценка мощности плоских схем, реализующих булевы операторы <sup>[[Media:kalavac.docx|Аннотация доклада]]</sup>
+
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup>
−
| Калачев Г.В.
+
| align="center" | Кленин Максим
−
|-
+
−
| align="center" | 7 октября
+
−
| Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" <sup>[[Media:chemodan.pdf|Аннотация доклада]]</sup>
+
−
| Чемоданова О.М.
+
−
|-
+
−
| align="center" | 14 октября
+
−
| Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" <sup>[[Media:popkov.docx|Аннотация доклада]]</sup>
+
−
| Любич И.Г.
+
−
|-
+
−
| align="center" | 21 октября
+
−
| Доклад "Синтез обратимых схем без дополнительной памяти" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
−
| Закаблуков Д.В.
+
−
|-
+
−
| align="center" | 28 октября
+
−
| Доклад "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
−
| Титов В.А.
+
−
|-
+
−
| align="center" | 11 ноября
+
−
| Окончание доклада "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
−
| Титов В.А.
+
−
|-
+
−
| align="center" | 18 ноября
+
−
| Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
−
| Довгалюк Е.Л.
+
 
|-
 
|-
−
| rowspan="2" align="center" | 25 ноября
+
| align="center" | 28 марта
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Фаизов Алексей
 
|-
 
|-
−
| Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:%D0%9A_%D0%90_%D0%9F%D0%BE%D0%BF%D0%BA%D0%BE%D0%B2_%D0%9A%D0%A1-%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA.doc|Аннотация доклада]]</sup>
+
| align="center" | 5 апреля
−
| Тамм Я.-М.Ю.
+
| Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сергеев Максим
 
|-
 
|-
−
| rowspan="2" align="center" | 2 декабря
+
| align="center" | 11 апреля
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup>
 +
| align="center" | С.А.Ложкин и М.С.Шуплецов
 
|-
 
|-
−
| Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup>
+
| align="center" | 18 апреля
−
| Уваров И.В.
+
| Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Башмаков Михаил
 
|-
 
|-
−
|-
 
−
| align="center" | 9 декабря
 
−
| Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов" // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2016, № 2. С. 87-102. <sup>[[Media:Romanovs_Abstract.doc|Аннотация доклада]]</sup>
 
−
| Шишков И.С.
 
 
|}
 
|}
  

Версия 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»