Некоторые вопросы синтеза управляющих систем (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
|
|
Строка 64: |
Строка 64: |
| | Шишков Илья Сергеевич | | | Шишков Илья Сергеевич |
| |- | | |- |
− | |}
| |
− |
| |
− |
| |
− | {| width="98%"
| |
− | |
| |
− | |
| |
− | {| class="wide"
| |
− | | bgcolor="#ffffbf" |
| |
− | |}
| |
− | |<small>темы семинаров предварительные, следите за возможными изменениями</small>
| |
− | | align="right" | [[Некоторые вопросы синтеза управляющих систем (Архив)|архив докладов за прошлые семестры]]
| |
| |} | | |} |
| | | |
Версия 20:49, 20 сентября 2016
Весна 2016 года
Осень 2015 года
Весна 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 года
Весна 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 года
Руководители