Просмотр исходного текста страницы Некоторые вопросы синтеза управляющих систем (Архив)

== Осень 2015 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 9 октября
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
| Зиновьев В. С. 
|-
| align="center" | 16 октября
| Синтез и сложность дешифраторных схем контактного типа
| Добровецкий Д. И.
|-
| align = "center"|6 ноября
| О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций. <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup>
| Любич И.Г.
|- 
| rowspan="2" align="center" | 13 ноября
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
|-
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
| Мария Автайкина
|-
| rowspan="2" align="center" | 20 ноября
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
|-
|  Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015". 
1. http://www.iccad.com (конференция)
2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
|-
| align = "center"|27 ноября
| Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" <sup>[[Media:SemAnnot26112015.pdf|Аннотация доклада]]</sup>
| Данилов Б.Р.
|- 
| align = "center"|4 декабря 
| Доклад по статье Ложкина С. А., Ли Да Мина "О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки" <sup>[[Media:visotskiy.docx|Аннотация доклада]]</sup>
| Высоцкий Л.И. 
|- 
| rowspan="2" align="center" | 11 декабря
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
|-
| Доклад "Маршрут физического проектирования систем на кристалле" 
| Евгений Зенин 
|}

== Весна 2015 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 февраля
| О динамической активности схем из функциональных элементов. Доклад по статье [http://mi.mathnet.ru/uzku1268]
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 27 февраля
| О минимальных π-схемах для монотонных симметрических функций с порогом 2
| [[Ложкин Сергей Андреевич | Ложкин С. А.]]
|-
| align="center" | 13 марта
| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
| Фивейский С. В.
|-
| align="center" | 20 марта
| Обзор основных современных подходов к решению задачи привязки логической схемы к библиотеке <sup> [[Медиа:NVSUS200315.pdf | Аннотация доклада]]</sup>
| Автайкина М. А.
|-
| align="center" | 27 марта
| Легкотестируемые реализации логических функций (по [http://dl.acm.org/citation.cfm?id=1312433 статье] S. M. Reddy «Easily testable realizations for logic functions»)
| Курбатская В. К.
|-
| align="center" | 3 апреля
| Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций»
| Бежовец А. В.
|-
| align="center" | 10 апреля
| О минимальных π-схемах для монотонных симметрических функций с порогом 2 (окончание доклада)
| [[Ложкин Сергей Андреевич | Ложкин С. А.]]
|}


== Осень 2014 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 10 октября
| Доклад по статье Нечипорука Э. И. «Об одной булевской матрице».
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 17 октября
|  Доклад по статье Маркова А. А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»
| [[Ложкин Сергей Андреевич | Ложкин С. А.]]
|-
| align="center" | 24 октября
|  Инверсная сложность булевых функций
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 31 октября
|  Инверсная сложность булевых функций (окончание доклада)
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 7 ноября
|  Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [http://link.springer.com/article/10.3103%2FS0027132212020064]
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
|-
| align="center" | 14 ноября
| Задача синтеза для модели клеточных схем. Порядок функции Шеннона для площади клеточных схем в стандартном базисе.
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 21 ноября
|  Асимптотика площади клеточного дешифратора и ее антагонизм с числом функциональных элементов. 
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 5 декабря
| О синтезе схем с ограниченным числом регистров
| Коноводов В. А.
|-
| align="center" | 12 декабря
|  Доклад по статье Нечипорука Э. И. "Об одной булевской функции".
| [[Ложкин Сергей Андреевич | Ложкин С. А.]]
|-
| align="center" | 19 декабря
|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|}

== Весна 2014 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 19 февраля
| rowspan="2" | Инверсная сложность булевых функций. <sup>[[Медиа:SQCS19.02.2014.pdf | Аннотация доклада]],[[Медиа:inverse_complexity.pdf | Презентация]]</sup>
| rowspan="2" | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 26 февраля
|-
| align="center" | 5 марта
| Методы обфускации кода для защиты программного обеспечения <sup> [[Media:SQCS05.03.2014.pdf | Аннотация доклада]], [[Media:Presentation0503.pdf | Презентация]]</sup>
| Темербекова Гульгайша
|-
|align="center" | 14 марта
| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]], 
[[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 19 марта
|-
| align="center" | 2 апреля
| Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул"
| Зиновьев Владимир
|-
| align="center" | 9 апреля
| Задача выполнимости и верификация логических схем
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 16 апреля
| Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"
| Добровецкий Даниил
|-
| align="center" | 30 апреля
| Доклад по статье Тиунчика А. А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" <sup> [[Медиа:SQCS23.04.2014.pdf | Аннотация доклада]]</sup>
| Чеховская Екатерина
|-
| align="center" | 7 мая
| Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" <sup> [[Медиа:SQCS07.05.2014.pdf | Аннотация доклада]]</sup>
| Павлов Андрей
|-
| align="center" | 14 мая
| Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" // Вестн. Моск. ун-та. Матем. Механ. 2012, № 2. С. 24-29. 
| Кухтинов Александр
|}

== Осень 2013 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
|align="center" |7, 14 октября
| Доклад по [http://mi.mathnet.ru/mz6937 статье] Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе".
| align="center" | Нагорный А. С.
|-
|align="center" |21 октября
|   Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций".
| align="center" | Ложкин С. А.
|-
|align="center" |28 октября
| Окончание предыдущего доклада. Некоторые результаты статьи М. И. Гринчука "О монотонной сложности пороговых функций".
| align="center" | Ложкин С. А.
|-
|align="center" |11 ноября
| Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [http://link.springer.com/article/10.3103%2FS0027132212020064]
| align="center" | Романов Д. С.
|-
|align="center" |18 ноября
| О динамической и статической активности схем из функциональных элементов
| align="center" | Шуплецов М. С.
|-
|align="center" |25 ноября
| Вариационный принцип и полуэффект Шеннона для ДНФ
| align="center" | Нагорный А. С.
|-
|align="center" |2 декабря
| Доклад по статье Нечипорука Э. И. "Об одной булевской матрице"
| align="center" | Нагорный А. С.
|}


== Весна 2013 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
|align="center" |27 февраля
|   rowspan = "2" | О модели предикатных схем и связи между замкнутыми классами функций и предикатов
| rowspan = "2" align="center" | Шуплецов М.С.
|-
| align="center"|6 марта
|-
|align="center" |13 марта
| Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций» 
|align="center" | Нагорный А.С.
|-
|align="center" |20 марта
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
|align="center" | Довгалюк Е.Л.
|-
|align="center" |27 марта
| Доклад по статье Кричевского Р.Е. «Минимальная схема из замыкающих контактов для одной булевой функции от n аргументов»<sup>[[Media:27.03.2013.pdf|Аннотация доклада]]</sup>
|align="center" | Кулешов О.В.
|-
|align="center" |3 апреля
| Доклад по статье Дебрева Е.В. «О безусловных рёберных тестах для регулярных семейств графов»<sup>[[Media:03.04.2013.pdf|Аннотация доклада]]</sup>
|align="center" | Кумар В.
|-
|align="center" |10 апреля
|О минимальных (1,1)- и (1,2)-контактных схемах для линейных функций <sup>[[Media:10.04.2013.pdf|Аннотация доклада]]</sup>
|align="center" | Раннев Е.К.
|-
|align="center" |17 апреля
|Доклад  по статье Таразевича Ю.Г.«Реализация линейной функции плоскими  контактными схемами и схемами на плоской целочисленной решетке» <sup>[[Media:17.04.13.pdf|Аннотация доклада]]</sup>
|align="center" | Кортунова Е. М.
|-
|align="center" |24 апреля
|Доклад  по [http://mi.mathnet.ru/dm187 статье]  Алехиной М. А. «Синтез и сложность надежных схем в базисе {&, V, -}  при однотипных константных неисправностях на входах элементов» 
|align="center" | Пузачев Д. С.
|}

== Осень 2012 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 3 октября
| Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций". 
| align="center" | [[Ложкин Сергей Андреевич|Ложкин С. А.]]
|-
| align="center" | 10 октября
| Доклад по статье Э. И. Нечипорука "Об одной булевской матрице"<sup>[[Media:10.10.2012.pdf|Данные о докладе]]</sup>
| align="center" | [[Нагорный Александр Степанович | Нагорный А. С.]]
|-
| align="center" | 17 октября
| Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе". 
| align="center" | [[Нагорный Александр Степанович | Нагорный А. С.]]
|-
| align="center" | 24 октября
| Доклад по статье Маркова А. А. «Об инверсной сложности булевых функций»                                                                                 
| align="center" | [[Ложкин Сергей Андреевич|Ложкин С. А.]]
|-
|align="center" |7 ноября
|  О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов <sup>[[http://elibrary.ru/item.asp?id=11637326 Данные о статье]]</sup>
|align="center" | [[Романов Дмитрий Сергеевич|Романов Д. С.]]
|-
|align="center" |14 ноября
|   rowspan = "2" | О длине кратчайшей ДНФ функции алгебры логики
| rowspan = "2" align="center" |[[Нагорный Александр Степанович | Нагорный А. С.]].
|-
| align="center"|21 ноября
|-
|align="center" |28 ноября
| О некоторых функционалах сложности для схем из функциональных элементов
|align="center" | Шуплецов М. С. 
|-
|align="center" |5 декабря
| О некоторых моделях клеточных схем из функциональных элементов
|align="center" | [[Ложкин Сергей Андреевич|Ложкин С. А.]], Яблонская А. Ю.
|-
|align="center" |12 декабря
|Реализация функций алгебры логики схемами из  функциональных элементов, вложенными в единичный куб 
|align="center" | Садовников О. А.
|-
|align="center" |19 декабря
|Обсуждение тем курсовых работ студентов третьего курса
|align="center" |
|}

== Весна 2012 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 29 февраля
| Доклад по статье В.М. Храпченко "Глубина и задержка схемы"  
| align="center" | [[Ложкин Сергей Андреевич|Ложкин С.А.]]
|-
| align="center" | 14 марта
| Вариационный принцип и полуэффект Шеннона для ДНФ
| align="center" | [[Нагорный Александр Степанович | Нагорный А.С.]]
|-
| align="center" | 21 марта
| О специальной раскраске вершин единичного куба и системе одноцветных связывающих деревьев <sup>[[Media:21.03.2012.pdf|Аннотация доклада]]</sup>
| align="center" | Садовников О.А.
|-
| align="center" | 28 марта
| Доклад по статье Тиунчика А.А. «О реализации функций алгебры логики клеточными схемами ограниченной ширины»<sup>[[Media:28.03.2012.pdf|Аннотация доклада]]</sup>
| align="center" | Яблонская А.Ю.
|-
| align="center" | 4 апреля
| Об эволюционных методах решения задач синтеза топологии интегральных схем
| align="center" | Марченко А.М.
|-
|align="center" |18 апреля
|  rowspan = "2" |Доклад по статье Таразевича Ю.Г. "Реализация линейной  функции плоскими контактными схемами и схемами на плоской целочисленной  решетке" <sup>[http://mi.mathnet.ru/dm721 аннотация статьи ]</sup>
| rowspan = "2" align="center" |Шуплецов М.С.
|-
| align="center"|25 апреля
|-
| align="center" | 2 мая
| О минимальных π-схемах для монотонных симметрических функций с порогом 2.
| align="center" | [[Ложкин Сергей Андреевич|Ложкин С.А.]]
|}
==Осень 2011 года==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"| 11 октября
| Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций".
| align="center"| [[Романов Дмитрий Сергеевич|Романов Д.С.]]
|-
| align="center"| 18 октября
| Задача синтеза для модели клеточных схем
| align="center"| Шуплецов М.С.
|-
| align="center"| 25 октября
| Доклад по статье Нечипорука Э.И. "Об одной булевской матрице". <sup>[[Media:251011.pdf|Данные о докладе]]</sup>
| align="center"| Шуплецов М.С.
|-
| align="center"| 1 ноября
| Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" (окончание)
| align="center"| [[Ложкин Сергей Андреевич|Ложкин С.А.]]
|-
| align="center"| 8 ноября
| Доклад по статье Нечипорука Э.И. "Об одной булевской функции". <sup>[[Media:1.11.11.pdf|Аннотация доклада]]</sup>
| align="center"| [[Романов Дмитрий Сергеевич|Романов Д.С.]]
|-
| align="center"| 15 ноября
| Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций".
| align="center"| [[Романов Дмитрий Сергеевич|Романов Д.С.]]
|-
| align="center"| 22 ноября
| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций".
| align="center"| Шуплецов М.С.
|-
| align="center"| 29 ноября
| Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе".
| align="center"| [[Романов Дмитрий Сергеевич|Романов Д.С.]]
|-
| align="center"| 6 декабря
| Доклад по статье S. Winograd "On the Number of Multiplications Required to Compute Certain Functions"
| align="center"| Лысиков В.В.
|}

==Весна 2011 года==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|2 марта
| rowspan = "2" | Доклад по статье Х.А.Мадатяна «Полный тест для бесповторных контактных схем»
| rowspan = "2" align="center"| Морозов Е.В.
|-
| align="center"|9 марта
|-
| align="center"|23 марта
| Доклад по статье J.Pach, J. Töröcsik «Layout of Rooted Trees»
| align="center"| Егоров А.В.
|- 
| align="center"|30 марта
| Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов»
| align="center"|Коноводов В.А.
|- 
| align="center"|6 апреля
| Классы k-значной логики, содержащие все функции одной переменной <sup>[[Media:Nagorny_06_04.pdf‎|Аннотация доклада]]</sup>
| align="center"|[[Нагорный Александр Степанович|Нагорный А.С.]]
|- 
| align="center"|13 апреля
| Доклад по статье В.Г.Хахулина «О проверяющих тестах для счетчика четности» <sup>[[Media:‎Kosuhin_13_04.pdf|Аннотация доклада]]</sup>
| align="center"|Косухин П.Ю.
|- 
| align="center"|20 апреля
| Доклад по статье Э.И.Нечипорука «Об одной булевской матрице».
| align="center"|Валиев Т.Р.
|- 
| align="center"|27 апреля
| Доклад по статье  P.T. Dagra, K.A. Sakallah, I.L. Markov «Faster Symmetry Discovery using Sparsity of Symmetries» <sup>[[Media:Kunakov‎_27_04.pdf|Аннотация доклада]]</sup>
| align="center"|Кунаков М.А.
|- 
| align="center"|4 мая
| Доклад по статье Мадатяна Х.А. «Синтез контактных схем ограниченной ширины»
| align="center"|Сысоев Н.А.
|}

== Осень 2010 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|29 сентября
| Установочный эксперимент для автоматов <sup>[[Media:Morozov_29_09.pdf‎|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Морозов Е.В.]]
|-
| align="center"|6 октября
| Об оценках функции Шеннона длины полного диагностического теста относительно локальных слипаний переменных <sup>[[Media:2010 10 06 Аннот НВСУС.doc|Аннотация доклада]]</sup>       <sup>[[Media:rom-kaz_ok.pdf‎|Статья о нижней оценке]]</sup>
| [[Романов Дмитрий Сергеевич|Романов Д.С.]]
|-
| align="center"|13 октября
| Оценки функции Шеннона длины полного диагностического теста относительно специальных источников неисправностей входов схем
| Жидеханова Н.Д.
|-
| align="center"|20 октября
| Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов <sup>[[Media:Bogomolova_20_10.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Богомолова Е.М.]]
|-
| align="center"|27 октября
| О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций <sup>[[Media:Konovodov_27_10.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Коноводов В.А]]
|-
| align="center"|3 ноября
| Минимальные самокорректирующиеся схемы для оператора порязрядного сравнения булевых наборов.
| [[Студенты кафедры математической кибернетики|Сысоев Н.А.]]
|-
| align="center"|10 ноября
| Нижние оценки сложности монотонных контактных схем <sup>[[Media:Morozov_10_11.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Морозов Е.В.]]
|-
| align="center"|17 ноября
| Короткие монотонные формулы для функции голосования.<sup>[[Media:Gasanova_17_11.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Гасанова К.Э.]]
|-
| align="center"|24 ноября
| О свойствах теоретико-множественных операций над предполными классами трехзначной логики <sup>[[Media:Nagorny_24_11.pdf|Аннотация доклада]]</sup>
| [[Нагорный Александр Степанович|Нагорный А.С.]]
|-
| align="center"|1 декабря
| О свойствах теоретико-множественных операций над предполными классами трехзначной логики (окончание).
| [[Нагорный Александр Степанович|Нагорный А.С.]]
|-
| align="center"|8 декабря
| О монотонной сложности пороговых функций
| [[Студенты кафедры математической кибернетики|Снегирев О.И.]]
|-
| align="center"|15 декабря
| Асимптотически минимальные самокорректирующиеся схемы для данной последовательности булевых функций
| [[Студенты кафедры математической кибернетики|Копачевский Ю.Ю.]]
|}

