Математические вопросы проектирования СБИС (Архив) — различия между версиями

Версия 11:28, 2 марта 2016

Содержание

1 Осень 2015 года
2 Весна 2015 года
3 Осень 2014 года
4 Весна 2014 года
5 Осень 2013 года
6 Весна 2013 года
7 Осень 2012 года
8 Весна 2012 года
9 Осень 2011 года
10 Весна 2011 года
11 Осень 2010 года
12 Весна 2010 года
13 Осень 2009 года
14 Осень 2008 года
15 Весна 2008 года
16 Осень 2007 года
17 Руководители

Осень 2015 года

Дата	Тема доклада	Докладчик
9 октября	Синтез и сложность универсальных схем контактного типа с разделёнными полюсами	Зиновьев В. С.
16 октября	Синтез и сложность дешифраторных схем контактного типа	Добровецкий Д. И.
23 октября	Совместно с семинаром Некоторые вопросы теории управляющих систем
23 октября	New bounds on Klarner's constant	Gill Barequet, Dept. of Computer Science, Technion
30 октября	О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. ^{Аннотация доклада}	Довгалюк Е. Л.
6 ноября	Об одной модели рекурсивных схем из функциональных элементов. ^{Аннотация доклада}	Фивейский С.В.
13 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
13 ноября	Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".	Мария Автайкина
20 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
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 декабря	Совместно с семинаром Некоторые вопросы теории управляющих систем
11 декабря	Доклад "Маршрут физического проектирования систем на кристалле"	Евгений Зенин

Весна 2015 года

Дата	Тема доклада	Докладчик
20 февраля	Доклад по статье Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".	Смирнов А. А.
27 февраля	Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"	Сальников В. А.
13 марта	О динамической активности мультиплексорной функции	Кулешов О. В.
27 марта	Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [1]	Тамм Я.-М. Ю.
3 апреля	Использования методов логического синтеза для ускорения решения задач верификации схем [2]	Павлов А. В.
10 апреля	О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [3]	Пузачев Д. С.
24 апреля	Представление студентами 4 и 5 курсов своих выпускных квалификационных работ

Осень 2014 года

Дата	Тема доклада	Докладчик
3 октября	Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"	Зиновьев В. С.
10 октября	Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"	Зиновьев В. С.
17 октября	Тесты для булевых функций относительно вытесняющих неисправностей	Морозов Е. В.
24 октября	Комбинаторика и сложность случайных булевых формул	Коноводов В. А.
31 октября	Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" ^{аннотация докдада}	Раннев Е. К.
7 ноября	Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)	Шуплецов М. С.
14 ноября	О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов ^{аннотация докдада}	Романов Д. С.
21 ноября	Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» ^{Данные о статье}	Довгалюк Е. Л.
28 ноября	Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»	Белышов М. В.
5 декабря	Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" ^{Данные о статье}	Кумар В.
12 декабря	Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа	Кортунова Е. М.
19 декабря	Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» .	Ложкин С. А., Шуплецов М. С.

Весна 2014 года

Дата	Тема доклада	Докладчик
21 февраля	Сверхполиномиальная нижняя оценка монотонной сложности функции клики ^{Аннотация доклада, Презентация}	Довгалюк Е. Л.
28 февраля	Метод Нечипорука и примеры его применения ^{Аннотация доклада}	Кулешов О. В.
14 марта	О минимальных π-схемах для монотонных симметрических функций с порогом 2 ^{Аннотация доклада}	Ложкин С. А.
21 марта		Ложкин С. А.
28 марта	О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам ^{Аннотация доклада}	Данилов Б. Р.
4 апреля	Некоторые обобщения теоремы Храпченко и примеры их применений ^{Аннотация доклада}	Раннев Е. К.
11 апреля	Доклад по статье Kewal K. Saluja, Sudhakar M. Reddy, "On minimally testable logic networks".	Кумар В.
18 апреля	Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»	Доленко О. С.
25 апреля	Исследование влияния структурных параметров на результаты синтеза цифровых схем	Кортунова Е. Н.
16 мая	Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"	Чеховская Е. Н.

Осень 2013 года

Дата	Тема доклада	Докладчик
20 сентября	О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах ^{Аннотация доклада}	Белышов М. В.
27 сентября	О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции ^{Аннотация доклада}	Довгалюк Е. Л.
4 октября	Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности ^{Аннотация доклада}	Белышов М. В.
11 октября	О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными ^{Аннотация доклада}	Коноводов В. А.
18 октября	Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем ^{Аннотация доклада}	Кортунова Е. М.
25 октября	Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" ^{Аннотация доклада}	Жукова А. А.
1 ноября	Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами"	Кулешов О. В.
8 ноября	О тестах относительно множественных линейных слипаний переменных в булевых функциях^{Аннотация доклада}	Морозов Е. В.
15 ноября	Доклад по статье Мадатяна Х. А. "Синтез контактных схем ограниченной ширины"	Тренкунов А. В.
22 ноября	Доклад по статье Коршунова А. Д. "Об асимптотических оценках сложности контактных схем заданной степени"^{Аннотация доклада}	Чеховская Е. Н.
29 ноября	Доклад по статье Кузьмина В. А. "Реализация функций алгебры логики автоматами, нормальными алгорифмами и машинами Тьюринга"^{Аннотация доклада}	Кумар В.
6 декабря	Автоматная сложность булевых функций из классов Поста	Кибкало М. А.
13 декабря	Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»	Доленко О. С.

