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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 136 промежуточные версии 4 участников)
Строка 1: Строка 1:
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''612'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''
 +
 
 +
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 3 октября
+
| align="center" | 22 февраля
| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup>
| Зиновьев В. С.
+
| align="center" | Купраш Е.Д.
 
|-
 
|-
| align="center" | 10 октября
+
| align="center" | 1 марта
| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+
| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup>
| Зиновьев В. С.
+
| align="center" | Жуков В.В.
 
|-
 
|-
| align="center" | 17 октября
+
| 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" | 24 октября
+
| align="center" | 22 марта
| Комбинаторика и сложность случайных булевых формул
+
| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup>
| [[Участник:KonovodovV|Коноводов В. А. ]]
+
| align="center" rowspan="2" | Пименов&nbsp;Н.В.
 
|-
 
|-
| align="center" | 31 октября
+
| align="center" | 29 марта
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
+
| Раннев Е. К.
+
 
|-
 
|-
| align="center" | 7 ноября
+
| align="center" | 5 апреля
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
+
| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup>
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
| align="center" | Омарова&nbsp;М.М.
 
|-
 
|-
| align="center" | 14 ноября
+
| align="center" | 12 апреля
| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
+
| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup>
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
+
| align="center" | Хзмалян&nbsp;Д.Э.
 
|-
 
|-
| align = "center"|21 ноября
+
| align="center" | 19 апреля
| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
+
| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
| align = "center"| Довгалюк Е. Л.
+
| align="center" |
 
|-
 
|-
| align = "center"|28 ноября
+
| align="center" | 17 мая
| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
+
| Выступления студентов 3 и 5 курсов с курсовыми работами
| align = "center"| Белышов М. В.
+
| align="center" |
|-
+
| align = "center"| 5 декабря
+
| Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" <sup>[http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=743779 Данные о статье]</sup>
+
| align = "center"| Кумар В.
+
|-
+
| align = "center"| 12 декабря
+
| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
+
| align = "center"| Кортунова Е. М.
+
|-
+
| align="center" | 19 декабря
+
|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
+
| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|}
 
|}
  
Строка 66: Строка 54:
  
 
|}
 
|}
 
== Руководители ==
 
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Марченко Александр Михайлович]]
 
* доц. [[Романов Дмитрий Сергеевич]]
 
 
== Участники ==
 
 
{| 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 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Версия 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 курсов с курсовыми работами


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