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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
 
(не показаны 206 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.''
  
−
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
+
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
−
 
+
−
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 15: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| rowspan="2" align="center" | 21 апреля
+
| align="center" | 20 сентября
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сергеев Максим
 +
|-
 +
| align="center" | 27 сентября
 +
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Долгих Любовь
 +
|-
 +
| align="center" | 04 октября
 +
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Гребенкин Сергей
 +
|-
 +
| align="center" | 11 октября
 +
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Михалев Евгений
 +
|-
 +
| align="center" | 18 октября
 +
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20241018.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Шухман Алексей
 +
|-
 +
| align="center" | 25 октября
 +
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»<sup>[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Сергеев И.С.
 
|-
 
|-
−
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.  
+
| align="center" | 01 ноября
−
| align="center" |
+
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"<sup>[[Media:Specsem01112024.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Белоусова Анна
 
|-
 
|-
−
| rowspan="2" align="center" | 14 апреля
+
| align="center" | 08 ноября
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»<sup>[[Media:Specsem20241108.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Кинжитаева Назия
 
|-
 
|-
−
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
+
| align="center" | 15 ноября
−
| align="center" | Зиновьев В.С.
+
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»<sup>[[Media:Specsem20241115.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Шуплецов М.С.
 
|-
 
|-
−
| rowspan="2" align="center" | 7 апреля
+
| align="center" | 22 ноября
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье 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" | 13 декабря
−
| align="center" | Жуков В.В.
+
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»<sup>[[Media:Specsem20241213D.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Цуй Чжэнюй, Романов Д.С.
 
|-
 
|-
−
| align="center" | 17 марта
+
| align="center" | 20 декабря
−
| Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»<sup>[[Media:Specsem20241220.pdf|Аннотация доклада]]</sup>
−
| align="center" | Трубицын Ю.А.
+
| align="center" | Ложкин С.А.
 
|-
 
|-
−
| rowspan="2" align="center" | 17 февраля
+
| align="center" | 28 февраля
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»<sup>[[Media:Specem_252802.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Кудимов Д.Д.
 
|-
 
|-
−
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
+
| align="center" | 14 марта
−
| align="center" | Кинжикеева Д.
+
| Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»<sup>[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Долгих Л.А.
 
|-
 
|-
−
| align="center" | 3 марта
+
| align="center" | 21 марта
−
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье: Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A.S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. and Vorobiev, A., "Cirbo: A new tool for Boolean circuit analysis and synthesis" (2024). <sup>[[Media:Specsem_21032025.pdf|Аннотация доклада]]</sup>
−
| align="center" | Высоцкий Л.И.
+
| align="center" | Белоусова А.И.
 
|-
 
|-
−
| rowspan="2" align="center" | 31 марта
+
| align="center" | 04 апреля
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье Г.Р. Погосяна «О длине проверяющих тестов для одного класса неисправностей логических устройств // «Дискретная математика и математическая кибернетика». — М.: Наука, 1981. — С. 140–145. <sup>[[Media:Specsem_2025_04_04.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Джаналиев Д.Р.
 
|-
 
|-
−
| Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»<sup>[[Media:mmvlsi-pcst-annot-170331.pdf|Аннотация доклада]]</sup>
+
| align="center" | 11 апреля
−
| align="center" | Смирнов М.Е.
+
| Доклад по теме «Об инверсной и немонотонной сложности булевых функций»<sup>[[Media:Specsem_2025_04_11.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Ложкин С.А.
 
|-
 
|-
 
|}
 
|}

Текущая версия на 20:52, 10 апреля 2025

Спецсеминар для бакалавров 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)Аннотация доклада Фесенко Анастасия
13 декабря Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»Аннотация доклада Цуй Чжэнюй, Романов Д.С.
20 декабря Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»Аннотация доклада Ложкин С.А.
28 февраля Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»Аннотация доклада Кудимов Д.Д.
14 марта Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»Аннотация доклада Долгих Л.А.
21 марта Доклад по статье: Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A.S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. and Vorobiev, A., "Cirbo: A new tool for Boolean circuit analysis and synthesis" (2024). Аннотация доклада Белоусова А.И.
04 апреля Доклад по статье Г.Р. Погосяна «О длине проверяющих тестов для одного класса неисправностей логических устройств // «Дискретная математика и математическая кибернетика». — М.: Наука, 1981. — С. 140–145. Аннотация доклада Джаналиев Д.Р.
11 апреля Доклад по теме «Об инверсной и немонотонной сложности булевых функций»Аннотация доклада Ложкин С.А.


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