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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 45 промежуточные версии 3 участников)
Строка 1: Строка 1:
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''505'''.  
+
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
 +
 
 +
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
 +
 
 +
[[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 10: Строка 14:
 
! Тема доклада
 
! Тема доклада
 
! Докладчик
 
! Докладчик
 +
 
|-
 
|-
| rowspan="2" align="center" | 19 февраля
+
| rowspan="2" align="center" | 22 сентября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
 
|-
 
|-
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
+
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
| Зиновьев В.С.
+
| align="center" | Жуков В.В.
|-  
+
 
| rowspan="2" align="center" | 26 февраля
+
|-
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| rowspan="2" align="center" | 29 сентября
 +
|-
 +
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
 +
| align="center" | Курбацкая В.К.
 +
 
 +
|-
 +
| rowspan="2" align="center" | 6 октября
 +
|-
 +
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
 +
| align="center" | Высоцкий Л.И.
 +
 
 
|-
 
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
+
| rowspan="2" align="center" | 20 октября
| Смирной Максим
+
|-
+
| rowspan="2" align="center" | 4 марта
+
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
+
| О динамической активности схем из функциональных элементов.  
| Вяткин Евгений
+
| align="center" | Шуплецов М.С.
 
|-
 
|-
| align="center" | 11 марта
+
 
| Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup>
+
| rowspan="2" align="center" | 27 октября
| Бежовец А.В.
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
+
| align="center" | 18 марта
+
| Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup>
+
| Павлов А.В.
+
|-
+
| rowspan="2" align="center" | 25 марта
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
 
|-
 
|-
| Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
+
| align="center" | Автайкина Мария
 
|-
 
|-
| align="center" | 1 апреля
+
| rowspan="2" align="center" | 3 ноября
| Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| Курбацкая В.К.
+
|-
+
| align = "center"| 8 апреля
+
| Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок".  <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
+
| Кухтинов А.С.
+
|-
+
| align = "center"| 15 апреля
+
| Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами». 
+
| Высоцкий Л.И.
+
|-
+
| rowspan="2" align="center" | 22 апреля
+
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] (Ауд. 526б)
+
 
|-
 
|-
| Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
| Семинар компании Cadence design systems.
+
| align="center" | В. К. Курбацкая
 
|-
 
|-
| rowspan="2" align="center" | 27 апреля
+
| rowspan="2" align="center" | 11 ноября
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 
|-
 
|-
| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
+
| Доклад "О глубине ступенчатых функций".
| Калинина А.Н.
+
| align="center" | Д. С. Кинжикеев
|-
+
|-
 +
| rowspan="2" align="center" | 18 ноября
 +
|-
 +
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
 +
| align="center" | Павлова А.Ф.
 +
 
 
|}
 
|}
  
Строка 75: Строка 72:
  
 
|}
 
|}
 
== Руководители ==
 
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Марченко Александр Михайлович]]
 
* доц. [[Романов Дмитрий Сергеевич]]
 
 
== Участники ==
 
 
{| width="100%"
 
| width="40%" |
 
 
<u>Аспиранты:</u>
 
* Антюфеев Григорий
 
* Богомолова Евгения
 
* [[Участник:KonovodovV|Коноводов Владимир]]
 
* Морозов Евгений
 
| width="40%" |
 
 
<u>Студенты 5 курса:</u>
 
* Костюков Станислав
 
* Тренкунов Антон
 
* Жукова Анна
 
* Чеховская Екатерина
 
* Доленко Ольга
 
* Белышов Михаил
 
|
 
 
<u>Студенты 4 курса:</u>
 
* Довгалюк Екатерина
 
* Кортунова Екатерина
 
* Кулешов Олег
 
* Кумар Виренд
 
* Раннев Егор
 
|}
 
 
== Ссылки ==
 
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dHB2ZjVpbjR2SkdmYVRVcUVqUG1sMGc&single=true&gid=0&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Версия 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 ноября
Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» Павлова А.Ф.


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