Весна 2013 года

Дата	Тема доклада	Докладчик
22 февраля	О сложности реализации булевых функций из некоторых классов, связанных с конечными грамматиками, формулами глубины альтернирования 3 ^{Аннотация доклада}	Коноводов В.А.
1 марта	О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе	Романов Д.С.
15 марта	Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»	Доленко О.С.
22 марта	Доклад по статье Хахулина В.Г. «О проверяющих тестах для счетчика четности»	Жукова А.А.
29 марта	Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в P_k»^{Аннотация доклада}	Чеховская Е.Н.
5 апреля	Доклад по статье Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»	Тренкунов А.В.
12 апреля	Доклад по статье Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»	Морозов Е.В.
19 апреля	О тестах относительно примитивных сдвигов переменных в булевых функциях^{Аннотация доклада}	Антюфеев Г. В.
26 апреля	Доклад по статье Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»	Плоткина Ю. С.
17 мая	Доклады студентов 5 курса по дипломным работам.

Осень 2012 года

Дата	Тема доклада	Докладчик
28 сентября	Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." ^{Выходные данные}	Плоткина Ю.С.
5 октября	О сложности мультиплексорной функции в классе схем из функциональных элементов ^{Аннотация доклада}	Власов Н.В.
12 октября	Алгоритмы для нахождения автоморфизмов больших разреженных графов ^{Аннотация доклада}	Марков И. Л. (Мичиганский университет, США)
19 октября	Доклад по статье N. Blum «A boolean function requiring 3n network size» ^Статья	Богомолова Е. М.
26 октября	Активность схем из функциональных элементов ^{Аннотация доклада}	Доленко О. С.
2 ноября	Активность схем из функциональных элементов(окончание доклада)	Доленко О. С.
9 ноября	Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»^{Аннотация доклада}	Морозов Е. В.
16 ноября	Минимизация пересечений линий (веток метро) на картах метро^{Аннотация доклада}	Кунаков М. А.
23 ноября	Об одном методе получения более чем квадратичных эффективных нижних оценок сложности $\pi$ -схем ^{Аннотация доклада}	Коноводов В. А.
30 ноября	Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка ^{Аннотация доклада}	Кривошеин Д. Ю.
7 декабря	Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов ^{Ссылка на автореферат диссертации}	Талалай М. С.
14 декабря	Инверсная сложность булевых функций^{Аннотация доклада}	Морозов Е. В.

Весна 2012 года

Дата	Тема доклада	Докладчик
24 февраля	Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» ^{Аннотация доклада}	Богомолова Е. М.
2 марта	Доклад по статье A. Genitrini, B. Gittenberger «No Shannon effect on probability distributions on Boolean functions induced by random expressions» ^{Аннотация доклада}	Яблонская А.Ю.
11 марта	Доклад по статье Шуткина Ю.С. «Синтез информационных графов для предполных классов булевых функций» ^{Аннотация доклада}	Валиев Т.Р.
16 марта	О синтезе и сложности формул с ограниченной глубиной альтернирования ^{Аннотация доклада}	Коноводов В.А.
23 марта	Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»	Коразбаев К.Ж.
30 марта	О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью	Коноводов В.А.
6 апреля	Доклад по статье Й. Денева «Об одной функции, сложно реализуемой методом каскадов»	Егоров А.В.
13 апреля	Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС ^{Аннотация доклада}	Кривошеин Д.Ю.
20 апреля	О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)^{Аннотация доклада}	Блинов С.В.
27 апреля	Доклад по статье Ю.В.Бородиной "Синтез легкотестируемых схем в базисе $\{\And,\vee,\neg\}$ для систем булевых функций"	Морозов Е.В.
4 мая	Доклады студентов 5 курса по дипломным работам	Коноводов В.А.
4 мая	Доклады студентов 5 курса по дипломным работам	Богомолова Е.М.
11 мая	Доклады студентов 5 курса по дипломным работам	Морозов Е.В.
11 мая	Доклады студентов 5 курса по дипломным работам	Цимбалов С.Е.

Осень 2011 года

