что и требовалось доказать.
5.2. Применение новых свойств многочленов к задачам связи
Применение новых свойств многочленов к задачам помехоустойчивого кодирования
Типовые (стандартные) процедуры помехоустойчивого кодирования базируются на вычислении вычета (остатка или контрольной суммы) в регистре сдвига с обратными связями [7]:
, (4)где G(x) – неприводимый многочлен, образующий код, а А(х) – вектор информационной части блока.
Полученный остаток дополняет блок и передается по каналу связи на приемную станцию. По принятому блоку
, (5)где
– вектор ошибки, вычисляется синдром ошибки: . (6)Вычисление контрольной суммы в кодере и синдрома ошибки в декодере выполняется одинаковыми регистрами сдвига кодера и декодера. Стандартный кодер систем передачи данных для
оговорен рекомендацией V-41 МККТТ [7].Логичным является следующий вопрос:
– имеют ли одинаковую обнаруживающую способность полиномы одной и той же степени (включая взаимные)?
Прежде всего отметим, что контрольная сумма есть вычет информационного многочлена по модулю образующего полинома, т.е.:
(7)где
– элемент кольца вычетов по модулю G(x).Вычислим вычет инверсного к информационному многочлена:
(8)Отметим, что для циклического кода Боуза-Чоудхури-Хоквингема (БЧХ кода) длину информационной части блока берут из условия
, где k – степень кодового полинома, а L – длина блока. Это значит, что длина информационной части блока не должна превышать длины периода кольца вычетов.Всегда можно выбрать L=T, а любой двучлен вида
представить в видеУчтем, что:
– неприводимый многочлен делит без остатка двучлен
, что обозначает ;– многочлены
и имеют одинаковую степень, поэтому .Отсюда прямой и взаимный многочлен без остатка делит не только
, но и .Поэтому, если неприводимый многочлен
несимметричен, т.е. , то имеет место следующее разложение: . (9)Учитывая, что
– симметричные многочлены, то F(x) – также симметричный многочлен, степень которого равна d = (T-1)-2k.
Здесь
– взаимные несимметричные многочлены (их произведение есть симметричный многочлен). Симметричные многочлены, если они имеются в разложении, записываются отдельно (например, Е(х), (х+1)) или входят в F(x) (см., например, в разложении ).Учитывая, что
,получим, что
(10)т.е. вычеты прямого и инверсного многочленов равны друг другу.
Для вычетов:
– прямого многочлена по взаимному модулю;
– взаимного многочлена по взаимному модулю;
– взаимного многочлена по прямому модулю запишем:
(11) (12)где
– элемент кольца вычетов по модулю G^(x).
(13)Сравнивая (7) и (13), (11) и (12) заметим, что
и есть соответственно прямой и обратный элемент кольца вычетов по модулю G(x), связанные, соответственно, как . Аналогично и есть соответственно прямой и обратный элемент кольца вычетов по модулю , . Отсюда следует, что:1. контрольная сумма прямой и инверсной последовательности равны, кодирование прямой или инверсной последовательности равноценны;
2. процедура кодирования по прямому и взаимному модулю, прямого или взаимного информационного многочлена однотипны. Поэтому, не имеет значения порядок считывания информационных символов в процессе кодирования, важно лишь, какие элементы кольца (прямые или обратные) берутся для кодирования по прямому или взаимному кодовому полиному;
3. кодирующее устройство не обязательно строить в виде регистра сдвига с обратными связями.
Кодирующее устройство может реализовать любую из процедур (7,11,12 или13).
В этом случае кодер может быть представлен структурой, показанной на рис.1 и содержать:
- генератор элементов кольца;
- накапливающий сумматор, который складывает элементы кольца
или , взвешенные с весом бита данных(0 или 1) .