Математические вопросы проектирования СБИС (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) |
DanilovB (обсуждение | вклад) |
||
(не показаны 17 промежуточные версии 3 участников) | |||
Строка 1: | Строка 1: | ||
+ | {| width="98%" | ||
+ | | align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]] | ||
+ | |} | ||
+ | [[Категория:Спецсеминары кафедры математической кибернетики]] | ||
− | == Весна | + | == Весна 2024 года == |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
Строка 12: | Строка 12: | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 22 февраля |
− | | Доклад по статье | + | | Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Шухман Алексей |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 29 февраля |
− | | Доклад по | + | | Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Федоренко Илья |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 7, 14 марта |
− | |Доклад по статье | + | | Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Михалев Евгений |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 21 марта |
− | | | + | | Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Кленин Максим |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 28 марта |
− | | Доклад по | + | | Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Фаизов Алексей |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 5 апреля |
− | | | + | | Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Сергеев Максим |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 11 апреля |
− | | Доклад | + | | Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | С.А.Ложкин и М.С.Шуплецов |
|- | |- | ||
− | | align = "center" | | + | | align="center" | 18 апреля |
− | | | + | | Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup> |
− | | align = "center" | | + | | align="center" | Башмаков Михаил |
|- | |- | ||
− | | | + | |} |
− | | | + | |
− | + | ||
+ | |||
+ | == Осень 2023 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
|- | |- | ||
− | | align = "center" | | + | | align="center" | 4 октября |
− | | | + | | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup> |
− | | align = "center" | + | | align="center" | Соколов Михаил |
|- | |- | ||
− | | | + | | align="center" | 11 октября |
− | | | + | | Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup> |
− | | align="center" | | + | | align="center" | Гребенкин Сергей |
|- | |- | ||
− | | align="center"| | + | | align="center" | 18 октября |
+ | | Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Кленин Максим | ||
|- | |- | ||
− | | | + | | align="center" | 25 октября |
− | | | + | | Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup> |
− | | align="center" | | + | | align="center" | Михалев Евгений |
+ | |- | ||
+ | | align="center" | 1 ноября | ||
+ | | align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]] | ||
|- | |- | ||
− | | align="center"| | + | | align="center" | 8 ноября |
+ | | Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Дарья Есипова | ||
+ | |- | ||
+ | | align="center" | 22 ноября | ||
+ | | Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Столетний Александр | ||
+ | |- | ||
+ | | align="center" | 29 ноября | ||
+ | | Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Соколов Михаил | ||
+ | |- | ||
+ | | align="center" | 6 декабря | ||
+ | | Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»<sup>[[Media:Specsem20231206.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Фаизов Алексей | ||
+ | |- | ||
+ | | align="center" | 13 декабря | ||
+ | | Доклад по теме «Поиск функциональных соответствий для схем из функциональных элементов при наличии не всюду определенных наборов»<sup>[[Media:Specsem20231213.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Фурса Даниил | ||
|} | |} | ||
− | == | + | == Весна 2023 года == |
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
Строка 72: | Строка 101: | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 10 октября |
− | | Доклад по статье | + | | Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Козин Георгий |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 17 октября |
− | | | + | | Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Исаков Ильяс |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 24 октября |
− | | | + | | Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Местецкий Михаил |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 7 ноября |
− | | Доклад по | + | | Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Фесенко Анастасия |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 14 ноября |
− | | | + | | Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем» |
− | | align = "center"| | + | | align="center" | Фесенко Анастасия |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 21 ноября |
− | | | + | | Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Романов Дмитрий |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 28 ноября |
− | | Доклад по | + | | Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Синенкова Анна |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 5 декабря |
− | | | + | | Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Романов Дмитрий |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 12 декабря |
− | | | + | | Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»<sup>[[Media:Specsem221211.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Гребенкин Сергей |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 7 марта |
− | | | + | | Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»<sup>[[Media:Specsem230307.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Михалев Евгений |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 14 марта |
− | | | + | | Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»<sup>[[Media:Specsem230314.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Кленин Максим |
+ | |- | ||
+ | | align="center" | 21 марта | ||
+ | | Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Есипова Дарья | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 28 марта |
− | | | + | | Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»<sup>[[Media:Specem28032023.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Соколов Михаил |
+ | |- | ||
+ | | align="center" | 4 апреля | ||
+ | | Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»<sup>[[Media:Specsem20230404.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Козин Георгий | ||
|} | |} | ||
− | + | == Весна 2022 года == | |
− | ==Весна | + | |
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
Строка 127: | Строка 163: | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 26 февраля |
− | | | + | | Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Сагандыков Жандос |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 5 марта |
− | | | + | | Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»<sup>[[Media:Specem_210305.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Купраш Екатерина |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 12 марта |
− | | | + | | Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.<sup>[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]], [[Media:Specem_210312.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Мальцев Александр |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 19 марта |
− | | Доклад по [[ | + | | Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Хомич Павел |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 26 марта |
− | | Доклад по статье | + | | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Белашкин И.А. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 2 апреля |
− | | | + | | Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Белашкин И.А. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 9 апреля |
− | | Доклад по [ | + | | Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Зинкин Егор |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 1 октября |
− | | | + | | Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Михаил Лопунов |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 15 октября |
− | | Доклад по [ | + | | Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Зизов Вадим |
+ | |- | ||
+ | | align="center" | 22 октября | ||
+ | | Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Купраш Екатерина | ||
+ | |- | ||
+ | | align="center" | 19 ноября | ||
+ | | Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Любич И.Г | ||
+ | |- | ||
+ | | align="center" | 26 ноября | ||
+ | | Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Антюфеев Г.В. | ||
+ | |- | ||
+ | | align="center" | 10 декабря | ||
+ | | Доклад по статье «Коммуникационная сложность универсального отношения»<sup>[[Media:Specem_211210.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Белашкин И.А. | ||
|- | |- | ||
− | | align = "center"| 17 | + | | align="center" | 17 декабря |
− | | | + | | Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»<sup>[[Media:Specem_211217.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Местецкий Михаил |
+ | |- | ||
+ | | align="center" | 4 марта | ||
+ | | Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»<sup>[[Media:Specem_220304.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Демиденко Александр | ||
+ | |- | ||
+ | | align="center" | 18 марта | ||
+ | | Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»<sup>[[Media:Specem_220318.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Ступин Роман | ||
+ | |- | ||
+ | | align="center" | 25 марта | ||
+ | | Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»<sup>[[Media:Specem_220325.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Исаков Ильяс | ||
+ | |- | ||
+ | | align="center" | 1 апреля | ||
+ | | Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»<sup>[[Media:Specem_220401.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Синенкова Анна | ||
+ | |- | ||
+ | | align="center" | 8 апреля | ||
+ | | Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»<sup>[[Media:Specem_220408.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Тамерлан Еркибаев | ||
+ | |- | ||
+ | | align="center" | 15 апреля | ||
+ | | Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»<sup>[[Media:Specem_220415.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Фесенко Анастасия | ||
|} | |} | ||
− | == Осень | + | == Осень 2021 года == |
− | + | ||
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
Строка 175: | Строка 250: | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 9 октября |
− | | | + | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Лопунов М.А. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 16 октября |
− | | О | + | | Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Зизов В.С. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 30 октября |
− | | | + | | Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Хзмалян Д.Э. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 13 ноября |
− | | | + | | Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| Коноводов В. А. | + | | align="center" | Коноводов В.А. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 20 ноября |
− | | | + | | Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Мальцев А.Н. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 27 ноября |
− | | Доклад | + | | Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН) |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 4 декабря |
− | | Доклад | + | | Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | М.С.Шуплецов, В.В.Жуков |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 11 декабря |
− | | | + | | Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Н.В.Пименов |
+ | |} | ||
+ | |||
+ | == Весна 2021 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 9 октября |
− | | Доклад по статье | + | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Лопунов М.А. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 16 октября |
− | | Доклад по статье | + | | Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Зизов В.С. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 30 октября |
− | | Доклад по статье | + | | Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Хзмалян Д.Э. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 13 ноября |
− | | | + | | Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Коноводов В.А. |
+ | |- | ||
+ | | align="center" | 20 ноября | ||
+ | | Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Мальцев А.Н. | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 27 ноября |
− | | Доклад | + | | Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН) |
+ | |- | ||
+ | | align="center" | 4 декабря | ||
+ | | Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | М.С.Шуплецов, В.В.Жуков | ||
+ | |- | ||
+ | | align="center" | 11 декабря | ||
+ | | Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Н.В.Пименов | ||
|} | |} | ||
− | == | + | |
+ | == Осень 2020 года == | ||
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 27 сентября | ||
+ | | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specsem_190927.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Хзмалян Д.Э. | ||
+ | |- | ||
+ | | align="center" | 11 октября | ||
+ | | Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Лопунов М.А. | ||
+ | |- | ||
+ | | align="center" | 18 октября | ||
+ | | Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Зизов В. | ||
+ | |- | ||
+ | | align="center" | 25 октября | ||
+ | | Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»<sup>[[Media:Specsem_191025.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Ибрагимов Б.М. | ||
+ | |- | ||
+ | | align="center" | 8 ноября | ||
+ | | rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»<sup>[[Media:Specsem_191108.pdf|Аннотация доклада]]</sup> | ||
+ | | rowspan="2" align="center" | проф. Ложкин С.А. | ||
+ | |- | ||
+ | | align="center" | 15 ноября | ||
+ | |- | ||
+ | | align="center" | 22 ноября | ||
+ | | Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)<sup>[[Media:Specsem_221119.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Купраш Е. | ||
+ | |- | ||
+ | | align="center" | 13 декабря | ||
+ | | Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»<sup>[[Media:Specsem_191213.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | доцент кафедры МАТИС | ||
+ | механико-математического факультета Часовских А.А. | ||
|- | |- | ||
| align="center" | 21 февраля | | align="center" | 21 февраля | ||
− | | | + | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_200221.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Мальцев А.Н. |
|- | |- | ||
| align="center" | 28 февраля | | align="center" | 28 февраля | ||
− | | | + | | Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:Specsem_200228.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Пименов Н.В. |
+ | |} | ||
+ | |||
+ | == Весна 2019 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
|- | |- | ||
− | | align="center" | | + | | align="center" | 22 февраля |
− | | | + | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Купраш Е.Д. |
|- | |- | ||
− | | align="center" | | + | | align="center" | 1 марта |
+ | | Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Жуков В.В. | ||
|- | |- | ||
− | | align="center" | | + | | align="center" | 15 марта |
− | | | + | | Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Лопунов М.А. |
|- | |- | ||
− | | align="center" | | + | | align="center" | 22 марта |
− | | | + | | rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" rowspan="2" | Пименов Н.В. |
|- | |- | ||
− | | align="center" | | + | | align="center" | 29 марта |
− | + | ||
− | + | ||
|- | |- | ||
− | | align="center" | | + | | align="center" | 5 апреля |
− | | Доклад по статье | + | | Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Омарова М.М. |
|- | |- | ||
− | | align="center" | | + | | align="center" | 12 апреля |
− | | | + | | Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Хзмалян Д.Э. |
|- | |- | ||
− | | align="center" | | + | | align="center" | 19 апреля |
− | | | + | | Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями |
− | | | + | | align="center" | |
+ | |- | ||
+ | | align="center" | 17 мая | ||
+ | | Выступления студентов 3 и 5 курсов с курсовыми работами | ||
+ | | align="center" | | ||
|} | |} | ||
− | == Осень | + | == Осень 2018 года == |
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 21 сентября | ||
+ | | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]] | ||
+ | | align="center" | Хзмалян Д.Э. | ||
+ | |- | ||
+ | | align="center" | 28 сентября | ||
+ | | Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]] | ||
+ | | align="center" | Мальцев А.Н. | ||
+ | |- | ||
+ | | align="center" | 5 октября | ||
+ | | Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]] | ||
+ | | align="center" | Титов В.А. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 12 октября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]] | ||
+ | |- | ||
+ | | «Нижняя оценка энергопотребления для одного класса объёмных схем» | ||
+ | | align="center" | Ефимов Алексей Андреевич | ||
+ | |- | ||
+ | | align="center" | 19 октября | ||
+ | | Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]] | ||
+ | | align="center" | Кинжикеева Д.С. | ||
+ | |- | ||
+ | | align="center" | 26 октября | ||
+ | | rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»<sup>[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]] | ||
+ | | align="center" rowspan="2" | Красильникова А.А. | ||
+ | |- | ||
+ | | align="center" | 2 ноября | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 9 ноября | ||
+ | |- | ||
+ | | Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf) | ||
+ | | align="center" | Александрова Н.Е. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 16 ноября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]] | ||
+ | |- | ||
+ | | Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»<sup>[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]] | ||
+ | | align="center" | Высоцкий Л.И. | ||
+ | |- | ||
+ | | align="center" | 23 ноября | ||
+ | | Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»<sup>[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]] | ||
+ | | align="center" | Панчул Юрий Владимирович | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 7 декабря | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]] | ||
+ | |- | ||
+ | | Доклад по теме «О сложности многослойных клеточных схем»<sup>[[Media:Specsem_7dec.doc|Аннотация доклада]] | ||
+ | | align="center" | Калачев Г.В., Сытдыков Т.Р. | ||
+ | |- | ||
+ | |} | ||
+ | |||
+ | == Весна 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 года == | ||
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
Строка 280: | Строка 504: | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
+ | |||
|- | |- | ||
− | | align="center" | | + | | rowspan="2" align="center" | 22 сентября |
− | + | ||
− | + | ||
|- | |- | ||
− | | align="center" | | + | | Доклад «Cинтез рекурсивных схем из функциональных элементов» |
− | + | | align="center" | Жуков В.В. | |
− | + | ||
|- | |- | ||
− | | align="center" | | + | | rowspan="2" align="center" | 29 сентября |
− | + | ||
− | + | ||
|- | |- | ||
− | | align="center" | | + | | Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.» |
− | + | | align="center" | Курбацкая В.К. | |
− | + | ||
|- | |- | ||
− | | align="center" | | + | | rowspan="2" align="center" | 6 октября |
− | + | ||
− | + | ||
|- | |- | ||
− | + | | Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев» | |
− | | Доклад по | + | | align="center" | Высоцкий Л.И. |
− | | | + | |
|- | |- | ||
− | | align="center" | | + | | rowspan="2" align="center" | 20 октября |
− | | | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] |
− | | [[ | + | |
|- | |- | ||
− | | | + | | О динамической активности схем из функциональных элементов. |
− | + | | align="center" | Шуплецов М.С. | |
− | | align = "center"| | + | |
|- | |- | ||
− | | align = "center"| | + | |
− | + | | rowspan="2" align="center" | 27 октября | |
− | | align = "center"| | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] |
|- | |- | ||
− | + | | Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]] | |
− | | Доклад по статье | + | | align="center" | Автайкина Мария |
− | | align = "center"| | + | |
|- | |- | ||
− | | align = "center"| | + | | rowspan="2" align="center" | 3 ноября |
− | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | |
− | | align = "center"| | + | |
|- | |- | ||
− | | align="center" | | + | | Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]] |
− | | | + | | align="center" | В. К. Курбацкая |
− | | | + | |- |
+ | | rowspan="2" align="center" | 11 ноября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад "О глубине ступенчатых функций". | ||
+ | | align="center" | Д. С. Кинжикеева | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 17 ноября | ||
+ | |- | ||
+ | | Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» | ||
+ | | align="center" | Павлова А.Ф. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 24 ноября | ||
+ | |- | ||
+ | | Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» | ||
+ | | align="center" | Крюков Павел | ||
|} | |} | ||
+ | == Весна 2017 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 21 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С. | ||
+ | | align="center" | | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 14 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем» | ||
+ | | align="center" | Зиновьев В.С. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 7 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» | ||
+ | | align="center" | Жуков В.В. | ||
+ | |- | ||
+ | | align="center" | 17 марта | ||
+ | | Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Трубицын Ю.А. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 17 февраля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул» | ||
+ | | align="center" | Кинжикеева Д. | ||
+ | |- | ||
+ | | align="center" | 3 марта | ||
+ | | Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Высоцкий Л.И. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 31 марта | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»<sup>[[Media:mmvlsi-pcst-annot-170331.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Смирнов М.Е. | ||
+ | |- | ||
+ | |} | ||
+ | == Осень 2016 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 23 сентября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup> | ||
+ | | Жуков В.В. | ||
+ | |- | ||
+ | | align="center" | 30 сентября | ||
+ | | Нижняя оценка мощности плоских схем, реализующих булевы операторы <sup>[[Media:kalavac.docx|Аннотация доклада]]</sup> | ||
+ | | Калачев Г.В. | ||
+ | |- | ||
+ | | align="center" | 7 октября | ||
+ | | Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" <sup>[[Media:chemodan.pdf|Аннотация доклада]]</sup> | ||
+ | | Чемоданова О.М. | ||
+ | |- | ||
+ | | align="center" | 14 октября | ||
+ | | Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" <sup>[[Media:popkov.docx|Аннотация доклада]]</sup> | ||
+ | | Любич И.Г. | ||
+ | |- | ||
+ | | align="center" | 21 октября | ||
+ | | Доклад "Синтез обратимых схем без дополнительной памяти" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup> | ||
+ | | Закаблуков Д.В. | ||
+ | |- | ||
+ | | align="center" | 28 октября | ||
+ | | Доклад "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup> | ||
+ | | Титов В.А. | ||
+ | |- | ||
+ | | align="center" | 11 ноября | ||
+ | | Окончание доклада "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup> | ||
+ | | Титов В.А. | ||
+ | |- | ||
+ | | align="center" | 18 ноября | ||
+ | | Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup> | ||
+ | | Довгалюк Е.Л. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 25 ноября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:%D0%9A_%D0%90_%D0%9F%D0%BE%D0%BF%D0%BA%D0%BE%D0%B2_%D0%9A%D0%A1-%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA.doc|Аннотация доклада]]</sup> | ||
+ | | Тамм Я.-М.Ю. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 2 декабря | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup> | ||
+ | | Уваров И.В. | ||
+ | |- | ||
+ | | align="center" | 9 декабря | ||
+ | | Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов". <sup>[[Media:Romanovs_Abstract.doc|Аннотация доклада]]</sup> | ||
+ | | Шишков И.С. | ||
+ | |} | ||
+ | |||
+ | == Весна 2016 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 19 февраля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup> | ||
+ | | Зиновьев В.С. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 26 февраля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup> | ||
+ | | Смирной Максим | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 4 марта | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup> | ||
+ | | Вяткин Евгений | ||
+ | |- | ||
+ | | align="center" | 11 марта | ||
+ | | Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup> | ||
+ | | Бежовец А.В. | ||
+ | |- | ||
+ | | align="center" | 18 марта | ||
+ | | Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup> | ||
+ | | Павлов А.В. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 25 марта | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup> | ||
+ | | Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов | ||
+ | |- | ||
+ | | align="center" | 1 апреля | ||
+ | | Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов" | ||
+ | | Курбацкая В.К. | ||
+ | |- | ||
+ | | align = "center"| 8 апреля | ||
+ | | Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup> | ||
+ | | Кухтинов А.С. | ||
+ | |- | ||
+ | | align = "center"| 15 апреля | ||
+ | | Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами». | ||
+ | | Высоцкий Л.И. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 22 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] (Ауд. 526б) | ||
+ | |- | ||
+ | | Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup> | ||
+ | | Семинар компании Cadence design systems. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 29 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits». | ||
+ | | Калинина А.Н. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 6 мая | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults". | ||
+ | | Шишков Илья Сергеевич | ||
+ | |- | ||
+ | |} | ||
== Осень 2015 года == | == Осень 2015 года == | ||
Строка 423: | Строка 826: | ||
| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ | | Представление студентами 4 и 5 курсов своих выпускных квалификационных работ | ||
| | | | ||
+ | |} | ||
+ | |||
+ | |||
+ | |||
+ | == Осень 2014 года == | ||
+ | |||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 3 октября | ||
+ | | Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" | ||
+ | | Зиновьев В. С. | ||
+ | |- | ||
+ | | align="center" | 10 октября | ||
+ | | Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" | ||
+ | | Зиновьев В. С. | ||
+ | |- | ||
+ | | align="center" | 17 октября | ||
+ | | Тесты для булевых функций относительно вытесняющих неисправностей | ||
+ | | Морозов Е. В. | ||
+ | |- | ||
+ | | align="center" | 24 октября | ||
+ | | Комбинаторика и сложность случайных булевых формул | ||
+ | | [[Участник:KonovodovV|Коноводов В. А. ]] | ||
+ | |- | ||
+ | | align="center" | 31 октября | ||
+ | | Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup> | ||
+ | | Раннев Е. К. | ||
+ | |- | ||
+ | | align="center" | 7 ноября | ||
+ | | Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание) | ||
+ | | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] | ||
+ | |- | ||
+ | | align="center" | 14 ноября | ||
+ | | О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup> | ||
+ | | [[Романов Дмитрий Сергеевич | Романов Д. С.]] | ||
+ | |- | ||
+ | | align = "center"|21 ноября | ||
+ | | Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup> | ||
+ | | align = "center"| Довгалюк Е. Л. | ||
+ | |- | ||
+ | | align = "center"|28 ноября | ||
+ | | Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» | ||
+ | | align = "center"| Белышов М. В. | ||
+ | |- | ||
+ | | align = "center"| 5 декабря | ||
+ | | Доклад по статье 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"| 12 декабря | ||
+ | | Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа | ||
+ | | align = "center"| Кортунова Е. М. | ||
+ | |- | ||
+ | | align="center" | 19 декабря | ||
+ | | Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» . | ||
+ | | [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] | ||
+ | |} | ||
+ | |||
+ | |||
+ | == Весна 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 мая | ||
+ | | Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций" | ||
+ | | Чеховская Е. Н. | ||
+ | |} | ||
+ | == Осень 2013 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align = "center"| 20 сентября | ||
+ | | О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах <sup>[[Media:20.09.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Белышов М. В. | ||
+ | |- | ||
+ | | align = "center"| 27 сентября | ||
+ | | О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции <sup>[[Media:27.09.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Довгалюк Е. Л. | ||
+ | |- | ||
+ | | align = "center"| 4 октября | ||
+ | | Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности <sup>[[Media:04.10.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Белышов М. В. | ||
+ | |- | ||
+ | | align = "center"| 11 октября | ||
+ | | О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными <sup>[[Media:11.10.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Коноводов В. А. | ||
+ | |- | ||
+ | | align = "center"| 18 октября | ||
+ | | Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем <sup>[[Media:18.10.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Кортунова Е. М. | ||
+ | |- | ||
+ | | align = "center"| 25 октября | ||
+ | | Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" <sup>[[Media:25.10.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Жукова А. А. | ||
+ | |- | ||
+ | | align = "center"| 1 ноября | ||
+ | | Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами" | ||
+ | | align = "center"| Кулешов О. В. | ||
+ | |- | ||
+ | | align = "center"| 8 ноября | ||
+ | | О тестах относительно множественных линейных слипаний переменных в булевых функциях<sup>[[Media:08.11.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Морозов Е. В. | ||
+ | |- | ||
+ | | align = "center"| 15 ноября | ||
+ | | Доклад по статье Мадатяна Х. А. "Синтез контактных схем ограниченной ширины" | ||
+ | | align = "center"| Тренкунов А. В. | ||
+ | |- | ||
+ | | align = "center"| 22 ноября | ||
+ | | Доклад по статье Коршунова А. Д. "Об асимптотических оценках сложности контактных схем заданной степени"<sup>[[Media:22.11.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Чеховская Е. Н. | ||
+ | |- | ||
+ | | align = "center"| 29 ноября | ||
+ | | Доклад по статье Кузьмина В. А. "Реализация функций алгебры логики автоматами, нормальными алгорифмами и машинами Тьюринга"<sup>[[Media:29.11.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Кумар В. | ||
+ | |- | ||
+ | | align = "center"| 6 декабря | ||
+ | | Автоматная сложность булевых функций из классов Поста | ||
+ | | align = "center"| Кибкало М. А. | ||
+ | |- | ||
+ | | align = "center"| 13 декабря | ||
+ | | Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул» | ||
+ | | align = "center"| Доленко О. С. | ||
+ | |} | ||
+ | |||
+ | ==Весна 2013 года== | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align = "center"| 22 февраля | ||
+ | | О сложности реализации булевых функций из некоторых классов, связанных с конечными грамматиками, формулами глубины альтернирования 3 <sup>[[Media:22.02.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Коноводов В.А. | ||
+ | |- | ||
+ | | align = "center"| 1 марта | ||
+ | | О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе | ||
+ | | align = "center"| Романов Д.С. | ||
+ | |- | ||
+ | | align = "center"| 15 марта | ||
+ | | Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану» | ||
+ | | align = "center"| Доленко О.С. | ||
+ | |- | ||
+ | | align = "center"| 22 марта | ||
+ | | Доклад по [[Медиа:Dm601.pdf|статье]] Хахулина В.Г. «О проверяющих тестах для счетчика четности» | ||
+ | | align = "center"| Жукова А.А. | ||
+ | |- | ||
+ | | align = "center"| 29 марта | ||
+ | | Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в P<sub>k</sub>»<sup>[[Media:29.03.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Чеховская Е.Н. | ||
+ | |- | ||
+ | | align = "center"| 5 апреля | ||
+ | | Доклад по [http://mi.mathnet.ru/dm198 статье] Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию» | ||
+ | | align = "center"| Тренкунов А.В. | ||
+ | |- | ||
+ | | align = "center"| 12 апреля | ||
+ | | Доклад по [http://mi.mathnet.ru/mz7425 статье] Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов» | ||
+ | | align = "center"| Морозов Е.В. | ||
+ | |- | ||
+ | | align = "center"| 19 апреля | ||
+ | |О тестах относительно примитивных сдвигов переменных в булевых функциях<sup>[[Media:19.04.2013.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Антюфеев Г. В. | ||
+ | |- | ||
+ | | align = "center"| 26 апреля | ||
+ | | Доклад по [http://mi.mathnet.ru/dm1112 статье] Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов» | ||
+ | | align = "center"| Плоткина Ю. С. | ||
+ | |- | ||
+ | | align = "center"| 17 мая | ||
+ | | Доклады студентов 5 курса по дипломным работам. | ||
+ | | align = "center"| | ||
+ | |} | ||
+ | |||
+ | == Осень 2012 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align = "center"|28 сентября | ||
+ | | Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." <sup>[[Media:29.09.2012.pdf|Выходные данные]]</sup> | ||
+ | | align = "center"| Плоткина Ю.С. | ||
+ | |- | ||
+ | | align = "center"|5 октября | ||
+ | | О сложности мультиплексорной функции в классе схем из функциональных элементов <sup>[[Media:5.10.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Власов Н.В. | ||
+ | |- | ||
+ | | align = "center"|12 октября | ||
+ | | Алгоритмы для нахождения автоморфизмов больших разреженных графов <sup>[[Media:12.10.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Марков И. Л. (Мичиганский университет, США) | ||
+ | |- | ||
+ | | 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> | ||
+ | | align = "center"| Богомолова Е. М. | ||
+ | |- | ||
+ | | align = "center"|26 октября | ||
+ | | Активность схем из функциональных элементов <sup>[[Media:26.10.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Доленко О. С. | ||
+ | |- | ||
+ | | align = "center"|2 ноября | ||
+ | | Активность схем из функциональных элементов(окончание доклада) | ||
+ | | align = "center"| Доленко О. С. | ||
+ | |- | ||
+ | | align = "center"| 9 ноября | ||
+ | | Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»<sup>[[Media:9.11.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"|Морозов Е. В. | ||
+ | |- | ||
+ | | align = "center"| 16 ноября | ||
+ | | Минимизация пересечений линий (веток метро) на картах метро<sup>[[Media:16.11.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"|Кунаков М. А. | ||
+ | |- | ||
+ | | align = "center"| 23 ноября | ||
+ | | Об одном методе получения более чем квадратичных эффективных нижних оценок сложности <math>\pi</math>-схем <sup>[[Media:23.11.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Коноводов В. А. | ||
+ | |- | ||
+ | | align = "center"| 30 ноября | ||
+ | | Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка <sup>[[Media:30.11.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Кривошеин Д. Ю. | ||
+ | |- | ||
+ | | align = "center"| 7 декабря | ||
+ | | Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов <sup>[http://www.ippm.ru/data/dissrt/Avtoreferat-Talalai.pdf Ссылка на автореферат диссертации]</sup> | ||
+ | | align = "center"| Талалай М. С. | ||
+ | |- | ||
+ | | align = "center"| 14 декабря | ||
+ | | Инверсная сложность булевых функций<sup>[[Media:14.12.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Морозов Е. В. | ||
+ | |} | ||
+ | |||
+ | |||
+ | == Весна 2012 года == | ||
+ | |||
+ | {| align="center" width="100%" | ||
+ | | | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align = "center"|24 февраля | ||
+ | | Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» <sup>[[Media:24.02.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"| Богомолова Е. М. | ||
+ | |- | ||
+ | | 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"| Яблонская А.Ю. | ||
+ | |- | ||
+ | | align = "center"|11 марта | ||
+ | |Доклад по статье Шуткина Ю.С. [http://dvinemnauku.ru/upload/day_101214/201012142208188078.pdf «Синтез информационных графов для предполных классов булевых функций»] <sup>[[Media:11.03.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"|Валиев Т.Р. | ||
+ | |- | ||
+ | | align = "center"|16 марта | ||
+ | |О синтезе и сложности формул с ограниченной глубиной альтернирования <sup>[[Media:16.03.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center"|Коноводов В.А. | ||
+ | |- | ||
+ | | align = "center"|23 марта | ||
+ | | Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок» | ||
+ | | align = "center"|Коразбаев К.Ж. | ||
+ | |- | ||
+ | | align = "center"|30 марта | ||
+ | | О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью | ||
+ | | align = "center"|Коноводов В.А. | ||
+ | |- | ||
+ | | align = "center"|6 апреля | ||
+ | | Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов» | ||
+ | | align = "center"|Егоров А.В. | ||
+ | |- | ||
+ | | align = "center" |13 апреля | ||
+ | | Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС <sup>[[Media:13.04.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center" |Кривошеин Д.Ю. | ||
+ | |- | ||
+ | | align = "center" |20 апреля | ||
+ | | |О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)<sup>[[Media:30.03.2012.pdf|Аннотация доклада]]</sup> | ||
+ | | align = "center" |Блинов С.В. | ||
+ | |- | ||
+ | | align = "center" |27 апреля | ||
+ | | Доклад по [http://mi.mathnet.ru/dm1173 статье] Ю.В.Бородиной "Синтез легкотестируемых схем в базисе <math>\{\And,\vee,\neg\}</math> для систем булевых функций" | ||
+ | | align = "center" |Морозов Е.В. | ||
+ | |- | ||
+ | | rowspan = "2" align="center" |4 мая | ||
+ | | rowspan = "2" |Доклады студентов 5 курса по дипломным работам | ||
+ | | align="center" |Коноводов В.А. | ||
+ | |- | ||
+ | | align="center"|Богомолова Е.М. | ||
+ | |- | ||
+ | | rowspan = "2" align="center" |11 мая | ||
+ | | rowspan = "2" |Доклады студентов 5 курса по дипломным работам | ||
+ | | align="center" |Морозов Е.В. | ||
+ | |- | ||
+ | | align="center"|Цимбалов С.Е. | ||
|} | |} | ||
Текущая версия на 22:18, 18 сентября 2024
архив докладов за прошлые семестры |
Содержание
- 1 Весна 2024 года
- 2 Осень 2023 года
- 3 Весна 2023 года
- 4 Весна 2022 года
- 5 Осень 2021 года
- 6 Весна 2021 года
- 7 Осень 2020 года
- 8 Весна 2019 года
- 9 Осень 2018 года
- 10 Весна 2018 года
- 11 Осень 2017 года
- 12 Весна 2017 года
- 13 Осень 2016 года
- 14 Весна 2016 года
- 15 Осень 2015 года
- 16 Весна 2015 года
- 17 Осень 2014 года
- 18 Весна 2014 года
- 19 Осень 2013 года
- 20 Весна 2013 года
- 21 Осень 2012 года
- 22 Весна 2012 года
- 23 Осень 2011 года
- 24 Весна 2011 года
- 25 Осень 2010 года
- 26 Весна 2010 года
- 27 Осень 2009 года
- 28 Осень 2008 года
- 29 Весна 2008 года
- 30 Осень 2007 года
- 31 Руководители
Весна 2024 года
Дата | Тема доклада | Докладчик |
---|---|---|
22 февраля | Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)Аннотация доклада | Шухман Алексей |
29 февраля | Доклад по теме «Методы решения задачи поиска функциональных соответствий»Аннотация доклада | Федоренко Илья |
7, 14 марта | Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)Аннотация доклада | Михалев Евгений |
21 марта | Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)Аннотация доклада | Кленин Максим |
28 марта | Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»Аннотация доклада | Фаизов Алексей |
5 апреля | Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»Аннотация доклада | Сергеев Максим |
11 апреля | Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»Аннотация доклада | С.А.Ложкин и М.С.Шуплецов |
18 апреля | Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»Аннотация доклада | Башмаков Михаил |
Осень 2023 года
Дата | Тема доклада | Докладчик |
---|---|---|
4 октября | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»Аннотация доклада | Соколов Михаил |
11 октября | Доклад по теме «Алгоритмы логического синтеза инверсных графов»Аннотация доклада | Гребенкин Сергей |
18 октября | Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69Аннотация доклада | Кленин Максим |
25 октября | Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»Аннотация доклада | Михалев Евгений |
1 ноября | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУРасписание секции | |
8 ноября | Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»Аннотация доклада | Дарья Есипова |
22 ноября | Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112Аннотация доклада | Столетний Александр |
29 ноября | Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48Аннотация доклада | Соколов Михаил |
6 декабря | Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»Аннотация доклада | Фаизов Алексей |
13 декабря | Доклад по теме «Поиск функциональных соответствий для схем из функциональных элементов при наличии не всюду определенных наборов»Аннотация доклада | Фурса Даниил |
Весна 2023 года
Дата | Тема доклада | Докладчик |
---|---|---|
10 октября | Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»Аннотация доклада | Козин Георгий |
17 октября | Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»Аннотация доклада | Исаков Ильяс |
24 октября | Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»Аннотация доклада | Местецкий Михаил |
7 ноября | Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»Аннотация доклада | Фесенко Анастасия |
14 ноября | Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем» | Фесенко Анастасия |
21 ноября | Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»Аннотация доклада | Романов Дмитрий |
28 ноября | Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»Аннотация доклада | Синенкова Анна |
5 декабря | Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада | Романов Дмитрий |
12 декабря | Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»Аннотация доклада | Гребенкин Сергей |
7 марта | Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»Аннотация доклада | Михалев Евгений |
14 марта | Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»Аннотация доклада | Кленин Максим |
21 марта | Доклад по теме «Алгоритмы построения заполняющих топологий»Аннотация доклада | Есипова Дарья |
28 марта | Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»Аннотация доклада | Соколов Михаил |
4 апреля | Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»Аннотация доклада | Козин Георгий |
Весна 2022 года
Дата | Тема доклада | Докладчик |
---|---|---|
26 февраля | Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада | Сагандыков Жандос |
5 марта | Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»Аннотация доклада | Купраш Екатерина |
12 марта | Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.Статья, Аннотация доклада | Мальцев Александр |
19 марта | Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»Аннотация доклада | Хомич Павел |
26 марта | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»Аннотация доклада | Белашкин И.А. |
2 апреля | Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»Аннотация доклада | Белашкин И.А. |
9 апреля | Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»Аннотация доклада | Зинкин Егор |
1 октября | Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»Аннотация доклада | Михаил Лопунов |
15 октября | Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»Аннотация доклада | Зизов Вадим |
22 октября | Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»Аннотация доклада | Купраш Екатерина |
19 ноября | Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»Аннотация доклада | Любич И.Г |
26 ноября | Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»Аннотация доклада | Антюфеев Г.В. |
10 декабря | Доклад по статье «Коммуникационная сложность универсального отношения»Аннотация доклада | Белашкин И.А. |
17 декабря | Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»Аннотация доклада | Местецкий Михаил |
4 марта | Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»Аннотация доклада | Демиденко Александр |
18 марта | Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»Аннотация доклада | Ступин Роман |
25 марта | Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»Аннотация доклада | Исаков Ильяс |
1 апреля | Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»Аннотация доклада | Синенкова Анна |
8 апреля | Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»Аннотация доклада | Тамерлан Еркибаев |
15 апреля | Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»Аннотация доклада | Фесенко Анастасия |
Осень 2021 года
Дата | Тема доклада | Докладчик |
---|---|---|
9 октября | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»Аннотация доклада | Лопунов М.А. |
16 октября | Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»Аннотация доклада | Зизов В.С. |
30 октября | Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»Аннотация доклада | Хзмалян Д.Э. |
13 ноября | Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»Аннотация доклада | Коноводов В.А. |
20 ноября | Доклад по первой части работы К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.Аннотация доклада | Мальцев А.Н. |
27 ноября | Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».Аннотация доклада | Попков К.А. (ИПМ им. М.В. Келдыша РАН) |
4 декабря | Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».Аннотация доклада | М.С.Шуплецов, В.В.Жуков |
11 декабря | Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).Аннотация доклада | Н.В.Пименов |
Весна 2021 года
Дата | Тема доклада | Докладчик |
---|---|---|
9 октября | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»Аннотация доклада | Лопунов М.А. |
16 октября | Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»Аннотация доклада | Зизов В.С. |
30 октября | Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»Аннотация доклада | Хзмалян Д.Э. |
13 ноября | Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»Аннотация доклада | Коноводов В.А. |
20 ноября | Доклад по первой части работы К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.Аннотация доклада | Мальцев А.Н. |
27 ноября | Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».Аннотация доклада | Попков К.А. (ИПМ им. М.В. Келдыша РАН) |
4 декабря | Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».Аннотация доклада | М.С.Шуплецов, В.В.Жуков |
11 декабря | Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).Аннотация доклада | Н.В.Пименов |
Осень 2020 года
Дата | Тема доклада | Докладчик |
---|---|---|
27 сентября | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»Аннотация доклада | Хзмалян Д.Э. |
11 октября | Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)Аннотация доклада | Лопунов М.А. |
18 октября | Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»Аннотация доклада | Зизов В. |
25 октября | Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»Аннотация доклада | Ибрагимов Б.М. |
8 ноября | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»Аннотация доклада | проф. Ложкин С.А. |
15 ноября | ||
22 ноября | Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)Аннотация доклада | Купраш Е. |
13 декабря | Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»Аннотация доклада | доцент кафедры МАТИС
механико-математического факультета Часовских А.А. |
21 февраля | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»Аннотация доклада | Мальцев А.Н. |
28 февраля | Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»Аннотация доклада | Пименов Н.В. |
Весна 2019 года
Дата | Тема доклада | Докладчик |
---|---|---|
22 февраля | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»Аннотация доклада | Купраш Е.Д. |
1 марта | Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»Аннотация доклада | Жуков В.В. |
15 марта | Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)Аннотация доклада | Лопунов М.А. |
22 марта | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)Аннотация доклада | Пименов Н.В. |
29 марта | ||
5 апреля | Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)Аннотация доклада | Омарова М.М. |
12 апреля | Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»Аннотация доклада | Хзмалян Д.Э. |
19 апреля | Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями | |
17 мая | Выступления студентов 3 и 5 курсов с курсовыми работами |
Осень 2018 года
Дата | Тема доклада | Докладчик |
---|---|---|
21 сентября | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»Аннотация доклада | Хзмалян Д.Э. |
28 сентября | Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»Аннотация доклада | Мальцев А.Н. |
5 октября | Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»Аннотация доклада | Титов В.А. |
12 октября | Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС | |
«Нижняя оценка энергопотребления для одного класса объёмных схем» | Ефимов Алексей Андреевич | |
19 октября | Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»Аннотация доклада | Кинжикеева Д.С. |
26 октября | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»Аннотация доклада | Красильникова А.А. |
2 ноября | ||
9 ноября | ||
Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf) | Александрова Н.Е. | |
16 ноября | Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС | |
Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»Аннотация доклада | Высоцкий Л.И. | |
23 ноября | Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»Аннотация доклада | Панчул Юрий Владимирович |
7 декабря | Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС | |
Доклад по теме «О сложности многослойных клеточных схем»Аннотация доклада | Калачев Г.В., Сытдыков Т.Р. |
Весна 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 года
Руководители
|