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

Текущая версия на 12:10, 16 октября 2017

Весна 2017 года

Дата	Тема доклада	Докладчик
21 апреля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
21 апреля	Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
14 апреля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
14 апреля	Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»	Зиновьев Д.С.
7 апреля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
7 апреля	Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»	Жуков В.В.
24 марта	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
24 марта	Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis».	Автайкина М.А.
17 марта	Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».^{Аннотация доклада}	Козловский А.Н.
17 февраля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
17 февраля	Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»	Кинжикеева Д.
3 марта	Доклад «О минимальных формулах для монотонных симметрических функций с порогом 2»^{Аннотация доклада}	проф. Ложкин С.А.
31 марта	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
31 марта	Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»^{Аннотация доклада}	Смирнов М.Е.

Осень 2016 года

Дата	Тема доклада	Докладчик
23 сентября	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
23 сентября	Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" ^{Аннотация доклада}	Жуков В.В.
14 октября	Доклад по статье Маркова А.А. "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций." ^{Аннотация доклада}	Ложкин С.А.
21 октября	Доклад "Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один." ^{Аннотация доклада}	Романов Д.С.
28 октября	Доклад "Об одной булевской матрице" ^{Аннотация доклада}	Данилов Б.Р.
11 ноября	Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" ^{Аннотация доклада}	Щуплецов М.С.
18 ноября	Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" ^{Аннотация доклада}	Ложкин С.А.
25 ноября	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
25 ноября	Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" ^{Аннотация доклада}	Тамм Я.-М.Ю.
2 декабря	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
2 декабря	Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" ^{Аннотация доклада}	Уваров И.В.
9 декабря	Доклад "О минимальныз пи-схемах для монотонных симметрических функций с порогом 2" ^{Аннотация доклада}	Ложкин С.А.

Весна 2016 года

Дата	Тема доклада	Докладчик
19 февраля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
19 февраля	Доклад по статье Храпченко В.М. "Глубина и задержка схемы" ^{Аннотация доклада}	Зиновьев В.С.
26 февраля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
26 февраля	Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". ^{Аннотация доклада}	Смирной Максим
4 марта	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
4 марта	Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". ^{Аннотация доклада}	Вяткин Евгений
11 марта	Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. ^{Аннотация доклада}	Филимонов Владимир
18 марта	О соотношении между сложностью и глубиной формул. ^{Аннотация доклада}	Чемоданова О.М.
25 марта	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
25 марта	Доклад «Cadence design systems: основные тренды в индустрии». ^{Аннотация доклада}	Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
1 апреля	Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций»	Трубицин В.А.
8 апреля	Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции». ^{Аннотация доклада}	Титов В.А.
22 апреля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 526б)
22 апреля	Автоматизация проектирования электронных устройств ^{Аннотация доклада}	Семинар компании Cadence design systems.
29 апреля	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
29 апреля	Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».	Калинина А.Н.
6 мая	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
6 мая	Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".	Шишков Илья Сергеевич

Осень 2015 года

Дата	Тема доклада	Докладчик
9 октября	Синтез и сложность универсальных схем контактного типа с разделёнными полюсами	Зиновьев В. С.
16 октября	Синтез и сложность дешифраторных схем контактного типа	Добровецкий Д. И.
6 ноября	О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций. ^{Аннотация доклада}	Любич И.Г.
13 ноября	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
13 ноября	Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".	Мария Автайкина
20 ноября	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
20 ноября	Обзор конференции 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 (задача соревнования)	Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
27 ноября	Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" ^{Аннотация доклада}	Данилов Б.Р.
4 декабря	Доклад по статье Ложкина С. А., Ли Да Мина "О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки" ^{Аннотация доклада}	Высоцкий Л.И.
11 декабря	Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
11 декабря	Доклад "Маршрут физического проектирования систем на кристалле"	Евгений Зенин

Весна 2015 года

