Некоторые вопросы синтеза управляющих систем (Архив)
Материал из Кафедра математической кибернетики
Весна 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 ноября
|
Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [1]
|
Романов Д. С.
|
| 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 года
Руководители
" Аннотация доклада
статья Е. А. Окольнишниковой
