Математические вопросы проектирования СБИС (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) |
м |
||
Строка 1: | Строка 1: | ||
+ | == Весна 2018 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 06 апреля | ||
+ | |- | ||
+ | | Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов» | ||
+ | | align="center" | Высоцкий Л. И., Жуков В. В. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 23 марта | ||
+ | |- | ||
+ | | Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627). | ||
+ | | align="center" | Курбацкая В.К. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 16 марта | ||
+ | |- | ||
+ | | Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с. | ||
+ | | align="center" | Мальцев А.Н. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 2 марта | ||
+ | |- | ||
+ | | Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем". | ||
+ | | align="center" | Хзмолян Д.Э. | ||
+ | |} | ||
+ | |||
== Осень 2017 года == | == Осень 2017 года == | ||
Версия 00:19, 20 сентября 2018
Содержание
- 1 Весна 2018 года
- 2 Осень 2017 года
- 3 Весна 2017 года
- 4 Осень 2016 года
- 5 Весна 2016 года
- 6 Осень 2015 года
- 7 Весна 2015 года
- 8 Осень 2014 года
- 9 Весна 2014 года
- 10 Осень 2013 года
- 11 Весна 2013 года
- 12 Осень 2012 года
- 13 Весна 2012 года
- 14 Осень 2011 года
- 15 Весна 2011 года
- 16 Осень 2010 года
- 17 Весна 2010 года
- 18 Осень 2009 года
- 19 Осень 2008 года
- 20 Весна 2008 года
- 21 Осень 2007 года
- 22 Руководители
Весна 2018 года
Дата | Тема доклада | Докладчик |
---|---|---|
06 апреля | ||
Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов» | Высоцкий Л. И., Жуков В. В. | |
23 марта | ||
Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627). | Курбацкая В.К. | |
16 марта | ||
Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с. | Мальцев А.Н. | |
2 марта | ||
Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем". | Хзмолян Д.Э. |
Осень 2017 года
Дата | Тема доклада | Докладчик |
---|---|---|
22 сентября | ||
Доклад «Cинтез рекурсивных схем из функциональных элементов» | Жуков В.В. | |
29 сентября | ||
Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.» | Курбацкая В.К. | |
6 октября | ||
Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев» | Высоцкий Л.И. | |
20 октября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
О динамической активности схем из функциональных элементов. | Шуплецов М.С. | |
27 октября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада | Автайкина Мария | |
3 ноября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада | В. К. Курбацкая | |
11 ноября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад "О глубине ступенчатых функций". | Д. С. Кинжикеева | |
17 ноября | ||
Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» | Павлова А.Ф. | |
24 ноября | ||
Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» | Крюков Павел |
Весна 2017 года
Дата | Тема доклада | Докладчик |
---|---|---|
21 апреля | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С. | ||
14 апреля | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем» | Зиновьев В.С. | |
7 апреля | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» | Жуков В.В. | |
17 марта | Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада | Трубицын Ю.А. |
17 февраля | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул» | Кинжикеева Д. | |
3 марта | Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»Аннотация доклада | Высоцкий Л.И. |
31 марта | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»Аннотация доклада | Смирнов М.Е. |
Осень 2016 года
Дата | Тема доклада | Докладчик |
---|---|---|
23 сентября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" Аннотация доклада | Жуков В.В. | |
30 сентября | Нижняя оценка мощности плоских схем, реализующих булевы операторы Аннотация доклада | Калачев Г.В. |
7 октября | Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" Аннотация доклада | Чемоданова О.М. |
14 октября | Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" Аннотация доклада | Любич И.Г. |
21 октября | Доклад "Синтез обратимых схем без дополнительной памяти" Аннотация доклада | Закаблуков Д.В. |
28 октября | Доклад "О глубине мультиплексорной функции" Аннотация доклада | Титов В.А. |
11 ноября | Окончание доклада "О глубине мультиплексорной функции" Аннотация доклада | Титов В.А. |
18 ноября | Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" Аннотация доклада | Довгалюк Е.Л. |
25 ноября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" Аннотация доклада | Тамм Я.-М.Ю. | |
2 декабря | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада | Уваров И.В. | |
9 декабря | Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов". Аннотация доклада | Шишков И.С. |
Весна 2016 года
Дата | Тема доклада | Докладчик |
---|---|---|
19 февраля | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада | Зиновьев В.С. | |
26 февраля | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада | Смирной Максим | |
4 марта | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". Аннотация доклада | Вяткин Евгений | |
11 марта | Синтез контактных схем ограниченной ширины. Аннотация доклада | Бежовец А.В. |
18 марта | Об асимптотических оценках сложности константных схем заданной степени. Аннотация доклада | Павлов А.В. |
25 марта | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад «Cadence design systems: основные тренды в индустрии». Аннотация доклада | Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов | |
1 апреля | Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов" | Курбацкая В.К. |
8 апреля | Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". Аннотация доклада | Кухтинов А.С. |
15 апреля | Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами». | Высоцкий Л.И. |
22 апреля | Совместно с семинаром Некоторые вопросы теории управляющих систем (Ауд. 526б) | |
Автоматизация проектирования электронных устройств Аннотация доклада | Семинар компании Cadence design systems. | |
29 апреля | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits». | Калинина А.Н. | |
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 октября | Синтез и сложность дешифраторных схем контактного типа | Добровецкий Д. И. |
23 октября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
New bounds on Klarner's constant | Gill Barequet, Dept. of Computer Science, Technion | |
30 октября | О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. Аннотация доклада | Довгалюк Е. Л. |
6 ноября | Об одной модели рекурсивных схем из функциональных элементов. Аннотация доклада | Фивейский С.В. |
13 ноября | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution". | Мария Автайкина | |
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 декабря | Совместно с семинаром Некоторые вопросы теории управляющих систем | |
Доклад "Маршрут физического проектирования систем на кристалле" | Евгений Зенин |
Весна 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 марта | Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в Pk»Аннотация доклада | Чеховская Е.Н. |
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 ноября | Об одном методе получения более чем квадратичных эффективных нижних оценок сложности -схем Аннотация доклада | Коноводов В. А. |
30 ноября | Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка Аннотация доклада | Кривошеин Д. Ю. |
7 декабря | Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов Ссылка на автореферат диссертации | Талалай М. С. |
14 декабря | Инверсная сложность булевых функцийАннотация доклада | Морозов Е. В. |
Весна 2012 года
Осень 2011 года
Весна 2011 года
Осень 2010 года
Весна 2010 года
Осень 2009 года
Осень 2008 года
Весна 2008 года
Осень 2007 года
Руководители
|