
8 Контроль работы цифрового автомата
Арифметическим кодам 1-го вида будем называть код А- N, где А —
контролируемое число, N— модуль. Для таких кодов несколько изменяют-
ся понятия «расстояния» и «веса».
Весом арифметического кода принято считать количество нену;гевых
символов в кодовой комбинации, а расстояние, определяемое как вес раз-
ности кодовых комбинаций,
нъ-ъь\ъа\от
арифметическим расстоянием.
Если расстояние между двумя числами yi, и у(, равно d. то эго означа-
ет, что переход от одного числа к другому достигается прибавлением Bejm-
чины d. В этом случае все комбинации чисел, находящиеся между ,1, и ,4,,
являются запрещенными. Следовательно, для обнаружения (/-кратной
ошибки необходимо иметь расстояние не меньше t/ + 1, Ecjm rf = I. го ra-
кой код не сможет обнаруживать ошибок. Величина расстояния для кодов
А
•
N -вида зависит от величии AHN.
Предполагается (и это доказано в теории кодирования [10|). чю для
любого числа А в системе основания q
=
2 существует едипс1вешюе пред-
ставление вида
4,
= о„
•
2" + а„_,
•
2""' +... + я„, (8.34)
где f/, = ±1 или О, и в котором нет двух соседних коэффициенгов, оин1чны\
от нуля.
Представление (8.34) содержит минимальное число ненулевых коэф-
фициентов и называется каноническим. В каноническом представлении вес
любого числа, начиная с 2'^ и вплоть до числа 2' +2'"^. на елиииц> бо.ть-
ше,
чем вес чисел от I до 2'" . Вес чисел, начиная с 2' +2'^'
+ I
и вплоть до
2"',
совпадает с весом чисел 2'
-i-
2'"'
-1,
2'
-i-
2'' - 2 и т. д.
Количество разрядов для прелставления числа А
•
N равно
\о%2(А-
N)
=
log2 А
+
log; N , где log, N — избыточносгь кода. Таким образом,
выбор модуля определяет не только избыточность, но и расстояние. В качесгве
модуля целесообразно выбирать некоторое взаимно простое с основанием сис-
темы q число, превосходящее само основание. Можно положить, чго для двоич-
ной системы Af = 3, и тогда любой код вида А
•
3 будет обнаруживать все оди-
ночные ошибки. Следовательно, минимальная избыточность при произвольном
основании онрецамегся как log^(^ +1), т. е. всегда будег требоваться Fie менее
одного, но и не более двух дополнительных разрядов.
Коды с минимальным расстоянием, большим двух, характеризуются
величиной M,i(N,d). Величина M^(N,d) — наименьшее число, дающее
206