Дата	Тема доклада	Докладчик
30 сентября	Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» ^{Аннотация доклада}	Борис Данилов
7 октября	Модификация метода Лупанова с более равномерным распределением исходящих дуг. ^{Ссылка на статью}	Ложкин С. А.
14 октября	О глубине мультиплексорной функции ^{Аннотация доклада}	Никита Власов
21 октября	Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» ^{Ссылка на статью}	Александра Яблонская
28 октября	Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» ^{Ссылка на статью}	Дмитрий Кривошеин
11 ноября	Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» ^{Ссылка на статью}	Сергей Цимбалов
18 ноября	Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» ^{Данные о статье}	Евгений Морозов
25 ноября	Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов»	Олег Садовников
2 декабря	Проблемы полноты и выразимости в пространствах дискретных функций	Парватов Н. Г. (Томск)
9 декабря	О надежности неветвящихся программ с оператором условной остановки.	Грабовская С. М. (Пенза)
16 декабря	Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» ^{Данные о статье}	Богомолова Е. М.

Весна 2011 года

Дата	Тема доклада	Докладчик
25 февраля	Логический синтез топологически регулярных схем на транзисторных шаблонах ^{Аннотация доклада}	Михаил Талалай
4 марта	Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» ^{Аннотация к статье}	Владимир Лысиков
11 марта	Верификация структурных моделей цифровых схем ^{Аннотация доклада}	Александр Готманов
25 марта		Александр Готманов
1 апреля	Доклад по статье Н.П. Редькина «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций»	Олег Снегирев
8 апреля	Доклад по статье N. Blum, M. Seysen «Characterization of all optimal networks for a simultaneous computation of AND and NOR»	Владимир Коноводов
15 апреля	Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»^{Аннотация доклада}	Юрий Копачевский
22 апреля	Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» ^{Аннотация доклада}	Никита Власов
29 апреля	Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» ^{Аннотация доклада}	Борис Данилов
6 мая	Доклады по магистерским диссертациям	Дмитрий Кривошеин
6 мая	Доклады по магистерским диссертациям	Григорий Антюфеев

Осень 2010 года

Дата	Тема доклада	Докладчик
1 октября	О глубине мультиплексорной функции ^{Аннотация доклада}	Власов Н.В.
8 октября	Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях ^{Аннотация доклада}	Данилов Б.Р.
15 октября	Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа.	Шуплецов М.С.
22 октября	Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors.	Садовников О.А.
29 октября	Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.^{Аннотация доклада}	Улесова А.Ю.
12 ноября	О сложности реализации частичных булевых функций схемами из функциональных элементов.^{Аннотация доклада}	Блинов С.В.
19 ноября	Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.^{Аннотация доклада}	Власов Н.В.
26 ноября	Алгоритм сжатия для невыпуклых многоугольников и его приложения	Кривошеин Д.Ю.
26 ноября	Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности.	Жмурин А.В.
3 декабря	Некоторые свойства невырожденных суперпозиций в Pk^{Аннотация доклада}	Садовников О.А.
10 декабря	Решение задачи о клике сведением к задаче с DC ограничением	Цимбалов С.Е.
17 декабря	Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"^{Аннотация доклада}	Антюфеев Г.В.

Весна 2010 года

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

Осень 2009 года

Дата	Тема доклада	Докладчик
25 сентября	Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты ^{Аннотация доклада}	Шиганов Александр
2 октября	О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты ^{Аннотация доклада}	Шиганов Александр
9 октября	О сложности мультиплексорной функции в классе π-схем ^{Аннотация доклада}	Ложкин С.А., Власов Никита
16 октября	Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов	Каграманян Э.Р.
23 октября	Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб ^{Аннотация доклада}	Садовников О.А.
30 октября	Об одной модели рекурсивных схем из функциональных элементов ^{Аннотация доклада}	Данилов Б.Р.
6 ноября	Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»	Морозов Е.В.
13 ноября	Поиск кратчайших путей в графах (обзор статей) ^{Аннотация доклада}	Кривошеин Д.Ю.
20 ноября	Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника»	Улесова А.Ю.
27 ноября	Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС ^{Аннотация доклада}	Мелик-Адамян А.Ф.
4 декабря	Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского

Осень 2008 года

Дата	Тема доклада	Докладчик
3 Октября	Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий	Арег Мелик-Адамян (ИТМиВТ РАН)
31 Октября	Выбор оптимальных параметров в задачах с многими критериями	Арег Мелик-Адамян (ИТМиВТ РАН)
14 Ноября	Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric"	Мордасова М.С.
12 Декабря	Методы разрешения положительных циклов в графе ограничений	Сергей Локинский

Весна 2008 года

Дата	Тема доклада	Докладчик
26 февраля	Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур	Хапаев М.М.
11 марта	Использование разложения Гильберта при построении схем из функциональных элементов ^слайды	Долотова Н.С.
25 марта	Аналитический подход к легализации размещения стандартных ячеек	Аюпов А.Б.
8 апреля	Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС	Локинский С.Н.
29 апреля	Структуры данных для хранения и поиска объектов в пространстве	Западинский Анатолий

