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


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

Рисунок 3.4 - Характеристическое дерево ячейки сети

Характеристическое дерево ячейки сети, представленной автоматной диаграммой в таблице 3.4, приведено на рисунке 3.5, из которого можно найти множество отличительных и характеристических символов.

Так как произведение разбиений = () и = () равно p (0), то множество Хc={ X1, X3 } является множеством входных характеристических символов. Простые s - множества для каждой вершины характеристического дерева определяют множества состояний, для которых метка вершины дерева является отличительным входным символом.

Исключения составляют лишь те простые s - множества, которые являются состояниями преемниками, принадлежащими множеству Zc то есть множеству состояний, неразличимых для всех входных символов.

Например, из характеристического дерева ячейки сети (рисунок 3.5, таблица 3.4) следует, что

= {Z3, Z4}; = {Z1, Z3, Z4}; = {Z1, Z3}, (3.13)

Таблица 3.4 - Таблица переходов выходов ячейки сети

Z (t)

Z (t+1)

X1

X2

X3

Z1

Z2

Z1

Z3

Z2

Z3

Z3

Z4

Z3

Z4

Z1

Z3

Z4

Z4

Z1

Z1

Рисунок 3.5 - Характеристическое дерево ячейки сети

Множества Хa - совместимых состояний ячейки позволяют определить множество Zc в виде:

Zc= ={Z3}, (3.14)

Определив множество Zc, из характеристического дерева можно легко найти множество отличительных символов и состояний ячейки, которые различаются этими символами в соответствии с определением 3.7 Для рассматриваемого примера состояние Z1, различается символом X1, состояния Z2 и Z4 - символом X3.

Определение 3.10 Пусть состояние Zj правого выхода ячейки C (k) однородной одномерной сети транспортируется на крайний правый выход сети приложением входного набора Xт к входам ячеек C (k+1), C (k+2),…. C (p). Входной набор Xт является проверяющим тестом, идентифицирующим состояние Zj ячейки C (k), если состояние наблюдаемых выходов сети различно, когда Zj и каждое из состояний множества Z [Zj], приложено к левому входу ячейки C (k+1), то есть

d (Zj,Xт) d (Zi,Xт), ZiZ [Zj]. (3.15)

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

Нижеследующая теорема определяет необходимые и достаточные условия существования в однородной сети проверяющих тестовых наборов Xт.

Теорема 3.1 Пусть правый выход ячейки C (k) одномерной однородной сети находится в состоянии Zj и к верхним входам ячеек C (k+1), C (k+2),…. C (p) приложен входной набор Xk={ Xk+1, Xk+2,…,Xp }, вызывающий последовательность переходов состояний ячеек сети в виде

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

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

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

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

© Copyright 2021 | www.techattribute.ru