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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(не показаны 254 промежуточных версий 4 участников)
Строка 1: Строка 1:
−
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''503'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
 +
 
 +
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 6: Строка 8:
 
|
 
|
  
−
{| class="wide" width="100%"
+
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 
! Дата
 
! Дата
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align = "center"| 20 сентября
+
| align="center" | 10 октября
−
| О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах <sup>[[Media:20.09.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Белышов М. В.
+
| align="center" | Козин Георгий
 
|-
 
|-
−
| align = "center"| 27 сентября
+
| align="center" | 17 октября
−
| О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции <sup>[[Media:27.09.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Довгалюк Е. Л.
+
| align="center" | Исаков Ильяс
 
|-
 
|-
−
| align = "center"| 4 октября
+
| align="center" | 24 октября
−
| Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности <sup>[[Media:04.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Белышов М. В.
+
| align="center" | Местецкий Михаил
 
|-
 
|-
−
| align = "center"| 11 октября
+
| align="center" | 7 ноября
−
| О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными <sup>[[Media:11.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Коноводов В. А.
+
| align="center" | Фесенко Анастасия
 
|-
 
|-
−
| align = "center"| 18 октября
+
| align="center" | 14 ноября
−
| Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем <sup>[[Media:18.10.2013.pdf|Аннотация доклада]]</sup>
+
| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
−
| align = "center"| Кортунова Е. М.
+
| align="center" | Фесенко Анастасия
 
|-
 
|-
−
| align = "center"| 25 октября
+
| align="center" | 21 ноября
−
| Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" <sup>[[Media:25.10.2013.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Жукова А. А.
+
| align="center" | Романов Дмитрий
 
|-
 
|-
−
| align = "center"| 1 ноября
+
| align="center" | 28 ноября
−
| Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами"
+
| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup>
−
| align = "center"| Кулешов О. В.
+
| align="center" | Синенкова Анна
 +
|-
 +
| align="center" | 5 декабря
 +
| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup>
 +
| align="center" | Романов Дмитрий
 +
|-
 +
| align="center" | 12 декабря
 +
| Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»<sup>[[Media:Specsem221211.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Гребенкин Сергей
 +
|-
 +
| align="center" | 7 марта
 +
| Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»<sup>[[Media:Specsem230307.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Михалев Евгений
 +
|-
 +
| align="center" | 14 марта
 +
| Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»<sup>[[Media:Specsem230314.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Кленин Максим
 +
|-
 +
| align="center" | 21 марта
 +
| Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Есипова Дарья
 +
|-
 +
| align="center" | 28 марта
 +
| Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»<sup>[[Media:Specem28032023.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Соколов Михаил
 +
|-
 +
| align="center" | 4 апреля
 +
| Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»<sup>[[Media:Specsem20230404.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Козин Георгий
 
|}
 
|}
  
Строка 46: Строка 76:
  
 
|}
 
|}
−
 
−
== Руководители ==
 
−
 
−
* проф. [[Ложкин Сергей Андреевич]]
 
−
* проф. [[Марченко Александр Михайлович]]
 
−
* доц. [[Романов Дмитрий Сергеевич]]
 
−
 
−
== Участники ==
 
−
 
−
{| 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 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Версия 18:09, 30 марта 2023

Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.

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

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

Дата Тема доклада Докладчик
10 октября Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»Аннотация доклада Козин Георгий
17 октября Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»Аннотация доклада Исаков Ильяс
24 октября Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»Аннотация доклада Местецкий Михаил
7 ноября Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»Аннотация доклада Фесенко Анастасия
14 ноября Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем» Фесенко Анастасия
21 ноября Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»Аннотация доклада Романов Дмитрий
28 ноября Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»Аннотация доклада Синенкова Анна
5 декабря Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада Романов Дмитрий
12 декабря Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»Аннотация доклада Гребенкин Сергей
7 марта Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»Аннотация доклада Михалев Евгений
14 марта Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»Аннотация доклада Кленин Максим
21 марта Доклад по теме «Алгоритмы построения заполняющих топологий»Аннотация доклада Есипова Дарья
28 марта Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»Аннотация доклада Соколов Михаил
4 апреля Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»Аннотация доклада Козин Георгий


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