== Весна 2010 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 24 февраля 
| Доклад по статье В.П.Битюцкого "Реализация булевых функций плоскими схемами" <sup>[[Media:Bogomolova_24_2_10.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Богомолова Е.М.]]
|- 
| 3 марта
| Доклад по статье W.F.McColl "Planar circuits have short specifications" <sup>[[Media:Konovodov_3_2_10.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Коноводов В.А.]]
|-
| 10 марта
| rowspan="2" |Оценки функции Шеннона для сложности BDD, вложенных в единичный куб <sup>[[Media:Sadovnikov_10_03_2010.pdf|Аннотация доклада]]</sup>
| rowspan="2" |[[Студенты кафедры математической кибернетики|Садовников О.А.]]
|-
| 17 марта
|-
| 24 марта
| Доклад по статье Голубева Д.В. «Задача о гамильтоновом пути в графе с заданной размерностью пространства циклов»
| [[Студенты кафедры математической кибернетики|Егоров А.В.]]
|-
| 31 марта
| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" <sup>[[Media:Mordasova_31_3_2010.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Мордасова М.С.]]
|-
| 7 апреля
| Доклад по статье Никитина А.А. "О минимальном числе задержек, необходимом для реализации функций алгебры логики конвейерными схемами" <sup> [[Media:Nikitin_07_04.txt|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Снегирев О.И.]]
|-
| 14 апреля
| Доклад по статье Таразевича Ю.Г. "Реализация линейных функций алгебры логики плоскими контактными схемами"
| [[Студенты кафедры математической кибернетики|Копачевский Ю.Ю.]]
|-
| 21 апреля
| Доклад по статье Мадатяна Х.А. "Синтез контактных схем ограниченной ширины"
| [[Студенты кафедры математической кибернетики|Морозов Е.В.]]
|-
| 28 апреля
| Доклад по статье Касим-Заде О.М. "Об одном методе получения оценок сложности схем над бесконечными базисами"
| [[Студенты кафедры математической кибернетики|Айтимов А.К.]]
|}

