Практикум (3 курс, весенний семестр 2015 года)
Содержание
Общая информация
Семинар проходит по понедельникам с 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 мая ТВА
Домашние задания
Первое домашнее задание. Структурный анализ схем.
- Описание задания.
- Распределение по группам.
- Тестовые схемы (набор тестовых схем взят из соревнования ICCAD CAD Contest 2013)
- Срок сдачи задания: 20 апреля.
- Дополнительный срок сдачи задания: 27 апреля(задания, присланные в дополнительный срок, оцениваются с дополнительным штрафом в 50% от полученных баллов).
Второе домашнее задание. Расчет функциональных параметров схем.
- Описание задания.
- Набор тестовых схем и распределение по группам такое же, как и в первом практическом задании.
- Срок сдачи задания: 18 мая.
- Дополнительный срок сдачи задания: 25 мая(задания, присланные в дополнительный срок, оцениваются с дополнительным штрафом в 50% от полученных баллов).
Третье домашнее задание. Классификация схем.
TBA
