Теория управляющих систем и математические модели СБИС — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
Строка 11: Строка 11:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| align="center" | 3 октября
+
| align="center" | 20 февраля
| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+
| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".  
| Зиновьев В. С.
+
| Смирнов А. А.
|-
+
| align="center" | 10 октября
+
| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+
| Зиновьев В. С.
+
|-
+
| align="center" | 17 октября
+
| Тесты для булевых функций относительно вытесняющих неисправностей
+
| Морозов Е. В.
+
|-
+
| align="center" | 24 октября
+
| Комбинаторика и сложность случайных булевых формул
+
| [[Участник:KonovodovV|Коноводов В. А. ]]
+
|-
+
| align="center" | 31 октября
+
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
+
| Раннев Е. К.
+
|-
+
| align="center" | 7 ноября
+
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
+
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
|-
+
| align="center" | 14 ноября
+
| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
+
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
+
|-
+
| align = "center"|21 ноября
+
| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
+
| align = "center"| Довгалюк Е. Л.
+
|-
+
| align = "center"|28 ноября
+
| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
+
| align = "center"| Белышов М. В.
+
|-
+
| align = "center"| 5 декабря
+
| Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" <sup>[http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=743779 Данные о статье]</sup>
+
| align = "center"| Кумар В.
+
|-
+
| align = "center"| 12 декабря
+
| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
+
| align = "center"| Кортунова Е. М.
+
|-
+
| align="center" | 19 декабря
+
|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
+
| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
 
|}
 
|}
  

Версия 23:25, 16 февраля 2015

Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 612.

Расписание докладов

Дата Тема доклада Докладчик
20 февраля Доклад по статье Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов". Смирнов А. А.


архив докладов за прошлые семестры

Руководители

Участники

Аспиранты:

Студенты 5 курса:

  • Костюков Станислав
  • Тренкунов Антон
  • Жукова Анна
  • Чеховская Екатерина
  • Доленко Ольга
  • Белышов Михаил

Студенты 4 курса:

  • Довгалюк Екатерина
  • Кортунова Екатерина
  • Кулешов Олег
  • Кумар Виренд
  • Раннев Егор

Ссылки