- •Список сокращений
- •Билет №1
- •Аналитические модели ду.
- •3.Покрытие ду
- •Разделимые арифметические коды.
- •Билет №2
- •Структурно – аналитическая модель ду.
- •Понятие кодового расстояния и его использование в теории кодирования.
- •Билет №3
- •Активизация одномерного пути.
- •Понятие тестов ду (контролирующие, диагностические).
- •Билет №4
- •Метод эквивалентной нормальной формы.
- •Порождающая и проверяющая матрицы.
- •Билет №5
- •Метод булевой разности.
- •Контроль озу. Аппаратно микропрограммный контроль
- •Билет №6
- •Элементы теории линейного кодирования.
- •Контроль мажоритарно – резервированных элементов.
- •Билет №7
- •Циклические коды.
- •Контроль с использованием квазислучайных последовательностей. Билет №8
- •Сигнатурный анализ (сигнатурный анализ в контроле).
- •Определение сверток двоичного слова.
- •Билет №9
- •Эффективность контроля цу.
- •Картинка соотношения времён функционирования
- •Эффективность контроля цу
- •Тест процедуры.
- •Билет №10
- •Коррекция арифметических операций.
- •Понятие свёртки. Вычисление свёртки двоичного числа
- •Билет №11
- •Числовой аппаратный контроль по модулю.
- •Структурная модель ду.
- •Билет №12
- •Цифровой контроль по модулю.
- •Принцип коррекции искажений.
- •Билет №13
- •Соотношение между надёжностью цу и систем контроля.
- •Теоретические предпосылки контроля по модулю 2 (контроль по четности) и определение искаженного разряда.
Порождающая и проверяющая матрицы.
Алгоритмы кодирования и декодирования задаются различными способами:
Для циклического кода – порождающий полином;
Для Хемминга – порождающая матрица 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)
В общем случае для получения кодового слова необходим полный список кодовых слов.
Код Хемминга:
Для получения кодового слова необходимо знать порождающую матрицу.
Циклический код:
Для кодирования и декодирования необходим порождающий полином.
Билет №5
Метод булевой разности.
(производной)
Основан
на том, что в том месте, где рассматривается
неисправность, производится условный
обрыв сети и эта точка, которую обозначим
как
, рассматривается как новая входная
переменная.
Вводится
в рассмотрение функция
,
которая принимает значение 1, если
изменение значения
приводит к изменению значения выходной
функции Y.
Таким
свойством обладает булева производная
булевой функции
Булева производная:
Производная по доп. переменной
Условие активизации пути от места неисправности (точка ) к выходу схемы.
Булево равенство обладает следующим свойством:
,
если
только от
.
,
если
не зависит от
.
G1
X1
Zi G3
Y
X2 G2
X3
Условие активизации пути:
& - конъюнкция;
1 – дизъюнкция;
Контроль озу. Аппаратно микропрограммный контроль
Особенности:
При контроле необходимо использовать ту информации, которая хранится в ОЗУ в данный момент времени функционирования цифрового устройства. В целях контроля используются дополнительные (контрольные) аппаратурные элементы и некоторая микропрограмма, которая управляет процессом контроля.
ОЗУ
РГ1
УС
РГ2
Инв
УПР
ЗП
УПР – устройство переключения режимов (то есть ОЗУ в рабочем режиме или режиме контроля);
СЧ – считывание;
РГ – регистр;
Инв – инверт;
ЗП – записывается;
УС – устройство сравнения;
СО – сигнал ошибки;
Таким образом, обнаруживается неисправность ячеек ОЗУ типа «залипание 0» или «залипание 1», то есть в данном разряде ячейки постоянно хранится 0 или 1.
Пример:
0101
записываем информацию
(неисправность
залипание)
0111 содержание ячейки
0111 СЧ1 (РГ1)
1000 Инв (содержание РГ2)
1000 ЗП в ячейке ОЗ
1010
СЧ2 (содержание РГ2)
