1) Произведение любого разрешенного кодового слова на транспонированную проверочную матрицу дает нулевой вектор, содержащий разрядов.
Пример: для кода (6,3)
,
2) Произведение некоторого неразрешенного кодового слова на транспонированную проверочную матрицу называется синдромом и обозначается .
3) Между порождающей и проверочной матрицами в каноническом виде существует соответствие, задающееся равенством:
4) Кодовое расстояние кода (, ) равно минимальному числу линейно независимых столбцов проверочной матрицы. Вычисление по осуществляется следующим способом: определяется наличие двух одинаковых столбцов, при обнаружении которых = 2. Если их нет, определяется наличие трех столбцов, сумма которых равна нулю, следовательно = 3. Если , далее последовательно отыскивается 4, 5 и т. д. столбцов, сумма которых равна нулю. При их наличии = 4, 5 и т. д.
Пример: для кода (5,3)
следовательно = 2.
5) Произведение информационного слова на порождающую матрицу дает разрешенное слово кода.
|
|
Пример: для кода (6,3)
6) Два кода называются эквивалентными, если их порождающие матрицы отличаются перестановкой координат, т.е. порождающая матрица получается в результате перестановки столбцов и перечисленных выше элементарных операций над строками. Эквивалентные коды имеют одинаковые и обладают одинаковыми корректирующими свойствами.
7) Кодовое расстояние любого линейного (, )–кода удовлетворяет неравенству (граница Сингтона):
Линейный код, для которого это неравенство превращается в равенство, называется кодом с максимальным расстоянием.
8) Для двоичного линейного (, )–кода с исправляющей способностью = 1, проверочную матрицу модно рассматривать, как таблицу синдромов, при этом синдром определяется по общему правилу свойства (2), а местонахождение ошибки в кодовом слове определяется, как номер столбца в матрице , совпадающего со значением синдрома.
Пример: пусть посредством разработанного кода (6,3) передается информационная комбинация 101. По правилу, изложенному в пункте 5, соответствующая ей разрешенная кодовая комбинация определяется как:
Соответствующая матрица имеет вид:
Предположим, что, из-за помех в канале, исказился 3-й слева символ, и была принята неразрешенная комбинация 10 0 011. По правилу свойства 2, соответствующий этой комбинации синдром можно определить как:
совпадает с со столбцом №3 в матрице , следовательно ошибка в третьем разряде.