Главная / Алгоритмы и дискретные структуры / Теория экспериментов с конечными автоматами

Теория экспериментов с конечными автоматами - ответы на тесты Интуит

Правильные ответы выделены зелёным цветом.
Все ответы: Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях.

Решение проблемы повышения надежности цифровых устройств (ЦУ)

(1) включает обнаружение неисправности в ЦУ

(2) не включает обнаружение неисправности в ЦУ

(3) не зависит от обнаружения неисправности в ЦУ

Каждому обобщенному состоянию (ОС) линейного автомата соответствует

(1) некоторое подмножество math

всех состояний ЛА

(2) некоторое подмножество math

всех выходов ЛА

(3) некоторое подмножество math

всех входов ЛА

Автоматы, являющиеся неинициальными, т. е. такими, у которых начальное состояние неизвестно, называются

(1) СБПИ-автоматами

(2) БПИ-автоматами

(3) СБПИК-автоматами

Автомат Мили math

может быть задан в виде

(1) таблиц переходов и выходов

(2) матриц

(3) графа

Состояние, в котором рассматриваемый ЛА оказывается после подачи ОСП, называется

(1) обобщенным синхросостоянием

(2) необобщенным синхросостоянием

(3) простым синхросостоянием

Для того чтобы входная последовательность math

была СП для БА math

, необходимо и достаточно, чтобы выполнялось

(1)

(2)

(3)

Обобщенными автоматами без потери информации (ОБПИ-автоматами) называются

(1) автоматы, для которых задача распознавания проекции слова math

может быть решена независимо от входного слова и действительного начального состояния из множества math

(2) автоматы, для которых задача распознавания проекции слова math

может быть решена независимо от выходного слова и действительного начального состояния из множества math

(3) автоматы, для которых задача распознавания проекции слова math

может быть решена независимо от входного слова и действительного конечного состояния из множества math

Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. На данном рисунке блок В

(1) представляет собой запоминающее устройство

(2) является комбинационным устройством

(3) реализует функцию выходов

Принцип построения СВК может быть использован и для

(1) устройств без памяти, описываемых математической моделью автомата Мили

(2) устройств с памятью, которые нельзя описать математической моделью автомата Мили.

(3) устройств с памятью, описываемых математической моделью автомата Мили

Если для

-ЛА существует хотя бы одна ОСП длины math

, то обобщенными СП для него являются любые входные последовательности длины

(1) неравной math

(2) меньше math

(3)

и более

Укажите верное утверждение:

(1) если ранг характеристической матрицы math

ЛА

равен

, то из любой вершины графа переходов этого автомата не может выходить более двух дуг

(2) если ранг характеристической матрицы math

ЛА

равен

, то из любой вершины графа переходов этого автомата не может выходить более одной дуги, помеченной одним и тем же входным сигналом

(3) если ранг характеристической матрицы math

ЛА

равен

, то из любой вершины графа переходов этого автомата не может выходить более одной дуги, помеченной одним и тем же выходным сигналом

Если состояние math

не является концом ни одной дуги автомата math

, т.е

не достижимо ни из одного состояния, отличного от math

, то оно называется

(1) тупиковым

(2) замкнутым

(3) переходящим

Укажите верное утверждение:

(1) нулевое обобщенное синхросостояние никогда не входит во множество всех синхросостояний ЛА

(2) нулевое обобщенное синхросостояние иногда входит во множество всех синхросостояний ЛА

(3) нулевое обобщенное синхросостояние всегда входит во множество всех синхросостояний ЛА

-матрица неоднородной системы уравнений math

. Если

, то

(1) система имеет единственное решение

(2) решение системы дает искомую СП

(3) система имеет множество решений

Если выполняется math

, то пара состояний math

называется

(1) состояниями с частичной потерей информации (СПИ-состояниями)

(2) состояниями без потери информации

(3) состояниями с потерей информации

Функция выходов будет распознана, если

(1) в результате проведения эксперимента для любого состояния этого автомата будет определена его реакция на любой выходной символ

(2) в результате проведения эксперимента только для первого состояния этого автомата будет определена его реакция на любой входной символ

(3) в результате проведения эксперимента для любого состояния этого автомата будет определена его реакция на любой входной символ

Укажите верное утверждение:

(1) реакция автомата с памятью непредсказуема, если неизвестно его начальное состояние

(2) реакция автомата с памятью может быть предсказана, если имеется информация о том, из какого состояния данный автомат стартовал

(3) реакция автомата с памятью может быть предсказана, если имеется информация о конечном состоянии автомата

Для того чтобы math

-ЛА

размерности math

имел обобщенную ДП длины math

, необходимо и достаточно, чтобы

(1) ранг матрицы math

был равен

(2)

(3) ранг матрицы math

был равен

Для того чтобы ЛА был автоматом СБПИК- math

, необходимо и достаточно, чтобы math

была

(1) ненулевой матрицей

(2) нулевой матрицей

(3) единичной матрицей

Задача отыскания начального (стартового) состояния заданного автомата называется

(1) установочной

(2) диагностической

(3) аналитической>

Укажите правильное утверждение:

(1) задача построения ОСП максимального веса, переводящей обобщенно синхронизируемый ЛА в заданное обобщенное синхросостояние, всегда может быть сведена к задаче целочисленного программирования с линейными ограничениями

(2) задача построения ОСП минимального веса, переводящей обобщенно синхронизируемый ЛА в заданное обобщенное синхросостояние, всегда может быть сведена к задаче целочисленного программирования с линейными ограничениями

(3) задача построения ОСП минимального веса, переводящей обобщенно синхронизируемый ЛА в заданное обобщенное синхросостояние, всегда может быть сведена к задаче целочисленного программирования с нелинейными ограничениями

Задачи синхронизации и установки автоматов - это разновидности задачи управления дискретной системой (ДС), которая в общем виде формулируется следующим образом:

(1) для рассматриваемой ДС найти такую выходную последовательность, которая переводит ее из состояния math

в состояние math

(2) для рассматриваемой ДС найти такую входную последовательность, которая переводит ее из состояния math

в состояние math

(3) для рассматриваемой ДС найти такую входную последовательность, которая переводит ее из состояния math

в состояние math

Если из ориентированного конечного графа math

