5.5. Коды Боуза-Чоудхури-Хоквингема
5.5.1. Методы задания кодов БЧХ
Коды Боуза-Чоудхури-Хоквингема (БЧХ) составляют один из больших классов линейных кодов, исправляющих ошибки.
Причем метод построения этих кодов задан явно.
Код БЧХ длины
, исправляющий
-кратные ошибки, это циклический
блочный код над полем
, корнями порождающего многочлена которого являются
, где
– элемент конечного поля
;
–
целое число.
В соответствии с этим определением и
выражением (5.21) порождающий многочлен
кода БЧХ может быть представлен наименьшим общим кратным
,
|
|
где
– минимальные
многочлены элементов
.
Доказано [30, 33], что наличие
корней
полинома
, указанных в определении кода, гарантирует исправление всех ошибок кратности, меньшей или равной
.
Основное внимание обратим на коды БЧХ,
имеющие длину
. Такие
коды называются примитивными кодами БЧХ.
Часто выбирают
(случай кодов БЧХ в узком смысле), что,
как правило, приводит к порождающему полиному наименьшей
степени, а значит, и к наименьшему числу избыточных символов в
кодовом слове. Кроме того, целесообразно выбрать
(
– примитивный элемент поля
, поскольку
при этом получается наибольшая длина кодового слова. Список порождающих многочленов
кодов БЧХ различных длин (вплоть до
) имеется,
например, в [26].
Построенные таким образом коды БЧХ,
исправляющие как минимум
-кратные ошибки, характеризуются конструктивным
расстоянием кода
.
Истинное минимальное расстояние
кода БЧХ может оказаться больше, чем
. Это означает, что
ряд кодов БЧХ может исправлять ошибки кратности большей, чем та, которую
задают при построении этого кода.
Найдем проверочную матрицу двоичного
циклического кода БЧХ, исправляющего
-кратные
ошибки. Учитывая свойство равенства минимальных
многочленов с номерами
и
(см. 5.3.5), степень порождающего многочлена
может быть
снижена. Действительно, если, например,
, порождающий многочлен примет вид
.
|
(5.25)
|
При этом проверочная матрица
.
|
(5.26)
|
Сравнивая эту матрицу с матрицей (5.19) кода Хэмминга, видим, что код Хэмминга представляет собой
частный случай примитивного кода БЧХ, исправляющего однократные ошибки
.
Представляет интерес воспользоваться
возможностью описания кодов БЧХ в спектральной области (см. 5.4.5). Как следует из свойств дискретного преобразования Фурье,
спектры слов циклического кода БЧХ должны содержать нулевые компоненты с
номерами
.
Таким образом, циклический код БЧХ,
исправляющий
-кратные ошибки, можно
определить как множество всех слов над полем
, для которых
последовательных
компонентов спектра равна нулю. Указанное свойство кодов БЧХ используется при
их декодировании.
К особенностям кодов БЧХ можно отнести тот
факт, что с ростом длины
кода при фиксированном значении скорости
кода
отношение
стремится к
нулю. В результате, несмотря на наличие у кодов БЧХ отмеченных положительных
свойств, при больших длинах
приходится отдавать предпочтение другим
кодам [3, 30].