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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
 
(не показаны 303 промежуточных версий 4 участников)
Строка 1: Строка 1:
−
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''503'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.''
 +
 
 +
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 6: Строка 8:
 
|
 
|
  
−
{| class="wide" width="100%"
+
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 
! Дата
 
! Дата
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align = "center"| 20 сентября
+
| align="center" | 20 сентября
−
| О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах <sup>[[Media:20.09.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Белышов М. В.
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align = "center"| 27 сентября
+
| align="center" | 27 сентября
−
| О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции <sup>[[Media:27.09.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Довгалюк Е. Л.
+
| align="center" | Долгих Любовь
 
|-
 
|-
−
| align = "center"| 4 октября
+
| align="center" | 04 октября
−
| Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности <sup>[[Media:04.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Белышов М. В.
+
| align="center" | Гребенкин Сергей
 
|-
 
|-
−
| align = "center"| 11 октября
+
| align="center" | 11 октября
−
| О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными <sup>[[Media:11.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Коноводов В. А.
+
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align = "center"| 18 октября
+
| align="center" | 18 октября
−
| Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем <sup>[[Media:18.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20241018.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Кортунова Е. М.
+
| align="center" | Шухман Алексей
 
|-
 
|-
−
| align = "center"| 25 октября
+
| align="center" | 25 октября
−
| Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" <sup>[[Media:25.10.2013.pdf|Аннотация доклада]]</sup>
+
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»<sup>[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Жукова А. А.
+
| align="center" | Сергеев И.С.
 +
|-
 +
| align="center" | 01 ноября
 +
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"<sup>[[Media:Specsem01112024.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Белоусова Анна
 +
|-
 +
| align="center" | 08 ноября
 +
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»<sup>[[Media:Specsem20241108.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Кинжитаева Назия
 +
|-
 +
| align="center" | 15 ноября
 +
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»
 +
<sup>[[Media:Specsem20241115.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Шуплецов М.С.
 +
|-
 +
| align="center" | 22 ноября
 +
| Доклад по статье: L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)<sup>[[Media:Specsem20241122.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Фесенко Анастасия
 
|-
 
|-
−
| align = "center"| 1 ноября
 
−
| Доклад по статье Никитина А. А. "О минимальном объеме памяти,  необходимом для реализации функций алгебры логики конвейерными схемами"
 
−
| align = "center"| Кулешов О. В.
 
 
|}
 
|}
  
Строка 46: Строка 62:
  
 
|}
 
|}
−
 
−
== Руководители ==
 
−
 
−
* проф. [[Ложкин Сергей Андреевич]]
 
−
* проф. [[Марченко Александр Михайлович]]
 
−
* доц. [[Романов Дмитрий Сергеевич]]
 
−
 
−
== Участники ==
 
−
 
−
{| 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 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Текущая версия на 21:40, 21 ноября 2024

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

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

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

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

Аннотация доклада

Шуплецов М.С.
22 ноября Доклад по статье: L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)Аннотация доклада Фесенко Анастасия


архив докладов за прошлые семестры
Источник — «https://mk.cs.msu.ru/index.php?title=Теория_управляющих_систем_и_математические_модели_СБИС&oldid=11571»