== Осень 2009 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 30 сентября 
| О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций 
| [[Студенты кафедры математической кибернетики|Копачевский Ю.Ю.]]
|- 
| 7 октября
| Доклад по статье Тиунчика А.А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины"
| [[Студенты кафедры математической кибернетики|Улесова Александра]]
|-
| 14 октября
| Доклад по статье Храпченко В.М. "О соотношении между сложностью и глубиной формул" <sup>[[Media:Konovodov_14_10_09.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Коноводов Владимир]]
|-
| 21 октября
| О сложности реализации линейных функций в классе контактных схем (вариант изложения) <sup>[[Media:Bogomolova_21_10_09.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики| Богомолова Е.М.]] 
|-
| 28 октября
| О вопросах полноты для модели схем из предикатных элементов
| [[Аспиранты кафедры математической кибернетики| Шуплецов М.С.]] 
|-
| 11 ноября
| Доклад по статье Грибка С.В. "Об одном базисе для схем из клеточных элементов" <sup>[[Media:Snegirev_11_11_09.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики| Снегирев О.И.]] 
|-
| 18 ноября
| О полных проверяющих тестах относительно локальных k-кратных слипаний на входах схем
| [[Романов Дмитрий Сергеевич|Романов Д.С.]],
[[Аспиранты кафедры математической кибернетики|Кузнецов И.А.]] 
|-
| 25 ноября
| О полных проверяющих тестах относительно локальных k-кратных слипаний на входах схем (продолжение)
| [[Романов Дмитрий Сергеевич|Романов Д.С.]],
[[Аспиранты кафедры математической кибернетики|Кузнецов И.А.]] 
|-
| 2 декабря
| Доклад по статье Лупанова О.Б. "О влиянии глубины формул на их сложность" <sup>[[Media:Konovodov_2_12_2009.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Коноводов Владимир]]
|-
| 9 декабря
| Доклад по статье Л. Дж. Валианта "Отрицание малоэффективно для булевых слой-функций" <sup>[[Media:Kosuhin_09_12_2009.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Косухин П.Ю.]]
|-
| 16 декабря
| Доклад по статье И.С.Шкребела "О сложности реализации линейных булевых функций схемами из функциональных элементов в базисе <math>\{x\to y, \overline{x}\}</math>" <sup>[[Media:Mordasova_16_12_2009.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Мордасова М.С.]]
|}

