|
|
| (не показаны 213 промежуточные версии 3 участников) |
| Строка 1: |
Строка 1: |
| − | Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''505'''. | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.'' |
| | + | |
| | + | Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]] |
| | | | |
| | == Расписание докладов == | | == Расписание докладов == |
| Строка 11: |
Строка 13: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | rowspan="2" align="center" | 19 февраля | + | | align="center" | 20 сентября |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | + | | Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup> |
| | + | | align="center" | Сергеев Максим |
| | |- | | |- |
| − | | Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup> | + | | align="center" | 27 сентября |
| − | | Зиновьев В.С. | + | | Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup> |
| − | |-
| + | | align="center" | Долгих Любовь |
| − | | rowspan="2" align="center" | 26 февраля
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| + | |
| | |- | | |- |
| − | | Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup> | + | | align="center" | 4 октября |
| − | | Смирной Максим | + | | Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup> |
| − | |-
| + | | align="center" | Гребенкин Сергей |
| − | | rowspan="2" align="center" | 4 марта
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| + | |
| | |- | | |- |
| − | | Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup> | + | | align="center" | 11 октября |
| − | | Вяткин Евгений | + | | Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem20241011.pdf|Аннотация доклада]]</sup> |
| | + | | align="center" | Михалев Евгений |
| | |- | | |- |
| − | | align="center" | 11 марта
| |
| − | | Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup>
| |
| − | | Бежовец А.В.
| |
| − | |-
| |
| − | | align="center" | 18 марта
| |
| − | | Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup>
| |
| − | | Павлов А.В.
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 25 марта
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
| |
| − | | Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
| |
| − | |-
| |
| − | | align="center" | 1 апреля
| |
| − | | Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"
| |
| − | | Курбацкая В.К.
| |
| − | |-
| |
| − | | align = "center"| 8 апреля
| |
| − | | Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
| |
| − | | Кухтинов А.С.
| |
| − | |-
| |
| − | | align = "center"| 15 апреля
| |
| − | | Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами».
| |
| − | | Высоцкий Л.И.
| |
| − | |-
| |
| − | | 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" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
| |
| − | | Калинина А.Н.
| |
| − | |-
| |
| | |} | | |} |
| | | | |
| Строка 75: |
Строка 37: |
| | | | |
| | |} | | |} |
| − |
| |
| − | == Руководители ==
| |
| − |
| |
| − | * проф. [[Ложкин Сергей Андреевич]]
| |
| − | * проф. [[Марченко Александр Михайлович]]
| |
| − | * доц. [[Романов Дмитрий Сергеевич]]
| |
| − |
| |
| − | == Участники ==
| |
| − |
| |
| − | {| width="100%"
| |
| − | | width="40%" |
| |
| − |
| |
| − | <u>Аспиранты:</u>
| |
| − | * Антюфеев Григорий
| |
| − | * Богомолова Евгения
| |
| − | * [[Участник:KonovodovV|Коноводов Владимир]]
| |
| − | * Морозов Евгений
| |
| − | | width="40%" |
| |
| − |
| |
| − | <u>Студенты 5 курса:</u>
| |
| − | * Костюков Станислав
| |
| − | * Тренкунов Антон
| |
| − | * Жукова Анна
| |
| − | * Чеховская Екатерина
| |
| − | * Доленко Ольга
| |
| − | * Белышов Михаил
| |
| − | |
| |
| − |
| |
| − | <u>Студенты 4 курса:</u>
| |
| − | * Довгалюк Екатерина
| |
| − | * Кортунова Екатерина
| |
| − | * Кулешов Олег
| |
| − | * Кумар Виренд
| |
| − | * Раннев Егор
| |
| − | |}
| |
| − |
| |
| − | == Ссылки ==
| |
| − | * [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dHB2ZjVpbjR2SkdmYVRVcUVqUG1sMGc&single=true&gid=0&output=html Таблицы посещаемости (2013-2014 учебный год)]
| |
| | | | |
| | [[Категория:Спецсеминары кафедры математической кибернетики]] | | [[Категория:Спецсеминары кафедры математической кибернетики]] |
