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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
(не показаны 6 промежуточные версии 1 участника)
Строка 16: Строка 16:
  
 
|-
 
|-
−
| rowspan="2" align="center" | 22 сентября
+
| rowspan="2" align="center" | 06 апреля
 
|-
 
|-
−
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
+
| Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов»  
−
| align="center" | Жуков В.В.
+
| align="center" | Высоцкий Л. И., Жуков В. В.
  
 
|-
 
|-
−
| rowspan="2" align="center" | 29 сентября
+
| rowspan="2" align="center" | 23 марта
 
|-
 
|-
−
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
+
| Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627).
 
| align="center" | Курбацкая В.К.
 
| align="center" | Курбацкая В.К.
  
 
|-
 
|-
−
| rowspan="2" align="center" | 6 октября
+
| rowspan="2" align="center" | 16 марта
 
|-
 
|-
−
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
+
| Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с.
−
| align="center" | Высоцкий Л.И.
+
| align="center" | Мальцев А.Н.
  
 
|-
 
|-
−
| rowspan="2" align="center" | 20 октября
+
| rowspan="2" align="center" | 2 марта
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
−
|-
+
−
| О динамической активности схем из функциональных элементов.
+
−
| align="center" | Шуплецов М.С.
+
−
|-
+
−
 
+
−
| rowspan="2" align="center" | 27 октября
+
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
−
|-
+
−
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
+
−
| align="center" | Автайкина Мария
+
−
|-
+
−
| rowspan="2" align="center" | 3 ноября
+
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
−
|-
+
−
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
+
−
| align="center" | В. К. Курбацкая
+
−
|-
+
−
| rowspan="2" align="center" | 11 ноября
+
−
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
−
|-
+
−
| Доклад "О глубине ступенчатых функций".
+
−
| align="center" | Д. С. Кинжикеев
+
 
|-
 
|-
 +
| Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем".
 +
| align="center" | Хзмолян Д.Э.
 
|}
 
|}
  

Версия 00:36, 6 апреля 2018

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

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

Участники семинара и таблица посещаемости (14.12.2016)

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

Дата Тема доклада Докладчик
06 апреля
Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов» Высоцкий Л. И., Жуков В. В.
23 марта
Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627). Курбацкая В.К.
16 марта
Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с. Мальцев А.Н.
2 марта
Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем". Хзмолян Д.Э.


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