Математические вопросы проектирования СБИС (Архив)

Осень 2007 года

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

Весна 2008 года

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

Осень 2008 года

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

Осень 2009 года

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

Весна 2010 года

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

Осень 2010 года

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

Весна 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 мая	Доклады по магистерским диссертациям	Дмитрий Кривошеин
		Григорий Антюфеев

Осень 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 декабря	Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» Данные о статье	Богомолова Е. М.

Весна 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 курса по дипломным работам Коноводов В.А. Богомолова Е.М. 11 мая Доклады студентов 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 декабря Инверсная сложность булевых функцийАннотация доклада Морозов Е. В. Весна 2013 года Дата Тема доклада Докладчик 22 февраля О сложности реализации булевых функций из некоторых классов, связанных с конечными грамматиками, формулами глубины альтернирования 3 Аннотация доклада Коноводов В.А. 1 марта О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе Романов Д.С. 15 марта Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану» Доленко О.С. 22 марта Доклад по статье Хахулина В.Г. «О проверяющих тестах для счетчика четности» Жукова А.А. 29 марта Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в Pk»Аннотация доклада Чеховская Е.Н. 5 апреля Доклад по статье Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию» Тренкунов А.В. 12 апреля Доклад по статье Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов» Морозов Е.В. 19 апреля О тестах относительно примитивных сдвигов переменных в булевых функцияхАннотация доклада Антюфеев Г. В. 26 апреля Доклад по статье Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов» Плоткина Ю. С. 17 мая Доклады студентов 5 курса по дипломным работам. Осень 2013 года Дата Тема доклада Докладчик 20 сентября О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах Аннотация доклада Белышов М. В. 27 сентября О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции Аннотация доклада Довгалюк Е. Л. 4 октября Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности Аннотация доклада Белышов М. В. 11 октября О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными Аннотация доклада Коноводов В. А. 18 октября Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем Аннотация доклада Кортунова Е. М. 25 октября Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" Аннотация доклада Жукова А. А. 1 ноября Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами" Кулешов О. В. 8 ноября О тестах относительно множественных линейных слипаний переменных в булевых функцияхАннотация доклада Морозов Е. В. 15 ноября Доклад по статье Мадатяна Х. А. "Синтез контактных схем ограниченной ширины" Тренкунов А. В. 22 ноября Доклад по статье Коршунова А. Д. "Об асимптотических оценках сложности контактных схем заданной степени"Аннотация доклада Чеховская Е. Н. 29 ноября Доклад по статье Кузьмина В. А. "Реализация функций алгебры логики автоматами, нормальными алгорифмами и машинами Тьюринга"Аннотация доклада Кумар В. 6 декабря Автоматная сложность булевых функций из классов Поста Кибкало М. А. 13 декабря Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул» Доленко О. С. Руководители Ложкин Сергей Андреевич Марченко Александр Михайлович