Вторая аттестация по курсу проводится на 12-ой учебной неделе для студентов дневной формы обучения. В аттестационный тест входят вопросы по всему пройденному с момента первой аттестации теоретическому материалу и выполненным работам лабораторного практикума.
Структура второго аттестационного теста, типы предлагаемых вопросов и правила оценки такие же, как и в первой аттестации.
Примеры утверждений, используемых в первой части второго аттестационного теста:
- отношение иерархии используется для описания структур в рамках теоретико-автоматного подхода;
- сеть Петри функционирует в дискретном времени;
- ингибиторная ветвь сети Петри запрещает запуск перехода до изъятия маркера из входной вершины;
- в моделях схемотехнического уровня пространственные координаты дискретны;
- анализ функционирования АКА не требует информации о начальных условиях.
Примеры вопросов второй части второго аттестационного теста:
А. Для некоторой системы создана модель управления. Выберите верные по отношению к этой модели утверждения (одно или несколько):
1. Если система находится в установившемся состоянии, то ДУ модели вырождаются в алгебраические;
2. Решением системы уравнений модели является переходной процесс системы;
3. В общем случае возможна линеаризация ДУ модели.
Б. На рис. 106 указана нулевая разметка простой сети Петри. Время срабатывания всех переходов (1-4) равно 1 секунде.
1. Верно ли, что при нулевой разметке активны все переходы (да, нет)?
2. Верно ли, что максимальное число меток в вершине Р, возможное при такой нулевой разметке, равно 4 (да, нет)?
3. Верно ли, что при заданной нулевой разметке переход 1 может вообще не сработать (да, нет)?
В. При использовании кусочно-линейной аппроксимации аппроксимирующая функция:
1) разрывна в узлах, а ее производные непрерывны;
2) непрерывна в узлах, а ее производные разрывны;
3) разрывна в узлах;
4) между двумя соседними узлами имеет вид аналитической функции, описывающей реальную зависимость.
Кроме тестовых вопросов в тесте предлагаются практические задания по описаниям абстрактных конечных автоматов, анализу маркировок сетей Петри и решению задачи управления для структурного примитива, описываемого дифференциальным уравнением первого порядка.