удалить все вершины вида math

вместе с инцидентными им дугами, если последние, в свою очередь, инцидентны только вершинам такого же вида, а также изолированные вершины, то полученный в результате такого удаления ориентированный конечный граф называется

(1) удаленным графом автомата math

(2) проверочным графом автомата math

(3) аналитическим графом автомата math

Если автомат задан в виде ориентированного графа, у которого начальной является вершина math

, то входному слову в графе автомата будет соответствовать

(1) путь, начинающийся в math

и проходящий через половину его дуг

(2) путь, начинающийся в math

и проходящий через все его дуги

(3) путь, заканчивающийся в math

и проходящий при этом через все его дуги

Структурная схема ЛА состоит из соединения конечного числа элементарных составляющих, каждая из которых мгновенно выполняет:

(1) осложение входных сигналов по правилам конечного поля, над которым задан ЛА

(2) умножение входного сигнала на константу по правилам конечного поля, над которым задан автомат

(3) задержку входного сигнала на один временной такт

Если ДС запаздывает по состоянию, то ее поведение описывается уравнением:

(1)

(2)

(3)

Укажите правильное утверждение:

(1) для того чтобы ЛА БПИ являлся неизбыточным по выходам, необходимо и достаточно, чтобы число его выходных каналов math

было не меньше числа его входных каналов math

(2) для того чтобы ЛА БПИ являлся избыточным по выходам, необходимо и достаточно, чтобы число его выходных каналов math

было не меньше числа его входных каналов math

(3) для того чтобы ЛА БПИ являлся неизбыточным по выходам, необходимо и достаточно, чтобы число его выходных каналов math

было меньше числа его входных каналов math

Один автомат будем называть копией другого, если

(1) они имеют одинаковые графы переходов

(2) они оба являются очень похожими

(3) перед началом эксперимента оба они находятся в одном и том же состоянии

Каково количество перепадов в послежовательности 01110110

(1) 4

(2) 8

(3) 3

Для того чтобы входная последовательность math

была УП для БА math

, необходимо и достаточно, чтобы для каждого ненулевого состояния math

выполнялось:

(1)

(2)

(3)

ОБПИК-автоматы в качестве частного случая включают в себя

(1) БПИК-автоматы

(2) СБПИК-автоматы

(3) БПИ-автоматы

Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Решение задачи построения простого безусловного эксперимента позволяет

(1) распознать функцию выходов автомата или эквивалентного ему автомата

(2) решать задачу контроля функции выходов инициального автомата

(3) решать и задачу контроля функции входов инициального автомата

Если усилитель равен 0, то он

(1) обозначает разрыв

(2) обозначают прямое соединение

(3) изменяет знак входного сигнала

ЛА

, заданный над полем math

уравнением math

при

для любого math

называется

(1) свободным

(2) несвободным

(3) единичным

Если исходный ЛА не является автоматом БПИ, то оптимальный ОБПИ подавтомат, если таковой существует, можно найти методом перебора начиная с подавтомата math

, где

(1)

(2)

(3)

Дерево преемников является

(1) бесконечной структурой

(2) конечной структурой

(3) однородной структурой

Подмножество math

, такое, что math

называестя

(1) правильным замкнутым интервалом

(2) неправильным замкнутым интервалом

(3) вырожденным замкнутым интервалом

БА

называется БА без потери информации из состояния math

(БПИ-

, если

(1) зная это состояние и наблюдая выходную последовательность на любую неизвестную входную последовательность, последнюю можно определить однозначно

(2) зная это состояние и наблюдая входную последовательность на любую неизвестную входную последовательность, последнюю можно определить однозначно

(3) зная это состояние и наблюдая выходную последовательность на любую неизвестную входную последовательность, последнюю нельзя определить однозначно

Продолжите утверждение. Каждой комбинации из math

символов, являющихся проекциями реакций автомата math

по выходным каналам с номерами math

, однозначно соответствует искомая проекция

(1) первого символа неизвестного входного слова

(2) последнего символа неизвестного входного слова

(3)

-го символа неизвестного входного слова

Выберете верное утверждение

(1) характеристическое слово автомата в точности соответствует пути по графу этого автомата

(2) характеристическое слово автомата не соответствует пути по графу этого автомата

(3) характеристическое слово автомата в точности соответствует обходу этого автомата

Если

, то входная последовательность math

является

(1) установочной

(2) синхронизирующеей

(3) диагностической

Состояние равновесия math

свободного ЛА math

при

называется

(1) асимптотически неустойчивым

(2) асимптотически устойчивым

(3) неустойчивым

Восстановление неизвестной входной последовательности по известному начальному состоянию автомата и наблюдаемой реакции в случае ЛА сводится к

(1) решению системы нелинейных уравнений

(2) решению системы линейных уравнений

(3) решению линейного уравнения

При построении синхронизирующего дерева автомата math

с множеством math

допустимых начальных состояний вершина math

-го уровня становится листом, если

(1)

(2) она является однородной

(3) на уровнях, предшествующих math

-му, имеется такая вершина math

, что

, но значение флажка вершины math

больше значения флажка вершины math

(4) на уровнях, предшествующих math

-му, имеется такая вершина math

, что

, а значение флажка вершины math

больше значения флажка вершины math

Два интервала math

называются равными, если

(1) они не равны в смысле теории множеств

(2) они равны в смысле теории множеств

(3) они равны в смысле теории относительности

Для того чтобы БА math

был БА БПИ, необходимо и достаточно, чтобы для любого состояния math

был равен

(1)

(2)

(3)

Укажите верное утверждение:

(1) задачу контроля сети автоматов можно свести к задаче контроля одного автомата

(2) задачу контроля сети автоматов нельзя свести к задаче контроля одного автомата

(3) задачу контроля сети автоматов можно свести к задаче контроля одного автомата, только если сеть состоит не более чем из 3 автоматов

Путь (контур) в графе длины math

, проходящий через все его дуги и только по одному разу является

(1) эйлеровым путем

(2) эйлеровым контуром

(3) исходящим путем

Для того чтобы ЛА math

имел СП длины math

, необходимо и достаточно, чтобы

(1)

(2)

(3)

Для того чтобы ЛА над полем math

имел асимптотически устойчивое состояние, необходимо и достаточно, чтобы он был

(1) несинхронизируемым

(2) синхронизируемым

(3) единичным

Выходной канал math

ЛА назовем избыточным, если

(1) в любой момент времени math

значение сигнала math

на нем есть нелинейная комбинация сигналов на других выходных каналах этого же ЛА

(2) в любой момент времени math

значение сигнала math

на нем есть линейная комбинация сигналов на других выходных каналах этого же ЛА

(3) в любой момент времени math

значение сигнала math

на нем есть линейная комбинация сигналов на других входных каналах этого же ЛА

Построение графа синхронизации автомата осуществляется

(1) рекурсивно

(2) последовательно

(3) индуктивно

Если для линейных автоматов предполагается, что каждая выходная реакция в момент времени math

- это вектор, координаты которого представляют собой точные значения, то такая задача называется

(1) интервальной диагностической задачей

(2) классической диагностической задачей

(3) неклассической диагностической задачей

Если уравнение состояния БА имеет вид math

то БА

(1) с запаздыванием по управлению

(2) с запаздыванием по состоянию

(3) без запаздывания

. На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1. math

Если состояние автомата равно 1, то конечное состояние будет равно

(1) 1

(2) 2

(3) 3

Для сильно связного графа math

степени

и диаметра math

имеет место неравенство

(1)

(2)

(3)

Если для ЛА math

, у которого характеристическая матрица math

невырожденная, существует хотя бы одна УП длины math

, то длина его входной установочной последовательности может быть равна

(1)

(2)

(3)

Тест - это

(1) один из способов обнаружения неисправностей, который заключается в подаче на устройство специально построенной входной последовательности без прерывания его текущей работы

(2) один из способов обнаружения неисправностей, который заключается в прерывании режима штатной работы устройства и подачи на него специально построенной входной последовательности

(3) один из способов обнаружения неисправностей, который заключается в подаче на устройство специально построенной выходной последовательности без прерывания его текущей работы math

Для того чтобы ЛА был БПИ и неизбыточным по выходам, необходимо и достаточно, чтобы

(1) число входных каналов равно числу выходных math

(2) число входных каналов не равно числу выходных math

(3) ранг матрицы math

равен

Укажите правильное утверждение:

(1) для решения задачи синтеза максимальной по весу синхронизирующей последовательности, необходимо построить таблицу переходов-выходов графа синхронизации автомата, и найти в нем минимальной по весу СП методом динамического программирования

(2) для решения задачи синтеза минимальной по весу синхронизирующей последовательности, необходимо построить таблицу переходов-выходов графа установки автомата, и найти в нем минимальной по весу СП методом динамического программирования

(3) для решения задачи синтеза минимальной по весу синхронизирующей последовательности, необходимо построить таблицу переходов-выходов графа синхронизации автомата, и найти в нем минимальной по весу СП методом динамического программирования

Укажите правильное утверждение:

(1) общее число состояний в преемнике math

-группы в интервальном диагностическом дереве может оказаться больше мощности множества допустимых начальных состояний автомата

(2) общее число состояний в преемнике math

-группы в интервальном диагностическом дереве не может оказаться больше мощности множества допустимых начальных состояний автомата

(3) общее число состояний в преемнике math

-группы в интервальном диагностическом дереве всегда больше мощности множества допустимых начальных состояний автомата

Билинейные автоматы с запаздыванием являются частным случаем общих билинейных систем с распределенным запаздыванием, где соответствующие матрицы (запаздывание на math

такт) являются

(1) нулевыми

(2) ненулевыми

(3) единичными

На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1. math

Если

, то проекцией по 1-му входному каналу неизвестного входного слова является

(1) 1,0,1

(2) 1,1,1

(3) 1,0,0

Укажите верное утверждение

(1) множество math

путей в графе math

, исходящих из начальной вершины math

этого графа, называется покрытием, если каждая дуга math

принадлежит некоторому пути из math

(2) множество math

путей в графе math

, исходящих из любой вершины math

этого графа, называется покрытием, если каждая дуга math

принадлежит некоторому пути из math

(3) множество math

путей в графе math

, исходящих из начальной вершины math

этого графа, называется покрытием, если каждая дуга math

принадлежит некоторому пути из math

Существующие методы контроля ЦУ подразделяются на

(1) тестовые

(2) аналитические

(3) функцтональные

Обобщенной диаграммой переходов для math

-ЛА над полем math

называется ориентированный граф, содержащий

(1)

вершин, взаимно однозначно соответствующих каждому ОС этого автомата

(2)

вершин, взаимно однозначно соответствующих каждому ОС этого автомата

(3)

вершин, взаимно однозначно соответствующих каждому ОС этого автомата

Вид контроля, который ведется непрерывно в процессе функционирования устройства и параллельно с его работой называется

(1) аналитическим контролем

(2) тестовым контролем

(3) функциональным контролем

Если из любого состояния автомата достижимы все его состояния, то такой автомат называется

(1) сильно связным

(2) полно связным

(3) слабо связным

Если ЛА является обобщенно синхронизируемым, то для любого math

множество синхросостояний, порождаемых всеми ОСП длины math

, совпадает с множеством синхросостояний, порождаемых всеми ОСП длины

(1)

(2)

(3)

Для того чтобы входная последовательность math

была СП для БC math

, достаточно, чтобы по крайней мере для одного из значений math

выполнялось

(1)

(2)

(3)

Укажите верное утверждение:

(1) две вершины графа могут связываться несколькими дугами с разными пометками

(2) две вершины графа не могут связываться несколькими дугами с разными пометками

(3) две вершины графа могут связываться одной дугой

Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. На данном рисунке блок С

(1) реализует функцию выходов

(2) представляет собой запоминающее устройство

(3) является комбинационным устройством

При использовании СВК при math

, сигнал на выходе возникшей неисправности в ЦУ появится

(1) через

тактов

(2) через

тактов

(3) через

тактов

Если у

-ЛА размерности math

ранг характеристической матрицы math

равен

, то для него существует обобщенная УП, длина которой равна

(1) 1

(2)

(3)

Для того чтобы ЛА math

являлся ЛА БПИ, необходимо и достаточно, чтобы рангхарактеристической матрицы math

равнялся

(1)

(2)

(3)

Эксперимент, предполагающий подачу на вход автомата такой последовательности, которая определена заранее, т. е. до начала эксперимента, называется

(1) безусловным

(2) условным

(3) оределенным

Пусть

- минимальная ОСП, а math

- произвольная ОСП длины math

, переводящая ЛА в одно и то же синхросостояние, и пусть math

для любого входного символа этого ЛА. Тогда

(1)

(2)

(3)

-матрица неоднородной системы уравнений math

. Если

, то

(1) система имеет множество решений, каждому из которых соответствует своя СП

(2) система имеет одно решение

(3) система имеет множество решений, каждому из которых соответствует одна и та же СП

Укажите верное утверждение:

(1) для того чтобы автомат math

был ОБПИ-автоматом, необходимо и достаточно, чтобы он не имел СПИ-состояний

(2) для того чтобы автомат math

был ОБПИ-автоматом, необходимо и достаточно, чтобы он имел ограниченное множество СПИ-состояний

(3) для того чтобы автомат math

был ОБПИ-автоматом, необходимо и достаточно, чтобы он имел одно СПИ-состояние

Проведение простого безусловного эксперимента должно включать:

(1) построение соответствующего входного слова

(2) наблюдение реакции автомата на входное слово

(3) сравнение на основе полученной реакции функции выходов исследуемого автомата с эталоном

(4) вывод заключения об исправности

Укажите верное утверждение:

(1) знание начального состояния автомата позволяет ввести автомат в различные режимы работы, желательные для достижения заданной цели

(2) знание конечного состояния автомата позволяет ввести автомат в различные режимы работы, желательные для достижения заданной цели

(3) знание финального состояния автомата позволяет ввести автомат в различные режимы работы, желательные для достижения заданной цели

Если для

-ЛА существует хотя бы одна обобщенная ДП длины math

, то для него обобщенными являются любые входные последовательности длины

(1) меньше math

(2)

и более

(3) неравно math

Линейный автомат называется неизбыточным по выходам, если

(1) в нем отсутствуют избыточные входные каналы

(2) в нем отсутствуют избыточные выходные каналы

(3) в нем отсутствуют неизбыточные выходные каналы

Задача установки автомата в известное состояние называется

(1) диагностической

(2) установочной

(3) аналитической

Укажите правильное утверждение:

(1) множество math

обобщенных интервалов является незамкнутым относительно введенных бинарных операций

(2) множество math

обобщенных интервалов является замкнутым относительно введенных бинарных операций

(3) множество math

необобщенных интервалов является замкнутым относительно введенных бинарных операций

Для автоматов, заданных графом переходов, задача синхронизации и установки автоматов сводится к задаче

(1) поиска петлей на графе

(2) поиска путей на графе между двумя заданными вершинами

(3) поиска путей на графе между тремя и более заданными вершинами

Укажите верное утверждение:

(1) автомат является ОБПИ-автоматом тогда и только тогда, когда все пути в проверочном графе math

, ведущие из вершин вида math

, не содержат выделенных дуг

(2) автомат является ОБПИ-автоматом тогда и только тогда, когда все пути в проверочном графе math

, ведущие в вершины вида math

, не содержат выделенных дуг

(3) автомат является ОБПИ-автоматом тогда и только тогда, когда все пути в проверочном графе math

, ведущие в вершины вида math

, содержат хотя бы одну выделенную дугу

Обходом графа называется

(1) путь, приходящий в начальную вершину math

и проходящий через все его дуги

(2) путь, начинающийся в начальной вершине math

и проходящий через все его дуги

(3) путь, начинающийся в начальной вершине math

и проходящий через половину его дуг

Сумматор имеет

(1) один вход и один выход

(2) несколько входов и несколько выходов

(3) несколько входов и один выход

Если ДС запаздывает по управлению, то ее поведение описывается уравнением:

(1)

(2)

(3)

Для того чтобы у ЛА math

существовал подавтомат ОБПИ math

, где

- непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы

(1) матрица math

содержала подматрицу ранга math

(2) матрица math

содержала подматрицу ранга math

(3) матрицы math

были ненулевыми

Под

-множеством автомата math

понимается любая конечная совокупность состояний math

, не все из которых обязательно различны. Если все элементы math

-множества совпадают друг с другом, то оно именуется

(1) кратным

(2) равным

(3) однородным

Каково количество перепадов в послежовательности 011000111010

(1) 6

(2) 12

(3) 2

Если последовательность math

является для БА диагностической, то это означает, что

(1) знание реакции БА на нее позволяет однозначно найти ее начальное состояние

(2) знание реакции БА на нее не позволяет однозначно найти ее начальное состояние

(3) знание реакции БА на нее позволяет однозначно найти любое ее состояние

Укажите верное утверждение:

(1) автомат math

является ОБПИК-автоматом тогда и только тогда, когда в его проверочном графе все контуры не содержат выделенных дуг

(2) автомат math

является ОБПИК-автоматом тогда и только тогда, когда в его проверочном графе все пути, ведущие в контуры, не содержат выделенных дуг

(3) автомат math

является ОБПИК-автоматом тогда и только тогда, когда в его проверочном графе все контуры и все пути, ведущие в эти контуры, не содержат выделенных дуг

Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Задача построения простого безусловного эксперимента в этом случае эквивалентна

(1) задаче построения обхода полуавтоматного графа

(2) задаче построения перехода автоматного графа

(3) задаче построения обхода автоматного графа

Если усилитель равен 1, то он

(1) обозначает разрыв

(2) обозначают прямое соединение

(3) изменяет знак входного сигнала

Если для любого math

свободного ЛА math

то состояние math

называется состоянием равновесия, если для любого

(1) состоянием неравновесия

(2) состоянием равновесия

(3) изменчивым состоянием

Заметим, что если у ЛА, для которого ищется оптимальный подавтомат, ОБПИ таков, что math

, то этот подавтомат является

(1) единственным

(2) не единственным

(3) нулевым

Укажите верное утверждение:

(1) в общем случае установочная последовательность является одновременно максимальной по весу и по длине

(2) в общем случае установочная последовательность может не быть одновременно минимальной по весу и по длине

(3) в общем случае установочная последовательность является одновременно минимальной по весу и по длине

Запись вида math

, где

, интерпретируется как множество math

и называется

(1) правильным интервалом

(2) неправильным интервалом

(3) нулевым интервалом

Для того чтобы БА math

был БА БПИ- math

, необходимо и достаточно, чтобы для любого состояния math

выполнялось условие

(1)

(2)

(3)

Для того, чтобы однозначно определить число math

оно должно быть

(1) максимальным из всех возможных для заданного автомата math

чисел такого рода

(2) минимальным из всех возможных для заданного автомата math

чисел такого рода

(3) суммой из всех возможных для заданного автомата math

чисел такого рода

Длиной

графа

является

(1) кратчайший обход графа

(2) число дуг, входящих в обход

(3) число дуг, выходящих из обхода

Если

, то входная последовательность math

является

(1) установочной

(2) синхронизирующеей

(3) диагностической

Если свободный ЛА над полем math

имеет асимптотически устойчивое состояние, то оно

(1) является единственным

(2) совпадает с нулевыми

(3) не является единственным

Пусть задано некоторое конечное множество ЛА math

, которое называется базисом, а каждый элемент этого множества - базисным. Предполагается, что сеть содержит в качестве компонентов ЛА math

. Помимо элементов сеть содержит входные и выходные полюсы. Из базисных элементов сети будут строиться по определенным правилам:

(1) совокупность первичных входных полюсов, соответствующих различным переменным сети, есть сеть, и все эти полюсы являются ее вершинами

(2) результат присоединения к вершинам сети входов (необязательно всех) некоторого базисного элемента есть сеть; вершинами новой сети являются все вершины исходной сети, незадействованные (если таковые имеются) входы, а также выходы присоединенного элемента

(3) результат присоединения к вершинам сети входов (кроме внешних полюсов) и/или выходов некоторого базисного элемента есть снова сеть, вершинами которой являются все вершины сети, полученной на предыдущем этапе, незадействованные (если таковые имеются) входы, а также все выходы присоединенного элемента

При построении установочного дерева автомата автомата math

с множеством math

допустимых начальных состояний вершина math

-го уровня становится листом, если

(1) она является однородной

(2) она является простой>

(3) она является кратной

(4) на уровнях, предшествующих math

-му, имеется такая вершина math

, что

, но значение флажка вершины math

больше значения флажка вершины math

(5) на уровнях, предшествующих math

-му, имеется однородная или простая вершина math

, значение флажка которой меньше значения флажка вершины math

Пусть для каждой вершины math

разветвления удалось получить оценку снизу для лучшего решения из множества math

. Функция

является

(1) функцией оценки

(2) функцией входов

(3) функцией выходов

БА

является БА БПИ, если

(1)

(2)

(3)

Для решения задачи контроля сети автоматов, исходный произвольный автомат следует преобразовывать в БПИ-автомат

(1) БПИ-автомат

(2) БПИК-автомат

(3) ББИ-автомат

Вершину

графа

, у которой math

называется

(1) положительной

(2) отрицательной

(3) мнимой

Если для ЛА math

существует хотя бы одна СП длины math

, то для этого автомата синхронизирующими являются любые входные последовательности, длина которых

(1) больше math

(2) равна

(3) меньше math

Состояние равновесия ДЛС устойчиво в большом, если

(1) существует только одно состояние равновесия

(2) областью асимптотической устойчивости является все пространство состояний

(3) существует несколько состояний равновесия

ЛА называется неизбыточным по выходам, если

(1) в нем отсутствуют избыточные выходные каналы

(2) в нем отсутствуют избыточные входные каналы

(3) в нем отсутствуют неизбыточные входные каналы

Построение графа установки автомата осуществляется

(1) рекурсивно и по существу совпадает с процессом построения установочного дерева

(2) рекурсивно и никогда не совпадает с процессом построения установочного дерева

(3) последовательно

Интервальная диагностическая задача является разрешимой, если

(1) искомое начальное состояние определяется однозначно

(2) искомое начальное состояние не определяется однозначно

(3) искомое начальное состояние определяется неоднозначно

Если уравнение состояния БА имеет вид math

то БА

(1) с запаздыванием по управлению

(2) с запаздыванием по состоянию

(3) без запаздывания

Если состояние автомата равно 2, то конечное состояние будет равно

(1) 1

(2) 2

(3) 3

Для того чтобы задача распознавания функции выходов неинициального автомата (с точностью до эквивалентности) была разрешима, необходимо и достаточно, чтобы автомат был

(1) сильно связан

(2) не связан

(3) слабо связан

Если для НЛА math

существует хотя бы одна УП длины math

, то длина его входной установочной последовательности может быть равна

(1)

(2)

(3)

Если для ЛА math

в любой момент времени math

выход

однозначно определяется входом в этот же момент и предыдущими math

входами и

выходами,то ЛА

(1) имеет конечную память глубины math

(2) имеет конечную память глубины math

(3) имеет конечную память глубины math

Множество путей в сети, связывающее каждый внешний вход сети с одним из ее внешних выходов, называется

(1) покрывающим множеством

(2) непокрывающим множеством

(3) пустым множеством

Укажите правильное утверждение:

(1) для решения задачи синтеза минимальной по весу установочной последовательности, необходимо построить таблицу переходов-выходов графа установки автомата, и найти на нем минимальную установочную последовательность

(2) для решения задачи синтеза минимальной по весу установочной последовательности, необходимо построить таблицу переходов-выходов графа синхронизации автомата, и найти в нем минимальной по весу СП методом динамического программирования

(3) для решения задачи синтеза максимальной по весу установочной последовательности, необходимо построить таблицу переходов-выходов графа установки автомата, и найти на нем минимальную установочную последовательность

Мощность множества всех решений интервальной системы уравнений с квадратной матрицей равна величине math

. При увеличении ширины интервалов, мощность

(1) быстро растет

(2) не изменяется

(3) быстро убывает

Для билинейных автоматов с распределенным запаздыванием по состоянию для однозначности определения состояний для math

необходимо задать состояния в моменты времени

(1)

(2)

(3)

Если

, то проекцией по 1-му входному каналу неизвестного входного слова является

(1) 1,0,1

(2) 1,0,0

(3) 1,0,0

Укажите верные выражения

(1) число путей покрытия называется его кратностью

(2) сумма длин всех путей покрытия называется его длиной

(3) число путей покрытия называется его длиной

(4) сумма длин всех путей покрытия называется его кратностью

Один из принципов построения схемы встроенного контроля (СВК) для комбинационных устройств (КУ), используемый на практике, базируется на

(1) восстановлении входов ЦУ

(2) восстановлении выходов ЦУ

(3) замене входов ЦУ выходами

Если в ОДП для любой пары вершин math

существует путь, ведущий из math

, то такая ОДП называется

(1) сильно связной

(2) слабо связной

(3) несвязной

Линейный автомат называется автоматом БПИ, если

(1) по его начальному состоянию и наблюдаемой выходной реакции можно однозначно восстановить неизвестное входное слово

(2) по его начальному состоянию и наблюдаемой выходной реакции невозможно однозначно восстановить неизвестное входное слово

(3) по его начальному состоянию и наблюдаемой выходной реакции невозможно однозначно восстановить неизвестное выходное слово

Алфавит

автомата

называется взвешенным, если

(1) каждому входному символу math

из алфавита math

поставлено в соответствие некоторое отрицательное число math

(2) каждому входному символу math

из алфавита math

поставлено в соответствие некоторое положительное число math

(3) каждому входному символу math

из алфавита math

поставлен в соответствие math

Мощность множества всех различных синхросостояний ЛА, заданного над полем math

, равна

(1)

(2)

(3)

Если характеристические матрицы math

, БС

являются верхними (нижними) треугольными, где math

- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины

(1) не больше math

(2) больше math

(3) только равные math

ОБПИ-автоматы в качестве частного случая включают в себя

(1) БПИ-автоматы

(2) СБПИ-автоматы

(3) БПИК-автоматы

Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. Выберете верные утверждения: На данном рисунке блок С

(1) С реализует функцию выходов

(2) В представляет собой запоминающее устройство

(3) С реализует функцию входов

(4) В представляет собой запоминающее устройство и является комбинационным устройством

Задача преобразования произвольного автомата в ОБПИК-автомат порядка 1 осуществляется путем

(1) расширения входного алфавита автомата, достигаемого путем выведения контрольных точек.

(2) расширения выходного алфавита автомата, достигаемого путем выведения контрольных точек

(3) расширения выходного алфавита автомата, достигаемого путем введения контрольных точек

Если для

-ЛА размерности math

существует хотя бы одна обобщенная УП длины math

, то для этого автомата обобщенными УП являются любые входные последовательности длины

(1) меньше math

(2)

и более

(3) неравной math

Если для заданного ЛА math

существует такое натуральное число math

, что знания начального отрезка длины math

слова w достаточно для однозначного определения первого символа слова math

независимо от входной последовательности math

и начального состояния ЛА, то math

называют ЛА

(1) СБПИ

(2) СБПИК

(3) БПИК

Эксперимент, предполагающий подачу на вход автомата двух или более подпоследовательностей, в котором каждая последующая подпоследовательность, кроме первой, формируется на основании реакций, вызываемых предыдущими подпоследовательностями называется

(1) безусловным

(2) условным

(3) независимым

Укажите правильное утверждение:

(1) если весовая функция math

является неотрицательной, то минимальную по весу ОСП рассматриваемого обобщенно синхронизируемого ЛА следует искать среди ОСП минимальной длины

(2) если весовая функция math

является отрицательной, то минимальную по весу ОСП рассматриваемого обобщенно синхронизируемого ЛА следует искать среди ОСП минимальной длины

(3) если весовая функция math

является неотрицательной, то минимальную по весу ОСП рассматриваемого обобщенно синхронизируемого ЛА следует искать среди ОСП максимальной длины

Выберете правильное утверждение:

(1) если неоднородная система уравнений math

является несовместной, то необходимо перейти к рассмотрению следующей системы, и так до тех пор, пока либо очередная система не окажется совместной, либо параметр math

не достигнет значения math

, где

- число состояний рассматриваемой БА

(2) если неоднородная система уравнений math

не достигнет значения math

, где

- число состояний рассматриваемой БА

(3) если неоднородная система уравнений math

не достигнет значения math

, где

- число состояний рассматриваемой БА

Укажите верное утверждение:

(1) теорема об условии существовании ОБПИ-автомата не позволяет обосновать метод восстановления искомой проекции неизвестного входного слова.

(2) теорема об условии существовании ОБПИ-автомата позволяет обосновать метод восстановления искомой проекции неизвестного входного слова

(3) теорема об условии существовании ОБПИ-автомата при любых условиях не дает ответа на вопрос, является ли конкретный автомат ОБПИ-автоматом

Наблюдение реакции автомата на входное слово, сравнение на основе полученной реакции функции выходов исследуемого автомата с эталоном и вывод заключения об исправности осуществляется

(1) исследуемым автоматом math

(2) контролирующий автоматом math

(3) исследуемым автоматом math

и контролирующий автоматом math

одновременно

Укажите верное утверждение:

(1) линейный автомат (ЛА) является системой с конечным числом входных полюсов, к которым подводятся внешние сигналы.

(2) линейный автомат (ЛА) является системой с конечным числом выходных полюсов, на которых наблюдаются сигналы реакции

(3) воздействия, поступающие на линейный автомат (ЛА), прикладываются одновременно ко всем входам в дискретные моменты времени

Если для

-ЛА размерности math

существуют обобщенные ДП, то длина таких минимальных последовательностей

(1) меньше math

(2) равна

(3) больше math

Укажите правильное утверждение:

(1) для того чтобы ЛА math

был неизбыточным по выходам, необходимо и достаточно, чтобы число его выходных каналов было равно рангу матрицы math

системы уравнений выходов этого автомата

(2) для того чтобы ЛА math

был избыточным по выходам, необходимо и достаточно, чтобы число его выходных каналов было равно рангу матрицы math

системы уравнений выходов этого автомата

(3) для того чтобы ЛА math

был неизбыточным по входам, необходимо и достаточно, чтобы число его выходных каналов было равно рангу матрицы math

системы уравнений выходов этого автомата

Укажите верное утверждение:

(1) по наблюдаемой реакции на установочную последовательность автомата math

, находящегося в неизвестном для наблюдателя начальном состоянии, всегда однозначно можно определить это начальное (стартовое) состояние

(2) по наблюдаемой реакции на синхронизирующую последовательность автомата math

(3) по наблюдаемой реакции на диагностическую последовательность автомата math

Линейное уравнение math

, где

- обычные интервалы над полем math

, имеет алгебраическое решение math

в виде обобщенного интервала тогда и только тогда, когда

(1)

(2)

(3)

Для автоматов с большим числом состояний построить граф переходов

(1) возможно, но эта задача является очень трудоемкой

(2) нельзя

(3) можно за одно действие

Автомат называется оптимальным, если

(1) подмножество входных каналов - минимальное, а подмножество выходных каналов - максимальное по мощности

(2) подмножество входных и выходных каналов - минимальное по мощности

(3) подмножество входных каналов - максимальное, а подмножество выходных каналов - минимальное по мощности

Путем графа называется

(1) последовательность дуг, таких, что начальная вершина предыдущей дуги является одновременно и начальной вершиной следующей

(2) последовательность дуг, таких, что конечная вершина предыдущей дуги является одновременно конечной вершиной следующей

(3) последовательность дуг, таких, что конечная вершина предыдущей дуги является начальной вершиной следующей

Задержка имеет

(1) один вход и один выход

(2) несколько входов и несколько выходо

(3) несколько входов и один выход

Если поведение ДС описывается уравнением math

, то она

(1) запаздывает по управлнеию

(2) не запаздывает

(3) запаздывает по состоянию

Если

является оптимальным ОБПИ подавтоматом ЛА A, то

(1)

(2)

(3)

Укажите правильное утверждение:

(1) располагая методами построения минимальных по весу синхронизирующих, установочных и диагностических последовательностей для автоматов со взвешенным входным алфавитом, всегда можно построить соответствующие последовательности, минимальные по длине, положив вес каждого символа алфавита math

равным единице

(2) располагая методами построения минимальных по весу синхронизирующих, установочных и диагностических последовательностей для автоматов со взвешенным входным алфавитом, всегда можно построить соответствующие последовательности, максимальные по длине, положив вес каждого символа алфавита math

равным единице

(3) располагая методами построения максимальных по весу синхронизирующих, установочных и диагностических последовательностей для автоматов со взвешенным входным алфавитом, всегда можно построить соответствующие последовательности, минимальные по длине, положив вес каждого символа алфавита math

равным единице

Каково количество перепадов в послежовательности 00101011

(1) 5

(2) 4

(3) 8

Для того чтобы последовательность math

была ДП для БА math

размерности math

, необходимо и достаточно, чтобы

(1)

rank $$ 
\begin{bmatrix}
C+J(\bar u(0))\\
[C+J(\bar u(1))][A+I(\bar u(0))]\\
\hdotsfor{1}\\
[C+J(\bar u(t))]\prod_{i=0}^{t-1}[A+I(\bar u(t-i-1))]
\end{bmatrix}
 = n$$

(2)

rank $$ 
\begin{bmatrix}
C+J(\bar u(0))\\
[C+J(\bar u(1))][A+I(\bar u(0))]\\
\hdotsfor{1}\\
[C+J(\bar u(t))]\prod_{i=0}^{t-1}[A+I(\bar u(t-i-1))]
\end{bmatrix}
 > n$$

(3)

rank $$ 
\begin{bmatrix}
C+J(\bar u(0))\\
[C+J(\bar u(1))][A+I(\bar u(0))]\\
\hdotsfor{1}\\
[C+J(\bar u(t))]\prod_{i=0}^{t-1}[A+I(\bar u(t-i-1))]
\end{bmatrix}
 < n$$

Если в проверочном графе ОБПИК-автомата math

длина максимального пути, начальная дуга которого является выделенной, равна math

, то порядок ОБПИК-автомата math

равен

(1)

(2)

(3)

Для того чтобы у графа math

существовал обход, необходимо и достаточно, чтобы

(1) для любой вершины math

существует путь, связывающий вершину math

с вершиной math

(2) в любом слое math

графа существует не более одной вершины math

(3) в графе math

существует не более одной дуги math

, таких, что math

Если усилитель равен -1, то он

(1) изменяет знак входного сигнала

(2) обозначают прямое соединение

(3) обозначает разрыв

Состоянием равновесия любого свободного ЛА является

(1) нулевое состояние

(2) ненулевое состояние

(3) единичное состояние

Если у неизбыточных по выходам ЛА math

оптимальный подавтомат ОБПИ существует, то он

(1) единственен

(2) не единственен

(3) нулевой

Укажите верное утверждение:

(1) в общем случае синхронизирующая последовательность автомата может быть минимальной по весу, но не являться минимальной по длине

(2) в общем случае синхронизирующая последовательность автомата должна быть минимальной по весу и по длине

(3) в общем случае синхронизирующая последовательность автомата должна быть максимальной по весу и по длине

Интервал вида math

, где

интерпретируется как элемент поля math

называется

(1) вырожденным

(2) невырожденным

(3) нулевым

Cостояние

БА достижимо из состояния math

, если

(1) существует такая входная последовательность, которая переводит БА из состояния math

(2) существует такая входная последовательность, которая переводит БА из состояния math

(3) не существует такая входная последовательность, которая переводит БА из состояния math

Пусть автомат math

не является ОБПИК-автоматом, math

, тогда

(1) будет равен 2

(2) будет равен 0

(3) не может быть определен

Для правильного графа math

обход длины math

существует тогда и только тогда, когда

(1) в каждой вершине графа число исходящих дуг равно числу заходящих

(2) в начальной вершине math

графа число исходящих дуг на единицу больше числа заходящих, и существует такая вершина math

, в которой число исходящих дуг на единицу меньше числа заходящих

(3) каждой вершине графа число исходящих дуг не равно числу заходящих

Если

, то входная последовательность math

является

(1) установочной

(2) синхронизирующеей

(3) диагностической

Для того чтобы свободный ЛА над полем math

имел асимптотически устойчивое состояние равновесия, необходимо и достаточно, чтобы существовало такое натуральное math

, для которого

(1)

(2)

(3)

Сеть, в которой отсутствуют незадействованные входы используемых в ее составе базисных элементов, называется

(1) корректной

(2) неорректной

(3) пустой

При построении диагностического дерева автомата автомата math

с множеством math

допустимых начальных состояний вершина math

-го уровня становится листом, если

(1) она является простой

(2) она является однородной

(3) она является кратной

(4) на уровнях, предшествующих math

-му, имеется такая вершина math

, что

, но значение флажка вершины math

больше значения флажка вершины math

(5) на уровнях, предшествующих math

-му, имеется простая вершина math

, значение флажка которой меньше значения флажка вершины math

Выберете правильное утверждение

(1) при решении диагностической задачи, чем больше ширина интервалов в выходных векторах, тем сложнее найти начальное состояние автомата

(2) при решении диагностической задачи, чем больше ширина интервалов в выходных векторах, тем проще найти начальное состояние автомата

(3) при решении диагностической задачи, чем больше ширина интервалов в выходных векторах, тем сложнее найти конечное состояние автомата

БА

является БА CБПИ, если

(1)

(2)

(3)

Укажите верное утверждение

(1) если событие math

в алфавите math

, регулярное выражение которого есть math

, представимо в автомате math

, то проверочные графы math

, где

получено из math

путем замены каждого вхождения итерации события math

на

, совпадают

(2) если событие math

в алфавите math

, регулярное выражение которого есть math

, представимо в автомате math

, то проверочные графы math

, где

получено из math

путем замены каждого вхождения итерации события math

на

, не совпадают

(3) если событие math

в алфавите math

, регулярное выражение которого есть math

, представимо в автомате math

, то проверочные графы math

, где

получено из math

путем замены каждого вхождения итерации события math

на

,только иногда совпадают

Если

- компенсирующая система минимальной длины для math

-обхода графа math

, то

(1)

(2)

(3)

Если главная характеристическая матрица ЛА размерности math

является верхней треугольной, то длина минимальной СП для этого ЛА может быть

(1) меньше math

(2) больше math

(3) равна

Возвращение системы в определенное состояние фазового пространства всякий раз, когда она из него выводится называется

(1) задачей анализа

(2) задачей наблюдения

(3) задачей стабилизации

Для того чтобы ЛА был неизбыточным по выходам, необходимо и достаточно, чтобы

(1) число его выходных каналов не было равно рангу матрицы системы

(2) число его входных каналов было равно рангу матрицы системы

(3) число его выходных каналов было равно рангу матрицы системы

Укажите правильное утверждение:

(1) задача синтеза синхронизирующей последовательности может быть сведена к задаче выбора наискорейшего пути, решаемой только методом прямого перебора

(2) задача синтеза синхронизирующей последовательности может быть сведена к задаче выбора наискорейшего пути, решаемой методом динамического программирования

(3) задача синтеза синхронизирующей последовательности может быть сведена к задаче выбора наискорейшего пути, решаемой только аналитическими методами

Укажите правильное утверждение:

(1) в классическом случае каждая math

-группа, связанная с любой ветвью диагностического дерева, содержит в своих сигма-множествах разлияное суммарное число состояний, равное мощности множества допустимых начальных состояний автомата

(2) в классическом случае каждая math

-группа, связанная с любой ветвью диагностического дерева, содержит в своих сигма-множествах одно и то же суммарное число состояний, неравное мощности множества допустимых начальных состояний автомата

(3) в классическом случае каждая math

-группа, связанная с любой ветвью диагностического дерева, содержит в своих сигма-множествах одно и то же суммарное число состояний, равное мощности множества допустимых начальных состояний автомата

Если уравнение выхода БА имеет вид math

то БА

(1) с запаздыванием по состоянию

(2) без запаздывания

(3) с запаздыванием по управлению

Если состояние автомата равно 3, то конечное состояние будет равно

(1) 1

(2) 2

(3) 3

Длина кратчайшего простого безусловного эксперимента, позволяющего распознавать функцию выходов сильно связного неинициального автомата math

, где

, не превышает величины

(1)

(2)

(3)

Если

, то необходимым и достаточным условием существования СП длины math

для НЛА является

(1)

(2)

(3)

Если для ЛА math

в любой момент времени math

выход

зависит лишь от предыдущих math

входов,то ЛА math

является

(1)

-определенным

(2)

-определенным

(3)

-определенным

Укажите правильное утверждение:

(1) величина максимального потока в порожденной сети math

равна числу внешних входов math

исходной сети math

(2) величина минимального потока в порожденной сети math

равна числу внешних входов math

исходной сети math

(3) величина максимального потока в порожденной сети math

равна числу внешних выходов math

исходной сети math

Укажите правильное утверждение:

(1) для решения задачи синтеза минимальной по весу диагностической последовательности, необходимо построить таблицу переходов-выходов графа диагностики автомата, и найти на нем минимальную диагностическую последовательность

(2) для решения задачи синтеза минимальной по весу диагностической последовательности, необходимо построить таблицу переходов-выходов графа диагностики автомата, и найти на нем минимальную диагностическую последовательность

(3) для решения задачи синтеза минимальной по весу диагностической последовательности, необходимо построить таблицу переходов-выходов графа диагностики автомата, и найти на нем минимальную диагностическую последовательность

В генетическом алгоритме для решения интервальной диагностической задачи, целевая функция

(1) используется для оценивания приспособленности

(2) используется для увеличивания приспособленности

(3) используется для уменьшения приспособленности

Для билинейных автоматов с распределенным запаздыванием по управлению для однозначности определения состояний для math

необходимо

(1) задать начальное состояние в момент времени math

(2) задать начальное состояние в момент времени math

(3) задать входные символы в моменты времени math

Если

, то проекцией по 1-му входному каналу неизвестного входного слова является

(1) 1,1,1

(2) 1,0,0

(3) 1,0,1

Пусть

- множество всех тех вершин графа math

, из которых исходит хотя бы одна дуга. Тогда

(1) покрытие графа math

существует тогда и только тогда, когда любая вершина множества math

достижима из начальной

(2) покрытие графа math

существует тогда и только тогда, когда любая вершина множества math

не достижима из начальной

(3) покрытие графа math

существует тогда и только тогда, когда только начальная вершина множества math

достижима из начальной