Главная /
Теория экспериментов с конечными автоматами
Теория экспериментов с конечными автоматами - ответы на тесты Интуит
Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях.
Список вопросов:
- # Решение проблемы повышения надежности цифровых устройств (ЦУ)
- # Существующие методы контроля ЦУ подразделяются на
- # Один из принципов построения схемы встроенного контроля (СВК) для комбинационных устройств (КУ), используемый на практике, базируется на
- # Принцип построения СВК может быть использован и для
- # При использовании СВК при , сигнал на выходе возникшей неисправности в ЦУ появится
- # Задача преобразования произвольного автомата в ОБПИК-автомат порядка 1 осуществляется путем
- # Укажите верное утверждение:
- # Укажите верное утверждение:
- # Укажите верное утверждение:
- # Структурная схема ЛА состоит из соединения конечного числа элементарных составляющих, каждая из которых мгновенно выполняет:
- # Сумматор имеет
- # Задержка имеет
- # Если усилитель равен 0, то он
- # Если усилитель равен 1, то он
- # Если усилитель равен -1, то он
- # Если , то входная последовательность является
- # Если , то входная последовательность является
- # Если , то входная последовательность является
- # Для того чтобы ЛА имел СП длины , необходимо и достаточно, чтобы
- # Если для ЛА существует хотя бы одна СП длины , то для этого автомата синхронизирующими являются любые входные последовательности, длина которых
- # Если главная характеристическая матрица ЛА размерности является верхней треугольной, то длина минимальной СП для этого ЛА может быть
- # Если для ЛА , у которого характеристическая матрица невырожденная, существует хотя бы одна УП длины , то длина его входной установочной последовательности может быть равна
- # Если для НЛА существует хотя бы одна УП длины , то длина его входной установочной последовательности может быть равна
- # Если , то необходимым и достаточным условием существования СП длины для НЛА является
- # Каждому обобщенному состоянию (ОС) линейного автомата соответствует
- # Обобщенной диаграммой переходов для -ЛА над полем называется ориентированный граф, содержащий
- # Если в ОДП для любой пары вершин и существует путь, ведущий из в , то такая ОДП называется
- # Если для -ЛА существует хотя бы одна ОСП длины , то обобщенными СП для него являются любые входные последовательности длины
- # Если у -ЛА размерности ранг характеристической матрицы равен , то для него существует обобщенная УП, длина которой равна
- # Если для -ЛА размерности существует хотя бы одна обобщенная УП длины , то для этого автомата обобщенными УП являются любые входные последовательности длины
- # Для того чтобы -ЛА размерности имел обобщенную ДП длины , необходимо и достаточно, чтобы
- # Если для -ЛА существует хотя бы одна обобщенная ДП длины , то для него обобщенными являются любые входные последовательности длины
- # Если для -ЛА размерности существуют обобщенные ДП, то длина таких минимальных последовательностей
- # Если ДС запаздывает по состоянию, то ее поведение описывается уравнением:
- # Если ДС запаздывает по управлению, то ее поведение описывается уравнением:
- # Если поведение ДС описывается уравнением , то она
- # ЛА , заданный над полем уравнением при для любого называется
- # Если для любого свободного ЛА то состояние называется состоянием равновесия, если для любого
- # Состоянием равновесия любого свободного ЛА является
- # Состояние равновесия свободного ЛА при называется
- # Если свободный ЛА над полем имеет асимптотически устойчивое состояние, то оно
- # Для того чтобы свободный ЛА над полем имел асимптотически устойчивое состояние равновесия, необходимо и достаточно, чтобы существовало такое натуральное , для которого
- # Для того чтобы ЛА над полем имел асимптотически устойчивое состояние, необходимо и достаточно, чтобы он был
- # Состояние равновесия ДЛС устойчиво в большом, если
- # Возвращение системы в определенное состояние фазового пространства всякий раз, когда она из него выводится называется
- # Тест - это
- # Если для ЛА в любой момент времени выход однозначно определяется входом в этот же момент и предыдущими входами и выходами,то ЛА
- # Если для ЛА в любой момент времени выход зависит лишь от предыдущих входов,то ЛА является
- # Автоматы, являющиеся неинициальными, т. е. такими, у которых начальное состояние неизвестно, называются
- # Вид контроля, который ведется непрерывно в процессе функционирования устройства и параллельно с его работой называется
- # Линейный автомат называется автоматом БПИ, если
- # Укажите верное утверждение:
- # Для того чтобы ЛА являлся ЛА БПИ, необходимо и достаточно, чтобы рангхарактеристической матрицы равнялся
- # Если для заданного ЛА существует такое натуральное число , что знания начального отрезка длины слова w достаточно для однозначного определения первого символа слова независимо от входной последовательности и начального состояния ЛА, то называют ЛА
- # Для того чтобы ЛА был автоматом СБПИК-, необходимо и достаточно, чтобы была
- # Линейный автомат называется неизбыточным по выходам, если
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Для того чтобы у ЛА существовал подавтомат ОБПИ , где и - непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы
- # Если является оптимальным ОБПИ подавтоматом ЛА A, то
- # Если исходный ЛА не является автоматом БПИ, то оптимальный ОБПИ подавтомат, если таковой существует, можно найти методом перебора начиная с подавтомата , где
- # Заметим, что если у ЛА, для которого ищется оптимальный подавтомат, ОБПИ таков, что , то этот подавтомат является
- # Если у неизбыточных по выходам ЛА оптимальный подавтомат ОБПИ существует, то он
- # Восстановление неизвестной входной последовательности по известному начальному состоянию автомата и наблюдаемой реакции в случае ЛА сводится к
- # Пусть задано некоторое конечное множество ЛА , которое называется базисом, а каждый элемент этого множества - базисным. Предполагается, что сеть содержит в качестве компонентов ЛА . Помимо элементов сеть содержит входные и выходные полюсы. Из базисных элементов сети будут строиться по определенным правилам:
- # Сеть, в которой отсутствуют незадействованные входы используемых в ее составе базисных элементов, называется
- # Выходной канал ЛА назовем избыточным, если
- # ЛА называется неизбыточным по выходам, если
- # Для того чтобы ЛА был неизбыточным по выходам, необходимо и достаточно, чтобы
- # Для того чтобы ЛА был БПИ и неизбыточным по выходам, необходимо и достаточно, чтобы
- # Множество путей в сети, связывающее каждый внешний вход сети с одним из ее внешних выходов, называется
- # Укажите правильное утверждение:
- # Автомат Мили может быть задан в виде
- # Если из любого состояния автомата достижимы все его состояния, то такой автомат называется
- # Алфавит автомата называется взвешенным, если
- # Если состояние не является концом ни одной дуги автомата , т.е не достижимо ни из одного состояния, отличного от , то оно называется
- # Эксперимент, предполагающий подачу на вход автомата такой последовательности, которая определена заранее, т. е. до начала эксперимента, называется
- # Эксперимент, предполагающий подачу на вход автомата двух или более подпоследовательностей, в котором каждая последующая подпоследовательность, кроме первой, формируется на основании реакций, вызываемых предыдущими подпоследовательностями называется
- # Задача отыскания начального (стартового) состояния заданного автомата называется
- # Задача установки автомата в известное состояние называется
- # Укажите верное утверждение:
- # Один автомат будем называть копией другого, если
- # Под -множеством автомата понимается любая конечная совокупность состояний , не все из которых обязательно различны. Если все элементы -множества совпадают друг с другом, то оно именуется
- # Укажите правильное утверждение:
- # Дерево преемников является
- # Укажите верное утверждение:
- # Укажите верное утверждение:
- # При построении синхронизирующего дерева автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если
- # При построении установочного дерева автомата автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если
- # При построении диагностического дерева автомата автомата с множеством допустимых начальных состояний вершина -го уровня становится листом, если
- # Построение графа синхронизации автомата осуществляется
- # Построение графа установки автомата осуществляется
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Состояние, в котором рассматриваемый ЛА оказывается после подачи ОСП, называется
- # Если ЛА является обобщенно синхронизируемым, то для любого множество синхросостояний, порождаемых всеми ОСП длины , совпадает с множеством синхросостояний, порождаемых всеми ОСП длины
- # Мощность множества всех различных синхросостояний ЛА, заданного над полем , равна
- # Укажите верное утверждение:
- # Пусть - минимальная ОСП, а - произвольная ОСП длины , переводящая ЛА в одно и то же синхросостояние, и пусть для любого входного символа этого ЛА. Тогда
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Линейное уравнение , где - обычные интервалы над полем , имеет алгебраическое решение в виде обобщенного интервала тогда и только тогда, когда
- # Каково количество перепадов в послежовательности 01110110
- # Каково количество перепадов в послежовательности 011000111010
- # Каково количество перепадов в послежовательности 00101011
- # Подмножество , такое, что называестя
- # Запись вида , где , интерпретируется как множество и называется
- # Интервал вида , где интерпретируется как элемент поля называется
- # Два интервала и называются равными, если
- # Пусть для каждой вершины разветвления удалось получить оценку снизу для лучшего решения из множества : . Функция является
- # Выберете правильное утверждение
- # Если для линейных автоматов предполагается, что каждая выходная реакция в момент времени - это вектор, координаты которого представляют собой точные значения, то такая задача называется
- # Интервальная диагностическая задача является разрешимой, если
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Мощность множества всех решений интервальной системы уравнений с квадратной матрицей равна величине . При увеличении ширины интервалов, мощность
- # В генетическом алгоритме для решения интервальной диагностической задачи, целевая функция
- # Для того чтобы входная последовательность была СП для БА , необходимо и достаточно, чтобы выполнялось
- # Для того чтобы входная последовательность была СП для БC , достаточно, чтобы по крайней мере для одного из значений выполнялось
- # Если характеристические матрицы и , БС являются верхними (нижними) треугольными, где - число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины
- # -матрица неоднородной системы уравнений . Если , то
- # -матрица неоднородной системы уравнений . Если , то
- # Выберете правильное утверждение:
- # Задачи синхронизации и установки автоматов - это разновидности задачи управления дискретной системой (ДС), которая в общем виде формулируется следующим образом:
- # Для автоматов, заданных графом переходов, задача синхронизации и установки автоматов сводится к задаче
- # Для автоматов с большим числом состояний построить граф переходов
- # Для того чтобы входная последовательность была УП для БА , необходимо и достаточно, чтобы для каждого ненулевого состояния выполнялось:
- # Если последовательность является для БА диагностической, то это означает, что
- # Для того чтобы последовательность была ДП для БА размерности , необходимо и достаточно, чтобы
- # БА называется БА без потери информации из состояния (БПИ-, если
- # Для того чтобы БА был БА БПИ-, необходимо и достаточно, чтобы для любого состояния выполнялось условие
- # Cостояние БА достижимо из состояния , если
- # Для того чтобы БА был БА БПИ, необходимо и достаточно, чтобы для любого состояния был равен
- # БА является БА БПИ, если
- # БА является БА CБПИ, если
- # Если уравнение состояния БА имеет вид то БА
- # Если уравнение состояния БА имеет вид то БА
- # Если уравнение выхода БА имеет вид то БА
- # Билинейные автоматы с запаздыванием являются частным случаем общих билинейных систем с распределенным запаздыванием, где соответствующие матрицы (запаздывание на такт) являются
- # Для билинейных автоматов с распределенным запаздыванием по состоянию для однозначности определения состояний для необходимо задать состояния в моменты времени
- # Для билинейных автоматов с распределенным запаздыванием по управлению для однозначности определения состояний для необходимо
- # Обобщенными автоматами без потери информации (ОБПИ-автоматами) называются
- # Укажите верное утверждение:
- # ОБПИ-автоматы в качестве частного случая включают в себя
- # Если выполняется , то пара состояний и называется
- # Укажите верное утверждение:
- # Укажите верное утверждение:
- # Если из ориентированного конечного графа удалить все вершины вида вместе с инцидентными им дугами, если последние, в свою очередь, инцидентны только вершинам такого же вида, а также изолированные вершины, то полученный в результате такого удаления ориентированный конечный граф называется
- # Укажите верное утверждение:
- # Автомат называется оптимальным, если
- # ОБПИК-автоматы в качестве частного случая включают в себя
- # Укажите верное утверждение:
- # Если в проверочном графе ОБПИК-автомата длина максимального пути, начальная дуга которого является выделенной, равна , то порядок ОБПИК-автомата равен
- # Продолжите утверждение. Каждой комбинации из символов, являющихся проекциями реакций автомата по выходным каналам с номерами , однозначно соответствует искомая проекция
- # Для того, чтобы однозначно определить число оно должно быть
- # Пусть автомат не является ОБПИК-автоматом,, , тогда
- # Укажите верное утверждение:
- # Для решения задачи контроля сети автоматов, исходный произвольный автомат следует преобразовывать в БПИ-автомат
- # Укажите верное утверждение
- # [Большая Картинка]. На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1., Если состояние автомата равно 1, то конечное состояние будет равно
- # [Большая Картинка]. На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1., Если состояние автомата равно 2, то конечное состояние будет равно
- # [Большая Картинка]. На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1., Если состояние автомата равно 3, то конечное состояние будет равно
- # [Большая Картинка] На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1., Если , то проекцией по 1-му входному каналу неизвестного входного слова является
- # [Большая Картинка] На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1., Если , то проекцией по 1-му входному каналу неизвестного входного слова является
- # [Большая Картинка] На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1., Если , то проекцией по 1-му входному каналу неизвестного входного слова является
- # [Большая Картинка] Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. На данном рисунке блок В
- # [Большая Картинка] Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. На данном рисунке блок С
- # [Большая Картинка]Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. Выберете верные утверждения: На данном рисунке блок С
- # Функция выходов будет распознана, если
- # Проведение простого безусловного эксперимента должно включать:
- # Наблюдение реакции автомата на входное слово, сравнение на основе полученной реакции функции выходов исследуемого автомата с эталоном и вывод заключения об исправности осуществляется
- # Если автомат задан в виде ориентированного графа, у которого начальной является вершина , то входному слову в графе автомата будет соответствовать
- # Обходом графа называется
- # Путем графа называется
- # Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Решение задачи построения простого безусловного эксперимента позволяет
- # Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Задача построения простого безусловного эксперимента в этом случае эквивалентна
- # Для того чтобы у графа существовал обход, необходимо и достаточно, чтобы
- # Выберете верное утверждение
- # Длиной графа является
- # Для правильного графа обход длины существует тогда и только тогда, когда
- # Путь (контур) в графе длины , проходящий через все его дуги и только по одному разу является
- # Вершину графа , у которой называется
- # Если - компенсирующая система минимальной длины для -обхода графа , то
- # Для сильно связного графа степени и диаметра имеет место неравенство
- # Для того чтобы задача распознавания функции выходов неинициального автомата (с точностью до эквивалентности) была разрешима, необходимо и достаточно, чтобы автомат был
- # Длина кратчайшего простого безусловного эксперимента, позволяющего распознавать функцию выходов сильно связного неинициального автомата , где , не превышает величины
- # Укажите верное утверждение
- # Укажите верные выражения
- # Пусть - множество всех тех вершин графа , из которых исходит хотя бы одна дуга. Тогда