Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата

[pic] где [pic] - значение двоичного символа на [pic]-м выходе цифрового узла в
[pic]-й такт его работы, а тактовая частота работы анализатора в [pic] раз выше частоты синхронизации исследуемого узла. При этом в каждый такт работы анализатора на его вход последовательно, начиная с первого выхода, поступают значения [pic]. Функционирование одноканального анализатора в многоканальном режиме, когда количество каналов равняется [pic], описывается системой уравнений

[pic] где численное значение коэффициентов [pic] определяется на основании следующей системы уравнений

[pic]
Коэффициенты [pic]определятся следующим образом:

[pic]

2.5. Алгоритм построения многоканального сигнатурного анализатора.

Для заданных значений [pic] и [pic], где [pic]определяет достоверность диагностирования, алгоритм построения многоканального сигнатурного анализатора состоит из следующих этапов.
1. Вычисляются постоянные коэффициенты [pic] где [pic]
2. Определяются коэффициенты [pic] причём значения коэффициентов [pic] вычисляются на основании соответствующей системы уравнений, а значения остальных коэффициентов определяются согласно выражению [pic]
3. Строится функциональная схема многоканального сигнатурного анализатора на основании полученной системы уравнений

[pic]
При этом используются результаты этапов 1 и 2, позволяющих однозначно определить топологию связей многовходовых сумматоров по модулю два, на выходах которых формируются значения [pic].

2.6. Применение многоканальных анализаторов для диагностики неисправностей.

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

Предварительно докажем следующую теорему.
Теорема. Суммарная сигнатура S(x), полученная для последовательностей
[pic] на n – канальном сигнатурном анализаторе, равна поразрядной сумме по модулю два сигнатур [pic], [pic], причём каждая из сигнатур [pic], формируется для последовательности [pic] при условии, что [pic].
Доказательство. В n – канальном анализаторе n входных последовательностей преобразуются в одну вида:

[pic]
Такая входная последовательность, анализируемая n канальным сигнатурным анализатором, описывается следующим двоичным полиномом:

[pic], (2.6.1) который состоит из суммы по модулю два полиномов вида:

[pic], (2.6.2) описывающих выходные последовательности [pic]. Каждый полином [pic] можно представить в виде соотношения:

[pic], (2.6.3) где [pic]-полином, взаимно обратный полиному [pic], используемому для реализации n – канального сигнатурного анализатора; [pic]- сигнатура последовательности [pic].
Просуммировав по модулю два правые и левые части равенства (2.6.3), получим, что полином [pic] будет определяться как

[pic] (2.6.4) для которого также справедливо соотношение [pic], т.е.

[pic][pic] (2.6.5)

В результате сравнения двух последних равенств можно заключить, что суммарная сигнатура S(x), полученная для последовательностей [pic] равна поразрядной сумме по модулю два сигнатур [pic] каждой из входных последовательностей:

[pic]

(2.6.6) что и требовалось доказать.

Основной результат данной теоремы, выраженный соотношением (2.6.5), справедлив для примитивного полинома [pic] и произвольных значений n и l.
Следствием этой теоремы является возможность определения эталонной сигнатуры для произвольного множества входных последовательностей. Так, эталонное значение сигнатуры для первой, второй и пятой последовательностей будет вычисляться как

[pic]
Используя результаты теоремы, можно формализовать процедуру контроля цифровой схемы. При этом входными последовательностями [pic] этого анализатора в общем случае могут быть последовательности, формируемые на входных, промежуточных и выходных полюсах схемы, для которых в результате предварительных исследований определены значения эталонных сигнатур [pic].
Не нарушая общности, предположим, что n=2d, и представим процедуру контроля в виде следующего алгоритма.

Алгоритм контроля цифровой схемы локализацией неисправности до первой последовательности, содержащей вызванные ею ошибки.
1. В результате анализа n=2d реальных последовательностей [pic] на n – канальном анализаторе определяется значение сигнатуры S*(x), которое соответствует соотношению:

[pic]
2. По выражению

[pic] вычисляется эталонное значение сигнатуры S(x).
3. Реальное значение сигнатуры S*(x) сравнивается с эталонной сигнатурой

S(x). В случае выполнения равенства S*(x) и S(x) считается процедура диагностики оконченной. В противном случае, когда S*(x)(S(x) выполняется следующий этап алгоритма.
4. Все множество входных последовательностей разбивается на две группы, причём номера последовательностей [pic] составляют множество

Рекомендуем скачать другие рефераты по теме: мировая торговля, государство курсовая работа, решебник класс.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата