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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(не показаны 18 промежуточные версии 2 участников)
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 22 февраля
+
| align="center" | 27 сентября
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup>
+
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specsem_190927.pdf|Аннотация доклада]]</sup>
| align="center" | Купраш Е.Д.
+
| align="center" | Хзмалян Д.
 
|-
 
|-
| align="center" | 1 марта
+
| align="center" | 11 октября
| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup>
| align="center" | Жуков В.В.
+
| align="center" | Лопунов М.А.
 
|-
 
|-
| align="center" | 15 марта
+
| align="center" | 18 октября
| Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup>
+
| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup>
| align="center" | Лопунов&nbsp;М.А.
+
| align="center" | Зизов В.
 
|-
 
|-
| align="center" | 22 марта
+
| align="center" | 25 октября
| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup>
+
| Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»<sup>[[Media:Specsem_191025.pdf|Аннотация доклада]]</sup>
| align="center" rowspan="2" | Пименов&nbsp;Н.В.
+
| align="center" | Ибрагимов Б.М.
 
|-
 
|-
| align="center" | 29 марта
+
| align="center" | 8 ноября
 +
| rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»<sup>[[Media:Specsem_191108.pdf|Аннотация доклада]]</sup>
 +
| rowspan="2" align="center" | проф. Ложкин С.А.
 
|-
 
|-
| align="center" | 5 апреля
+
| align="center" | 15 ноября
| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup>
+
| align="center" | Омарова&nbsp;М.М.
+
 
|-
 
|-
| align="center" | 12 апреля
+
| align="center" | 22 ноября
| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)<sup>[[Media:Specsem_221119.pdf|Аннотация доклада]]</sup>
| align="center" | Хзмалян&nbsp;Д.Э.
+
| align="center" | Купраш Е.
 
|-
 
|-
| align="center" | 19 апреля
+
| align="center" | 13 декабря
| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
+
| Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»<sup>[[Media:Specsem_191213.pdf|Аннотация доклада]]</sup>
| align="center" |
+
| align="center" | доцент кафедры МАТИС
 +
механико-математического факультета Часовских А.А.
 +
|-
 +
| align="center" | 21 февраля
 +
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_200221.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Мальцев А.Н.
 +
|-
 +
| align="center" | 28 февраля
 +
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:Specsem_200228.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Пименов Н.В.
 
|}
 
|}
  

Версия 23:59, 25 февраля 2020

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

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

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

Дата Тема доклада Докладчик
27 сентября Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»Аннотация доклада Хзмалян Д.Э.
11 октября Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)Аннотация доклада Лопунов М.А.
18 октября Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»Аннотация доклада Зизов В.
25 октября Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»Аннотация доклада Ибрагимов Б.М.
8 ноября доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»Аннотация доклада проф. Ложкин С.А.
15 ноября
22 ноября Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)Аннотация доклада Купраш Е.
13 декабря Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»Аннотация доклада доцент кафедры МАТИС

механико-математического факультета Часовских А.А.

21 февраля Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»Аннотация доклада Мальцев А.Н.
28 февраля Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»Аннотация доклада Пименов Н.В.


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