== Весна 2009 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 27 февраля
| Доклад по статье Н.П.Редькина "Синтез минимальных самокорректирующихся схем сравнения двоичных наборов" (МВК-14)
| [[Студенты кафедры математической кибернетики|Жидехова Назима]]
|- 
| 13 марта
| О роли размыкающих контактов при реализации монотонных функций алгебры логики контактными схемами на примере монотонной симметрической функции с порогом 2. <sup>[[Media:Sadovnikov_13_03_2009.pdf|Аннотация доклада]]</sup>
| [[Студенты кафедры математической кибернетики|Садовников Олег]]
|-
| 20 марта
| Доклад по статье Leslie G. Valiant "Short Monotone Formulae for the Majority Function". J. Algorithms 5(3): 363-366 (1984)
| [[Студенты кафедры математической кибернетики|Улесова Александра]]
|}

== Осень 2008 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 26 сентября
| О реализации функций алгебры логики схемами из некоторых классов, вложенных в единичные кубы (часть первая) <small>(доклад по материалам статей:Ложкин С.А., Седелев О.Б. О реализации функций алгебры логики BDD, вложенными в единичный куб// Вестн. Моск. ун-та, сер. 15. Вычисл. матем. и киберн.-2006.-№4.-С.29-35.; Седелев О.Б. Реализация функций алгебры логики схемами из функциональных элементов, вложенными в единичный куб// Вестн. Моск. ун-та, сер. 15. Вычисл. матем. и киберн.-2008.-№1.-С.44-50.)</small>
| [[Ложкин Сергей Андреевич|Ложкин С.А.]], [[Аспиранты кафедры математической кибернетики|Седелев Олег]]
|-
| 17 октября
| О реализации функций алгебры логики схемами из некоторых классов, вложенных в единичные кубы (часть вторая)
| [[Ложкин Сергей Андреевич|Ложкин С.А.]], [[Аспиранты кафедры математической кибернетики|Седелев Олег]]
|-
| 24 октября
| Об оценках длин полных проверяющих тестов относительно локальных k-кратных слипаний переменных  <sup>[[Media:Rom-kuz2.pdf|препринт статьи]]</sup>.
| [[Романов Дмитрий Сергеевич|Романов Д.С.]], [[Студенты кафедры математической кибернетики|Кузнецов Иван]]
|-
| 7 ноября
| О сложности мультиплексорной функции в классе π-схем.<small>(доклад по материалам статьи: Ложкин С.А., Власов Н.В. О сложности мультиплексорной функции в классе π-схем // Проблемы теоретической кибернетики. Тезисы докладов XV международной конференции (2-7 июня 2008г., Казань).-Казань:Отечество,2008.С.76.</small>
| [[Ложкин Сергей Андреевич|Ложкин С.А.]], [[Студенты кафедры математической кибернетики|Власов Н.В.]]
|-
| 28 ноября
| Полный проверяющий тест для инверсных неисправностей на входах.<small>(доклад по материалам книги: Погосян Г.Р. О проверяющих тестах для логических схем. - М.: ВЦ АН СССР, 1982.</small>
| [[Студенты кафедры математической кибернетики|Садовников Олег]]
|-
| 5 декабря
| Доклад по статье Valiant L.G. Negation is powerless for Boolean slice functions. SIAM J.Comput. Vol. 15, №2, 1986. Р.531-535.
| [[Студенты кафедры математической кибернетики|Улесова Александра]]
|}

== Весна 2008 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 22 февраля
| О порядке функции Шеннона для длины полного проверяющего теста относительно k-кратных слипаний входов схем
| [[Студенты кафедры математической кибернетики|Кузнецов Иван]]
|-
| 29 февраля
| О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть первая)
| Точилов Алексей
|-
| 14 марта
| О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть вторая)
| Точилов Алексей
|-
| 21 марта
| О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть третья)
| Точилов Алексей
|-
| 28 марта
| Об одном базисе для схем их клеточных элементов по статье С.В. Грибка
| [[Студенты кафедры математической кибернетики|Улесова Александра]]
|-
| 4 апреля
| Синтез формул в базисе из элемента дизъюнкции с нулевым весом и элемента отрицания с единичным весом по статье Э.И. Нечипорука
| [[Студенты кафедры математической кибернетики| Власов Н.В.]]
|-
| 11 апреля
| Синтез СФЭ в базисе из элемента дизъюнкции с нулевым весом и элемента отрицания с единичным весом по статье Э.И. Нечипорука
| [[Студенты кафедры математической кибернетики| Кузнецов И.А.]]
|-
| 18 апреля
| Об одном покрытии множества двоичных наборов и реализации конъюнкций контактными схемами по статье А.Е. Липатовой
| [[Студенты кафедры математической кибернетики| Садовников О.А.]]

