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

Принцип сопряженного воздействия.

Принцип соразмерности в развитии способностей.

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

Основывается на органическом взаимодействии процессов развития физичес­ких способностей и формирования двигательных навыков и на возможности его регулирования. Согласно этому принципу тренировочные воздействия должны со­ответствовать не только развитию необходимых способностей, но и умению исполь­зовать их в двигательной структуре конкретного упражнения. Это достигается пу­тем подбора специальных упражнений, направленных на одновременное развитие силы, выносливости и других способностей и на совершенствование отдельных эле­ментов двигательного навыка или навыка в целом. В плавании для развития силы рук в структуре гребка рекомендуется плавание на руках с буксировкой партнера или плавание на резиновом шнуре с преодолением его натяжения; в легкой атлети­ке - прыжковые упражнения, прыжки в длину и в высоту, выполняемые с утяжелен­ным поясом.

7.1. Не зависящие от входа устройства с памятью.

Рассмотрим построения ЛПОС для автономного ДУ (генератора), которое после начальной установки функционирует под действием тактовых сигналов. Одна из особенностей автономного ДУ состоит в том, что в нем отсутствуют информационные входы, на которые могут подаваться тестовые воздействия. Однако если ДУ аппаратурно неизбыточно, то всякая его неисправность проявляется на выходах в процессе функционирования. Это позволяет считать режим функционирования автономного ДУ режимом его тестирования при потактном наблюдении выходов. Для кольцевой ЛПОС характерно установление факта исправности после окончания периода тестирования независимо от того, является ДУ периодическим или непериодическим генератором.

Сначала рассмотрим синтез ЛПОС для одновыходного ДУ, заданного соотношением

(7.1)

в котором каждый аргумент может быть несущественным. Структура ЛПОС одновыходного ДУ приведена на рис.7.1, которая содержит корректирующее устройство и схемы свертки по mod2. В состав КУ входят сдвиговый регистр Рг ν и комбинационная схема К. Здесь корректирующее устройство наряду с формированием требуемого периода T фиксирует посредством Рг ν результаты тестирования.

Будем функцию обратной связи ЛПОС задавать в виде

период T отождествлять с показателем неприводимого многочлена

над GF(2).

Приведем процедуру синтеза ДУ в базисе Жегалкина. Для этого перепишем (7.1) в виде многочлена

где = 0 или 1; – подмножества множества (1,…,ν). Затем найдем функцию КУ со схемой свертки M2 на выходе (рис. 7.1):

(7.2)

где , (i = 1,…,ν) – коэффициенты линейной части функции; – коэффициенты нелинейной части. Поскольку максимальное значение переменной j аргумента y(τ – j) равно ν, то аргументы (7.2) формируются на сдвиговом регистре Рг ν длины не более ν. Слагаемые функции (7.2) реализуются соединениями и схемами совпадения комбинационной части К корректирующего устройства. Таким образом, исправная ЛПОС представляет собой структуру из двух автономных устройств: ДУ и КУ с цепью обратной связи от выхода M2 ко входу последовательного занесения кода в Рг ν. Причем свойства периодичности последнего определяются исправностью первого.

Рис. 7.1.

При установке ЛПОС в начальное состояние необходимо согласовать состояния ДУ и КУ. После установки ДУ по специальным установочным входам упорядоченный набор аргументов (y(τ – 1),…, y(τ – ν)) функции (7.1) принимает значения (y₁(0),…,y_v(0)). Этим набором определяется начальное состояние КУ. Записью значений (y₁(0),…,y_v(0)) в регистр Рг ν и выполняется установка начального состояния корректирующего устройства.

Функционирование исправной ЛПОС оказывается строго периодическим и при максимальном числе разрядов Рг ν равным ν описывается соотношением

,

где – вектор-столбец значений выходов Рг ν; H – сопровождающая матрица неприводимого многочлена ; deg g = ν. Исправность ДУ определяется наблюдением выходов Рг ν в такте T, для которого должно выполняться равенство

.

Рассмотрим многовыходное ДУ, реализующее соотношение

(), (7.3)

Построение ЛПОС периода Т будем выполнять путем построения корректирующего устройства КУ_i относительно каждого выхода Д. Синтез КУ_i произведем по правилам синтеза корректирующего устройства одновыходного ДУ. При этом для каждого КУ_i многочлен обратной связи должен принадлежать показателю T_i, являющемуся делителем T. В этом случае ЛПОС содержит m раздельно реализованных КУ_i, которые образуют КУ системы (рис. 7.2).

Рис 7.2

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

в момент τ = 0 имеет значения

Тогда состояния регистров Рг ν_i в момент τ = 0 определяются так: ().

Таким образом, по начальному состоянию ДУ определяется начальное состояние КУ. Этим обеспечивается согласование состояний частей ЛПОС, вследствие которого система функционирует строго периодически с периодом T, равным наименьшему общему кратному показателей (T₁,…,T_m). Решение об исправности ДУ принимается в случае выполнения равенств

,

истинность которых устанавливается в результате наблюдения выходов регистров корректирующего устройства.

Дата добавления: 2014-01-07