Файл: Толстоусов, Г. Н. Прикладная теория информации учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 30.10.2024
Просмотров: 81
Скачиваний: 0
бой). Такое число монет обеспечить только простой (неприводи мый) полином Сг(х) » который делится сам на себя и на единицу. Для приводимого полинома часть множителей может сократиться с множителями делимого и разрядность остатков будет меньше.
Если число случаев ошибочного приема, которые нужно разли чить, равно М , то степень порождающего полинома должна удов летворять условию
При этом необходимо выбирать минимальное число т. , так как оно равно числу вводимых избыточных символов в циклический код.
Таким образом, порождающий полином есть один из неприводи
мых делителей |
полинома |
, |
степень которого удовлетворя |
|
ет указанному |
условию. |
|
|
|
При обнаружении одиночной ошибки М = 2. Следовательно, |
||||
ПЬ^ I . Полином Ж +• У |
всегда |
имеет делитель |
, кото |
|
рый и выбирается порождающим полиномом. Таким образом, |
при лю |
|||
бом числе информационных разрядов |
необходим один избыточный |
разряд. Его значение обеспечивает четность числа единиц в любой
кодовой |
комбинации. |
|
|
|
|
|
|
|
|
|
При исправлении одиночных ошибок имеем М = /г |
. Следова |
|||||||||
тельно, |
необходимым условием |
исправления любой одиночной ошибки |
||||||||
является |
|
|
|
|
|
|
|
|
|
|
Отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
т - к - к |
|
(ъ + V . |
|
|
|
|
||
Наименьшие |
значения |
числа |
информационных символов К |
для раз |
||||||
личных значений числа избыточных символов |
т> приведены в табл. |
|||||||||
15.3. |
|
|
|
|
|
|
|
Таблица 15.3 |
|
|
|
|
|
|
|
|
|
|
|
||
пг |
I |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
к |
и |
1 • 4 |
ІГ 26 |
57 |
1 2 0 |
~ w r ' Ы)2 ‘ ТШ |
||||
гь |
I |
3 |
7 |
15 |
31 |
63 |
127 |
255 |
5II |
1023 |
79
|
Порождающий полином Сг (сс) должен быть простым делителем |
||||
двучлена х а + ’/ . Известно [9] |
, что любой двучлен |
в и д ах ^ /= |
|||
=.ссх |
~+ У |
(именно такое соотношение имеет место |
между пь |
||
и /г |
в табл. 15.3) может быть представлен произведением про |
||||
стых полиномов, степени которых |
являются делителями |
числа пъ |
|||
(от I |
до пь |
включительно). Следовательно, по крайней мере |
|||
один |
простой |
полином степени пь |
, являющийся делителем |
, |
|
существует. |
Существуют таблицы простых полиномов {[э] , |
с помо |
щью которых несложно выбрать порождающий полином. При этом не
обходимо |
убедиться, |
что он обеспечивает заданное число остат- |
ков, т .е . |
не является делителем двучлена х ^ + У > где £<.гъ . |
|
При |
т. - Z |
имеем щ х ) = х д+Х +/ , |
При |
т - 5 |
тее.:(г(х)=Х-*+х+/ либо£^х)=х |
При |
т |
имеем(г(х)=Х^Х+і ж6о(х{х)=эс,ѵ+з?+і. |
Эти полиномы могут быть также использованы для построения цик лических кодов, обнаруживающих любую двойную ошибку. Вектор двойной ошибки имеет вид
N(oc.)=x.c+x^- х.*(хь~* + 1)т
Так как i - j |
< f% |
, то f/(x.) не делится без остатка н а £ /х ), |
||||
что и позволяет обнаружить двойные ошибки. |
|
|
||||
Следует отметить, что циклические коды при соответствующем |
||||||
выборе &(х) |
обладают способностью корректировать пачки |
ошибок, |
||||
что определяет их большое практическое значение. |
|
|
||||
В заключение укажем на практический способ образования |
|
|||||
циклического кода. Первичный код А*(х.) |
умножается на x n |
, |
||||
что соответствует |
приписыванию т> |
нулей |
справа. ЗатouAtxj'JC*1 |
|||
делится на порождающий полином С-(х) , целая часть Q(x>) |
отбра |
|||||
сывается, а остаток деления Щх) |
добавляется по модулю два |
к |
||||
А**'Хт t т .ѳ . записывается на место пь |
нулевых младших раз |
|||||
рядов. Многочлен |
|
|
|
|
|
F M - ffM x ,™ ® Щ х)
делится на Сг(х.) без остатка. Действительно ,
А*(х)х'п= &(х.)Сг(х.) Ѳ Ѵ(х) ,
80
Т ак к а к оп ер ац и и сл о ж ен и я и в ы ч и т а н и я по модулю д в а и д ен ти ч н ы ,
имеем
F(x)=A*(x)-x m‘®R{x,)=a(sc)C(x,).
Так как F(x.) делится на С-(х) без остатка, то F(cc) является комбинацией циклического кода. Такой способ кодирования разделя ет информационные и избыточные символы, что упрощает декодиро вание.
Непрерывные коды. Из непрерывных кодов, исправляющих ошибки, наиболее известны коды Финка-Хагельбаргера, в которых контроль ные символы образуются путем линейной операции над двумя или более информационными символами. Принцип построения этих кодов рассмотрим на примере простейшего цепного кода. Контрольные сим волы в цепном коде формируются путем суммирования двух информа ционных символов, расположенных один относительно другого на определенном расстоянии:
= Cl |
СкZ £і+і,Kti~ Cl+і © Ск+/ >• • - |
(tâЯ) |
Расстояние между |
информационными символами £= к-£ |
определя |
ет основные свойства кода и называется шагом сложения. Число контрольных символов при таком способе кодирования равно числу
информационных символов, поэтому избыточность кода |
/и- * 0 |
,5 . |
Процесс образования последовательности контрольных |
символов |
|
показан на рис. 15.Іа . Полученные контрольные символы размеща ются между информационными символами с задержкой на два шага сложения
При декодировании из принятых информационных символов по тому же правилу (15.9) формируется вспомогательная последова тельность контрольных символов в " , которая сравнивается с принятой последовательностью контрольных символов &' (рис.
15.16 ) . Если произошла ошибка в информационном символе, напри
мер "С# |
, то это вызовет искажения сразу |
в двух символахе£к |
||||
и |
е'кт . |
» что и обнаружится в результате |
их сравнения |
с е'ік |
||
и |
Отсюда по общему индексу К. |
легко определить |
и исп |
|||
равить ошибочно принятый информационный символ |
с'к . Ошибка в |
|||||
принятом |
контрольном символе, например |
£ / |
, |
приводит |
к не- |
81
совпадению контрольных последовательностей лишь в одном месте, Исправление такой ошибки не требуется.
а) |
Сі>■■■, ск, |
, С, |
&г„
е'кт
Важное преимущество непрерывных кодов состоит в их способ ности исправлять не только одиночные ошибки, но и группы (паке ты) ошибок. Если задержка контрольных символов выбрана равной ZC , то можно показать, что максимальная длина исправляемо го пакета ошибок также равна при интервале между пакета
ми не менее />£+■/ . Таким образом, возможность исправления длинных пакетов связана с увеличением шага сложения £ , а следовательно, и с усложнением кодирующих и декодирующих уст ройств.
§ 16. Непрерывные источники информации. Спектральный анализ сигналов
Непрерывные источники информации отличаются от дискретных прежде всего тем, что состояние непрерывного источника может принимать любое значение внутри заданной области. Таким образо у непрерывного источника имеется бесконечное число возможных состояний. Сообщение источника, нс меняющего своего состояния,
82
есть непрерывная случайная величина, и её статистические харак теристики определяются интегральным законом распределения или плотностью вероятности. Сообщение непрерывного источника, меня ющего свое состояние, есть случайный процесс. Случайный процесс описывается плотностями вероятности состояния для каждого мо
мента времени: zJ'[po(ii>)Jf |
двумерными |
плотностями веро |
|
ятности, связывающими состояния для всех |
возможных пар времени: |
||
|
•■/"и так далее |
до |
гь - мерной плотно |
сти вероятности |
|
/г-*** . Ввиду невоз |
можности практического использования такого математического ап парата часто применяют так называемую корреляционную теорию случайного процесса, в которой многомерные плотности вероятно сти заменяются корреляционной функцией или спектральной плот ностью. Аппарат корреляционной теории строго описывает нормаль ный случайный процесс, для остальных процессов он является при ближением.
Очевидна разница между дискретными и непрерывными источни ками информации. Последние имеют бесконечное число возможных состояний и меняют их через бесконечно малый промежуток време ни. Однако при некоторых предположениях изучение непрерывных источников можно вести с помощью теории дискретных источников информации. Этому будут посвящены три следующие раздела. После чего будут изучаться специфические особенности непрерывных ис точников.
Предварительно необходимо напомнить некоторые положения спектрального анализа непрерывных детерминированных функций.
Люб^й физически |
существующий сигнал / |
может быть описан |
однозначной функцией |
времени: |
|
Временная форма представления сигналов позволяет определить энергию, мощность, длительность. Однако для сравнительного ана лиза удобно представить каждый сигнал в виде суммы составляющих
некоторого заранее определенного набора |
функций времени ЧЦІ) : |
Ш )= ІС сѴ ф ). |
(іб. 1) |
Is |
|
Тогда сравнительный анализ всего многообразия сигналов сводится
83
к анализу коэффициентов ряда . Такая форма представления удобна и для изучения преобразования сигналов линейными систе мами. Если известна реакция системы на элементарный сигнал
то реакцию системы на сигнал £(Ь) |
легко получить, умножая эти |
|||
реакции на коэффициенты |
и складывая. |
|
||
Ф у н к ц и и в ы б и р а ю т с я |
так, |
чтобы ряд (16.1) сходился |
||
и коэффициенты ряда |
легко |
вычислялись. |
|
|
Этим требованиям удовлетворяют, например, системы ортого |
||||
нальных функций. Функции, |
заданные |
на интервале |
|
|
называют ортогональными, если выполняются условия |
|
|||
т |
|
|
|
|
/ % Щ ( ь ) с и =О |
|
при С Фj . |
U6.Z) |
Известен ряд* систем ортогональных функций, например полиномы Лежандра, Эрыита, Чебышева, функции Хаара, Уолша, функции вида
. Здесь будет рассмотрено разложение функции в триго-
X.
номѳтрический ряд, имеющее наибольшее прикладное значение. Ограниченная кусочно-непрерывная периодическая функция ыо
жет' быть разложена в тригонометрический ряд Фурье:
/г*/ |
т |
|
где ZT - период функции |
m |
. |
Введем понятие ограниченного |
ряда: |
|
л#
т(к.*)
. |
Sh |
£ /УНг |
<«А) |
Тогда условия минимума среднеквадратичной ошибки воспроизведе ния функции ограниченным рядом
~ & (*)]*&= тиь |
(іб.у) |
-т
выполняются, если коэффициенты ряда Фурье вычислять по следую щим соотношениям:
/ |
№ cos- |
гьЯ |
t e n , n ~ o,i,z.'. |
гр |
Т |
||
|
-г |
|
|
|
|
|
84