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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
Строка 34: Строка 34:
 
| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
 
| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
 
| Пузачев Д. С.
 
| Пузачев Д. С.
 +
|-
 +
| align="center" | 24 апреля
 +
| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
 +
|
 
|}
 
|}
  

Версия 20:31, 16 апреля 2015

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

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

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


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

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

Участники

Аспиранты:

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

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

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

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

Ссылки