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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Новая страница: «Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в …»)
 
(не показаны 286 промежуточные версии 5 участников)
Строка 1: Строка 1:
−
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''612'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''
 +
 
 +
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 6: Строка 8:
 
|
 
|
  
−
{| class="wide" width="100%"
+
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 
! Дата
 
! Дата
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align = "center"| 20 сентября
+
| align="center" | 22 февраля
−
| О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах <sup>[[Media:20.09.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Белышов М. В.
+
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align = "center"| 27 сентября
+
| align="center" | 29 февраля
−
| О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции <sup>[[Media:27.09.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Довгалюк Е. Л.
+
| align="center" | Федоренко Илья
 
|-
 
|-
−
| align = "center"| 4 октября
+
| align="center" | 7, 14 марта
−
| Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности <sup>[[Media:04.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Белышов М. В.
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align = "center"| 11 октября
+
| align="center" | 21 марта
−
| О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными <sup>[[Media:11.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Коноводов В. А.
+
| align="center" | Кленин Максим
 
|-
 
|-
−
| align = "center"| 18 октября
+
| align="center" | 28 марта
−
| Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем <sup>[[Media:18.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Кортунова Е. М.
+
| align="center" | Фаизов Алексей
 
|-
 
|-
−
| align = "center"| 25 октября
+
| align="center" | 5 апреля
−
| Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" <sup>[[Media:25.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Жукова А. А.
+
| align="center" | Сергеев Максим
 +
|-
 +
| align="center" | 11 апреля
 +
| Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<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"| 1 ноября
 
−
| Доклад по статье Никитина А. А. "О минимальном объеме памяти,  необходимом для реализации функций алгебры логики конвейерными схемами"
 
−
| align = "center"| Кулешов О. В.
 
 
|}
 
|}
  
Строка 46: Строка 53:
  
 
|}
 
|}
−
 
−
== Руководители ==
 
−
 
−
* проф. [[Ложкин Сергей Андреевич]]
 
−
* проф. [[Марченко Александр Михайлович]]
 
−
* доц. [[Романов Дмитрий Сергеевич]]
 
−
 
−
== Участники ==
 
−
 
−
{| width="100%"
 
−
| width="40%" |
 
−
 
−
<u>Аспиранты:</u>
 
−
* Власов Никита
 
−
* Данилов Борис
 
−
* Садовников Олег
 
−
* Яблонская Александра
 
−
* Антюфеев Григорий
 
−
* Кривошеин Дмитрий
 
−
* Василевская Инесса
 
−
* Богомолова Евгения
 
−
* [[Участник:KonovodovVA|Коноводов Владимир]]
 
−
* Морозов Евгений
 
−
| 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»