Некоторые вопросы синтеза управляющих систем (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
(Видимые границы таблиц) |
м (→Весна 2011 года) |
||
| Строка 229: | Строка 229: | ||
|- | |- | ||
| align="center"|6 апреля | | align="center"|6 апреля | ||
| − | | Классы | + | | Классы k-значной логики, содержащие все функции одной переменной <sup>[[Media:Nagorny_06_04.pdf|Аннотация доклада]]</sup> |
| align="center"|[[Нагорный Александр Степанович|Нагорный А.С.]] | | align="center"|[[Нагорный Александр Степанович|Нагорный А.С.]] | ||
|- | |- | ||
Версия 00:27, 10 февраля 2014
Содержание
Осень 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 года
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 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 декабря | Об асимптотических оценках сложности контактных схем заданной степени по статье А. Д. Коршунова | Аспиранты кафедры математической кибернетики |