Дата	Тема доклада	Докладчик
20 февраля	О динамической активности схем из функциональных элементов. Доклад по статье [1]	Шуплецов М. С.
27 февраля	О минимальных π-схемах для монотонных симметрических функций с порогом 2	Ложкин С. А.
13 марта	Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»	Фивейский С. В.
20 марта	Обзор основных современных подходов к решению задачи привязки логической схемы к библиотеке ^{Аннотация доклада}	Автайкина М. А.
27 марта	Легкотестируемые реализации логических функций (по статье S. M. Reddy «Easily testable realizations for logic functions»)	Курбатская В. К.
3 апреля	Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций»	Бежовец А. В.
10 апреля	О минимальных π-схемах для монотонных симметрических функций с порогом 2 (окончание доклада)	Ложкин С. А.

Осень 2014 года

Дата	Тема доклада	Докладчик
10 октября	Доклад по статье Нечипорука Э. И. «Об одной булевской матрице».	Шуплецов М. С.
17 октября	Доклад по статье Маркова А. А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»	Ложкин С. А.
24 октября	Инверсная сложность булевых функций	Шуплецов М. С.
31 октября	Инверсная сложность булевых функций (окончание доклада)	Шуплецов М. С.
7 ноября	Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [2]	Романов Д. С.
14 ноября	Задача синтеза для модели клеточных схем. Порядок функции Шеннона для площади клеточных схем в стандартном базисе.	Шуплецов М. С.
21 ноября	Асимптотика площади клеточного дешифратора и ее антагонизм с числом функциональных элементов.	Шуплецов М. С.
5 декабря	О синтезе схем с ограниченным числом регистров	Коноводов В. А.
12 декабря	Доклад по статье Нечипорука Э. И. "Об одной булевской функции".	Ложкин С. А.
19 декабря	Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» .	Ложкин С. А., Шуплецов М. С.

Весна 2014 года

Дата	Тема доклада	Докладчик
19 февраля	Инверсная сложность булевых функций. ^{Аннотация доклада, Презентация}	Шуплецов М. С.
26 февраля		Шуплецов М. С.
5 марта	Методы обфускации кода для защиты программного обеспечения ^{Аннотация доклада, Презентация}	Темербекова Гульгайша
14 марта	О минимальных π-схемах для монотонных симметрических функций с порогом 2 ^{Аннотация доклада}	Ложкин С. А., Шуплецов М. С.
19 марта		Ложкин С. А., Шуплецов М. С.
2 апреля	Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул"	Зиновьев Владимир
9 апреля	Задача выполнимости и верификация логических схем	Шуплецов М. С.
16 апреля	Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"	Добровецкий Даниил
30 апреля	Доклад по статье Тиунчика А. А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" ^{Аннотация доклада}	Чеховская Екатерина
7 мая	Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" ^{Аннотация доклада}	Павлов Андрей
14 мая	Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" // Вестн. Моск. ун-та. Матем. Механ. 2012, № 2. С. 24-29.	Кухтинов Александр

Осень 2013 года

Дата	Тема доклада	Докладчик
7, 14 октября	Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе".	Нагорный А. С.
21 октября	Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций".	Ложкин С. А.
28 октября	Окончание предыдущего доклада. Некоторые результаты статьи М. И. Гринчука "О монотонной сложности пороговых функций".	Ложкин С. А.
11 ноября	Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [3]	Романов Д. С.
18 ноября	О динамической и статической активности схем из функциональных элементов	Шуплецов М. С.
25 ноября	Вариационный принцип и полуэффект Шеннона для ДНФ	Нагорный А. С.
2 декабря	Доклад по статье Нечипорука Э. И. "Об одной булевской матрице"	Нагорный А. С.

Весна 2013 года

Дата	Тема доклада	Докладчик
27 февраля	О модели предикатных схем и связи между замкнутыми классами функций и предикатов	Шуплецов М.С.
6 марта		Шуплецов М.С.
13 марта	Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций»	Нагорный А.С.
20 марта	Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»	Довгалюк Е.Л.
27 марта	Доклад по статье Кричевского Р.Е. «Минимальная схема из замыкающих контактов для одной булевой функции от n аргументов»^{Аннотация доклада}	Кулешов О.В.
3 апреля	Доклад по статье Дебрева Е.В. «О безусловных рёберных тестах для регулярных семейств графов»^{Аннотация доклада}	Кумар В.
10 апреля	О минимальных (1,1)- и (1,2)-контактных схемах для линейных функций ^{Аннотация доклада}	Раннев Е.К.
17 апреля	Доклад по статье Таразевича Ю.Г.«Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» ^{Аннотация доклада}	Кортунова Е. М.
24 апреля	Доклад по статье Алехиной М. А. «Синтез и сложность надежных схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»	Пузачев Д. С.

