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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Участники)
(Расписание докладов)
 
(не показаны 268 промежуточные версии 4 участников)
Строка 1: Строка 1:
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''609'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''
 +
 
 +
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 21 февраля
+
| align="center" | 22 февраля
| Сверхполиномиальная нижняя оценка монотонной сложности функции клики <sup> [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]</sup>
+
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup>
| Довгалюк Е. Л.
+
| align="center" | Шухман Алексей
 
|-
 
|-
| align="center" | 28 февраля
+
| align="center" | 29 февраля
| Метод Нечипорука и примеры его применения <sup> [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]</sup>
+
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup>
| Кулешов О. В.
+
| align="center" | Федоренко Илья
 
|-
 
|-
| align="center" | 14 марта
+
| align="center" | 7, 14 марта
| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
+
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup>
| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
+
| align="center" | Михалев Евгений
 
|-
 
|-
 
| align="center" | 21 марта
 
| align="center" | 21 марта
 +
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Кленин Максим
 
|-
 
|-
 
| align="center" | 28 марта
 
| align="center" | 28 марта
| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам <sup> [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]</sup>
+
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup>
| Данилов Б. Р.
+
| align="center" | Фаизов Алексей
 
|-
 
|-
| align="center" | 4 апреля
 
| Некоторые обобщения теоремы Храпченко и примеры их применений <sup> [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]</sup>
 
| Раннев Е. К.
 
 
|}
 
|}
  
Строка 40: Строка 41:
  
 
|}
 
|}
 
== Руководители ==
 
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Марченко Александр Михайлович]]
 
* доц. [[Романов Дмитрий Сергеевич]]
 
 
== Участники ==
 
 
{| 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 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Текущая версия на 17:35, 27 марта 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 марта Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»Аннотация доклада Фаизов Алексей


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