Билет №2

1. Структурно – аналитическая модель ду.

Для рассматриваемого примера структурно-аналитическая модель имеет вид ЭНФ(**смотреть скобку в теме «Аналитическая модель ДУ»).

ЭНФ от ДНФ отличается тем, что буквы (аргументы) имеют индексы.

Число букв ЭНФ больше числа аргументов ДНФ.

ЭНФ не соответствует структуре логической сети, на которой было получено выражение для ЭНФ.

ЭНФ соответствует логической сети, представленной в виде дерева, у которого нет разветвления логических элементов и полюсов. Для рассматриваемого примера логическая сеть в виде дерева выглядит следующим образом.

a k

G₁

G₄

gg

b

G₆

c

G₃

G’₁

Y

g₂

m

b’

c’

l

G₂

n

d

e

Дерево получается из исходной схемы путём дробления ветви и формирующей её подсхемы на «n»-идентичных блоков, соответствующих числу разветвляющихся ветвей.

В исходной логической сети в дереве существует только один путь от входного полюса к выходу схемы.

Этот путь обозначен индексами соответствующей буквы ЭНФ.

Каждому возможному пути соответствует по крайней мере одна буква ЭНФ.

2. Понятие кодового расстояния и его использование в теории кодирования.

При искажении в одном разряде возможны 4 слова. Кодовые слова характеризуются понятием кодовое расстояние (или расстояние по Хеммингу).

a_i a_j d_ij =

Значение одного слова отличается от значения другого.

a_ik , a_jk – число разрядов слова.

A_i 1010

d_ij 2

A_j 1100

min d_ij – минимальное расстояние

a₃

111

001

010

001

a₂

a₁

Код min d_ij t+1 позволяет обнаружить t ошибок и скорректировать их.

min d_ij 2t+1

x - ошибка

dxz + dzy dxy 2t + 1

z

y

Билет №3

1. Активизация одномерного пути.

G₂

X₁

X₂

X₃ Y

X₄

неисправность

i=1, 2, 3

неисправность G₁ X_i i=1, 2, 3

Поскольку ДУ конструктивно представляет собой интегральную схему, у которой выходы отдельных логических элементов недоступны (доступен только выходной полюс y), поэтому любая неисправность обнаруживается по значению сигнала y.

Чтобы неисправность появилась на выходе, необходимо создать в схеме ДУ активизированный путь, то есть последовательную цепочку элементов, по которой неисправность от места возникновения проявляется на выходе ДУ.

Активизация одномерного пути происходит по этапам:

1. Прямая фаза реализации пути: выбирается цепочка элеентов от неисправного элемента G_S через элементы до выхода Y.

И определяются условия, при которых каждый последующий элемент этой цепочки (например. ) управлялся только тем входом, который является выходом элемента .

2. Обратная фаза реализации пути: реализуются условия, определённые на первой фазе.

Предварительно необходимо сформировать тест, который обнаруживает неисправность на выходе .

G₈ G₉ G₁₂

X₁ Y₁

X₂

G₇

X₃ G₁₀

G₁₁

X₄

X₅ G₁₃

G₆ Y₂

Эта схема относится к элементам, которые не в начале схемы, и показывает, что неисправность может быть не только в начале.

Тест для неисправности

Первая фаза:

X₄=1 X₅=0 G₆=1

Необходимо определить условия, при которых цепочка активизируется:

1. X₄=1

2. X₅=0

3. Чтобы G₁₃ управлялся G₁₁. G₆=1

Вторая фаза:

X₄=1 X₅=0 G₆=1

X₄=1 X₅=0 X₁=1 T= (1, 0, 1, 1, 0)

X₂=0 x₁ x₂ x₃ x₄ x₅

Может быть такая цепочка:

Но рассматриваемая неисправность не может проявляться на выходе Y₁, потому что на G₁₂ имеет место сходящееся ветвление. И происходит компенсация неисправности самой себя.