Осень 2012 года

Дата	Тема доклада	Докладчик
3 октября	Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций".	Ложкин С. А.
10 октября	Доклад по статье Э. И. Нечипорука "Об одной булевской матрице"^{Данные о докладе}	Нагорный А. С.
17 октября	Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе".	Нагорный А. С.
24 октября	Доклад по статье Маркова А. А. «Об инверсной сложности булевых функций»	Ложкин С. А.
7 ноября	О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов ^{[Данные о статье]}	Романов Д. С.
14 ноября	О длине кратчайшей ДНФ функции алгебры логики	Нагорный А. С..
21 ноября	О длине кратчайшей ДНФ функции алгебры логики	Нагорный А. С..
28 ноября	О некоторых функционалах сложности для схем из функциональных элементов	Шуплецов М. С.
5 декабря	О некоторых моделях клеточных схем из функциональных элементов	Ложкин С. А., Яблонская А. Ю.
12 декабря	Реализация функций алгебры логики схемами из функциональных элементов, вложенными в единичный куб	Садовников О. А.
19 декабря	Обсуждение тем курсовых работ студентов третьего курса

Весна 2012 года

Дата	Тема доклада	Докладчик
29 февраля	Доклад по статье В.М. Храпченко "Глубина и задержка схемы"	Ложкин С.А.
14 марта	Вариационный принцип и полуэффект Шеннона для ДНФ	Нагорный А.С.
21 марта	О специальной раскраске вершин единичного куба и системе одноцветных связывающих деревьев ^{Аннотация доклада}	Садовников О.А.
28 марта	Доклад по статье Тиунчика А.А. «О реализации функций алгебры логики клеточными схемами ограниченной ширины»^{Аннотация доклада}	Яблонская А.Ю.
4 апреля	Об эволюционных методах решения задач синтеза топологии интегральных схем	Марченко А.М.
18 апреля	Доклад по статье Таразевича Ю.Г. "Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке" ^{аннотация статьи}	Шуплецов М.С.
25 апреля		Шуплецов М.С.
2 мая	О минимальных π-схемах для монотонных симметрических функций с порогом 2.	Ложкин С.А.

Осень 2011 года

Дата	Тема доклада	Докладчик
11 октября	Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций".	Романов Д.С.
18 октября	Задача синтеза для модели клеточных схем	Шуплецов М.С.
25 октября	Доклад по статье Нечипорука Э.И. "Об одной булевской матрице". ^{Данные о докладе}	Шуплецов М.С.
1 ноября	Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" (окончание)	Ложкин С.А.
8 ноября	Доклад по статье Нечипорука Э.И. "Об одной булевской функции". ^{Аннотация доклада}	Романов Д.С.
15 ноября	Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций".	Романов Д.С.
22 ноября	Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций".	Шуплецов М.С.
29 ноября	Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе".	Романов Д.С.
6 декабря	Доклад по статье S. Winograd "On the Number of Multiplications Required to Compute Certain Functions"	Лысиков В.В.

Весна 2011 года

Дата	Тема доклада	Докладчик
2 марта	Доклад по статье Х.А.Мадатяна «Полный тест для бесповторных контактных схем»	Морозов Е.В.
9 марта		Морозов Е.В.
23 марта	Доклад по статье J.Pach, J. Töröcsik «Layout of Rooted Trees»	Егоров А.В.
30 марта	Доклад по статье Й. Денева «Об одной функции, сложно реализуемой методом каскадов»	Коноводов В.А.
6 апреля	Классы k-значной логики, содержащие все функции одной переменной ^{Аннотация доклада}	Нагорный А.С.
13 апреля	Доклад по статье В.Г.Хахулина «О проверяющих тестах для счетчика четности» ^{Аннотация доклада}	Косухин П.Ю.
20 апреля	Доклад по статье Э.И.Нечипорука «Об одной булевской матрице».	Валиев Т.Р.
27 апреля	Доклад по статье P.T. Dagra, K.A. Sakallah, I.L. Markov «Faster Symmetry Discovery using Sparsity of Symmetries» ^{Аннотация доклада}	Кунаков М.А.
4 мая	Доклад по статье Мадатяна Х.А. «Синтез контактных схем ограниченной ширины»	Сысоев Н.А.

