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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

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

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

Дата Тема доклада Докладчик
20 февраля Доклад по статье Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов". Смирнов А. А.
27 февраля Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа" Сальников В. А.
13 марта О динамической активности мультиплексорной функции Кулешов О. В.
27 марта Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [1] Тамм Я.-М. Ю.
3 апреля Использования методов логического синтеза для ускорения решения задач верификации схем [2] Павлов А. В.
10 апреля О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [3] Пузачев Д. С.


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

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

Участники

Аспиранты:

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

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

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

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

Ссылки