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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 72 промежуточных версий 3 участников)
Строка 1: Строка 1:
''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.''  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
  
Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]].
+
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
 
+
[[Media:cstnmmvlsi1617.pdf|Участники семинара и таблица посещаемости]].
+
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 15: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 23 сентября
+
| align="center" | 22 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Купраш Е.Д.
 +
|-
 +
| align="center" | 1 марта
 +
| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Жуков В.В.
 
|-
 
|-
| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
+
| align="center" | 15 марта
| Жуков В.В.
+
| Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Лопунов&nbsp;М.А.
 
|-
 
|-
| align="center" | 30 сентября
+
| align="center" | 22 марта
| Нижняя оценка мощности плоских схем, реализующих булевы операторы <sup>[[Media:kalavac.docx|Аннотация доклада]]</sup>
+
| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup>
| Калачев Г.В.
+
| align="center" rowspan="2" | Пименов&nbsp;Н.В.
|-
+
| 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 ноября
+
| align="center" | 29 марта
| colspan="2" 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>
+
| align="center" | 5 апреля
| Тамм Я.-М.Ю.
+
| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup>
 +
| align="center" | Омарова&nbsp;М.М.
 
|-
 
|-
| rowspan="2" align="center" | 2 декабря
+
| align="center" | 12 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+
| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Хзмалян&nbsp;Д.Э.
 
|-
 
|-
| Доклад по статье 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>
+
| align="center" | 19 апреля
| Уваров И.В.
+
| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
 +
| align="center" |
 
|-
 
|-
|-
+
| align="center" | 17 мая
| align="center" | 9 декабря
+
| Выступления студентов 3 и 5 курсов с курсовыми работами
| Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов" // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2016, № 2. С. 87-102. <sup>[[Media:Romanovs_Abstract.doc|Аннотация доклада]]</sup>
+
| align="center" |
| Шишков И.С.
+
 
|}
 
|}
  

Версия 22:19, 16 мая 2019

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

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

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

Дата Тема доклада Докладчик
22 февраля Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»Аннотация доклада Купраш Е.Д.
1 марта Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»Аннотация доклада Жуков В.В.
15 марта Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)Аннотация доклада Лопунов М.А.
22 марта Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)Аннотация доклада Пименов Н.В.
29 марта
5 апреля Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)Аннотация доклада Омарова М.М.
12 апреля Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»Аннотация доклада Хзмалян Д.Э.
19 апреля Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
17 мая Выступления студентов 3 и 5 курсов с курсовыми работами


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