|}



== Осень 2007 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 5 октября
| О реализации функций алгебры логики клеточными схемами ограниченной ширины <sup> [[Media:Tiunchik90.djvu|статья А. А. Тиунчика]]</sup>
| [[Студенты кафедры математической кибернетики|Кузнецов Иван]]
|-
| 12 октября
| О сложности линейной функции в классе π-схем без нулевых цепей  <sup>[[Media:Zdobnov.djvu|статья С. В. Здобнова]]</sup>
| [[Студенты кафедры математической кибернетики|Точилов Алексей]]
|- 
| 19 октября
| О роли отрицаний при реализации монотонных булевых функций формулами в базисе <math>(\vee,\And,\neg)</math>  <sup>[[Media:Okolnishnikova79.djvu|статья Е. А. Окольнишниковой]]</sup>
| [[Аспиранты кафедры математической кибернетики|Шуплецов Михаил]]
|- 
| 26 октября
| О реализации функций алгебры логики формулами ограниченной глубины в базисе  <math>(\vee,\And,\neg)</math> <sup> [[Media:Lupanov61.djvu|по статье О. Б. Лупанова]]</sup>
| [[Ложкин Сергей Андреевич|Ложкин С. А.]]
|- 
| 2 ноября
| О соотношении между сложностью и глубиной формул <sup>[[Медиа:Hrapchenko78.djvu|статья В. М. Храпченко]]</sup>
| [[Студенты кафедры математической кибернетики|Стрелкова Наталья]]
|- 
| 9 ноября
| Об оценках функций Шеннона длин тестов относительно единичных транспозиций входов схем
| [[Романов Дмитрий Сергеевич|Романов Д. С.]]
|-
| 16 ноября
| О полных проверяющих тестах для КС по статье Н. П. Редькина
| Ильин Илья
|-
| 23 ноября
| О соотношении сложностей двух видов плоских схем из функциональных элементов <sup>[http://mi.mathnet.ru/dm856 по статье Ю. Громковича и Б. Шустера]</sup>
| [[Аспиранты кафедры математической кибернетики|Шуплецов Михаил]]
|-
| 30 ноября
| О сложности реализации функций алгебры логики в некоторых бесконечных базисах
| [[Студенты кафедры  математической кибернетики|Улесова Александра]]
|-
| 7 декабря
| О глубине сумматора (умножителя) по статье В. М. Храпченко
| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
|-
| 14 декабря
| Об асимптотических оценках сложности контактных схем заданной степени по статье А. Д. Коршунова
| [[Аспиранты кафедры математической кибернетики|Аспиранты кафедры математической кибернетики]]
|}




== Руководители ==
* [[Ложкин Сергей Андреевич|Ложкин Сергей Андреевич]]
* [[Романов Дмитрий Сергеевич|Романов Дмитрий Сергеевич]]


[[Категория:Архив спецсеминаров кафедры математической кибернетики]]