Осень 2010 года

Дата	Тема доклада	Докладчик
29 сентября	Установочный эксперимент для автоматов ^{Аннотация доклада}	Морозов Е.В.
6 октября	Об оценках функции Шеннона длины полного диагностического теста относительно локальных слипаний переменных ^{Аннотация доклада} ^{Статья о нижней оценке}	Романов Д.С.
13 октября	Оценки функции Шеннона длины полного диагностического теста относительно специальных источников неисправностей входов схем	Жидеханова Н.Д.
20 октября	Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов ^{Аннотация доклада}	Богомолова Е.М.
27 октября	О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций ^{Аннотация доклада}	Коноводов В.А
3 ноября	Минимальные самокорректирующиеся схемы для оператора порязрядного сравнения булевых наборов.	Сысоев Н.А.
10 ноября	Нижние оценки сложности монотонных контактных схем ^{Аннотация доклада}	Морозов Е.В.
17 ноября	Короткие монотонные формулы для функции голосования.^{Аннотация доклада}	Гасанова К.Э.
24 ноября	О свойствах теоретико-множественных операций над предполными классами трехзначной логики ^{Аннотация доклада}	Нагорный А.С.
1 декабря	О свойствах теоретико-множественных операций над предполными классами трехзначной логики (окончание).	Нагорный А.С.
8 декабря	О монотонной сложности пороговых функций	Снегирев О.И.
15 декабря	Асимптотически минимальные самокорректирующиеся схемы для данной последовательности булевых функций	Копачевский Ю.Ю.

Весна 2010 года

Дата	Тема доклада	Докладчик
24 февраля	Доклад по статье В.П.Битюцкого "Реализация булевых функций плоскими схемами" ^{Аннотация доклада}	Богомолова Е.М.
3 марта	Доклад по статье W.F.McColl "Planar circuits have short specifications" ^{Аннотация доклада}	Коноводов В.А.
10 марта	Оценки функции Шеннона для сложности BDD, вложенных в единичный куб ^{Аннотация доклада}	Садовников О.А.
17 марта		Садовников О.А.
24 марта	Доклад по статье Голубева Д.В. «Задача о гамильтоновом пути в графе с заданной размерностью пространства циклов»	Егоров А.В.
31 марта	Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" ^{Аннотация доклада}	Мордасова М.С.
7 апреля	Доклад по статье Никитина А.А. "О минимальном числе задержек, необходимом для реализации функций алгебры логики конвейерными схемами" ^{Аннотация доклада}	Снегирев О.И.
14 апреля	Доклад по статье Таразевича Ю.Г. "Реализация линейных функций алгебры логики плоскими контактными схемами"	Копачевский Ю.Ю.
21 апреля	Доклад по статье Мадатяна Х.А. "Синтез контактных схем ограниченной ширины"	Морозов Е.В.
28 апреля	Доклад по статье Касим-Заде О.М. "Об одном методе получения оценок сложности схем над бесконечными базисами"	Айтимов А.К.

Осень 2009 года

Дата	Тема доклада	Докладчик
30 сентября	О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций	Копачевский Ю.Ю.
7 октября	Доклад по статье Тиунчика А.А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины"	Улесова Александра
14 октября	Доклад по статье Храпченко В.М. "О соотношении между сложностью и глубиной формул" ^{Аннотация доклада}	Коноводов Владимир
21 октября	О сложности реализации линейных функций в классе контактных схем (вариант изложения) ^{Аннотация доклада}	Богомолова Е.М.
28 октября	О вопросах полноты для модели схем из предикатных элементов	Шуплецов М.С.
11 ноября	Доклад по статье Грибка С.В. "Об одном базисе для схем из клеточных элементов" ^{Аннотация доклада}	Снегирев О.И.
18 ноября	О полных проверяющих тестах относительно локальных k-кратных слипаний на входах схем	Романов Д.С., Кузнецов И.А.
25 ноября	О полных проверяющих тестах относительно локальных k-кратных слипаний на входах схем (продолжение)	Романов Д.С., Кузнецов И.А.
2 декабря	Доклад по статье Лупанова О.Б. "О влиянии глубины формул на их сложность" ^{Аннотация доклада}	Коноводов Владимир
9 декабря	Доклад по статье Л. Дж. Валианта "Отрицание малоэффективно для булевых слой-функций" ^{Аннотация доклада}	Косухин П.Ю.
16 декабря	Доклад по статье И.С.Шкребела "О сложности реализации линейных булевых функций схемами из функциональных элементов в базисе $\{x\to y, \overline{x}\}$ " ^{Аннотация доклада}	Мордасова М.С.

