- •Иванов в.И.
- •Конспект лекций
- •Прикладная алгебра
- •Содержание
- •Лекция 1 Алгебраические операции и алгебраические структуры. Матрицы. Операции над матрицами. Типы матриц. Нормы матриц
- •Алгебраические операции и алгебраические структуры
- •2. Матрицы. Операции над матрицами
- •3. Типы матриц
- •4. Нормы матриц
- •3) 4) Наибольшее сингулярное число
- •Лекция 2 Теория Фредгольма для систем линейных алгебраических уравнений (слау)
- •1. Ядро дефект и образ матрицы
- •2. Альтернатива и теорема Фредгольма
- •Лекция 3 Нормальное решение, псевдорешение слау. Псевдообратная матрица
- •1. Нормальное решение слау
- •2. Псевдорешение слау
- •3. Псевдообратная матрица
- •Лекция 4 lu-разложение матрицы
- •1. Матрицы преобразований
- •Лекция 5 Матрицы вращений и матрицы отражений. Qr-разложение матрицы
- •1. Матрицы вращений
- •Называются матрицами вращения (простого поворота, Гивенса).
- •2. Матрицы отражений
- •Лекция 6 Сингулярные числа матрицы. Сингулярное разложение матрицы. Полярное разложение матрицы
- •1. Свойства матриц и
- •2. Сингулярные числа матрицы
- •3. Сингулярное разложение матрицы
- •4. Следствия из сингулярного разложения матрицы
- •5. Полярное разложение матрицы
- •Лекция 7 Возмущения слау. Число обусловленности
- •1. Возмущения единичного оператора
- •1. Возмущения невырожденного оператора. Число обусловленности
- •3. Возмущения слау. Число обусловленности
- •Лекция 8 Кольцо и поле. Делители нуля. Характеристика поля. Алгоритм Евклида. Число элементов конечного поля
- •1. Кольцо и поле. Делители нуля
- •2. Характеристика поля
- •3. Алгоритм Евклида
- •3. Число элементов конечного поля
- •Лекция 9 Кольцо многочленов над полем. Алгоритм Евклида. Неприводимые многочлены
- •1. Кольцо многочленов над полем
- •2. Алгоритм Евклида
- •3. Неприводимые многочлены
- •Лекция 10 Общий способ построения полей. Поле разложения. Существование поля из элементов
- •1. Общий способ построения полей
- •2. Поле разложения
- •3. Существование поля из элементов
- •Лекция 11 Алгебраическая структура конечного поля. Неприводимые множители многочлена деления круга
- •1. Алгебраическая структура конечного поля
- •2. Неприводимые множители многочлена деления круга
- •Лекция 12 Единственность конечного поля. Число неприводимых многочленов в
- •1. Единственность конечного поля
- •2. Число неприводимых многочленов в
- •Лекция 13 Коды, исправляющие ошибки. Основные характеристики кода. Линейные коды
- •1. Коды, исправляющие ошибки
- •2. Основные характеристики кода
- •3. Линейные коды
- •Лекция 14 Коды Боуза – Чаудхури– Хоквингема (бчх-коды)
- •1. Введение
- •1. Коды Боуза – Чаудхури– Хоквингема (бчх-коды)
- •Итак, в матрице (2) любые столбцов линейно независимы, следовательно, по теореме 3 лекции 13 соответствующий код исправляет ошибок лекция 15 Циклические коды
- •1. Циклические коды
- •Лекция 16 Декодирование циклических кодов. Локаторы ошибок. Многочлены локаторов и синдромов. Ключевое уравнение
- •1. Декодирование циклических кодов
- •2. Локаторы ошибок. Многочлены локаторов и синдромов
- •3. Ключевое уравнение
- •Лекция 17 Решение ключевого уравнения. Алгоритм декодирования бчх-кода
- •1. Решение ключевого уравнения
- •2. Алгоритм декодирования бчх-кода
- •Пример. , .
- •Библиографический список
Лекция 16 Декодирование циклических кодов. Локаторы ошибок. Многочлены локаторов и синдромов. Ключевое уравнение
1. Декодирование циклических кодов
Пусть – циклический код с параметрами:
– длина кодовых слов;
– количество исправляемых ошибок.
Имеем
.
Здесь – порождающий многочлен кода, имеющий своими корнями элементы
, (1)
где
– примитивный корень
-й
степени из единицы. Напомним, что
,
где
– наименьшее положительное число такое,
что
:
.
Если – примитивный элемент поля , то .
При
передаче
по каналу связи из-за возможных ошибок
будет принят многочлен
,
где
– номера искаженных разрядов.
Если
,
то процедура декодирования должна
обеспечивать исправление этих разрядов.
2. Локаторы ошибок. Многочлены локаторов и синдромов
Исходными данными для декодирования являются так называемые синдромы – значения принятого многочлена на элементах (1):
.
Так как элементы (1) являются корнями многочлена , и, следовательно, многочлена , то
.
Заметим, что задача отыскания номеров искаженных разрядов эквивалентна задаче отыскания элементов
поля
называемых локаторами ошибок. Обозначая
эти элементы
,
соответственно, получаем
.
Величины
были определены для нечетных
,
однако, используя формулу возведения
в квадрат в поле с характеристикой 2:
,
мы можем считать, что известны для всех от 1 до . Действительно,
Итак, задача обнаружения искаженных разрядов сводится к такой: найти элементы поля , такие, что
, (2)
– известные
элементы поля.
Для аппаратной реализации процедуры декодирования оказывается удобнее вместо непосредственного отыскания локаторов ошибок (решения системы (2)) вычислить многочлен, корнями которого являются элементы, обратные локаторам ошибок
. (3)
Он называется многочленом, локаторов ошибок. В целом алгоритм декодирования может быть теперь описан следующим образом.
1°. По принятому многочлену вычисляются синдромы ;
2°.
По вычисленным синдромам находится
многочлен локаторов ошибок
;
3°.
Элементы
по очереди подставляются в многочлен
локаторов ошибок. Если
,
то
– локатор ошибки и соответствующий
разряд исправляется (то есть заменяется
на противоположный).
Рассмотрим, как выполнить наиболее трудный пункт 2°.
3. Ключевое уравнение
Обозначим
через
многочлен
. (4)
Будем далее его называть многочленом синдромов. Задача состоит в том, чтобы по многочлену синдромов (4) найти многочлен локаторов ошибок
.
Нам потребуется также многочлен
в который входят все члены многочлена локаторов ошибок с четными степенями .
Выше отмечалось, что если в кольце многочленов над любым полем формально определить операцию дифференцирования
,
то основные правила дифференцирования: линейность и правило дифференцирования произведения остаются в силе. (Это проверяется непосредственно подсчетом коэффициентов при одинаковых степенях ).
Используя
этот факт, многочлен
можно записать так
.
Лемма 1. Справедливо следующее соотношение
. (5)
Другими
словами, у многочлена в левой части
коэффициенты при
равны нулю.
Лемма
1 доказывается индукцией по
(количеству произошедших ошибок). При
имеем
и левая часть соотношения (5) принимает
вид
,
то есть тождественно равна нулю.
Пусть
теперь соотношение (5) выполняется для
некоторого
и
.
Покажем, что оно выполняется и для
ошибок. Временно будем обозначать
многочлены, входящие в (5), малыми буквами
для случая
ошибок и соответствующими большими
буквами для случая
ошибок:
Кроме того,
Подставляем
теперь
,
,
в уравнение (5):
По предположению индукции
.
Следовательно,
(
).
Лемма 1 доказана.
Соотношение
(5) можно рассматривать как уравнение,
которому удовлетворяет многочлен
локаторов ошибок. Его называют ключевым
уравнением. Требуется найти решение
ключевого уравнения, удовлетворяющее
дополнительным условиям
и
степень
.
