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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 24 промежуточных версий 3 участников)
Строка 3: Строка 3:
 
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
 
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
  
[[Media:cstnmmvlsi1617.pdf|Участники семинара и таблица посещаемости]].
+
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 14: Строка 14:
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
 +
 +
|-
 +
| rowspan="2" align="center" | 22 сентября
 +
|-
 +
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
 +
| align="center" | Жуков В.В.
 +
 +
|-
 +
| rowspan="2" align="center" | 29 сентября
 +
|-
 +
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
 +
| align="center" | Курбацкая В.К.
 +
 +
|-
 +
| rowspan="2" align="center" | 6 октября
 +
|-
 +
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
 +
| align="center" | Высоцкий Л.И.
 +
 
|-
 
|-
| rowspan="2" align="center" | 23 сентября
+
| rowspan="2" align="center" | 20 октября
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
+
| О динамической активности схем из функциональных элементов.  
| Жуков В.В.
+
| align="center" | Шуплецов М.С.
 
|-
 
|-
| align="center" | 30 сентября
+
 
| Нижняя оценка мощности плоских схем, реализующих булевы операторы <sup>[[Media:kalavac.docx|Аннотация доклада]]</sup>
+
| rowspan="2" align="center" | 27 октября
| Калачев Г.В.
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
+
| align="center" | 7 октября
+
| Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" <sup>[[Media:chemodan.pdf|Аннотация доклада]]</sup>
+
| Чемоданова О.М.
+
|- 
+
| align="center" | 14 октября
+
| Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" <sup>[[Media:popkov.docx|Аннотация доклада]]</sup>
+
| Любич И.Г.
+
|-
+
| align="center" | 21 октября
+
| Доклад "Синтез обратимых схем без дополнительной памяти" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
| Закаблуков Д.В.
+
|-
+
| align="center" | 28 октября
+
| Доклад "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
| Титов В.А.
+
|-
+
| align="center" | 11 ноября
+
| Окончание доклада "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
| Титов В.А.
+
|-
+
| align="center" | 18 ноября
+
| Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
| Довгалюк Е.Л.
+
 
|-
 
|-
| rowspan="2" align="center" | 25 ноября
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| align="center" | Автайкина Мария
 
|-
 
|-
| Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:%D0%9A_%D0%90_%D0%9F%D0%BE%D0%BF%D0%BA%D0%BE%D0%B2_%D0%9A%D0%A1-%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA.doc|Аннотация доклада]]</sup>
+
| rowspan="2" align="center" | 3 ноября
| Тамм Я.-М.Ю.
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
| rowspan="2" align="center" | 2 декабря
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| align="center" | В. К. Курбацкая
 
|-
 
|-
| Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup>
+
| rowspan="2" align="center" | 11 ноября
| Уваров И.В.
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
|-
+
| Доклад "О глубине ступенчатых функций".
| align="center" | 9 декабря
+
| align="center" | Д. С. Кинжикеев
| Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов" // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2016, № 2. С. 87-102. <sup>[[Media:Romanovs_Abstract.doc|Аннотация доклада]]</sup>
+
|-
| Шишков И.С.
+
| rowspan="2" align="center" | 18 ноября
 +
|-
 +
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
 +
| align="center" | Павлова А.Ф.
 +
 
 
|}
 
|}
  

Версия 00:51, 17 ноября 2017

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

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

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

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

Дата Тема доклада Докладчик
22 сентября
Доклад «Cинтез рекурсивных схем из функциональных элементов» Жуков В.В.
29 сентября
Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.» Курбацкая В.К.
6 октября
Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев» Высоцкий Л.И.
20 октября Совместно с семинаром Некоторые вопросы теории управляющих систем
О динамической активности схем из функциональных элементов. Шуплецов М.С.
27 октября Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада Автайкина Мария
3 ноября Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада В. К. Курбацкая
11 ноября Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев
18 ноября
Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» Павлова А.Ф.


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