Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

конспект лекции__1

.3.pdf
Скачиваний:
10
Добавлен:
15.03.2015
Размер:
26.6 Mб
Скачать

 

г) АлгоритмФорни.

 

 

 

 

Д.Форни[4]получилвыражедлявычислзниеачошибки,ения

еслиизвес

тны

многознаошибкичленыения

Ω( x) илокаторошибовк

Λ(х):

 

 

 

 

 

 

 

Yl

=

Ω( X l1 )

 

 

 

 

 

 

 

 

 

 

 

 

Λl ( X l1 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Где Хl-1- кореньмногочлена

Λ(х),

обратныйло

 

 

каторуошибки

Хll) –производнаяот

Λ( x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В.Примерырешенияключеуравненияого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотпримерыпримененияассмоталгодляеитмовкодированиянныхс

 

 

 

 

 

 

 

 

 

 

 

 

 

 

исправлениемошибоккодамиРида

 

 

 

-Соломона.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пустьнадполем

 

GF(23) сэлементами

000, α=1=100, α1=010,α

2=001,

 

 

α3=110, α4=011,α

5=111,α

6=101

построенкодРида

 

 

 

 

 

 

 

-Соломона(7,3)с

dmin=5, способный

исправлять2

-хкратныеошибки.Корнямипорождающего

 

 

 

 

 

 

 

 

 

 

 

многочленаявляютсяследующие

 

элементы GF(23): α1=010,α

2=110,α

3=110,α

4=011.. Порождающиймногочленкода

меетвид;

 

 

 

 

 

g(x)=(x+α)( x+α 2)(x+α 3)(x+α 4)=α

31x+α 0x23x3+x4

 

 

Предполож,чтоканалусвязбылапереданаим

 

 

 

 

 

 

 

 

комбинация (0000000),анавходдекод

ера

поступилакомбинация.

 

f(x)=а 2х3+а5х4.

Схемавычсисленияндопркомпонентыомаеделила

 

 

синдромного многочлена:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S1=f(x=α)=α523

 

 

 

 

 

 

 

 

S2=f(x=α

2)=α 165

 

 

 

 

 

 

 

 

S3=f(x=α

3)=α 436

 

 

 

 

 

 

 

 

S4=f(x=α4)=α00=0

 

 

 

Привычисзначэлениментовий

 

 

 

Si,показатстепэлеполяментовйли

 

 

 

 

приводятсяпо

mod 7,т.к.для

GF(23

7=1. Итак,дляпринятой

 

 

 

 

 

 

комбинациисиндромн

ыймногочленимеет

 

вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(x)=α35x+α6x2

 

 

 

Определимдляпринятойкомбинациимногочленлокаторошибовк

 

 

 

 

 

 

 

 

 

 

 

 

 

Λ(х).

 

 

АлгоритмПитерсона

 

. Матуравнениеичдлянахожденияоекомпонентов

 

 

 

 

 

 

 

 

Λ(х) по S(х)

имеет

вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

&α 3 α

5 #

&

λ

2

#

&

 

 

6

#

 

 

 

 

 

 

 

 

5

 

 

 

α

 

 

 

 

 

 

 

 

 

 

α

6 !

λ

 

!

=

0

 

!

 

 

 

 

 

 

 

 

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!%

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

178

Впредл,чтпроизошложениимаксчиспрамальноесло

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вляемыхкодом

 

ошибок t=2

воспользуемсятеоремой

 

Крам[5]дляесистемышенияра

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейныхуравнений,представленных

 

матричнойформе

Ах=С,

вслучае,

когда det А существуотличени нуля,Вэтомслучаесистема

 

 

 

 

 

имеетодноопределеннрешениекажд, ое

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неизвестныхвырчастнымжаетсядвух

 

 

определителей,причемвзнастоитопределительенателеА|,вчислителе,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

определителькоторый

изнегополучаетсязаменойкоэффприциентов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

определянеизвсоответствующимимомстном

 

 

свободчленами: ыми

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λi =

A1i C1 + A2i C2

+ ... + Aυi Cυ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПрименяятеореКрамерадлнахожденияу

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λi получаем:

 

 

 

 

 

 

 

 

 

A

 

=

 

α 3 α 5

 

 

 

 

 

= α 9 + α10 = α

5 ,

 

 

1

 

= α 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α 5 α

6

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α 6 α 5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ2 = α

2

 

 

 

 

 

 

 

2

 

12

 

= α

0

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

α 6

 

 

= α α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ = α

 

2

 

α 3

α 6

 

 

 

 

 

2

 

11

 

= α

6

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= α α

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

α 5 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Такимобразом,многочленлокаторошибимеетвид: овк

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Λ(x)=1+α6x+α0x2

 

 

 

 

 

Кормногочленаями

Λ{х) являютсяэлементы

 

 

 

 

 

 

 

GF(23): α3 и α4,т.е.локаторы

ошибок

 

 

 

 

 

 

X1 =

1

= α 3 , X 2

=

1

= α 4 .

 

 

 

 

 

 

 

 

4

3

 

 

 

 

 

 

 

 

 

 

 

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

 

 

 

 

 

 

 

 

 

 

 

Этодаетвозможпредставимногочленлокастьошибтвидеьор; овк

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Λ(х)=(1+α

 

 

 

3х)(1+α

 

4х) \

 

 

 

 

 

АлгоритмПитерснайтипозвтакжеоляетзначенияошиб.Дляэтвыразимогок

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

компонентысиндрмномногогочлена

 

 

S1 и S2 черезлокаторыошибок

 

 

 

 

 

 

 

 

 

 

 

Xl, изначенияошибок

Yl:

 

 

 

 

 

 

 

 

S1=Y1X1 + Y2X2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S2=Y1X12 + Y2X2

 

 

 

 

 

 

 

 

 

 

 

 

Представимэтиуравненматрформеичнойя

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

& X1 X 2 #&Y1 # &S1 #

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2 !

 

!

=

 

 

!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% X

1 X 2 %Y2 %S2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

&α 3α 4 #&Y1 #

&α 3 #

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

!

 

! =

 

5 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α α

 

Y

 

 

 

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!%

 

2

 

!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

Решимэтоуравнениетемжеспособом,какимбылинайденыλ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 λ2 .Вычислимоп

ределитель:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

179

 

 

 

 

 

α 3 α 4

 

 

= α 4 + α 3 = α 6 ≠ 0

 

 

 

 

 

 

 

α 6

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теперьнаходим

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y1

=

 

α 3 α 4

 

=α(α42)=α532 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α 5 α

 

 

 

 

 

 

 

 

 

 

 

Y2 =

 

α 3 α 3

 

=α(α+α2)=α235

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α 6 α 5

 

 

 

 

 

Получензначенияые

 

Y1 и Y2 соответствуюткоэффициентаммн гочленашибок.

 

 

 

2Алгоритм. Евклида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поискзначений

Λi(x) вΩ i(x), удовлетприведенныморяющих

вышекритериям,представим

ввидетаблицы

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

-1

 

 

 

 

 

 

 

 

0

1

 

 

Λi(x)

 

0

 

 

 

 

 

 

 

 

1

α+х+α x2=α(1+α6x+x2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ωi(x)

 

 

х4

 

 

 

 

 

 

 

 

 

 

S(x)

α 44х= α(α33х)

 

qi(x)

 

___

 

 

 

 

 

 

 

 

___

[X4 /S(α+xα)]=+

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Изприведеннойтаблицы

 

видно,чтонайденноезначение

 

Λ(х)= α(1+ α6x+x2) отличается от Λ

(х),подученногоалгоритмуПите

 

 

 

рсонапостсомянныможителем

 

α.Понятно,чток эрни

тих

многочленовсовпадают,,,постоясомневлияетожитныйнаопрлокаторовельделение

 

 

 

 

 

 

 

ошибок.

 

 

 

 

 

 

 

 

 

 

3,АлгоритмБерлекемпа

 

-Месси. Вычисление Λ(х)иΩ(x)

в

соответствии

доработанным

алгоритмомБерлекемпа

 

-Мессипр

едставим ввидеследующей

таблицы:

 

 

r

Sr

r

M(x)

 

B(x)

Λ(x)

L

Ω(x)

A(x)

 

0

 

 

 

 

1

1

0

0

1

 

1

α3

Α3

1+α3x

 

α4

1+α3x

1

α3

0

 

2

α5

Α

1+α2x

 

a4x

1+α2x

1

α3

0

 

3

α6

Α2

1+α2x+α6x

α5+x

1+α2x+a6x2

2

α3

αx

 

4

0

Α2

1+α 6x+x2

α5x+x2

1+α6x+x2

2

α3+ α3x

αx

 

НайденномузначениюΛ

(х)соответствуетрегистрсдвигаобратными

связями,

определеннымиΛ

(х),длины

L=2, способныйвычислятьлее

компонентысимдромного

многочленапо2

-ммладшим.

 

 

Этотрегистримеет

вид:

 

 

 

 

180

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α0

 

 

 

 

 

 

 

 

α6

 

 

 

 

 

 

 

α0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выход

 

 

 

 

 

 

 

 

 

 

S2

 

 

 

 

 

 

 

S1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S1=α3 и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В исходнстояниивячейкахпамятирегистразапискомпонентысиндроманы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S25.Повторомутакту

 

 

 

S25 поступаетнавыход,

 

 

 

 

авячейкахостаются

 

 

 

 

 

S36 и S4=0, которыезадва

 

следующихтактапоступаютнавы. од

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4Алгоритм. Фор

 

ни.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Длявычислениязна

 

 

 

 

ченийошибокнеобходимознаниеΛ

 

 

 

 

 

 

 

 

 

(х)иегок ,арней

 

такжедолжен

 

бытьизвестенмногочлен

 

 

 

 

Ω(x). Непосредственным вычислениемнаходим:■

 

 

 

 

 

 

 

Ω(x)=S(x)Λ (x)(modx2t)=(α35x+а6х2)(1+α6x+x2)(modx4)=α33х. Расчетныезначения

Λ(х)

иΩ( x) полностьюсовсполученнымиадаютпо

 

 

 

 

 

 

 

 

 

алгоритмуБерлекемпа

 

 

 

-Мессиотличаются

 

постсомянприныможителем

 

 

 

 

вычисленпоалгоритмуЕвклида.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ДлянахождзначошибокпоениалгоритмуФорнияйнайдем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Λ (х)

6. Подставляя

Ω( х)

вместо x значекорнейия

 

Λ(x)получаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y

 

 

Ω(x = α 4 )

 

 

α 3

+α 7

α

 

 

2

;

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

=

 

 

 

 

 

=

 

 

= α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

α 6

 

 

 

α 6

 

 

 

α 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y

=

 

Ω(x = α 3 )

=

 

α 3

+α

6

 

=

α 4

 

= α

5

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

α 6

 

 

 

α 6

 

 

 

α 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак,вычислезначениемногочленаноешибок

 

 

 

 

 

 

 

 

 

 

 

е(х)=

α2x35x4 полностьюсовпадает

 

принятойкомби

нацией f(х)и,следовательно,по

 

 

 

 

 

каналусвязипе

 

 

 

 

 

редаваласькомбинация

 

(0000000).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7.3.Задачи

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1Построить. кодир

 

 

 

 

ующееустройстводляукороченногоциклическ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

огокодас(10,5)

 

g(x) = (1+ x)(1+ x + x4 )

ипроследитьпотактампроцессфо

 

 

 

 

 

 

 

 

 

 

 

 

рмированияизбыточныхэлементовдля

 

какой-либокомбинации.Результатпроверитьалгебраически.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2Построить. устройствообнаруженияошибок(

 

 

 

 

 

 

 

 

 

схемувычисленияндр)дляукороченногома

 

 

 

(10,5) – кодас

g(x) = (1+ x)(1+ x + x4 ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

181

3Спомощью. схемывычисленияндромапредыдущейзадопрчи

еделитьпринадлежность

комбинаций 1+ x2

+ x4 + x6 + x8 и x + x3

+ x5 + x6 коду(10,5).

4Построить. к

одирующееустройдлякода(15,5)ство

 

g(x) = (1+ x + x4 )(1+ x + x2 + x3 + x4 )(1+ x + x2 ).

5Постр. генераторпоследовательностиитьдл7получитьныэтупоследовательность.

 

6Построить. кодирующееустройстводлякодаРида

-Соломона(7,5)основесхемырис6.10.

7Построить. генер

аторэлементовполя

GF(24)

8Построить. генераторэлементовполя

GF(25)

182

 

ТЕМА9

.НЕКОТОРЫЕСПЕЦИКЛАССЫКОДОВЛЬНЫЕ

 

 

.СОСТАВНЫЕКОДЫ.

 

9.1Коды.дляиспрачекошибоквления

 

 

 

 

 

 

Подпачкойошибокдлины

l будемпониматьпоследовательностьошибок,занимающую

 

 

l

последовательныхэлементкод мбинацвой,приуслов,чтопервыйиипосэлевднийменты

 

 

 

 

 

этойпоследоватискаж. еныльности

 

 

 

 

 

 

 

Поаналогииподпачкойвкод мбинациивойбудемназыватьнек

 

 

оторуюеечасть,

ограниченнуюсобеихсторонеди. ицами

 

 

 

 

 

 

 

 

 

Впонятнлне

 

 

о,чтонекоторый(

n, k) – кобладаетспособностьюобнаруживатьили

 

 

исправлятьпачкиошдлиныбок

 

 

 

l именеетогдаитолькотогда,еслиегокдомбинациивыене

 

 

 

 

содержвсвоемсостпачекдатве

 

 

 

ннойдлины.

 

 

 

 

 

 

Спомощьюпростыхрассуможноустадеминовитьий

 

 

нимальноечизбыточныхсло

элементовкод мбинациивойгрупповогокода,сп

 

особногообнаружвсепачкиошдлиныватьбок

 

l

именее.

 

 

 

 

 

 

 

 

 

 

Во-первых,необходимо,чтобытакойкодсодержалпачекдлины

 

 

l именее.Определим,когда

этов зможно.Рассмразложетрим

 

 

 

ниегруппы,составленнойиз

 

п – элементныхвекторовнесмежные

 

 

классыподгруппе,образующейданный(

 

 

 

n, k) – код.Есликодомбинациивыенесодержатп

 

ачек

длины l именее,тов дномитомжес классеежннемосуществгутм

 

 

оватькомбинации2 ,вкоторых,

 

 

начисодитогонжеаяразряда,размещ

 

 

 

 

еныпачкидлины

l именее,таккаквпротслучаеихвном

 

 

сумма,являющаясякодомбинациейвой,должнасодержатьпачкудлиныменьшей

 

 

l.

 

 

 

Таккакдлянекотофиксирогоазрядакванногомбинвойможноуказатции

 

 

 

 

ь 2 l

различныхкомбинаций,которыевсилусказанноговышедолжныприназличнымдлесмежнымать

 

 

 

 

 

клас,точислоаммежныхклассовнеможбытьеньшим2

 

 

l.

 

 

 

 

Такимобразом,доказаноследующеесвойствогрупповыхкодов.

 

 

 

 

 

 

Свойство9

.1. Групповойк, бнаруживаюд

щийвсепачкиошдлиныбок

l

именее,должен

 

 

 

 

 

l проверочныхсимв

 

 

 

 

 

соде,покрмержатьайн, ей

 

 

 

олов.

 

 

 

 

 

Вслучаециклическогокодаэтнижняяграндлпроверослаца

 

 

чныхсимявляетсяолов

точной.Действительно,любаякодкомбинацияваяциклическогокодаможет

 

 

ытьпредставленакак

произведение g(x) qi

(x),где g(x) – порождающиймногочлкодастепени

 

n-k.Значитка

ждаякодовая

комбинацциклическогокодасодержилияпачкудл тны

 

 

 

 

 

n–k+1комбинации(

g(x), xg(x), ..., xk 1 g(x)линейнуюкомбинациюцикли

 

ческисдвинутыхпачекдлины

n–k+1,

суммакоторыхвсегдадаетпачкубольшейдлины,т..справследсвойствоующееливо.

 

 

 

 

 

 

Свойство9

.2. Любойциклический(

n, k) – кобнаруживаетдвсепа

чкиошибокдлины

(n - k)

именее.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

183

 

Вслучаеиспрпачекошибовления

 

 

кможноаналогичнымирассужд

 

ениямиполучитьжнюю

грандлячипроверочслацуэлеме.Дейснтовых

 

 

 

 

твительно,пустьизвестно,чтогрупповой(

 

n, k) – код

испрвсепачкиошвляетдлиныбок

 

 

 

b.Знаобщеечисмежныхслотклассовтаблицедекодир

 

 

ования

должнобыт

ь не меньше,чемчисловозможнымпачекдлины

 

b.Вко мбинациидлины

п возможновсего

п пачекдлины1,

п-1пачекдлины2, 2(

 

п-2)пачекдли3т.д.ныОбщеечислопачекдлины

 

b в

комбинациидлины

п равно 2b2 (n b +1).Такимобразом,числосмежных

 

классовравно

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

2nk 1 n + 2i2 (n i +1).

 

 

 

 

 

 

 

 

i=2

 

 

 

 

Испфодляльзрмулуарифметикоя

 

 

-геометрическойпрогрессии,данноев

 

ыражение

прообразуемквиду

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2nk 2b1 (n b + 2),

 

 

 

откуда,логарифмируяпооснованиюполучаем2,

 

 

 

n k (b 1) + log2 (n b + 2).Итак,

справследующеливо

 

есвойствогру

пповыхкодов.

 

 

 

 

Свойство9

.3. Числопроверочэлеме( нтовых

n, k) – кода,испра

вляющеговсепачкиош бок

 

 

 

 

 

(b 1) + log2 (n b + 2).

 

 

 

длины b именееравносамоеменьшее

 

 

 

 

 

 

Однимизсамыхобширизвестныхиз астоящеевремяклакодспециальн, ов

 

 

 

о

предназначенныхдляиспрпачекошибоквления,являю

 

 

 

 

тсякодыФайра.

 

 

 

КодыФайра

 

циклическиекоды,порождающиймногочлкоторыхимевиден

 

 

 

g(x) = P(x)(xC +1),где Р(х)

– неприводимыймногочленстепени

r,входящийразложение

xe +1 ине

являющсомниожителемдвйсякакого

 

 

 

 

учленаменьшстеп. ений

 

 

 

 

Необхприэт,чтобыдимо

 

 

с неделилосьна

е.Длинакодовой

 

мбинации п равна

наименьшемуобщемукратномучисел

 

 

 

 

е и с,т.к.тольковэтомслучае

g(x) делит x n +1.

 

Числопров

ерочныхэлемеравнтов

 

c + r ,ачинформационныхсло

 

k = n c r .В[1]

показано,чтоФайрадыисправляютлюбуюодиночнуюпачкуошибокдлины

 

 

 

 

 

b илименьшеи

однобнаруживаютвременнолюбуюпачкуошибокдлины

 

 

 

 

 

l b илименьше,есливыполняются

соотношения c b + l 1 и r b. Еслипр этикодыменятьтолькодляобнаруженияош

 

 

ибок,томожно

обнаружитьлюбуюкомбинациздвухпачекош,длинанаимебокюизкотонпревосходитьшейых

 

 

 

 

 

r,асуммадлинкотопревоых

 

 

 

сходит с+ 1,атакжеилюбуюодиночнуюпачкуошибок,длина

 

 

которойнепревочипроверочныхслаходитсимволов

 

 

с+ r.

 

 

 

184

УказанныесвойстФайракодобусловлевидомпорождающмногочлы.Наличиев гона

g(x) сомножителя

xC +1достаточнодляобнаруженодиночнойпачкошдлиныбокя

 

Дополнитинформаци,требуемаядопределеньнаяположенияпачкош,обеспечиваетсябок

 

сомножителем Р(х) .

 

 

 

Пример9

.1.

КодФайпормногочленомождается

g(x) = (x4 +1)(x3

параметрыкодаиегорректирующиесвойства.

Здесь r=3, е=7, с=4, n-k=r+c=7;

n = HOK (e, c) = HOK (7,4) = 7 4 = 28

Итак,

g(x) = (x4 +1)(1+ x + x3 ). поркоФайраждает(28,21)Д коднныйможетисправить.

 

 

 

пачкиошдлиныбок

b=2и

b=1,атакжедополбнительноа

 

 

 

 

 

 

 

 

 

 

ружприэтомпачкитьдлины

соответственно.Еслииспольз

оваэтктолькоотддляобнаружеошибок,том дниеоаружить

 

 

 

 

 

 

 

любуюодиночнуюпачкуошибкомбинацдл7ныиздвухпачекош,изоторыхбокюоднане

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

превосход3,асуммадлинобоитх

 

равнаили5менее.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ДляоценкиэффектикодоФайранеобходимовносзнафункциютраспределенияьпачек

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

различндлинывкодоймбинацияхвых.Поскэтвовытпрослькузарамкиодитданногоучебного

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пос,тэффективностьбияда

нныхкодстрогоцененавбыть

 

 

 

 

 

 

 

 

 

 

 

 

неможет.Приблиоценкаможетенная

бытьпроизведенаприпересчепачеккр ошибоктностие.Притакому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

верошибочногоятностьприемакод мбивойприднацииовременномисправленииобнаружении:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2b1

(n b + 2)

n

 

 

 

Poшиo

 

 

 

 

 

 

 

 

 

 

 

P(i, n)

 

 

 

 

 

2

nk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=cb+2

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Poшиo P

2b1 (n b + 2) (

 

n

%1α

 

 

 

 

 

 

 

 

 

 

 

&

 

 

 

# .

 

 

 

 

 

2nk

 

 

 

 

 

 

 

 

 

 

 

c b + 2

 

Длякодовсобнаружениемпачекошибок:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

 

 

 

 

 

Poшo

 

 

 

P(i, n)

 

 

 

2

nk

 

 

 

 

 

 

 

 

 

 

i=c+r +2

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Poшo

 

 

P

 

 

(

n

 

%1α

 

 

 

 

 

 

 

 

&

 

 

 

 

 

# .

 

 

 

2nk

 

 

 

 

 

 

 

 

 

 

 

c + r +1

 

Наоснованииэтихформулопределяетсяэффектикодо.Дляслучаяисправленияность обнаруженияпачекошибок

2nk b+1

ηэиo = n b + 2 (c b + 2)1α .

Дляслучаяобнаружени япачекошибок

с.

+ x +1). Определить

b=3и b=4

прощеннподходем

185

 

 

 

 

 

 

 

 

 

ηэ 2nk (c + r +1)1α .

 

 

 

 

 

 

 

 

 

 

 

o

 

 

 

 

 

ИзопределениякодовФайравытекает,чтопри

 

 

 

 

 

с=1онисовпакоХэда,мютминга

 

имеющими dmin=4,еслиприэтом

e = 2r 1.

 

 

 

 

 

9.2Коды.наосновепоследовательностеймаксимальнойдлины

 

 

 

 

 

Совокупностьвсех

оследовательностеймаксимальнойдлины,фо

 

 

рмиркобылоторыхвание

 

рассмотренов

разделе6.

7.2, представсобоюциклическийяет

 

(2k 1, k) - код.Этикодыявляются

двойственнымикциклич

 

 

 

ескимодамХэ,таккакмингадлянихпроверочнымимногочлен

 

 

 

амислужат

неприводимыемногочленастепени

 

 

 

 

 

k,являющиесясомножителямидвучл

 

еновстепени

x 2k 1 + 1 ине

входящразложениеникакихдвучлмен нов

 

 

 

ьшихстепеней

(см.раздел6

.3).

 

 

Рассмотримнекосвойстватакихорыекодов.

 

 

 

 

 

 

 

 

 

Свойство9

.4.

 

Всемн

ожествоненулеввыхкодомбинацийкодаоснове

 

 

 

 

последовательностеймаксимальнойдлиныможетбполученоть

 

 

 

 

 

утемциклическогосдвигалюбой

 

ненулевкодомбинациивой.

 

 

 

 

 

 

 

 

 

 

 

 

Действительно,генераторпоследоватмаксимальнойдлигенльностинепрерывнериует

 

 

 

о

все 2k 1 решенийрекурресоот, нтногоошения

 

 

оторыепредставсобоюциксдвигилическиеяют

 

 

последовательностимакс

имальнойдлины,таккакчислоненулерешенийравыхно

 

 

2k 1,товсеони

иявляютсяненулевымикодовыми

 

 

 

 

 

комбинацияминетникакихдругих

 

 

енулевыхкодовых

комбинаций.

 

 

 

 

 

 

 

 

 

 

 

 

 

Свойство9

.5. Кодорасствкоденасяпоследовательновеие

 

 

остеймаксимальнойдлины

 

 

 

 

 

 

 

d = 2k 1.

 

междулюбымипарамикодомбинацийвыхп

 

 

 

остояниравно

 

 

Равенствосехпопар

ныхкодовыхрасстоявляетсянепосредсний

 

 

твеннымследствиемсвойства

 

9.4,котороеобуслоравесовнствоилоненулеввыххк кдомбинаций.Найдемсуммарныйвес

 

 

 

 

 

 

 

всехкодовых

мбинаций.Дляэтоговыделимподгруппукод мбинацийвых,имеющихнуль

 

 

 

 

некоторомфиксированномразряде.Разложимножествсехкодомбинацийвпоыхэтойподгруппе.

 

 

 

 

 

 

 

Вкачестсмежногоклассавыберемлюбуюкомбинацию,имединицующуювданномразряде.

 

 

 

 

 

 

 

Смежныйклассвтакомразложебудети.нДопустимственнымии,чтоэтонета

 

 

 

 

 

 

кичтов зможенеще

одинсмежныйклассизкодомбинацийвыхсединвфиксировацей

 

 

 

 

 

нномразря.Тогсуммалюбыхде

 

комбинацийизразныхсмежныхклассовдолжнадатькомбинацию,принадлвыделеннойжащую

 

 

 

 

 

 

 

подгруппе.Этозн

 

ачит, суммируемыеокомбинациидолж

 

ныпринадлеодномусмеклассуж. номуать

 

Такимоб,раполовинавнозомвсехкод мбинацвыхимеетединицувнекоторомй

 

 

 

 

фиксированномразряде.Сталобыть,суммарныйвескодехомбинацийвыхравен

 

 

 

 

 

 

2k 1 n,авес

каждойненулевойкомбинац

 

 

 

 

ииравен

 

2k 1 n

= 2k 1 ,т.к.

n = 2k 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

186

Коды,имеющиепостоянноекодовоерасстоянмеждуразлкодичнымиеовымимбинациями

 

 

 

 

получилиназвание

 

эквидистантных.

 

 

 

 

9.3Коды.дляасимметричныхканалов

 

 

 

 

Рассмотренныевышекодыпоств едпооены

 

 

ложениисимметри

чностиканаласвязи.Вреальных

 

канаблюдаетсялахразличнаявероятностьискаженияединичныхэлемент,причемвероятностьв

 

 

 

 

переходав1при0прохождениисигналапоканалусвязчастощественноменьшевероятн

 

 

 

ости

переходав0инаоборо1

т.Втакихусловияхудобноиспользоватьнек

 

оторыетип

ы негрупповыхкодов.

 

Теорияэтихкодовсталапредметомсистем

 

атическогоизучениялишьнедавнеговремени.

 

 

 

а)Кодыспостояннымвесом

 

 

 

 

 

 

Кодыспостояннымвесомнаиболеезвестныизклассакодовдляасиммет

 

 

ричныхканалов.

 

Наиболееширокоеприменениенашлисем эл

 

 

евосьмиэлементныеи кодысоотношением

 

 

единулейницравн

 

ыми 3/4. и 4/4соответственно.Этикодыявляютсянеразделимыми.

 

 

 

Вслучидеальногосимметричногоканала, вероятнгдатра спозсть

 

 

ицииэлемеравнтова

 

нулю,т.е.

P{1 0, 0 1}= 0кодыспост

ояннымвесомявляютсяоптимальнымиотношении

 

 

 

обнаруженияошибок.Ос едостатоковнойтакихкодовсосттом,чтоитявляютсяни

 

 

 

 

неразделимымитребуютгромозкодидрующихекодирующиких

 

хустройств.

 

 

Рассмотримнесколькоподробнеесе иэлкод.Последовментный

 

ательностидлины

п=7

образуют

N = 27

= 128 различнвыхкодомбин

аций.Изэтогочислак мбинацийвкачестве

 

 

разрешенныхиспользуютсяко

 

мбинациисвесомил3 число4),(ко

 

торыхравно

C73 = C74

= 35.

Минимальноерасстояниевтакомкодеравно

 

 

dmin=2Однако.применениивкачествеустройства

 

 

обнаруженияошибоксхемывзвеш“ ”привания

нятойкод мбинациивойрис(. 9

 

.1)обнаруживаются

всеош,заисключениембошибо

 

ктранспозицииэлементов.

 

 

 

Посколькувидеальномасимметричномканалев

ероятностьтакихошибокравнанулю,токод

 

 

такканалеомбнаруживаетвсевозможныеошибки,..являоптимальнымтся.

 

 

 

 

187