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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(не показаны 256 промежуточные версии 4 участников)
Строка 1: Строка 1:
−
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''612'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''
 +
 
 +
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 3 октября
+
| align="center" | 22 февраля
−
| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup>
−
| Зиновьев В. С.
+
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align="center" | 10 октября
+
| align="center" | 29 февраля
−
| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup>
−
| Зиновьев В. С.
+
| align="center" | Федоренко Илья
 
|-
 
|-
−
| align="center" | 17 октября
+
| align="center" | 7, 14 марта
−
| Тесты для булевых функций относительно вытесняющих неисправностей
+
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup>
−
| Морозов Е. В.
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 24 октября
+
| align="center" | 21 марта
−
| Комбинаторика и сложность случайных булевых формул
+
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup>
−
| [[Участник:KonovodovV|Коноводов В. А. ]]
+
| align="center" | Кленин Максим
 
|-
 
|-
−
| align="center" | 31 октября
+
| align="center" | 28 марта
−
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
+
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup>
−
| Раннев Е. К.
+
| align="center" | Фаизов Алексей
 
|-
 
|-
−
| align="center" | 7 ноября
+
| align="center" | 5 апреля
−
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
+
| Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup>
−
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 14 ноября
+
| align="center" | 11 апреля
−
| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
+
| Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup>
−
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
+
| align="center" | С.А.Ложкин и М.С.Шуплецов
 +
|-
 +
| align="center" | 18 апреля
 +
| Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Башмаков Михаил
 
|-
 
|-
−
| align = "center"|21 ноября
 
−
| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
 
−
| align = "center"| Довгалюк Е. Л.
 
 
|}
 
|}
 +
  
 
{| width="98%"
 
{| width="98%"
Строка 49: Строка 53:
  
 
|}
 
|}
−
 
−
== Руководители ==
 
−
 
−
* проф. [[Ложкин Сергей Андреевич]]
 
−
* проф. [[Марченко Александр Михайлович]]
 
−
* доц. [[Романов Дмитрий Сергеевич]]
 
−
 
−
== Участники ==
 
−
 
−
{| width="100%"
 
−
| width="40%" |
 
−
 
−
<u>Аспиранты:</u>
 
−
* Антюфеев Григорий
 
−
* Богомолова Евгения
 
−
* [[Участник:KonovodovV|Коноводов Владимир]]
 
−
* Морозов Евгений
 
−
| width="40%" |
 
−
 
−
<u>Студенты 5 курса:</u>
 
−
* Костюков Станислав
 
−
* Тренкунов Антон
 
−
* Жукова Анна
 
−
* Чеховская Екатерина
 
−
* Доленко Ольга
 
−
* Белышов Михаил
 
−
|
 
−
 
−
<u>Студенты 4 курса:</u>
 
−
* Довгалюк Екатерина
 
−
* Кортунова Екатерина
 
−
* Кулешов Олег
 
−
* Кумар Виренд
 
−
* Раннев Егор
 
−
|}
 
−
 
−
== Ссылки ==
 
−
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dHB2ZjVpbjR2SkdmYVRVcUVqUG1sMGc&single=true&gid=0&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

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