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

Версия 22:41, 8 апреля 2015

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

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

Аспиранты:

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

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

@@ Строка 30: / Строка 30: @@
 | Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
 | Павлов А. В.
+|-
+| align="center" | 10 апреля
+| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
+| Пузачев Д. С.
 |}