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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
Строка 13: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 22 февраля
+
| align="center" | 11 октября
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup>
+
| Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов»<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup>
| align="center" | Купраш Е.Д.
+
| align="center" | Лопунов М.А.
|-
+
| align="center" | 1 марта
+
| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup>
+
| align="center" | Жуков В.В.
+
|-
+
| 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" | 22 марта
+
| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup>
+
| align="center" rowspan="2" | Пименов&nbsp;Н.В.
+
|-
+
| align="center" | 29 марта
+
|-
+
| align="center" | 5 апреля
+
| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup>
+
| align="center" | Омарова&nbsp;М.М.
+
|-
+
| align="center" | 12 апреля
+
| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup>
+
| align="center" | Хзмалян&nbsp;Д.Э.
+
|-
+
| align="center" | 19 апреля
+
| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
+
| align="center" |
+
|-
+
| align="center" | 17 мая
+
| Выступления студентов 3 и 5 курсов с курсовыми работами
+
| align="center" |
+
 
|}
 
|}
  

Версия 08:50, 10 октября 2019

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

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

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

Дата Тема доклада Докладчик
11 октября Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов»Аннотация доклада Лопунов М.А.


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