Математические вопросы проектирования СБИС (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
Root (обсуждение | вклад) (Новая страница: «== Осень 2007 года == {| class="wide" width="100%" ! Дата ! Тема доклада ! Докладчик |- | 5 октября | Применени…») |
RomanovDS (обсуждение | вклад) |
||
(не показаны 23 промежуточных версий 4 участников) | |||
Строка 1: | Строка 1: | ||
− | |||
− | {| class="wide" width="100%" | + | {| width="98%" |
+ | | align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]] | ||
+ | |} | ||
+ | |||
+ | [[Категория:Спецсеминары кафедры математической кибернетики]] | ||
+ | |||
+ | |||
+ | == Осень 2023 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
− | |- | + | |- |
− | | | + | | align="center" | 4 октября |
− | | | + | | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Соколов Михаил |
− | |- | + | |- |
− | | | + | | align="center" | 11 октября |
− | | | + | | Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup> |
− | |- | + | | 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" | 1 ноября |
+ | | align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]] | ||
+ | |- | ||
+ | | 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" | Фурса Даниил | ||
|} | |} | ||
− | |||
− | {| class="wide" width="100%" | + | == Весна 2023 года == |
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
− | |||
− | |||
− | |||
− | |||
|- | |- | ||
− | | | + | | align="center" | 10 октября |
− | | | + | | Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Козин Георгий |
|- | |- | ||
− | | | + | | align="center" | 17 октября |
− | | | + | | Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Исаков Ильяс |
|- | |- | ||
− | | | + | | align="center" | 24 октября |
− | | | + | | Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Местецкий Михаил |
|- | |- | ||
− | | | + | | align="center" | 7 ноября |
− | | | + | | Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup> |
− | | [[ | + | | align="center" | Фесенко Анастасия |
+ | |- | ||
+ | | align="center" | 14 ноября | ||
+ | | Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем» | ||
+ | | align="center" | Фесенко Анастасия | ||
+ | |- | ||
+ | | align="center" | 21 ноября | ||
+ | | Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Романов Дмитрий | ||
+ | |- | ||
+ | | align="center" | 28 ноября | ||
+ | | Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Синенкова Анна | ||
+ | |- | ||
+ | | align="center" | 5 декабря | ||
+ | | Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup> | ||
+ | | align="center" | Романов Дмитрий | ||
+ | |- | ||
+ | | align="center" | 12 декабря | ||
+ | | Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»<sup>[[Media:Specsem221211.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Гребенкин Сергей | ||
+ | |- | ||
+ | | align="center" | 7 марта | ||
+ | | Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»<sup>[[Media:Specsem230307.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Михалев Евгений | ||
+ | |- | ||
+ | | align="center" | 14 марта | ||
+ | | Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»<sup>[[Media:Specsem230314.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Кленин Максим | ||
+ | |- | ||
+ | | align="center" | 21 марта | ||
+ | | Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Есипова Дарья | ||
+ | |- | ||
+ | | align="center" | 28 марта | ||
+ | | Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»<sup>[[Media:Specem28032023.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Соколов Михаил | ||
+ | |- | ||
+ | | align="center" | 4 апреля | ||
+ | | Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»<sup>[[Media:Specsem20230404.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Козин Георгий | ||
+ | |} | ||
+ | == Весна 2022 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 26 февраля | ||
+ | | Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup> | ||
+ | | 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" | 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" | 19 марта | ||
+ | | Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Хомич Павел | ||
+ | |- | ||
+ | | align="center" | 26 марта | ||
+ | | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Белашкин И.А. | ||
+ | |- | ||
+ | | align="center" | 2 апреля | ||
+ | | Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup> | ||
+ | | 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" | 1 октября | ||
+ | | Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Михаил Лопунов | ||
+ | |- | ||
+ | | align="center" | 15 октября | ||
+ | | Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup> | ||
+ | | 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 декабря | ||
+ | | Доклад по статье 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" | 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" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 9 октября | ||
+ | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Лопунов М.А. | ||
+ | |- | ||
+ | | align="center" | 16 октября | ||
+ | | Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Зизов В.С. | ||
+ | |- | ||
+ | | align="center" | 30 октября | ||
+ | | Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Хзмалян Д.Э. | ||
+ | |- | ||
+ | | align="center" | 13 ноября | ||
+ | | Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup> | ||
+ | | 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" | 27 ноября | ||
+ | | Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН) | ||
+ | |- | ||
+ | | align="center" | 4 декабря | ||
+ | | Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | М.С.Шуплецов, В.В.Жуков | ||
+ | |- | ||
+ | | align="center" | 11 декабря | ||
+ | | Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Н.В.Пименов | ||
+ | |} | ||
− | {| class="wide" width="100%" | + | == Весна 2021 года == |
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
− | |- | + | |- |
− | | | + | | align="center" | 9 октября |
− | | | + | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup> |
− | | [ | + | | align="center" | Лопунов М.А. |
− | |- | + | |- |
− | | | + | | align="center" | 16 октября |
− | | | + | | Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup> |
− | + | | align="center" | Зизов В.С. | |
− | |- | + | |- |
− | | | + | | align="center" | 30 октября |
− | | Доклад | + | | Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup> |
− | | [[ | + | | align="center" | Хзмалян Д.Э. |
− | |- | + | |- |
− | | | + | | align="center" | 13 ноября |
− | | | + | | Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup> |
− | | | + | | 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" | 27 ноября | ||
+ | | Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН) | ||
+ | |- | ||
+ | | align="center" | 4 декабря | ||
+ | | Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | М.С.Шуплецов, В.В.Жуков | ||
+ | |- | ||
+ | | align="center" | 11 декабря | ||
+ | | Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Н.В.Пименов | ||
|} | |} | ||
− | |||
− | {| class="wide" width="100%" | + | == Осень 2020 года == |
+ | {| 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 февраля |
− | | | + | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_200221.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Мальцев А.Н. |
− | |- | + | |- |
− | | | + | | align="center" | 28 февраля |
− | | | + | | Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:Specsem_200228.pdf|Аннотация доклада]]</sup> |
− | | | + | | align="center" | Пименов Н.В. |
|} | |} | ||
− | == Весна | + | == Весна 2019 года == |
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 22 февраля | ||
+ | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Купраш Е.Д. | ||
+ | |- | ||
+ | | align="center" | 1 марта | ||
+ | | Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup> | ||
+ | | 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" | 22 марта | ||
+ | | rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" rowspan="2" | Пименов Н.В. | ||
+ | |- | ||
+ | | align="center" | 29 марта | ||
+ | |- | ||
+ | | align="center" | 5 апреля | ||
+ | | Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup> | ||
+ | | align="center" | Омарова М.М. | ||
+ | |- | ||
+ | | align="center" | 12 апреля | ||
+ | | Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Хзмалян Д.Э. | ||
+ | |- | ||
+ | | align="center" | 19 апреля | ||
+ | | Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями | ||
+ | | align="center" | | ||
+ | |- | ||
+ | | align="center" | 17 мая | ||
+ | | Выступления студентов 3 и 5 курсов с курсовыми работами | ||
+ | | align="center" | | ||
+ | |} | ||
− | {| class="wide" width="100%" | + | == Осень 2018 года == |
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
− | |||
− | |||
− | |||
− | |||
|- | |- | ||
− | | align="center"| | + | | align="center" | 21 сентября |
− | | | + | | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]] |
− | | | + | | align="center" | Хзмалян Д.Э. |
|- | |- | ||
− | | align="center"| | + | | align="center" | 28 сентября |
+ | | Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]] | ||
+ | | align="center" | Мальцев А.Н. | ||
|- | |- | ||
− | | align="center"| | + | | align="center" | 5 октября |
− | | | + | | Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]] |
− | | | + | | align="center" | Титов В.А. |
|- | |- | ||
− | | align="center"| | + | | rowspan="2" align="center" | 12 октября |
− | | | + | | colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]] |
− | | | + | |
|- | |- | ||
− | | align="center"| | + | | «Нижняя оценка энергопотребления для одного класса объёмных схем» |
− | + | | align="center" | Ефимов Алексей Андреевич | |
− | + | ||
|- | |- | ||
− | | align="center"| | + | | align="center" | 19 октября |
+ | | Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]] | ||
+ | | align="center" | Кинжикеева Д.С. | ||
|- | |- | ||
− | | 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" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
− | {| class="wide" width="100%" | + | |- |
+ | | 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" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 22 сентября | ||
+ | |- | ||
+ | | Доклад «Cинтез рекурсивных схем из функциональных элементов» | ||
+ | | align="center" | Жуков В.В. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 29 сентября | ||
+ | |- | ||
+ | | Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.» | ||
+ | | align="center" | Курбацкая В.К. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 6 октября | ||
+ | |- | ||
+ | | Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев» | ||
+ | | align="center" | Высоцкий Л.И. | ||
+ | |||
+ | |- | ||
+ | | rowspan="2" align="center" | 20 октября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | О динамической активности схем из функциональных элементов. | ||
+ | | align="center" | Шуплецов М.С. | ||
+ | |- | ||
+ | |||
+ | | rowspan="2" align="center" | 27 октября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]] | ||
+ | | align="center" | Автайкина Мария | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 3 ноября | ||
+ | | colspan="2" 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"| | + | | align="center" | 7 октября |
− | | | + | | Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" <sup>[[Media:chemodan.pdf|Аннотация доклада]]</sup> |
− | | | + | | Чемоданова О.М. |
+ | |- | ||
+ | | align="center" | 14 октября | ||
+ | | Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" <sup>[[Media:popkov.docx|Аннотация доклада]]</sup> | ||
+ | | Любич И.Г. | ||
|- | |- | ||
− | | align="center"| | + | | align="center" | 21 октября |
− | | | + | | Доклад "Синтез обратимых схем без дополнительной памяти" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup> |
− | | | + | | Закаблуков Д.В. |
|- | |- | ||
− | | align="center"| | + | | align="center" | 28 октября |
− | | | + | | Доклад "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup> |
− | + | | Титов В.А. | |
|- | |- | ||
− | | align="center"| | + | | align="center" | 11 ноября |
− | | | + | | Окончание доклада "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup> |
− | + | | Титов В.А. | |
|- | |- | ||
− | | align="center"| | + | | 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> | ||
+ | | Зиновьев В.С. | ||
|- | |- | ||
− | | align="center"| | + | | 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"| | + | | align="center" | 18 марта |
− | | | + | | Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup> |
− | | | + | | Павлов А.В. |
|- | |- | ||
− | | align="center"| | + | | 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 года == |
− | {| class="wide" width="100%" | + | |
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 9 октября | ||
+ | | Синтез и сложность универсальных схем контактного типа с разделёнными полюсами | ||
+ | | Зиновьев В. С. | ||
+ | |- | ||
+ | | align="center" | 16 октября | ||
+ | | Синтез и сложность дешифраторных схем контактного типа | ||
+ | | Добровецкий Д. И. | ||
|- | |- | ||
− | | align="center"| | + | | rowspan="2" align="center" | 23 октября |
− | | | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] |
− | | align="center"| | + | |- |
+ | | New bounds on Klarner's constant | ||
+ | | Gill Barequet, Dept. of Computer Science, Technion | ||
+ | |- | ||
+ | | align = "center"|30 октября | ||
+ | | О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup> | ||
+ | | Довгалюк Е. Л. | ||
+ | |- | ||
+ | | align = "center"|6 ноября | ||
+ | | Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup> | ||
+ | | Фивейский С.В. | ||
|- | |- | ||
− | | align="center"| | + | | rowspan="2" align="center" | 13 ноября |
− | | Доклад по статье | + | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] |
− | | | + | |- |
+ | | Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution". | ||
+ | | Мария Автайкина | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 20 ноября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Обзор конференции 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 (задача соревнования) | ||
+ | | Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир. | ||
+ | |- | ||
+ | | align = "center"| 27 ноября | ||
+ | | Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup> | ||
+ | | Кухтинов А.С. | ||
|- | |- | ||
− | | align="center"| | + | | align = "center"| 4 декабря |
− | | | + | | Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций" |
− | | rowspan = "2" | + | | Шуплецов М.С. |
+ | |- | ||
+ | | rowspan="2" align="center" | 11 декабря | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
|- | |- | ||
− | | | + | | Доклад "Маршрут физического проектирования систем на кристалле" |
+ | | Евгений Зенин | ||
+ | |} | ||
+ | == Весна 2015 года == | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
|- | |- | ||
− | | align="center"| | + | | align="center" | 20 февраля |
− | | Доклад по [http://mi.mathnet.ru/ | + | | Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов". |
− | | | + | | Смирнов А. А. |
|- | |- | ||
− | | align="center"| | + | | align="center" | 27 февраля |
− | | Доклад по | + | | Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа" |
− | + | | Сальников В. А. | |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 13 марта |
− | | | + | | О динамической активности мультиплексорной функции |
− | + | | Кулешов О. В. | |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 27 марта |
− | | | + | | Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102] |
− | | | + | | Тамм Я.-М. Ю. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 3 апреля |
− | | | + | | Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf] |
− | | | + | | Павлов А. В. |
|- | |- | ||
− | | align="center | + | | align="center" | 10 апреля |
− | | | + | | О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html] |
− | | | + | | Пузачев Д. С. |
|- | |- | ||
− | | align="center"| | + | | align="center" | 24 апреля |
+ | | Представление студентами 4 и 5 курсов своих выпускных квалификационных работ | ||
+ | | | ||
|} | |} | ||
− | |||
− | {| class="wide" width="100%" | + | |
+ | == Осень 2014 года == | ||
+ | |||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | align = "center"| | + | | align="center" | 3 октября |
− | | Доклад по статье | + | | Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" |
− | + | | Зиновьев В. С. | |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 10 октября |
− | | | + | | Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" |
− | + | | Зиновьев В. С. | |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 17 октября |
− | | | + | | Тесты для булевых функций относительно вытесняющих неисправностей |
− | | | + | | Морозов Е. В. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 24 октября |
− | | | + | | Комбинаторика и сложность случайных булевых формул |
− | + | | [[Участник:KonovodovV|Коноводов В. А. ]] | |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 31 октября |
− | | Доклад по статье | + | | Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup> |
− | | | + | | Раннев Е. К. |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 7 ноября |
− | | Доклад по статье | + | | Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание) |
− | + | | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] | |
|- | |- | ||
− | | align = "center"| | + | | align="center" | 14 ноября |
− | | | + | | О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup> |
− | | | + | | [[Романов Дмитрий Сергеевич | Романов Д. С.]] |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|21 ноября |
− | | Доклад по статье | + | | Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup> |
− | | align = "center"| | + | | align = "center"| Довгалюк Е. Л. |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|28 ноября |
− | | | + | | Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» |
− | | align = "center"| | + | | align = "center"| Белышов М. В. |
|- | |- | ||
− | | 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"| Кумар В. |
|- | |- | ||
− | | 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"| Богомолова Е. М. | ||
+ | |- | ||
+ | | 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 года == | == Весна 2012 года == | ||
− | {| align="center" width="100%" | + | {| align="center" width="100%" |
| | | | ||
− | {| class="wide" width="100%" | + | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" |
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
Строка 392: | Строка 1117: | ||
|} | |} | ||
− | == Осень | + | == Осень 2011 года == |
− | {| class="wide" width="100%" | + | |
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | align = "center"| | + | | align = "center"|30 сентября |
− | | Доклад по статье | + | | Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» <sup>[[Media:Danilov_29_04_2011.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align = "center"| Борис Данилов |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|7 октября |
− | | | + | | Модификация метода Лупанова с более равномерным распределением исходящих дуг. <sup>[http://eccc.hpi-web.de/report/2011/130/ Ссылка на статью]</sup> |
− | | align = "center"| | + | | align = "center"| [[Ложкин Сергей Андреевич|Ложкин С. А.]] |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|14 октября |
− | | | + | | О глубине мультиплексорной функции <sup>[[Media:Vlasov_14_10_11.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align = "center"| Никита Власов |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|21 октября |
− | | Доклад по статье | + | | Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» <sup>[http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dm&paperid=81&option_lang=rus Ссылка на статью]</sup> |
+ | | align = "center"| Александра Яблонская | ||
+ | |- | ||
+ | | align = "center"|28 октября | ||
+ | | Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» <sup>[http://www.mendeley.com/research/finding-negative-cycles-directed-graph-18/# Ссылка на статью]</sup> | ||
+ | | align = "center"| Дмитрий Кривошеин | ||
+ | |- | ||
+ | | align = "center"|11 ноября | ||
+ | | Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» <sup>[http://www.optimization-online.org/DB_HTML/2004/07/910.html Ссылка на статью]</sup> | ||
+ | | align = "center"| Сергей Цимбалов | ||
+ | |- | ||
+ | | align = "center"|18 ноября | ||
+ | | Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» <sup>[http://elibrary.ru/item.asp?id=9427931 Данные о статье]</sup> | ||
+ | | align = "center"| Евгений Морозов | ||
+ | |- | ||
+ | | align = "center"|25 ноября | ||
+ | | Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов» | ||
+ | | align = "center"| Олег Садовников | ||
+ | |- | ||
+ | | align = "center"|2 декабря | ||
+ | | Проблемы полноты и выразимости в пространствах дискретных функций | ||
+ | | align = "center"| Парватов Н. Г. (Томск) | ||
+ | |- | ||
+ | | align = "center"|9 декабря | ||
+ | | О надежности неветвящихся программ с оператором условной остановки. | ||
+ | | align = "center"| Грабовская С. М. (Пенза) | ||
+ | |- | ||
+ | | align = "center"|16 декабря | ||
+ | | Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup> | ||
| align = "center"| Богомолова Е. М. | | align = "center"| Богомолова Е. М. | ||
+ | |} | ||
+ | ==Весна 2011 года== | ||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center"|25 февраля | ||
+ | | Логический синтез топологически регулярных схем на транзисторных шаблонах <sup>[[Media:Talalai_25_02.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center"|Михаил Талалай | ||
+ | |- | ||
+ | | align="center"|4 марта | ||
+ | | Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» <sup>[[Media:feedforward_networks.pdf|Аннотация к статье]]</sup> | ||
+ | | align="center"|Владимир Лысиков | ||
+ | |- | ||
+ | | align="center"|11 марта | ||
+ | | rowspan = "2" | Верификация структурных моделей цифровых схем <sup>[[Media:Gotmanov_11_03.pdf|Аннотация доклада]]</sup> | ||
+ | | rowspan = "2" align="center"|Александр Готманов | ||
|- | |- | ||
− | | align = "center"| | + | | align="center"|25 марта |
− | + | ||
− | + | ||
|- | |- | ||
− | | align = "center"| | + | | align="center"|1 апреля |
− | | | + | | Доклад по [http://mi.mathnet.ru/da435 статье Н.П. Редькина] «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций» |
− | | align = "center"| | + | | align="center"|Олег Снегирев |
|- | |- | ||
− | | align = "center"| | + | | align="center"|8 апреля |
− | | Доклад по | + | | Доклад по [http://www.springerlink.com/content/m367ku711w732g87/ статье N. Blum, M. Seysen] «Characterization of all optimal networks for a simultaneous computation of AND and NOR» |
− | | align = "center"| | + | | align="center"|Владимир Коноводов |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|15 апреля |
− | | | + | | Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»<sup>[[Media:Kopachevskiy_15_04.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align = "center"| Юрий Копачевский |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|22 апреля |
− | | | + | | Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» <sup>[[Media:Vlasov_22_04.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align = "center"| Никита Власов |
|- | |- | ||
− | | align = "center"| | + | | align = "center"|29 апреля |
− | | | + | | Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» <sup>[[Media:Danilov_29_04_2011.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | align = "center"| Борис Данилов |
|- | |- | ||
− | | align = "center"| | + | | align="center" rowspan = "2"|6 мая |
− | | | + | | rowspan = "2" | Доклады по магистерским диссертациям |
− | | align = "center"| | + | | align="center"|Дмитрий Кривошеин |
|- | |- | ||
− | | align = "center"| | + | | align="center"|Григорий Антюфеев |
− | + | ||
− | + | ||
|} | |} | ||
− | == | + | |
− | {| class="wide" width="100%" | + | == Осень 2010 года == |
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
! Дата | ! Дата | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
+ | |- | ||
+ | | align="center"|1 октября | ||
+ | | О глубине мультиплексорной функции <sup>[[Media:Vlasov_01_10.pdf|Аннотация доклада]]</sup> | ||
+ | | [[Аспиранты кафедры математической кибернетики|Власов Н.В.]] | ||
+ | |- | ||
+ | | align="center"|8 октября | ||
+ | | Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях <sup>[[Media:Danilov_08_10.pdf|Аннотация доклада]]</sup> | ||
+ | | [[Аспиранты кафедры математической кибернетики|Данилов Б.Р.]] | ||
+ | |- | ||
+ | | align="center"|15 октября | ||
+ | | Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа. | ||
+ | | [[Аспиранты кафедры математической кибернетики|Шуплецов М.С.]] | ||
+ | |- | ||
+ | | align="center"|22 октября | ||
+ | | Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors. | ||
+ | | [[Аспиранты кафедры математической кибернетики|Садовников О.А.]] | ||
+ | |- | ||
+ | | align="center"|29 октября | ||
+ | | Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.<sup>[[Media:Ulesova_29_10.pdf|Аннотация доклада]]</sup> | ||
+ | | [[Аспиранты кафедры математической кибернетики|Улесова А.Ю.]] | ||
+ | |- | ||
+ | | align="center"|12 ноября | ||
+ | | О сложности реализации частичных булевых функций схемами из функциональных элементов.<sup>[[Media:Blinov_12_11.pdf|Аннотация доклада]]</sup> | ||
+ | | [[Аспиранты кафедры математической кибернетики|Блинов С.В.]] | ||
|- | |- | ||
− | | align = "center"| | + | | align="center"|19 ноября |
− | | | + | | Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.<sup>[[Media:Vlasov_19_11.pdf|Аннотация доклада]]</sup> |
− | | | + | | [[Аспиранты кафедры математической кибернетики|Власов Н.В.]] |
|- | |- | ||
− | | align = "center"| | + | | rowspan="2" align="center"|26 ноября |
− | | | + | | Алгоритм сжатия для невыпуклых многоугольников и его приложения |
− | | | + | | Кривошеин Д.Ю. |
|- | |- | ||
− | | align = "center"| | + | | Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности. |
− | | | + | | Жмурин А.В. |
− | | align = "center"| | + | |- |
+ | | align="center"|3 декабря | ||
+ | | Некоторые свойства невырожденных суперпозиций в Pk<sup>[[Media:Sadovnikov_03_12.pdf|Аннотация доклада]]</sup> | ||
+ | | [[Аспиранты кафедры математической кибернетики|Садовников О.А.]] | ||
+ | |- | ||
+ | | align="center"|10 декабря | ||
+ | | Решение задачи о клике сведением к задаче с DC ограничением | ||
+ | | [[Студенты кафедры математической кибернетики|Цимбалов С.Е.]] | ||
|- | |- | ||
− | | align = "center"| | + | | align="center"|17 декабря |
− | | Доклад по [[ | + | | Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"<sup>[[Media:Antufeev_17_12.pdf|Аннотация доклада]]</sup> |
− | | align = "center"| | + | | Антюфеев Г.В. |
+ | |} | ||
+ | |||
+ | == Весна 2010 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center"|26 февраля | ||
+ | | Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций" | ||
+ | | Власов Н.В. | ||
|- | |- | ||
− | | align = "center"| | + | | align="center"|5 марта |
− | | | + | | rowspan="2" |Об одной модели схем из функциональных элементов с задержками <sup>[[Media: Danilov_05_03_2010.pdf|Аннотация доклада]]</sup> |
− | | | + | | rowspan="2" |Данилов Б.Р. |
|- | |- | ||
− | | align = "center"| | + | | align="center"|12 марта |
− | + | ||
− | + | ||
|- | |- | ||
− | | align = "center"| | + | | align="center"|19 марта |
− | | | + | | О полноте и замкнутых классах ФАЛ с прямыми и итеративными переменными <sup>[[Media: Ulesova_19_03_2010.pdf|Аннотация доклада]]</sup> |
− | | | + | | Улесова А.Ю. |
|- | |- | ||
− | | align = "center"| | + | | align="center"|2 апреля |
− | | | + | | Фотолитография: современное состояние и САПР |
− | | | + | | Мелик-Адамян А. |
|- | |- | ||
− | | align = "center"| | + | | align="center"|9 апреля |
− | | | + | | rowspan="2" |Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты |
− | | | + | | rowspan="2" |Шиганов А.Е. |
|- | |- | ||
− | | align = "center"| | + | | align="center"|16 апреля |
− | | Доклады студентов 5 курса по дипломным работам | + | |- |
− | | | + | | align="center"|23 апреля |
+ | | Об автоматной модели преследования | ||
+ | | Волков Н.Ю. | ||
+ | |- | ||
+ | | rowspan="2" align="center"|30 апреля | ||
+ | | Оценка перегруженности трассировки с использованием вероятностного анализа | ||
+ | | Антюфеев Г.В. | ||
+ | |- | ||
+ | | Инкрементальный алгоритм вычисления кратчайших путей в разреженном графе | ||
+ | | Кривошеин Д.Ю. | ||
+ | |- | ||
+ | | align="center"|7 мая | ||
+ | | Доклады студентов 5 курса по дипломным работам | ||
+ | | Улесова А.Ю., <br />Садовников О.А.,<br /> Мордасова М.С.,<br /> Перегуда А.Д. | ||
|} | |} | ||
+ | == Осень 2009 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | 25 сентября | ||
+ | | Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты <sup>[[Media:shiganov_annotation_25_09_09.pdf|Аннотация доклада]]</sup> | ||
+ | | Шиганов Александр | ||
+ | |- | ||
+ | | 2 октября | ||
+ | | О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты <sup>[[Media:shiganov_02_10_09.pdf|Аннотация доклада]]</sup> | ||
+ | | Шиганов Александр | ||
+ | |- | ||
+ | | 9 октября | ||
+ | | О сложности мультиплексорной функции в классе π-схем <sup>[[Media:Lozhkin_Vlasov_09_10_09.pdf|Аннотация доклада]]</sup> | ||
+ | | [[Ложкин Сергей Андреевич| Ложкин С.А.]], [[Аспиранты кафедры математической кибернетики|Власов Никита]] | ||
+ | |- | ||
+ | | 16 октября | ||
+ | | Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов | ||
+ | | Каграманян Э.Р. | ||
+ | |- | ||
+ | | 23 октября | ||
+ | | Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб <sup>[[Media:Sadovnikov_23_10_09.pdf|Аннотация доклада]]</sup> | ||
+ | | Садовников О.А. | ||
+ | |- | ||
+ | | 30 октября | ||
+ | | Об одной модели рекурсивных схем из функциональных элементов <sup>[[Media:Danilov_30_10_2009.pdf|Аннотация доклада]]</sup> | ||
+ | | Данилов Б.Р. | ||
+ | |- | ||
+ | | 6 ноября | ||
+ | | Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов» | ||
+ | | Морозов Е.В. | ||
+ | |- | ||
+ | | 13 ноября | ||
+ | | Поиск кратчайших путей в графах (обзор статей) <sup>[[Media:Krivoshein_13_11_09.pdf|Аннотация доклада]]</sup> | ||
+ | | Кривошеин Д.Ю. | ||
+ | |- | ||
+ | | 20 ноября | ||
+ | | Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника» | ||
+ | | Улесова А.Ю. | ||
+ | |- | ||
+ | | 27 ноября | ||
+ | | Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС <sup>[[Media:Melik-Adamjan_27_11_09.pdf|Аннотация доклада]]</sup> | ||
+ | | Мелик-Адамян А.Ф. | ||
+ | |- | ||
+ | | 4 декабря | ||
+ | | Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского | ||
+ | | | ||
+ | |} | ||
+ | |||
+ | == Осень 2008 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | 3 Октября | ||
+ | | Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий | ||
+ | | [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН]) | ||
+ | |- | ||
+ | | 31 Октября | ||
+ | | Выбор оптимальных параметров в задачах с многими критериями | ||
+ | | [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН]) | ||
+ | |- | ||
+ | | 14 Ноября | ||
+ | | Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric" | ||
+ | | [[Студенты кафедры математической кибернетики | Мордасова М.С.]] | ||
+ | |- | ||
+ | | 12 Декабря | ||
+ | | Методы разрешения положительных циклов в графе ограничений | ||
+ | | Сергей Локинский | ||
+ | |} | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | == Весна 2008 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | 26 февраля | ||
+ | | Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур | ||
+ | | Хапаев М.М. | ||
+ | |- | ||
+ | | 11 марта | ||
+ | | Использование разложения Гильберта при построении схем из функциональных элементов <sup>[[Media:Dolotova08.pdf|слайды]]</sup> | ||
+ | | Долотова Н.С. | ||
+ | |- | ||
+ | | 25 марта | ||
+ | | Аналитический подход к легализации размещения стандартных ячеек | ||
+ | | Аюпов А.Б. | ||
+ | |- | ||
+ | | 8 апреля | ||
+ | | Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС | ||
+ | | Локинский С.Н. | ||
+ | |- | ||
+ | | 29 апреля | ||
+ | | Структуры данных для хранения и поиска объектов в пространстве | ||
+ | | [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]] | ||
+ | |} | ||
+ | |||
+ | |||
+ | == Осень 2007 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | 5 октября | ||
+ | | Применение целочисленного линейного программирования в трассировке схем <sup>[[Media:Zapadinsky07.pdf|реферат]]</sup> | ||
+ | | [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]] | ||
+ | |- | ||
+ | | rowspan="2" | 9 ноября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Дискретная математика и математическая кибернетика]] | ||
+ | |- | ||
+ | | Прикладные математические задачи САПР СБИС<sup>[[Media:Marchenko-14-11-07.ppt|слайды]]</sup> | ||
+ | | [[Марченко Александр Михайлович|Марченко А. М.]] | ||
+ | |- | ||
+ | | 30 ноября | ||
+ | | Регулярность в проектировании СБИС на примере регулярных логических блоков<sup>[[Media:Shupletsov1.ppt|слайды]]</sup> и FPGA<sup>[[Media:Zapadinsky-30.11.07.pdf|слайды]]</sup> | ||
+ | | [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]] <br /> [[Аспиранты кафедры математической кибернетики|Шуплецов Михаил]] | ||
+ | |- | ||
+ | | 14 декабря | ||
+ | | Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе. | ||
+ | | Попов Евгений | ||
+ | |} | ||
+ | |||
== Руководители == | == Руководители == |
Текущая версия на 13:32, 20 февраля 2024
архив докладов за прошлые семестры |
Содержание
- 1 Осень 2023 года
- 2 Весна 2023 года
- 3 Весна 2022 года
- 4 Осень 2021 года
- 5 Весна 2021 года
- 6 Осень 2020 года
- 7 Весна 2019 года
- 8 Осень 2018 года
- 9 Весна 2018 года
- 10 Осень 2017 года
- 11 Весна 2017 года
- 12 Осень 2016 года
- 13 Весна 2016 года
- 14 Осень 2015 года
- 15 Весна 2015 года
- 16 Осень 2014 года
- 17 Весна 2014 года
- 18 Осень 2013 года
- 19 Весна 2013 года
- 20 Осень 2012 года
- 21 Весна 2012 года
- 22 Осень 2011 года
- 23 Весна 2011 года
- 24 Осень 2010 года
- 25 Весна 2010 года
- 26 Осень 2009 года
- 27 Осень 2008 года
- 28 Весна 2008 года
- 29 Осень 2007 года
- 30 Руководители
Осень 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 года
Руководители
|