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

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

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

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

Аспиранты:

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

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

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