Некоторые вопросы синтеза управляющих систем (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) |
RomanovDS (обсуждение | вклад) |
||
(не показаны 3 промежуточных версий 1 участника) | |||
Строка 1: | Строка 1: | ||
+ | == Весна 2017 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 21 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507) | ||
+ | |- | ||
+ | | Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С. | ||
+ | | align="center" | | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 14 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507) | ||
+ | |- | ||
+ | | Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем» | ||
+ | | align="center" | Зиновьев Д.С. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 7 апреля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507) | ||
+ | |- | ||
+ | | Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» | ||
+ | | align="center" | Жуков В.В. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 24 марта | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507) | ||
+ | |- | ||
+ | | Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis». | ||
+ | | align="center" | Автайкина М.А. | ||
+ | |- | ||
+ | | align="center" | 17 марта | ||
+ | | Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Козловский А.Н. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 17 февраля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507) | ||
+ | |- | ||
+ | | Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» | ||
+ | | align="center" | Кинжикеева Д. | ||
+ | |- | ||
+ | | align="center" | 3 марта | ||
+ | | Доклад «О минимальных формулах для монотонных симметрических функций с порогом 2»<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | проф. Ложкин С.А. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 31 марта | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507) | ||
+ | |- | ||
+ | | Доклад по статье 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" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup> | ||
+ | | Жуков В.В. | ||
+ | |- | ||
+ | | align="center" | 14 октября | ||
+ | | Доклад по статье Маркова А.А. "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций." <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup> | ||
+ | | Ложкин С.А. | ||
+ | |- | ||
+ | | align="center" | 21 октября | ||
+ | | Доклад "Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один." <sup>[[Media:rom.docx|Аннотация доклада]]</sup> | ||
+ | | Романов Д.С. | ||
+ | |- | ||
+ | | align="center" | 28 октября | ||
+ | | Доклад "Об одной булевской матрице" <sup>[[Media:rom.docx|Аннотация доклада]]</sup> | ||
+ | | Данилов Б.Р. | ||
+ | |- | ||
+ | | align="center" | 11 ноября | ||
+ | | Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" <sup>[[Media:rom.docx|Аннотация доклада]]</sup> | ||
+ | | Щуплецов М.С. | ||
+ | |- | ||
+ | | align="center" | 18 ноября | ||
+ | | Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" <sup>[[Media:rom.docx|Аннотация доклада]]</sup> | ||
+ | | Ложкин С.А. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 25 ноября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <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" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад по статье 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 декабря | ||
+ | | Доклад "О минимальныз пи-схемах для монотонных симметрических функций с порогом 2" <sup>[[Media:rom.docx|Аннотация доклада]]</sup> | ||
+ | | Ложкин С.А. | ||
+ | |- | ||
+ | |} | ||
+ | |||
+ | |||
+ | == Весна 2016 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 19 февраля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup> | ||
+ | | Зиновьев В.С. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 26 февраля | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup> | ||
+ | | Смирной Максим | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 4 марта | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup> | ||
+ | | Вяткин Евгений | ||
+ | |- | ||
+ | | align = "center"| 11 марта | ||
+ | | Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. <sup>[[Media:filimonov.docx|Аннотация доклада]]</sup> | ||
+ | | Филимонов Владимир | ||
+ | |- | ||
+ | | align = "center"| 18 марта | ||
+ | | О соотношении между сложностью и глубиной формул. <sup>[[Media:chemodan.docx|Аннотация доклада]]</sup> | ||
+ | | Чемоданова О.М. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 25 марта | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup> | ||
+ | | Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов | ||
+ | |- | ||
+ | | align = "center"| 1 апреля | ||
+ | | Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций» | ||
+ | | Трубицин В.А. | ||
+ | |- | ||
+ | | align = "center"| 8 апреля | ||
+ | | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции». <sup>[[Media:titov.docx|Аннотация доклада]]</sup> | ||
+ | | Титов В.А. | ||
+ | |- | ||
+ | | 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" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits». | ||
+ | | Калинина А.Н. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 6 мая | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults". | ||
+ | | Шишков Илья Сергеевич | ||
+ | |- | ||
+ | |} | ||
+ | |||
== Осень 2015 года == | == Осень 2015 года == | ||
Текущая версия на 12:10, 16 октября 2017
Содержание
- 1 Весна 2017 года
- 2 Осень 2016 года
- 3 Весна 2016 года
- 4 Осень 2015 года
- 5 Весна 2015 года
- 6 Осень 2014 года
- 7 Весна 2014 года
- 8 Осень 2013 года
- 9 Весна 2013 года
- 10 Осень 2012 года
- 11 Весна 2012 года
- 12 Осень 2011 года
- 13 Весна 2011 года
- 14 Осень 2010 года
- 15 Весна 2010 года
- 16 Осень 2009 года
- 17 Весна 2009 года
- 18 Осень 2008 года
- 19 Весна 2008 года
- 20 Осень 2007 года
- 21 Руководители
Весна 2017 года
Дата | Тема доклада | Докладчик |
---|---|---|
21 апреля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507) | |
Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С. | ||
14 апреля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507) | |
Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем» | Зиновьев Д.С. | |
7 апреля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507) | |
Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» | Жуков В.В. | |
24 марта | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507) | |
Доклад по статье Smita Krishnaswamy et. al. «DeltaSyn: An efficient logic difference optimizer for ECO synthesis». | Автайкина М.А. | |
17 марта | Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада | Козловский А.Н. |
17 февраля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507) | |
Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» | Кинжикеева Д. | |
3 марта | Доклад «О минимальных формулах для монотонных симметрических функций с порогом 2»Аннотация доклада | проф. Ложкин С.А. |
31 марта | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507) | |
Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»Аннотация доклада | Смирнов М.Е. |
Осень 2016 года
Дата | Тема доклада | Докладчик |
---|---|---|
23 сентября | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" Аннотация доклада | Жуков В.В. | |
14 октября | Доклад по статье Маркова А.А. "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций." Аннотация доклада | Ложкин С.А. |
21 октября | Доклад "Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один." Аннотация доклада | Романов Д.С. |
28 октября | Доклад "Об одной булевской матрице" Аннотация доклада | Данилов Б.Р. |
11 ноября | Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" Аннотация доклада | Щуплецов М.С. |
18 ноября | Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" Аннотация доклада | Ложкин С.А. |
25 ноября | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" Аннотация доклада | Тамм Я.-М.Ю. | |
2 декабря | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада | Уваров И.В. | |
9 декабря | Доклад "О минимальныз пи-схемах для монотонных симметрических функций с порогом 2" Аннотация доклада | Ложкин С.А. |
Весна 2016 года
Дата | Тема доклада | Докладчик |
---|---|---|
19 февраля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада | Зиновьев В.С. | |
26 февраля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада | Смирной Максим | |
4 марта | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". Аннотация доклада | Вяткин Евгений | |
11 марта | Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. Аннотация доклада | Филимонов Владимир |
18 марта | О соотношении между сложностью и глубиной формул. Аннотация доклада | Чемоданова О.М. |
25 марта | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад «Cadence design systems: основные тренды в индустрии». Аннотация доклада | Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов | |
1 апреля | Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций» | Трубицин В.А. |
8 апреля | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции». Аннотация доклада | Титов В.А. |
22 апреля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 526б) | |
Автоматизация проектирования электронных устройств Аннотация доклада | Семинар компании Cadence design systems. | |
29 апреля | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits». | Калинина А.Н. | |
6 мая | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад по статье 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 октября | Синтез и сложность дешифраторных схем контактного типа | Добровецкий Д. И. |
6 ноября | О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций. Аннотация доклада | Любич И.Г. |
13 ноября | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution". | Мария Автайкина | |
20 ноября | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Обзор конференции 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 декабря | Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505) | |
Доклад "Маршрут физического проектирования систем на кристалле" | Евгений Зенин |
Весна 2015 года
Дата | Тема доклада | Докладчик |
---|---|---|
20 февраля | О динамической активности схем из функциональных элементов. Доклад по статье [1] | Шуплецов М. С. |
27 февраля | О минимальных π-схемах для монотонных симметрических функций с порогом 2 | Ложкин С. А. |
13 марта | Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» | Фивейский С. В. |
20 марта | Обзор основных современных подходов к решению задачи привязки логической схемы к библиотеке Аннотация доклада | Автайкина М. А. |
27 марта | Легкотестируемые реализации логических функций (по статье S. M. Reddy «Easily testable realizations for logic functions») | Курбатская В. К. |
3 апреля | Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций» | Бежовец А. В. |
10 апреля | О минимальных π-схемах для монотонных симметрических функций с порогом 2 (окончание доклада) | Ложкин С. А. |
Осень 2014 года
Дата | Тема доклада | Докладчик |
---|---|---|
10 октября | Доклад по статье Нечипорука Э. И. «Об одной булевской матрице». | Шуплецов М. С. |
17 октября | Доклад по статье Маркова А. А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций» | Ложкин С. А. |
24 октября | Инверсная сложность булевых функций | Шуплецов М. С. |
31 октября | Инверсная сложность булевых функций (окончание доклада) | Шуплецов М. С. |
7 ноября | Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [2] | Романов Д. С. |
14 ноября | Задача синтеза для модели клеточных схем. Порядок функции Шеннона для площади клеточных схем в стандартном базисе. | Шуплецов М. С. |
21 ноября | Асимптотика площади клеточного дешифратора и ее антагонизм с числом функциональных элементов. | Шуплецов М. С. |
5 декабря | О синтезе схем с ограниченным числом регистров | Коноводов В. А. |
12 декабря | Доклад по статье Нечипорука Э. И. "Об одной булевской функции". | Ложкин С. А. |
19 декабря | Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» . | Ложкин С. А., Шуплецов М. С. |
Весна 2014 года
Дата | Тема доклада | Докладчик |
---|---|---|
19 февраля | Инверсная сложность булевых функций. Аннотация доклада, Презентация | Шуплецов М. С. |
26 февраля | ||
5 марта | Методы обфускации кода для защиты программного обеспечения Аннотация доклада, Презентация | Темербекова Гульгайша |
14 марта | О минимальных π-схемах для монотонных симметрических функций с порогом 2 Аннотация доклада | Ложкин С. А., |
19 марта | ||
2 апреля | Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул" | Зиновьев Владимир |
9 апреля | Задача выполнимости и верификация логических схем | Шуплецов М. С. |
16 апреля | Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR" | Добровецкий Даниил |
30 апреля | Доклад по статье Тиунчика А. А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" Аннотация доклада | Чеховская Екатерина |
7 мая | Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" Аннотация доклада | Павлов Андрей |
14 мая | Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" // Вестн. Моск. ун-та. Матем. Механ. 2012, № 2. С. 24-29. | Кухтинов Александр |
Осень 2013 года
Дата | Тема доклада | Докладчик |
---|---|---|
7, 14 октября | Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе". | Нагорный А. С. |
21 октября | Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций". | Ложкин С. А. |
28 октября | Окончание предыдущего доклада. Некоторые результаты статьи М. И. Гринчука "О монотонной сложности пороговых функций". | Ложкин С. А. |
11 ноября | Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [3] | Романов Д. С. |
18 ноября | О динамической и статической активности схем из функциональных элементов | Шуплецов М. С. |
25 ноября | Вариационный принцип и полуэффект Шеннона для ДНФ | Нагорный А. С. |
2 декабря | Доклад по статье Нечипорука Э. И. "Об одной булевской матрице" | Нагорный А. С. |
Весна 2013 года
Дата | Тема доклада | Докладчик |
---|---|---|
27 февраля | О модели предикатных схем и связи между замкнутыми классами функций и предикатов | Шуплецов М.С. |
6 марта | ||
13 марта | Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций» | Нагорный А.С. |
20 марта | Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул» | Довгалюк Е.Л. |
27 марта | Доклад по статье Кричевского Р.Е. «Минимальная схема из замыкающих контактов для одной булевой функции от n аргументов»Аннотация доклада | Кулешов О.В. |
3 апреля | Доклад по статье Дебрева Е.В. «О безусловных рёберных тестах для регулярных семейств графов»Аннотация доклада | Кумар В. |
10 апреля | О минимальных (1,1)- и (1,2)-контактных схемах для линейных функций Аннотация доклада | Раннев Е.К. |
17 апреля | Доклад по статье Таразевича Ю.Г.«Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» Аннотация доклада | Кортунова Е. М. |
24 апреля | Доклад по статье Алехиной М. А. «Синтез и сложность надежных схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов» | Пузачев Д. С. |
Осень 2012 года
Дата | Тема доклада | Докладчик |
---|---|---|
3 октября | Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций". | Ложкин С. А. |
10 октября | Доклад по статье Э. И. Нечипорука "Об одной булевской матрице"Данные о докладе | Нагорный А. С. |
17 октября | Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе". | Нагорный А. С. |
24 октября | Доклад по статье Маркова А. А. «Об инверсной сложности булевых функций» | Ложкин С. А. |
7 ноября | О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов [Данные о статье] | Романов Д. С. |
14 ноября | О длине кратчайшей ДНФ функции алгебры логики | Нагорный А. С.. |
21 ноября | ||
28 ноября | О некоторых функционалах сложности для схем из функциональных элементов | Шуплецов М. С. |
5 декабря | О некоторых моделях клеточных схем из функциональных элементов | Ложкин С. А., Яблонская А. Ю. |
12 декабря | Реализация функций алгебры логики схемами из функциональных элементов, вложенными в единичный куб | Садовников О. А. |
19 декабря | Обсуждение тем курсовых работ студентов третьего курса |
Весна 2012 года
Дата | Тема доклада | Докладчик |
---|---|---|
29 февраля | Доклад по статье В.М. Храпченко "Глубина и задержка схемы" | Ложкин С.А. |
14 марта | Вариационный принцип и полуэффект Шеннона для ДНФ | Нагорный А.С. |
21 марта | О специальной раскраске вершин единичного куба и системе одноцветных связывающих деревьев Аннотация доклада | Садовников О.А. |
28 марта | Доклад по статье Тиунчика А.А. «О реализации функций алгебры логики клеточными схемами ограниченной ширины»Аннотация доклада | Яблонская А.Ю. |
4 апреля | Об эволюционных методах решения задач синтеза топологии интегральных схем | Марченко А.М. |
18 апреля | Доклад по статье Таразевича Ю.Г. "Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке" аннотация статьи | Шуплецов М.С. |
25 апреля | ||
2 мая | О минимальных π-схемах для монотонных симметрических функций с порогом 2. | Ложкин С.А. |
Осень 2011 года
Дата | Тема доклада | Докладчик |
---|---|---|
11 октября | Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций". | Романов Д.С. |
18 октября | Задача синтеза для модели клеточных схем | Шуплецов М.С. |
25 октября | Доклад по статье Нечипорука Э.И. "Об одной булевской матрице". Данные о докладе | Шуплецов М.С. |
1 ноября | Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" (окончание) | Ложкин С.А. |
8 ноября | Доклад по статье Нечипорука Э.И. "Об одной булевской функции". Аннотация доклада | Романов Д.С. |
15 ноября | Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций". | Романов Д.С. |
22 ноября | Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций". | Шуплецов М.С. |
29 ноября | Доклад по статье Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе". | Романов Д.С. |
6 декабря | Доклад по статье S. Winograd "On the Number of Multiplications Required to Compute Certain Functions" | Лысиков В.В. |
Весна 2011 года
Дата | Тема доклада | Докладчик |
---|---|---|
2 марта | Доклад по статье Х.А.Мадатяна «Полный тест для бесповторных контактных схем» | Морозов Е.В. |
9 марта | ||
23 марта | Доклад по статье J.Pach, J. Töröcsik «Layout of Rooted Trees» | Егоров А.В. |
30 марта | Доклад по статье Й. Денева «Об одной функции, сложно реализуемой методом каскадов» | Коноводов В.А. |
6 апреля | Классы k-значной логики, содержащие все функции одной переменной Аннотация доклада | Нагорный А.С. |
13 апреля | Доклад по статье В.Г.Хахулина «О проверяющих тестах для счетчика четности» Аннотация доклада | Косухин П.Ю. |
20 апреля | Доклад по статье Э.И.Нечипорука «Об одной булевской матрице». | Валиев Т.Р. |
27 апреля | Доклад по статье P.T. Dagra, K.A. Sakallah, I.L. Markov «Faster Symmetry Discovery using Sparsity of Symmetries» Аннотация доклада | Кунаков М.А. |
4 мая | Доклад по статье Мадатяна Х.А. «Синтез контактных схем ограниченной ширины» | Сысоев Н.А. |
Осень 2010 года
Дата | Тема доклада | Докладчик |
---|---|---|
29 сентября | Установочный эксперимент для автоматов Аннотация доклада | Морозов Е.В. |
6 октября | Об оценках функции Шеннона длины полного диагностического теста относительно локальных слипаний переменных Аннотация доклада Статья о нижней оценке | Романов Д.С. |
13 октября | Оценки функции Шеннона длины полного диагностического теста относительно специальных источников неисправностей входов схем | Жидеханова Н.Д. |
20 октября | Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов Аннотация доклада | Богомолова Е.М. |
27 октября | О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций Аннотация доклада | Коноводов В.А |
3 ноября | Минимальные самокорректирующиеся схемы для оператора порязрядного сравнения булевых наборов. | Сысоев Н.А. |
10 ноября | Нижние оценки сложности монотонных контактных схем Аннотация доклада | Морозов Е.В. |
17 ноября | Короткие монотонные формулы для функции голосования.Аннотация доклада | Гасанова К.Э. |
24 ноября | О свойствах теоретико-множественных операций над предполными классами трехзначной логики Аннотация доклада | Нагорный А.С. |
1 декабря | О свойствах теоретико-множественных операций над предполными классами трехзначной логики (окончание). | Нагорный А.С. |
8 декабря | О монотонной сложности пороговых функций | Снегирев О.И. |
15 декабря | Асимптотически минимальные самокорректирующиеся схемы для данной последовательности булевых функций | Копачевский Ю.Ю. |
Весна 2010 года
Дата | Тема доклада | Докладчик |
---|---|---|
24 февраля | Доклад по статье В.П.Битюцкого "Реализация булевых функций плоскими схемами" Аннотация доклада | Богомолова Е.М. |
3 марта | Доклад по статье W.F.McColl "Planar circuits have short specifications" Аннотация доклада | Коноводов В.А. |
10 марта | Оценки функции Шеннона для сложности BDD, вложенных в единичный куб Аннотация доклада | Садовников О.А. |
17 марта | ||
24 марта | Доклад по статье Голубева Д.В. «Задача о гамильтоновом пути в графе с заданной размерностью пространства циклов» | Егоров А.В. |
31 марта | Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" Аннотация доклада | Мордасова М.С. |
7 апреля | Доклад по статье Никитина А.А. "О минимальном числе задержек, необходимом для реализации функций алгебры логики конвейерными схемами" Аннотация доклада | Снегирев О.И. |
14 апреля | Доклад по статье Таразевича Ю.Г. "Реализация линейных функций алгебры логики плоскими контактными схемами" | Копачевский Ю.Ю. |
21 апреля | Доклад по статье Мадатяна Х.А. "Синтез контактных схем ограниченной ширины" | Морозов Е.В. |
28 апреля | Доклад по статье Касим-Заде О.М. "Об одном методе получения оценок сложности схем над бесконечными базисами" | Айтимов А.К. |
Осень 2009 года
Дата | Тема доклада | Докладчик |
---|---|---|
30 сентября | О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций | Копачевский Ю.Ю. |
7 октября | Доклад по статье Тиунчика А.А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" | Улесова Александра |
14 октября | Доклад по статье Храпченко В.М. "О соотношении между сложностью и глубиной формул" Аннотация доклада | Коноводов Владимир |
21 октября | О сложности реализации линейных функций в классе контактных схем (вариант изложения) Аннотация доклада | Богомолова Е.М. |
28 октября | О вопросах полноты для модели схем из предикатных элементов | Шуплецов М.С. |
11 ноября | Доклад по статье Грибка С.В. "Об одном базисе для схем из клеточных элементов" Аннотация доклада | Снегирев О.И. |
18 ноября | О полных проверяющих тестах относительно локальных k-кратных слипаний на входах схем | Романов Д.С., |
25 ноября | О полных проверяющих тестах относительно локальных k-кратных слипаний на входах схем (продолжение) | Романов Д.С., |
2 декабря | Доклад по статье Лупанова О.Б. "О влиянии глубины формул на их сложность" Аннотация доклада | Коноводов Владимир |
9 декабря | Доклад по статье Л. Дж. Валианта "Отрицание малоэффективно для булевых слой-функций" Аннотация доклада | Косухин П.Ю. |
16 декабря | Доклад по статье И.С.Шкребела "О сложности реализации линейных булевых функций схемами из функциональных элементов в базисе " Аннотация доклада | Мордасова М.С. |
Весна 2009 года
Дата | Тема доклада | Докладчик |
---|---|---|
27 февраля | Доклад по статье Н.П.Редькина "Синтез минимальных самокорректирующихся схем сравнения двоичных наборов" (МВК-14) | Жидехова Назима |
13 марта | О роли размыкающих контактов при реализации монотонных функций алгебры логики контактными схемами на примере монотонной симметрической функции с порогом 2. Аннотация доклада | Садовников Олег |
20 марта | Доклад по статье Leslie G. Valiant "Short Monotone Formulae for the Majority Function". J. Algorithms 5(3): 363-366 (1984) | Улесова Александра |
Осень 2008 года
Дата | Тема доклада | Докладчик |
---|---|---|
26 сентября | О реализации функций алгебры логики схемами из некоторых классов, вложенных в единичные кубы (часть первая) (доклад по материалам статей:Ложкин С.А., Седелев О.Б. О реализации функций алгебры логики BDD, вложенными в единичный куб// Вестн. Моск. ун-та, сер. 15. Вычисл. матем. и киберн.-2006.-№4.-С.29-35.; Седелев О.Б. Реализация функций алгебры логики схемами из функциональных элементов, вложенными в единичный куб// Вестн. Моск. ун-та, сер. 15. Вычисл. матем. и киберн.-2008.-№1.-С.44-50.) | Ложкин С.А., Седелев Олег |
17 октября | О реализации функций алгебры логики схемами из некоторых классов, вложенных в единичные кубы (часть вторая) | Ложкин С.А., Седелев Олег |
24 октября | Об оценках длин полных проверяющих тестов относительно локальных k-кратных слипаний переменных препринт статьи. | Романов Д.С., Кузнецов Иван |
7 ноября | О сложности мультиплексорной функции в классе π-схем.(доклад по материалам статьи: Ложкин С.А., Власов Н.В. О сложности мультиплексорной функции в классе π-схем // Проблемы теоретической кибернетики. Тезисы докладов XV международной конференции (2-7 июня 2008г., Казань).-Казань:Отечество,2008.С.76. | Ложкин С.А., Власов Н.В. |
28 ноября | Полный проверяющий тест для инверсных неисправностей на входах.(доклад по материалам книги: Погосян Г.Р. О проверяющих тестах для логических схем. - М.: ВЦ АН СССР, 1982. | Садовников Олег |
5 декабря | Доклад по статье Valiant L.G. Negation is powerless for Boolean slice functions. SIAM J.Comput. Vol. 15, №2, 1986. Р.531-535. | Улесова Александра |
Весна 2008 года
Дата | Тема доклада | Докладчик |
---|---|---|
22 февраля | О порядке функции Шеннона для длины полного проверяющего теста относительно k-кратных слипаний входов схем | Кузнецов Иван |
29 февраля | О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть первая) | Точилов Алексей |
14 марта | О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть вторая) | Точилов Алексей |
21 марта | О сложности реализации некоторых систем функций алгебры логики клеточными схемами (часть третья) | Точилов Алексей |
28 марта | Об одном базисе для схем их клеточных элементов по статье С.В. Грибка | Улесова Александра |
4 апреля | Синтез формул в базисе из элемента дизъюнкции с нулевым весом и элемента отрицания с единичным весом по статье Э.И. Нечипорука | Власов Н.В. |
11 апреля | Синтез СФЭ в базисе из элемента дизъюнкции с нулевым весом и элемента отрицания с единичным весом по статье Э.И. Нечипорука | Кузнецов И.А. |
18 апреля | Об одном покрытии множества двоичных наборов и реализации конъюнкций контактными схемами по статье А.Е. Липатовой | Садовников О.А. |
Осень 2007 года
Дата | Тема доклада | Докладчик |
---|---|---|
5 октября | О реализации функций алгебры логики клеточными схемами ограниченной ширины статья А. А. Тиунчика | Кузнецов Иван |
12 октября | О сложности линейной функции в классе π-схем без нулевых цепей статья С. В. Здобнова | Точилов Алексей |
19 октября | О роли отрицаний при реализации монотонных булевых функций формулами в базисе статья Е. А. Окольнишниковой | Шуплецов Михаил |
26 октября | О реализации функций алгебры логики формулами ограниченной глубины в базисе по статье О. Б. Лупанова | Ложкин С. А. |
2 ноября | О соотношении между сложностью и глубиной формул статья В. М. Храпченко | Стрелкова Наталья |
9 ноября | Об оценках функций Шеннона длин тестов относительно единичных транспозиций входов схем | Романов Д. С. |
16 ноября | О полных проверяющих тестах для КС по статье Н. П. Редькина | Ильин Илья |
23 ноября | О соотношении сложностей двух видов плоских схем из функциональных элементов по статье Ю. Громковича и Б. Шустера | Шуплецов Михаил |
30 ноября | О сложности реализации функций алгебры логики в некоторых бесконечных базисах | Улесова Александра |
7 декабря | О глубине сумматора (умножителя) по статье В. М. Храпченко | Западинский Анатолий |
14 декабря | Об асимптотических оценках сложности контактных схем заданной степени по статье А. Д. Коршунова | Аспиранты кафедры математической кибернетики |