Основные разделы


Анализ подходов встроенного самотестирования однородных Сетей

Таблица 3.1 - Автомат А-1

Z (t)

Z (t + 1), l (t)

X1

X2

1

2, 1

1, 1

2

1, 1

3, 0

3

5, 0

3, 1

4

2, 0

1, 0

5

4, 1

5, 0

Рисунок 3.1 - Отличительное дерево автомата А-1

Отображение множества допустимых начальных состояний, принадлежащих начальному s - множеству, в группы s - множеств, которыми отмечены вершины отличительного дерева, полностью определяется функцией переходов-выходов автомата. Например, для автомата А-1

d ({ } X1) = { 2, 1, 4 }, { 5, 2 }. (3.3)

Блоки разбиения p1 ={} множества состояний A-1 определяют отношение эквивалентности состояний в том смысле, что состояния, принадлежащие каждому блоку разбиения p1 X1 - неразличимы, а сами блоки разбиения p1 являются X1 - различимыми. Вершине отличительного дерева (рисунок 3.1), отмеченной разбиением p1, поставлена в соответствие группа s - множеств s1: {2, 1, 4 },{ 5, 2}, включающих состояния, которые являются преемниками соответствующих состояний блоков разбиения p1.

В отличительном дереве автомата A-1 каждому s - множеству вершины дерева поставлено в соответствие p - разбиение множества начальных состояний, для которых состояния s - множеств являются конечными состояниями при приложении к входу автомата последовательности входных символов, соответствующих меткам дуг отличительного дерева. Путь в отличительном дереве от его корня до вершины, отмеченной группой простых s-множеств, определяет отличительную последовательность минимальной длины. Отличительная последовательность X0= (X1, X1, X1, X2, X1) автомата А-1 определяет следующую последовательность p - разбиений начальных состояний

p (1) p1 p2 p3 p3’ p4 = p (0), (3.4)

которую можно упорядочить в виде

p (1) >p1 > p2 > p3 = p3’ > p4 = p (0). (3.5)

Таким образом, проведенный выше анализ отличительного дерева автомата А-1 показал, что построение отличительного дерева сопровождается уменьшением числа неразличимых начальных состояний автомата, которым для каждого ранга отличительного дерева поставлено в соответствие p - разбиение, определяющее отношение эквивалентности состояний. Построение отличительного дерева автомата, имеющего отличительную последовательность, завершается вершиной, которой поставлено в соответствие 0 - разбиение множества начальных состояний p (0).

Перейти на страницу: 1 2 3 

Прочитайте еще и эти статьи:

Модернизация алгоритма распознания цели многофункциональной РЛС
В настоящее время существует достаточно проработанная как в теоретическом, так и в практическом плане теория радиолокационного распознавания (РЛР), которую принято разделять на теорию принятия решений и теорию выделения признаков (признакового ...

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

© Copyright 2021 | www.techattribute.ru