Осень 2007 года

Дата	Тема доклада	Докладчик
5 октября	Применение целочисленного линейного программирования в трассировке схем ^{реферат}	Западинский Анатолий
9 ноября	Совместно с семинаром Дискретная математика и математическая кибернетика
9 ноября	Прикладные математические задачи САПР СБИС^слайды	Марченко А. М.
30 ноября	Регулярность в проектировании СБИС на примере регулярных логических блоков^слайды и FPGA^слайды	Западинский Анатолий Шуплецов Михаил
14 декабря	Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе.	Попов Евгений

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

Математические вопросы проектирования СБИС (Архив) — различия между версиями

Версия 11:28, 2 марта 2016

Содержание

Осень 2015 года

Весна 2015 года

Осень 2014 года

Весна 2014 года

Осень 2013 года

Весна 2013 года

Осень 2012 года

Весна 2012 года

Осень 2011 года

Весна 2011 года

Осень 2010 года

Весна 2010 года

Осень 2009 года

Осень 2008 года

Весна 2008 года

Осень 2007 года

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

Навигация

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

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

Варианты

Просмотры

Действия

Поиск

Навигация

Инструменты

@@ Строка 1: / Строка 1: @@
+== Осень 2015 года ==
-== Весна 2012 года ==
-{| align="center" width="100%"
-|
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
@@ Строка 12: / Строка 9: @@
 ! Докладчик
 |-
-| align = "center"|24 февраля
+| align="center" | 9 октября
-| Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» <sup>[[Media:24.02.2012.pdf|Аннотация доклада]]</sup>
+| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
-| align = "center"| Богомолова Е. М.
+| Зиновьев В. С.
 |-
-| align = "center"|2 марта
+| align="center" | 16 октября
-| Доклад по статье A. Genitrini, B. Gittenberger [http://www-apr.lip6.fr/~genitrini/publi/aofa10_genitrini.pdf «No Shannon effect on probability distributions on Boolean functions induced by random expressions»] <sup>[[Media:2.03.2012.pdf|Аннотация доклада]]</sup>
+| Синтез и сложность дешифраторных схем контактного типа
-| align = "center"| Яблонская А.Ю.
+| Добровецкий Д. И.
+|-
+| rowspan="2" align="center" | 23 октября
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align = "center"|11 марта
+| New bounds on Klarner's constant
-|Доклад по статье Шуткина Ю.С. [http://dvinemnauku.ru/upload/day_101214/201012142208188078.pdf «Синтез информационных графов для предполных классов булевых функций»] <sup>[[Media:11.03.2012.pdf|Аннотация доклада]]</sup>
+| Gill Barequet, Dept. of Computer Science, Technion
-| align = "center"|Валиев Т.Р.
 |-
-| align = "center"|16 марта
+| align = "center"|30 октября
-|О синтезе и сложности формул с ограниченной глубиной альтернирования <sup>[[Media:16.03.2012.pdf|Аннотация доклада]]</sup>
+| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup>
-| align = "center"|Коноводов В.А.
+| Довгалюк Е. Л.
 |-
-| align = "center"|23 марта
+| align = "center"|6 ноября
-| Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»
+| Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup>
-| align = "center"|Коразбаев К.Ж.
+| Фивейский С.В.
+|-
+| rowspan="2" align="center" | 13 ноября
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align = "center"|30 марта
+| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
-| О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью
+| Мария Автайкина
-| align = "center"|Коноводов В.А.
 |-
-| align = "center"|6 апреля
+| rowspan="2" align="center" | 20 ноября
-| Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов»
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"|Егоров А.В.
 |-
-| align = "center" |13 апреля
+|  Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
-| Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС <sup>[[Media:13.04.2012.pdf|Аннотация доклада]]</sup>
+. http://www.iccad.com (конференция)
-| align = "center" |Кривошеин Д.Ю.
+. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
+| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
 |-
-| align = "center" |20 апреля
+| align = "center"| 27 ноября
-|  |О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)<sup>[[Media:30.03.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
-| align = "center"  |Блинов С.В.
+| Кухтинов А.С.
+|-
+| align = "center"| 4 декабря
+| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
+| Шуплецов М.С.
+|-
+| rowspan="2" align="center" | 11 декабря
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align = "center" |27 апреля
+| Доклад "Маршрут физического проектирования систем на кристалле"
-|  Доклад по [http://mi.mathnet.ru/dm1173 статье] Ю.В.Бородиной "Синтез легкотестируемых схем в базисе <math>\{\And,\vee,\neg\}</math> для систем булевых функций"
+| Евгений Зенин
-| align = "center"  |Морозов Е.В.
+|}
+== Весна 2015 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
 |-
-| rowspan = "2" align="center" |4 мая
+| align="center" | 20 февраля
-| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
+| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
-| align="center" |Коноводов В.А.
+| Смирнов А. А.
 |-
-| align="center"|Богомолова Е.М.
+| align="center" | 27 февраля
+| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
+| Сальников В. А.
 |-
-| rowspan = "2" align="center" |11 мая
+| align="center" | 13 марта
-| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
+| О динамической активности мультиплексорной функции
-| align="center" |Морозов Е.В.
+| Кулешов О. В.
 |-
-| align="center"|Цимбалов С.Е.
+| align="center" | 27 марта
+| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
+| Тамм Я.-М. Ю.
+|-
+| align="center" | 3 апреля
+| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
+| Павлов А. В.
+|-
+| align="center" | 10 апреля
+| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
+| Пузачев Д. С.
+|-
+| align="center" | 24 апреля
+| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
+|
 |}
-== Осень 2012 года ==
+== Осень 2014 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 72: / Строка 105: @@
 ! Докладчик
 |-
-| align = "center"|28 сентября
+| align="center" | 3 октября
-| Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." <sup>[[Media:29.09.2012.pdf|Выходные данные]]</sup>
+| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
-| align = "center"| Плоткина Ю.С.
+| Зиновьев В. С.
 |-
-| align = "center"|5 октября
+| align="center" | 10 октября
-| О сложности мультиплексорной функции в классе схем из функциональных элементов <sup>[[Media:5.10.2012.pdf|Аннотация доклада]]</sup>
+| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
-| align = "center"| Власов Н.В.
+| Зиновьев В. С.
 |-
-| align = "center"|12 октября
+| align="center" | 17 октября
-| Алгоритмы для нахождения автоморфизмов больших разреженных графов <sup>[[Media:12.10.2012.pdf|Аннотация доклада]]</sup>
+| Тесты для булевых функций относительно вытесняющих неисправностей
-| align = "center"| Марков И. Л. (Мичиганский университет, США)
+| Морозов Е. В.
 |-
-| align = "center"|19 октября
+| align="center" | 24 октября
-| Доклад по статье N. Blum «A boolean function requiring 3n network size» <sup>[http://scidok.sulb.uni-saarland.de/volltexte/2011/4065/pdf/fb14_1982_13ocr.pdf Статья]</sup>
+| Комбинаторика и сложность случайных булевых формул
-| align = "center"| Богомолова Е. М.
+| [[Участник:KonovodovV|Коноводов В. А. ]]
 |-
-| align = "center"|26 октября
+| align="center" | 31 октября
-| Активность схем из функциональных элементов <sup>[[Media:26.10.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
-| align = "center"| Доленко О. С.
+| Раннев Е. К.
 |-
-| align = "center"|2 ноября
+| align="center" | 7 ноября
-| Активность схем из функциональных элементов(окончание доклада)
+| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
-| align = "center"| Доленко О. С.
+| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 |-
-| align = "center"| 9 ноября
+| align="center" | 14 ноября
-| Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»<sup>[[Media:9.11.2012.pdf|Аннотация доклада]]</sup>
+| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
-| align = "center"|Морозов Е. В.
+| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
 |-
-| align = "center"| 16 ноября
+| align = "center"|21 ноября
-| Минимизация пересечений линий (веток метро) на картах  метро<sup>[[Media:16.11.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
-| align = "center"|Кунаков М. А.
+| align = "center"| Довгалюк Е. Л.
 |-
-| align = "center"| 23 ноября
+| align = "center"|28 ноября
-| Об одном методе получения более чем квадратичных эффективных нижних оценок сложности <math>\pi</math>-схем <sup>[[Media:23.11.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
-| align = "center"| Коноводов В. А.
+| align = "center"| Белышов М. В.
 |-
-| align = "center"| 30 ноября
+| align = "center"| 5 декабря
-| Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка <sup>[[Media:30.11.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье 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"| Кумар В.
 |-
-| align = "center"| 7 декабря
+| align = "center"| 12 декабря
-| Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов <sup>[http://www.ippm.ru/data/dissrt/Avtoreferat-Talalai.pdf Ссылка на автореферат диссертации]</sup>
+| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
-| align = "center"| Талалай М. С.
+| align = "center"| Кортунова Е. М.
 |-
-| align = "center"| 14 декабря
+| align="center" | 19 декабря
-| Инверсная сложность булевых функций<sup>[[Media:14.12.2012.pdf|Аннотация доклада]]</sup>
+|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
-| align = "center"| Морозов Е. В.
+| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 |}
-==Весна 2013 года==
+== Весна 2014 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 127: / Строка 161: @@
 ! Докладчик
 |-
-| align = "center"| 22 февраля
+| align="center" | 21 февраля
-| О сложности реализации булевых функций из некоторых классов, связанных с  конечными грамматиками, формулами глубины альтернирования 3 <sup>[[Media:22.02.2013.pdf|Аннотация доклада]]</sup>
+| Сверхполиномиальная нижняя оценка монотонной сложности функции клики <sup> [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]</sup>
-| align = "center"| Коноводов В.А.
+| Довгалюк Е. Л.
 |-
-| align = "center"| 1 марта
+| align="center" | 28 февраля
-|  О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе
+| Метод Нечипорука и примеры его применения <sup> [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]</sup>
-| align = "center"| Романов Д.С.
+| Кулешов О. В.
 |-
-| align = "center"| 15 марта
+| align="center" | 14 марта
-|  Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»
+| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
-| align = "center"| Доленко О.С.
+| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
 |-
-| align = "center"| 22 марта
+| align="center" | 21 марта
-| Доклад по [[Медиа:Dm601.pdf|статье]] Хахулина В.Г. «О проверяющих тестах для счетчика четности»
-| align = "center"| Жукова А.А.
 |-
-| align = "center"| 29 марта
+| align="center" | 28 марта
-| Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в P<sub>k</sub>»<sup>[[Media:29.03.2013.pdf|Аннотация доклада]]</sup>
+| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам <sup> [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]</sup>
-| align = "center"| Чеховская Е.Н.
+| Данилов Б. Р.
 |-
-| align = "center"| 5 апреля
+| align="center" | 4 апреля
-| Доклад по [http://mi.mathnet.ru/dm198	 статье] Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»
+| Некоторые обобщения теоремы Храпченко и примеры их применений <sup> [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]</sup>
-| align = "center"| Тренкунов А.В.
+| Раннев Е. К.
 |-
-| align = "center"| 12 апреля
+| align="center" | 11 апреля
-| Доклад по [http://mi.mathnet.ru/mz7425	 статье] Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»
+| Доклад по [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1672574&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D1672574 статье ] Kewal  K.  Saluja,  Sudhakar M. Reddy, "On minimally testable logic networks".
-| align = "center"| Морозов Е.В.
+| Кумар В.
 |-
-| align = "center"| 19 апреля
+| align="center" | 18 апреля
-|О тестах относительно примитивных сдвигов переменных в булевых функциях<sup>[[Media:19.04.2013.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
-| align = "center"| Антюфеев Г. В.
+| Доленко О. С.
 |-
-| align = "center"| 26 апреля
+| align="center" | 25 апреля
-| Доклад по [http://mi.mathnet.ru/dm1112 статье] Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»
+| Исследование влияния структурных параметров на результаты синтеза цифровых схем
-| align = "center"| Плоткина Ю. С.
+| Кортунова Е. Н.
 |-
-| align = "center"| 17 мая
+| align="center" | 16 мая
-| Доклады студентов 5 курса по дипломным работам.
+| Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"
-| align = "center"|
+| Чеховская Е. Н.
 |}
 == Осень 2013 года ==
@@ Строка 228: / Строка 259: @@
 |}
-== Весна 2014 года ==
+==Весна 2013 года==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 234: / Строка 265: @@
 ! Докладчик
 |-
-| align="center" | 21 февраля
+| align = "center"| 22 февраля
-| Сверхполиномиальная нижняя оценка монотонной сложности функции клики <sup> [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]</sup>
+| О сложности реализации булевых функций из некоторых классов, связанных с  конечными грамматиками, формулами глубины альтернирования 3 <sup>[[Media:22.02.2013.pdf|Аннотация доклада]]</sup>
-| Довгалюк Е. Л.
+| align = "center"| Коноводов В.А.
 |-
-| align="center" | 28 февраля
+| align = "center"| 1 марта
-| Метод Нечипорука и примеры его применения <sup> [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]</sup>
+|  О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе
-| Кулешов О. В.
+| align = "center"| Романов Д.С.
 |-
-| align="center" | 14 марта
+| align = "center"| 15 марта
-| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
+|  Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»
-| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
+| align = "center"| Доленко О.С.
 |-
-| align="center" | 21 марта
+| align = "center"| 22 марта
+| Доклад по [[Медиа:Dm601.pdf|статье]] Хахулина В.Г. «О проверяющих тестах для счетчика четности»
+| align = "center"| Жукова А.А.
 |-
-| align="center" | 28 марта
+| align = "center"| 29 марта
-| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам <sup> [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]</sup>
+| Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в P<sub>k</sub>»<sup>[[Media:29.03.2013.pdf|Аннотация доклада]]</sup>
-| Данилов Б. Р.
+| align = "center"| Чеховская Е.Н.
 |-
-| align="center" | 4 апреля
+| align = "center"| 5 апреля
-| Некоторые обобщения теоремы Храпченко и примеры их применений <sup> [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]</sup>
+| Доклад по [http://mi.mathnet.ru/dm198	 статье] Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»
-| Раннев Е. К.
+| align = "center"| Тренкунов А.В.
 |-
-| align="center" | 11 апреля
+| align = "center"| 12 апреля
-| Доклад по [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1672574&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D1672574 статье ] Kewal  K.  Saluja,  Sudhakar M. Reddy, "On minimally testable logic networks".
+| Доклад по [http://mi.mathnet.ru/mz7425	 статье] Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»
-| Кумар В.
+| align = "center"| Морозов Е.В.
 |-
-| align="center" | 18 апреля
+| align = "center"| 19 апреля
-| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
+|О тестах относительно примитивных сдвигов переменных в булевых функциях<sup>[[Media:19.04.2013.pdf|Аннотация доклада]]</sup>
-| Доленко О. С.
+| align = "center"| Антюфеев Г. В.
 |-
-| align="center" | 25 апреля
+| align = "center"| 26 апреля
-| Исследование влияния структурных параметров на результаты синтеза цифровых схем
+| Доклад по [http://mi.mathnet.ru/dm1112 статье] Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»
-| Кортунова Е. Н.
+| align = "center"| Плоткина Ю. С.
 |-
-| align="center" | 16 мая
+| align = "center"| 17 мая
-| Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"
+| Доклады студентов 5 курса по дипломным работам.
-| Чеховская Е. Н.
+| align = "center"|
 |}
-== Осень 2014 года ==
+== Осень 2012 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 281: / Строка 312: @@
 ! Докладчик
 |-
-| align="center" | 3 октября
+| align = "center"|28 сентября
-| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+| Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." <sup>[[Media:29.09.2012.pdf|Выходные данные]]</sup>
-| Зиновьев В. С.
+| align = "center"| Плоткина Ю.С.
 |-
-| align="center" | 10 октября
+| align = "center"|5 октября
-| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+| О сложности мультиплексорной функции в классе схем из функциональных элементов <sup>[[Media:5.10.2012.pdf|Аннотация доклада]]</sup>
-| Зиновьев В. С.
+| align = "center"| Власов Н.В.
 |-
-| align="center" | 17 октября
+| align = "center"|12 октября
-| Тесты для булевых функций относительно вытесняющих неисправностей
+| Алгоритмы для нахождения автоморфизмов больших разреженных графов <sup>[[Media:12.10.2012.pdf|Аннотация доклада]]</sup>
-| Морозов Е. В.
+| align = "center"| Марков И. Л. (Мичиганский университет, США)
 |-
-| align="center" | 24 октября
+| align = "center"|19 октября
-| Комбинаторика и сложность случайных булевых формул
+| Доклад по статье N. Blum «A boolean function requiring 3n network size» <sup>[http://scidok.sulb.uni-saarland.de/volltexte/2011/4065/pdf/fb14_1982_13ocr.pdf Статья]</sup>
-| [[Участник:KonovodovV|Коноводов В. А. ]]
+| align = "center"| Богомолова Е. М.
 |-
-| align="center" | 31 октября
+| align = "center"|26 октября
-| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
+| Активность схем из функциональных элементов <sup>[[Media:26.10.2012.pdf|Аннотация доклада]]</sup>
-| Раннев Е. К.
+| align = "center"| Доленко О. С.
 |-
-| align="center" | 7 ноября
+| align = "center"|2 ноября
-| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
+| Активность схем из функциональных элементов(окончание доклада)
-| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+| align = "center"| Доленко О. С.
 |-
-| align="center" | 14 ноября
+| align = "center"| 9 ноября
-| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
+| Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»<sup>[[Media:9.11.2012.pdf|Аннотация доклада]]</sup>
-| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
+| align = "center"|Морозов Е. В.
 |-
-| align = "center"|21 ноября
+| align = "center"| 16 ноября
-| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
+| Минимизация пересечений линий (веток метро) на картах  метро<sup>[[Media:16.11.2012.pdf|Аннотация доклада]]</sup>
-| align = "center"| Довгалюк Е. Л.
+| align = "center"|Кунаков М. А.
 |-
-| align = "center"|28 ноября
+| align = "center"| 23 ноября
-| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
+| Об одном методе получения более чем квадратичных эффективных нижних оценок сложности <math>\pi</math>-схем <sup>[[Media:23.11.2012.pdf|Аннотация доклада]]</sup>
-| align = "center"| Белышов М. В.
+| align = "center"| Коноводов В. А.
 |-
-| align = "center"| 5 декабря
+| align = "center"| 30 ноября
-| Доклад по статье 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>
+| Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка <sup>[[Media:30.11.2012.pdf|Аннотация доклада]]</sup>
-| align = "center"| Кумар В.
+| align = "center"| Кривошеин Д. Ю.
 |-
-| align = "center"| 12 декабря
+| align = "center"| 7 декабря
-| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
+| Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов <sup>[http://www.ippm.ru/data/dissrt/Avtoreferat-Talalai.pdf Ссылка на автореферат диссертации]</sup>
-| align = "center"| Кортунова Е. М.
+| align = "center"| Талалай М. С.
 |-
-| align="center" | 19 декабря
+| align = "center"| 14 декабря
-|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
+| Инверсная сложность булевых функций<sup>[[Media:14.12.2012.pdf|Аннотация доклада]]</sup>
-| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+| align = "center"| Морозов Е. В.
 |}
-== Осень 2015 года ==
+== Весна 2012 года ==
+{| align="center" width="100%"
+|
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
@@ Строка 339: / Строка 372: @@
 ! Докладчик
 |-
-| align="center" | 9 октября
+| align = "center"|24 февраля
-| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
+| Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» <sup>[[Media:24.02.2012.pdf|Аннотация доклада]]</sup>
-| Зиновьев В. С.
+| align = "center"| Богомолова Е. М.
 |-
-| align="center" | 16 октября
+| align = "center"|2 марта
-| Синтез и сложность дешифраторных схем контактного типа
+| Доклад по статье A. Genitrini, B. Gittenberger [http://www-apr.lip6.fr/~genitrini/publi/aofa10_genitrini.pdf «No Shannon effect on probability distributions on Boolean functions induced by random expressions»] <sup>[[Media:2.03.2012.pdf|Аннотация доклада]]</sup>
-| Добровецкий Д. И.
+| align = "center"| Яблонская А.Ю.
-|-
-| rowspan="2" align="center" | 23 октября
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| New bounds on Klarner's constant
+| align = "center"|11 марта
-| Gill Barequet, Dept. of Computer Science, Technion
+|Доклад по статье Шуткина Ю.С. [http://dvinemnauku.ru/upload/day_101214/201012142208188078.pdf «Синтез информационных графов для предполных классов булевых функций»] <sup>[[Media:11.03.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"|Валиев Т.Р.
 |-
-| align = "center"|30 октября
+| align = "center"|16 марта
-| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup>
+|О синтезе и сложности формул с ограниченной глубиной альтернирования <sup>[[Media:16.03.2012.pdf|Аннотация доклада]]</sup>
-| Довгалюк Е. Л.
+| align = "center"|Коноводов В.А.
 |-
-| align = "center"|6 ноября
+| align = "center"|23 марта
-| Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup>
+| Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»
-| Фивейский С.В.
+| align = "center"|Коразбаев К.Ж.
-|-
-| rowspan="2" align="center" | 13 ноября
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
+| align = "center"|30 марта
-| Мария Автайкина
+| О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью
+| align = "center"|Коноводов В.А.
 |-
-| rowspan="2" align="center" | 20 ноября
+| align = "center"|6 апреля
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+| Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов»
+| align = "center"|Егоров А.В.
 |-
-|  Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
+| align = "center" |13 апреля
-. http://www.iccad.com (конференция)
+| Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС <sup>[[Media:13.04.2012.pdf|Аннотация доклада]]</sup>
-. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+| align = "center" |Кривошеин Д.Ю.
-. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
-| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
 |-
-| align = "center"| 27 ноября
+| align = "center" |20 апреля
-| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
+|  |О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)<sup>[[Media:30.03.2012.pdf|Аннотация доклада]]</sup>
-| Кухтинов А.С.
+| align = "center"  |Блинов С.В.
-|-
-| align = "center"| 4 декабря
-| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
-| Шуплецов М.С.
-|-
-| rowspan="2" align="center" | 11 декабря
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| Доклад "Маршрут физического проектирования систем на кристалле"
+| align = "center" |27 апреля
-| Евгений Зенин
+|  Доклад по [http://mi.mathnet.ru/dm1173 статье] Ю.В.Бородиной "Синтез легкотестируемых схем в базисе <math>\{\And,\vee,\neg\}</math> для систем булевых функций"
-|}
+| align = "center"  |Морозов Е.В.
-== Весна 2015 года ==
-{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
-! Дата
-! Тема доклада
-! Докладчик
 |-
-| align="center" | 20 февраля
+| rowspan = "2" align="center" |4 мая
-| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
+| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
-| Смирнов А. А.
+| align="center" |Коноводов В.А.
 |-
-| align="center" | 27 февраля
+| align="center"|Богомолова Е.М.
-| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
-| Сальников В. А.
 |-
-| align="center" | 13 марта
+| rowspan = "2" align="center" |11 мая
-| О динамической активности мультиплексорной функции
+| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
-| Кулешов О. В.
+| align="center" |Морозов Е.В.
 |-
-| align="center" | 27 марта
+| align="center"|Цимбалов С.Е.
-| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
-| Тамм Я.-М. Ю.
-|-
-| align="center" | 3 апреля
-| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
-| Павлов А. В.
-|-
-| align="center" | 10 апреля
-| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
-| Пузачев Д. С.
-|-
-| align="center" | 24 апреля
-| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
-|
 |}