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


Отличительные последовательности в ОС

На функциональном уровне описания ячейки однородной одномерной сети без наблюдаемых выходов Х’ будем рассматривать ее таблицу истинности как таблица переходов - выходов автомата Мура, задаваемого тройкой (X,Y,d), у которого функции переходов и выходов совпадают, то есть

d (Zi,Xa) =l (Zi,Xa) =Z’j,Zi, ZjZ, XaX, (3.10)

Пусть Z={Z1,…Zi,…Zn} - множество состояний автоматной модели ячейки сети. Будем обозначать Z [Zi] = { Z1,… Zi-1, Zi+1,…Zn } = { Z - Zi } - множество состояний ячейки сети, из которого исключен элемент Zi. Как было показано на примере одномерной сети (рисунок 1.2), при синтезе проверяющих тестов сложность решения задачи анализа полноты полученных тестов и их расширения связана с наличием в автоматной модели ячейки сети пар Xa - совместимых состояний. Из таблицы переходов ячейки легко можно определить множества Xi - совместимых состояний для каждого входного символа Xi X, i= . Образуем множество ZC = элементы, которого представляют собой состояния, Xa - совместимые для всех входных символов множества X.

Определение 3.7 Пусть ячейка одномерной ОС без наблюдаемых выходов X’ представлена моделью автомата Мура (Х,Z,d), в котором Xa - преемником состояния ZiZ является состояние Zk, не обязательно отличное от Zi. Входной символ Xa X будем называть отличительным символом состояния Zi тогда и только тогда, когда Zk не является Xa - преемником для множества Z [Zi] начальных состояний автомата и Zk ZC.

Если столбец Xa таблицы переходов ячейки сети содержит пару неразличимых состояний (Zа, Zb), то есть d (Za, Xa) = Zk, d (Zb,Xa) = Zk состояния (Zа, Zb) неразличимы для входного символа Хa. В общем случае может быть две альтернативы. Пара состояний (Zа, Zb) различается, по меньшей мере, одним входным символом Хb, либо пара (Zа, Zb) - Xi совместима для каждого входного символа Xi X. В первом случае состояния Zа и Zb можно идентифицировать только приложением к входу проверяемой ячейки входного символа Хb. Во втором случае для различения состояний (Zа, Zb) можно воспользоваться множеством характеристических входных символов подобно тому, как в [1] использовались характеристические последовательности при построении диагностических экспериментов для автоматов, не имеющих отличительных последовательностей.

Определение 3.8 Пусть ячейка одномерной сети представлена моделью автомата Мура (Х, Z, d). Множество входных символов Xc={ X1, X2, …, Xr } называется множеством входных характеристических символов тогда и только тогда, когда для любой пары состояний (Zа, Zb) Z автомата

d (Za,X1) d (Za,X2) … d (Za,Xr) d (Zb,X1) d (Zb,X2) … d (Zb,Xr) (3.11)

Определение 3.9 Пусть Z’={ Z1, Z2, Z3, … Zr } подмножество состояний минимального автомата А. Множество Хс={ X1, X2, X3, … Xp }, будем называть множеством характеристических последовательностей, если для каждого начального состояния ZiZ’, реакция на Хс различна, то есть

l (Z,X1) l (Zi,X2) … l (Zi,Xp) l (Zj,X1) l (Zj,X2) … l (Zj,Xp) Zi Zj, (3.12)

для Zi, Zj Z’, а исключение любой последовательности из множества Хс не позволяет различить, по меньшей мере, одно состояние ZiZ’.

Множество отличительных и характеристических символов может быть найдено из характеристического дерева автомата ячейки сети, которое строится по правилам, приведенным в разделе 1.5 [1]. На рисунке 3.4 приведено характеристическое дерево сети (рисунок 1.2), из которого следует, что символ X1=1 является отличительным для множества состояний {Z0, Z1, Z2, Z3} символ X0=0 для состояний Z2 и Z3. Пара состояний {Z0, Z1} является X0-совместимой.

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

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

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

Конструирование плоской антенны
В настоящее время широко развивается рынок средств спутниковой связи. Ежегодное увеличение их объема производства составляет более 30%. Разработка антенной системы для приема сигналов космического телевещания является важнейшей частью наземной систе ...

© Copyright 2020 | www.techattribute.ru