Весна 2009 года

Дата	Тема доклада	Докладчик
27 февраля	Доклад по статье Н.П.Редькина "Синтез минимальных самокорректирующихся схем сравнения двоичных наборов" (МВК-14)	Жидехова Назима
13 марта	О роли размыкающих контактов при реализации монотонных функций алгебры логики контактными схемами на примере монотонной симметрической функции с порогом 2. ^{Аннотация доклада}	Садовников Олег
20 марта	Доклад по статье Leslie G. Valiant "Short Monotone Formulae for the Majority Function". J. Algorithms 5(3): 363-366 (1984)	Улесова Александра

Осень 2008 года

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

Весна 2008 года

Дата	Тема доклада	Докладчик
22 февраля	О порядке функции Шеннона для длины полного проверяющего теста относительно k-кратных слипаний входов схем	Кузнецов Иван
29 февраля	О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть первая)	Точилов Алексей
14 марта	О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть вторая)	Точилов Алексей
21 марта	О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть третья)	Точилов Алексей
28 марта	Об одном базисе для схем их клеточных элементов по статье С.В. Грибка	Улесова Александра
4 апреля	Синтез формул в базисе из элемента дизъюнкции с нулевым весом и элемента отрицания с единичным весом по статье Э.И. Нечипорука	Власов Н.В.
11 апреля	Синтез СФЭ в базисе из элемента дизъюнкции с нулевым весом и элемента отрицания с единичным весом по статье Э.И. Нечипорука	Кузнецов И.А.
18 апреля	Об одном покрытии множества двоичных наборов и реализации конъюнкций контактными схемами по статье А.Е. Липатовой	Садовников О.А.

Осень 2007 года

Дата	Тема доклада	Докладчик
5 октября	О реализации функций алгебры логики клеточными схемами ограниченной ширины ^{статья А. А. Тиунчика}	Кузнецов Иван
12 октября	О сложности линейной функции в классе π-схем без нулевых цепей ^{статья С. В. Здобнова}	Точилов Алексей
19 октября	О роли отрицаний при реализации монотонных булевых функций формулами в базисе $(\vee,\And,\neg)$ ^{статья Е. А. Окольнишниковой}	Шуплецов Михаил
26 октября	О реализации функций алгебры логики формулами ограниченной глубины в базисе $(\vee,\And,\neg)$ ^{по статье О. Б. Лупанова}	Ложкин С. А.
2 ноября	О соотношении между сложностью и глубиной формул ^{статья В. М. Храпченко}	Стрелкова Наталья
9 ноября	Об оценках функций Шеннона длин тестов относительно единичных транспозиций входов схем	Романов Д. С.
16 ноября	О полных проверяющих тестах для КС по статье Н. П. Редькина	Ильин Илья
23 ноября	О соотношении сложностей двух видов плоских схем из функциональных элементов ^{по статье Ю. Громковича и Б. Шустера}	Шуплецов Михаил
30 ноября	О сложности реализации функций алгебры логики в некоторых бесконечных базисах	Улесова Александра
7 декабря	О глубине сумматора (умножителя) по статье В. М. Храпченко	Западинский Анатолий
14 декабря	Об асимптотических оценках сложности контактных схем заданной степени по статье А. Д. Коршунова	Аспиранты кафедры математической кибернетики

Руководители

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

Текущая версия на 12:10, 16 октября 2017

Содержание

Весна 2017 года

Осень 2016 года

Весна 2016 года

Осень 2015 года

Весна 2015 года

Осень 2014 года

Весна 2014 года

