Практикум (3 курс, весенний семестр 2015 года) — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Новая страница: «== Общая информация == Семинар проходит по понедельникам с 16:05 до 17:55 в аудитории 503. Семина…»)
 
 
(не показаны 7 промежуточные версии 1 участника)
Строка 1: Строка 1:
 +
[[Категория:Семинары кафедры математической кибернетики (архив)]]
 +
 
== Общая информация ==
 
== Общая информация ==
 
Семинар проходит по понедельникам с 16:05 до 17:55 в аудитории 503. Семинары ведет [[Шуплецов Михаил Сергеевич]].
 
Семинар проходит по понедельникам с 16:05 до 17:55 в аудитории 503. Семинары ведет [[Шуплецов Михаил Сергеевич]].
  
 
== Программа семинаров ==
 
== Программа семинаров ==
 +
''' 9 февраля '''
 +
Вводное занятие. Программа семинаров. Общее описание практических заданий.
 +
 +
''' 16 февраля '''
 +
Задачи анализа логических схем. Общие постановки задачи распознавания и классификации логических схем. Построение пространства признаков для логических схем.
 +
 +
''' 2 марта '''
 +
Структурные параметры логических схем. Параметры вершин и ребер графа логической схемы. Параметры структуры графа логической схемы: пути и конусы в логических схемах. Извлечение структурных параметров схемы.
 +
 +
''' 16 марта '''
 +
TBA
 +
 +
''' 23 марта '''
 +
Обзор библиотеки [http://www.boost.org/doc/libs/1_57_0/libs/graph/doc/index.html Boost Graph Library] (BGL). Элементы обобщенного программирования (на примере STL). Основные принципы построения библиотеки BGL. Примеры использования библиотеки BGL. [http://ecee.colorado.edu/~siek/boostcon2010bgl.pdf Презентация].
 +
 +
''' 30 марта '''
 +
ТВА
 +
 +
''' 6 апреля '''
 +
Основные структуры данных для хранения графов. [http://www.boost.org/doc/libs/1_57_0/libs/graph/doc/adjacency_list.html Списки] и [http://www.boost.org/doc/libs/1_57_0/libs/graph/doc/adjacency_matrix.html матрицы] смежности в BGL. Основные [http://www.boost.org/doc/libs/1_57_0/libs/graph/doc/graph_traits.html ассоциированные типы] для графов в BGL: дескрипторы и итераторы для вершин и ребер графа. Параметризация графов в BGL ([http://www.boost.org/doc/libs/1_57_0/libs/graph/doc/using_property_maps.html property_maps]).
 +
 +
''' 13 апреля '''
 +
ТВА
 +
 +
''' 20 апреля '''
 +
ТВА
 +
 +
''' 27 апреля '''
 +
TBA
 +
 +
''' 18 мая '''
 
ТВА
 
ТВА
  
Строка 9: Строка 42:
 
* [[Media:Prac_2015_318_HW1.pdf|Описание задания]].
 
* [[Media:Prac_2015_318_HW1.pdf|Описание задания]].
 
* [[Media:Prac_2015_318_HW1_groups.pdf|Распределение по группам]].
 
* [[Media:Prac_2015_318_HW1_groups.pdf|Распределение по группам]].
−
* Тестовые схемы (набор тестовых схем взят из соревнования [http://cad_contest.cs.nctu.edu.tw/CAD-contest-at-ICCAD2013/problem_a/#testcase|ICCAD CAD Conttest 2013])
+
* Тестовые схемы (набор тестовых схем взят из соревнования [http://cad_contest.cs.nctu.edu.tw/CAD-contest-at-ICCAD2013/problem_a/#testcase ICCAD CAD Contest 2013])
 
**[[Media:Prac_2015_318_HW1_ut1.txt|Схема ut1]]
 
**[[Media:Prac_2015_318_HW1_ut1.txt|Схема ut1]]
 
**[[Media:Prac_2015_318_HW1_ut2.txt|Схема ut2]]
 
**[[Media:Prac_2015_318_HW1_ut2.txt|Схема ut2]]
Строка 15: Строка 48:
 
**[[Media:Prac_2015_318_HW1_ut4.txt|Схема ut4]]
 
**[[Media:Prac_2015_318_HW1_ut4.txt|Схема ut4]]
 
**[[Media:Prac_2015_318_HW1_ut5.txt|Схема ut5]]
 
**[[Media:Prac_2015_318_HW1_ut5.txt|Схема ut5]]
−
* Срок сдачи задания: '''6 апреля'''.
+
* Срок сдачи задания: '''20 апреля'''.
−
* Дополнительный срок сдачи задания: '''13 апреля'''(задания, присланные в дополнительный срок, оцениваются с дополнительным штрафом в 50% от полученных баллов).
+
* Дополнительный срок сдачи задания: '''27 апреля'''(задания, присланные в дополнительный срок, оцениваются с дополнительным штрафом в 50% от полученных баллов).
 +
 
 +
=== Второе домашнее задание. Расчет функциональных параметров схем. ===
 +
* [[Media:Prac_2015_318_HW2.pdf|Описание задания]].
 +
* Набор тестовых схем и распределение по группам такое же, как и в первом практическом задании.
 +
* Срок сдачи задания: '''18 мая'''.
 +
* Дополнительный срок сдачи задания: '''25 мая'''(задания, присланные в дополнительный срок, оцениваются с дополнительным штрафом в 50% от полученных баллов).
  
−
[[Категория:Семинары кафедры математической кибернетики]]
+
=== Третье домашнее задание. Классификация схем. ===
 +
TBA

Текущая версия на 18:18, 9 февраля 2019


Общая информация

Семинар проходит по понедельникам с 16:05 до 17:55 в аудитории 503. Семинары ведет Шуплецов Михаил Сергеевич.

Программа семинаров

9 февраля Вводное занятие. Программа семинаров. Общее описание практических заданий.

16 февраля Задачи анализа логических схем. Общие постановки задачи распознавания и классификации логических схем. Построение пространства признаков для логических схем.

2 марта Структурные параметры логических схем. Параметры вершин и ребер графа логической схемы. Параметры структуры графа логической схемы: пути и конусы в логических схемах. Извлечение структурных параметров схемы.

16 марта TBA

23 марта Обзор библиотеки Boost Graph Library (BGL). Элементы обобщенного программирования (на примере STL). Основные принципы построения библиотеки BGL. Примеры использования библиотеки BGL. Презентация.

30 марта ТВА

6 апреля Основные структуры данных для хранения графов. Списки и матрицы смежности в BGL. Основные ассоциированные типы для графов в BGL: дескрипторы и итераторы для вершин и ребер графа. Параметризация графов в BGL (property_maps).

13 апреля ТВА

20 апреля ТВА

27 апреля TBA

18 мая ТВА

Домашние задания

Первое домашнее задание. Структурный анализ схем.

Второе домашнее задание. Расчет функциональных параметров схем.

  • Описание задания.
  • Набор тестовых схем и распределение по группам такое же, как и в первом практическом задании.
  • Срок сдачи задания: 18 мая.
  • Дополнительный срок сдачи задания: 25 мая(задания, присланные в дополнительный срок, оцениваются с дополнительным штрафом в 50% от полученных баллов).

Третье домашнее задание. Классификация схем.

TBA

Источник — «https://mk.cs.msu.ru/index.php?title=Практикум_(3_курс,_весенний_семестр_2015_года)&oldid=5842»