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


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

На функциональном уровне описания ячейки однородной одномерной сети без наблюдаемых выходов Х’ будем рассматривать ее таблицу истинности как таблица переходов - выходов автомата Мура, задаваемого тройкой (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

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

Расчет операционного усилителя с использованием типовых электронных функциональных микроузлов
операционный усилитель электронный цифровой микроузел Операционный усилитель (ОУ) - это усилитель электрических сигналов, предназначенный для выполнения различных операций над аналоговыми величинами при работе в схеме с отрицательной обратной св ...

Построение систем охранно-пожарной сигнализации на базе оборудования НПК Союзспецавтоматика
Одной из главных составляющих информационной безопасности является организация защиты информационных ресурсов предприятия на всех направлениях его деятельности. Проблемы организации информационной безопасности становятся все более сложными и пра ...

© Copyright 2021 | www.techattribute.ru