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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Видимые границы таблиц)
Строка 552: Строка 552:
 
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
 
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
 
| align = "center"| Доленко О. С.
 
| align = "center"| Доленко О. С.
 +
|}
 +
 +
== Весна 2014 года ==
 +
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 +
! Дата
 +
! Тема доклада
 +
! Докладчик
 +
|-
 +
| align="center" | 21 февраля
 +
| Сверхполиномиальная нижняя оценка монотонной сложности функции клики <sup> [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]</sup>
 +
| Довгалюк Е. Л.
 +
|-
 +
| align="center" | 28 февраля
 +
| Метод Нечипорука и примеры его применения <sup> [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]</sup>
 +
| Кулешов О. В.
 +
|-
 +
| align="center" | 14 марта
 +
| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
 +
| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
 +
|-
 +
| align="center" | 21 марта
 +
|-
 +
| align="center" | 28 марта
 +
| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам <sup> [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]</sup>
 +
| Данилов Б. Р.
 +
|-
 +
| align="center" | 4 апреля
 +
| Некоторые обобщения теоремы Храпченко и примеры их применений <sup> [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]</sup>
 +
| Раннев Е. К.
 +
|-
 +
| align="center" | 11 апреля
 +
| Доклад по [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" | 18 апреля
 +
| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
 +
| Доленко О. С.
 +
|-
 +
| align="center" | 25 апреля
 +
| Исследование влияния структурных параметров на результаты синтеза цифровых схем
 +
| Кортунова Е. Н.
 +
|-
 +
| align="center" | 16 мая
 +
| Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"
 +
| Чеховская Е. Н.
 
|}
 
|}
  

Версия 22:42, 30 сентября 2014

Осень 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 декабря Некоторые свойства невырожденных суперпозиций в PkАннотация доклада Садовников О.А.
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 декабря Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул» Доленко О. С.

Весна 2014 года

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

Руководители
Источник — «https://mk.cs.msu.ru/index.php?title=Математические_вопросы_проектирования_СБИС_(Архив)&oldid=1258»