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