Некоторые вопросы синтеза управляющих систем (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
(Перенос в архив) |
RomanovDS (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
+ | == Осень 2015 года == | ||
+ | |||
+ | {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5" | ||
+ | ! Дата | ||
+ | ! Тема доклада | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | align="center" | 9 октября | ||
+ | | Синтез и сложность универсальных схем контактного типа с разделёнными полюсами | ||
+ | | Зиновьев В. С. | ||
+ | |- | ||
+ | | align="center" | 16 октября | ||
+ | | Синтез и сложность дешифраторных схем контактного типа | ||
+ | | Добровецкий Д. И. | ||
+ | |- | ||
+ | | align = "center"|6 ноября | ||
+ | | О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций. <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup> | ||
+ | | Любич И.Г. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 13 ноября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад по статье 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" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 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 (задача соревнования) | ||
+ | | Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир. | ||
+ | |- | ||
+ | | align = "center"|27 ноября | ||
+ | | Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" <sup>[[Media:SemAnnot26112015.pdf|Аннотация доклада]]</sup> | ||
+ | | Данилов Б.Р. | ||
+ | |- | ||
+ | | align = "center"|4 декабря | ||
+ | | Доклад по статье Ложкина С. А., Ли Да Мина "О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки" <sup>[[Media:visotskiy.docx|Аннотация доклада]]</sup> | ||
+ | | Высоцкий Л.И. | ||
+ | |- | ||
+ | | rowspan="2" align="center" | 11 декабря | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | ||
+ | |- | ||
+ | | Доклад "Маршрут физического проектирования систем на кристалле" | ||
+ | | Евгений Зенин | ||
+ | |} | ||
+ | |||
== Весна 2015 года == | == Весна 2015 года == | ||
Строка 683: | Строка 732: | ||
| [[Аспиранты кафедры математической кибернетики|Аспиранты кафедры математической кибернетики]] | | [[Аспиранты кафедры математической кибернетики|Аспиранты кафедры математической кибернетики]] | ||
|} | |} | ||
+ | |||
Версия 11:18, 2 марта 2016
Содержание
- 1 Осень 2015 года
- 2 Весна 2015 года
- 3 Осень 2014 года
- 4 Весна 2014 года
- 5 Осень 2013 года
- 6 Весна 2013 года
- 7 Осень 2012 года
- 8 Весна 2012 года
- 9 Осень 2011 года
- 10 Весна 2011 года
- 11 Осень 2010 года
- 12 Весна 2010 года
- 13 Осень 2009 года
- 14 Весна 2009 года
- 15 Осень 2008 года
- 16 Весна 2008 года
- 17 Осень 2007 года
- 18 Руководители
Осень 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 декабря | Об асимптотических оценках сложности контактных схем заданной степени по статье А. Д. Коршунова | Аспиранты кафедры математической кибернетики |