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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
Строка 11: Строка 11:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 20 февраля
+
| align="center" | 9 октября
−
| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
+
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
−
| Смирнов А. А.
+
| Зиновьев В. С.  
 
|-
 
|-
−
| align="center" | 27 февраля
+
| align="center" | 16 октября
−
| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
+
| Синтез и сложность дешифраторных схем контактного типа
−
| Сальников В. А.
+
| Добровецкий Д. И.
−
|-
+
−
| align="center" | 13 марта
+
−
| О динамической активности мультиплексорной функции
+
−
| Кулешов О. В.
+
−
|-
+
−
| align="center" | 27 марта
+
−
| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
+
−
| Тамм Я.-М. Ю.
+
−
|-
+
−
| align="center" | 3 апреля
+
−
| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
+
−
| Павлов А. В.
+
−
|-
+
−
| align="center" | 10 апреля
+
−
| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
+
−
| Пузачев Д. С.
+
−
|-
+
−
| align="center" | 24 апреля
+
−
| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
+
−
|
+
 
|}
 
|}
  

Версия 16:51, 15 октября 2015

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

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

Дата Тема доклада Докладчик
9 октября Синтез и сложность универсальных схем контактного типа с разделёнными полюсами Зиновьев В. С.
16 октября Синтез и сложность дешифраторных схем контактного типа Добровецкий Д. И.


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

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

Участники

Аспиранты:

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

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

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

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

Ссылки

Источник — «https://mk.cs.msu.ru/index.php?title=Теория_управляющих_систем_и_математические_модели_СБИС&oldid=2189»