- •Список сокращений
- •Билет №1
- •Аналитические модели ду.
- •3.Покрытие ду
- •Разделимые арифметические коды.
- •Билет №2
- •Структурно – аналитическая модель ду.
- •Понятие кодового расстояния и его использование в теории кодирования.
- •Билет №3
- •Активизация одномерного пути.
- •Понятие тестов ду (контролирующие, диагностические).
- •Билет №4
- •Метод эквивалентной нормальной формы.
- •Порождающая и проверяющая матрицы.
- •Билет №5
- •Метод булевой разности.
- •Контроль озу. Аппаратно микропрограммный контроль
- •Билет №6
- •Элементы теории линейного кодирования.
- •Контроль мажоритарно – резервированных элементов.
- •Билет №7
- •Циклические коды.
- •Контроль с использованием квазислучайных последовательностей. Билет №8
- •Сигнатурный анализ (сигнатурный анализ в контроле).
- •Определение сверток двоичного слова.
- •Билет №9
- •Эффективность контроля цу.
- •Картинка соотношения времён функционирования
- •Эффективность контроля цу
- •Тест процедуры.
- •Билет №10
- •Коррекция арифметических операций.
- •Понятие свёртки. Вычисление свёртки двоичного числа
- •Билет №11
- •Числовой аппаратный контроль по модулю.
- •Структурная модель ду.
- •Билет №12
- •Цифровой контроль по модулю.
- •Принцип коррекции искажений.
- •Билет №13
- •Соотношение между надёжностью цу и систем контроля.
- •Теоретические предпосылки контроля по модулю 2 (контроль по четности) и определение искаженного разряда.
Билет №6
Элементы теории линейного кодирования.
Большинство кодов обладает свойством линейности, то есть сумма или разность двух кодовых слов является кодовым словом.
Если есть множество n – разрядных двоичных слов, то в нём есть подмножество, обладающее свойством линейности. Обозначается k. L(n,k)
Линейные коды удобны, так как в них существуют простые алгоритмы кодирования и декодирования, а также компактное задание подмножества k.
Алгоритмы кодирования и декодирования задаются различными способами:
Для циклического кода – порождающий полином;
Для Хемминга – порождающая матрица P(x);
аи – информационные разряды;
ак – контрольные разряды;
ak ak ak
a1 a2 a3 a4 a5 a6 a7
Строки, в которых стоят 1 в информационных разрядах, показывают, какие надо сложить по модулю 2, чтобы получить значение контрольного разряда. Эта сумма называется синдромом:
Si i=1,2,3 S1 = 1
S1 = S2 = S3 = 0 S2 = 0 5 разряд (в нём искажение)
S3 = 1
Сочетание значений синдромов указывает номер искажений.
Пример: матрица Н всегда одинаковая
а3 а5 а6 а7
А = 1 0 0 1 - любое число
S1 = 0 S1 = 1
S2 = 0 S2 = 0
S3 = 0 S3 = 1
Искажений нет
В общем случае во множестве n – разрядных двоичных слов можно выбрать систему линейно – независимых векторов, которые называются базисом.
= G - эта совокупность линейных векторов является порождающей
матрицей G линейного кода.
Каждый из этих векторов не может быть получен через линейную комбинации других векторов.
Через этот базис может быть выражено множество 2к векторов, образующих линейное подмножество L(n,k).
И любой вектор этого пространства a обозначается как:
Тогда если имеется исходное слово А. чтобы получить кодовое слово «a», необходимо a = A*G.
P(x) G
P(x); x P(x); x2 P(x);…; xk P(x) порождающий полином степени k.
=G(x)
В общем случае для получения кодового слова необходим полный список кодовых слов.
Код Хемминга:
Для получения кодового слова необходимо знать порождающую матрицу.
Циклический код:
Для кодирования и декодирования необходим порождающий полином
Контроль мажоритарно – резервированных элементов.
Для повышения надёжности объектов контроля (ОК) используют резервирование его функциональных элементов (ФЭ) (дублирование), то есть параллельно работают 2 ФЭ, сигналы которых сравниваются.
Если сигналы не совпадают, то какой-то элемент неисправен, но неизвестно, какой. Но совпадение сигналов указывает на то, что оба элемента исправны и результирующий сигнал также соответствует необходимому значению. Для обнаружения действительного значения сигнала используют мажоритарное резервирование. Работают три одинаковых канала или больше (нечёткое число). Действительное значение сигнала соответствует большинству сигналов на выходе ФЭ.
Установление неисправности элемента (то есть контроль мажоритарно резервированных устройств) называется мажоритарным контролем.
Y
ЭА
α1
α2
α3
МЭ – мажоритарный элемент; ФЭ – функциональный элемент;
ЭА – элемент анализа;
по
этому принципу работает МЭ.
Отличие одного сигнала Yi от двух других приводит к тому, что сигнал Y будет соответствовать двум одинаковым сигналам.
αi =1 показывает, какой i-й ФЭ неисправен.