Осень 2013 года

Весна 2013 года

Осень 2012 года

Весна 2012 года

Осень 2011 года

Весна 2011 года

Осень 2010 года

Весна 2010 года

Осень 2009 года

Весна 2009 года

Осень 2008 года

Весна 2008 года

Осень 2007 года

Руководители

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Инструменты

@@ Строка 1: / Строка 1: @@
+== Весна 2017 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| rowspan="2" align="center" | 21 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
+|-
+| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
+| align="center" |
+|-
+| rowspan="2" align="center" | 14 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
+|-
+| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
+| align="center" | Зиновьев Д.С.
+|-
+| rowspan="2" align="center" | 7 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
+|-
+| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
+| align="center" | Жуков В.В.
+|-
+| rowspan="2" align="center" | 24 марта
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
+|-
+| Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis».
+| align="center" | Автайкина М.А.
+|-
+| align="center" | 17 марта
+| Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
+| align="center" | Козловский А.Н.
+|-
+| rowspan="2" align="center" | 17 февраля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
+|-
+| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
+| align="center" | Кинжикеева Д.
+|-
+| align="center" | 3 марта
+| Доклад «О минимальных формулах для монотонных симметрических функций с порогом 2»<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
+| align="center" | проф. Ложкин С.А.
+|-
+| rowspan="2" align="center" | 31 марта
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
+|-
+| Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»<sup>[[Media:mmvlsi-pcst-annot-170331.pdf|Аннотация доклада]]</sup>
+| align="center" | Смирнов М.Е.
+|-
+|}
+== Осень 2016 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| rowspan="2" align="center" | 23 сентября
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
+| Жуков В.В.
+|-
+| align="center" | 14 октября
+| Доклад по статье Маркова А.А. "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций." <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup>
+| Ложкин С.А.
+|-
+| align="center" | 21 октября
+| Доклад "Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один." <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+| Романов Д.С.
+|-
+| align="center" | 28 октября
+| Доклад "Об одной булевской матрице" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+| Данилов Б.Р.
+|-
+| align="center" | 11 ноября
+| Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+| Щуплецов М.С.
+|-
+| align="center" | 18 ноября
+| Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+| Ложкин С.А.
+|-
+| rowspan="2" align="center" | 25 ноября
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <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>
+| Тамм Я.-М.Ю.
+|-
+| rowspan="2" align="center" | 2 декабря
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад по статье 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" | 9 декабря
+| Доклад "О минимальныз пи-схемах для монотонных симметрических функций с порогом 2" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+| Ложкин С.А.
+|-
+|}
+== Весна 2016 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| rowspan="2" align="center" | 19 февраля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
+| Зиновьев В.С.
+|-
+| rowspan="2" align="center" | 26 февраля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
+| Смирной Максим
+|-
+| rowspan="2" align="center" | 4 марта
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
+| Вяткин Евгений
+|-
+| align = "center"| 11 марта
+| Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. <sup>[[Media:filimonov.docx|Аннотация доклада]]</sup>
+| Филимонов Владимир
+|-
+| align = "center"| 18 марта
+| О соотношении между сложностью и глубиной формул. <sup>[[Media:chemodan.docx|Аннотация доклада]]</sup>
+| Чемоданова О.М.
+|-
+| rowspan="2" align="center" | 25 марта
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
+| Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
+|-
+| align = "center"| 1 апреля
+| Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций»
+| Трубицин В.А.
+|-
+| align = "center"| 8 апреля
+| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции».  <sup>[[Media:titov.docx|Аннотация доклада]]</sup>
+| Титов В.А.
+|-
+| rowspan="2" align="center" | 22 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 526б)
+|-
+| Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup>
+| Семинар компании Cadence design systems.
+|-
+| rowspan="2" align="center" | 29 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
+| Калинина А.Н.
+|-
+| rowspan="2" align="center" | 6 мая
+| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+|-
+| Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".
+| Шишков Илья Сергеевич
+|-
+|}
+== Осень 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".
+. http://www.iccad.com (конференция)
+. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+. 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 года ==
@@ Строка 646: / Строка 904: @@
 | [[Аспиранты кафедры математической кибернетики|Аспиранты кафедры математической кибернетики]]
 |}