49
2005. Információelmélet Nagy Szilvia 6. Csatornakódolás 6. Csatornakódolás

Információelmélet

  • Upload
    saeran

  • View
    26

  • Download
    0

Embed Size (px)

DESCRIPTION

Információelmélet. Nagy Szilvia 6. Csatornakódolás. Információelmélet – Csatornakódolás. A csatornák jellemzése. - PowerPoint PPT Presentation

Citation preview

Page 1: Információelmélet

2005.

Információelmélet

Nagy Szilvia

6. Csatornakódolás6. Csatornakódolás

Page 2: Információelmélet

2

SzéchenyiIstvánEgyetem

A csatornán való áthaladás során a jelek többnyire módosulnak: zaj adódik hozzájuk. A csatorna zajosságának jellemzésére alkalmas a jel-zaj arány (signal to noise ratio): SNR=20 log10( S/N ), ha S a jel, N pedig a zaj átlagos teljesítménye. Egysége decibel.

A következőkben olyan csatornákkal foglalkozunk, amelyek diszkrét jeleket visznek át.

A csatornák jellemzéseA csatornák jellemzése

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 3: Információelmélet

3

SzéchenyiIstvánEgyetem

Ha a csatorna bemenetére adott egyetlen szimbólum hatására a kimeneten is csak egy szimbólum jelenik meg, azaz a csatorna nem nyel el és nem teremt új szimbólumokat, akkor a szinkron csatornáról beszélünk.

Ha a csatorna kimenetén megjelenő jel csak az éppen aktuális bemeneti szimbólumtól függ, azaz a szimbólumok csatornán való áthaladása egymástól független esemény, akkor a csatorna memóriamentes.

A csatornák jellemzéseA csatornák jellemzése

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 4: Információelmélet

4

SzéchenyiIstvánEgyetem

Egy diszkrét, szinkron csatornát úgy adha-tunk meg, hogy

• megadjuk a bemeneti szimbólumkész-letét: C={c1, c2, …, c r }-t

• megadjuk a kimeneti szimbólumkészle-tét: X={x1, x2, …, x s }-et

• és megadjuk a p( x j|c i ) feltételes valószínűségeket.

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

A csatornák jellemzéseA csatornák jellemzése

Page 5: Információelmélet

5

SzéchenyiIstvánEgyetem

Legyen n db egymást követő bemeneti szimbólum c (1), c (2), …, c (n) ; az általuk generált kimeneti karaktersorozat x

(1), x (2), …, x (n) . Ezen az esemény valószínűsége p(x (1),x (2),…,x (n)|c (1),c (2),…,c (n) )

Memóriamentes csatornákra

n

i

iinn cxpcccxxxp1

2121 |,,|,,,

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

A csatornák jellemzéseA csatornák jellemzése

Page 6: Információelmélet

6

SzéchenyiIstvánEgyetem Csatornamátrix, csatornagráfCsatornamátrix, csatornagráf

A p( x j|c i ) feltételes valószínűségeket mátrixba szokták rendezni:

A csatornát gráfjával is meg lehet adni:

rsrr

s

s

cxpcxpcxp

cxpcxpcxp

cxpcxpcxp

P

|||

|||

|||

21

22221

11211

1c

2c

3c

1x

2x

3x

4x

11| cxp

12| cxp

13| cxp

14| cxp

21| cxp

22| cxp

23| cxp

24| cxp

31| cxp

32| cxp

33| cxp 34| cxp

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 7: Információelmélet

7

SzéchenyiIstvánEgyetem

Csatornatípusok, mátrixaik és Csatornatípusok, mátrixaik és gráfjaikgráfjaik

Determinisztikus csatorna: egy bemenet mindig ugyanazt a kimeneti szimbólumot hozza létre. A csatornamátrix minden sorában egyetlen nem nulla elem van.

1c2c3c

1x

2x

3x4c5c

1x

2x

3x

2c1c

3c

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 8: Információelmélet

8

SzéchenyiIstvánEgyetem

Csatornatípusok, mátrixaik és Csatornatípusok, mátrixaik és gráfjaikgráfjaik

Zajmentes csatorna: egy kimeneti szimbólum csak egyféle bemeneti jelből áll elő. A csatornamátrix minden oszlopában egyetlen 1-es van, a többi elem 0.

1c

4x3x2x1x

1c

2c

3c

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

1x

2x

3x

2c1c

3c

Page 9: Információelmélet

9

SzéchenyiIstvánEgyetem

Bináris szimmetrikus csatorna (BSC):

Bináris Z-csatorna:

Bináris törléses csatorna

0

1

0

1p p

p1

p1

0

hiba

11

0 pp

p1

p1

0

1

0

1p

p1

1

pp

pp

1

1

pp 1

01

pp

pp

1 0

01

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Csatornatípusok, mátrixaik és Csatornatípusok, mátrixaik és gráfjaikgráfjaik

Page 10: Információelmélet

10

SzéchenyiIstvánEgyetem Entrópia, veszteségEntrópia, veszteség

• A csatorna használatát (a forrást) jellemző mennyiségek:

• A csatornát jellemző mennyiségek:

Miután a kimeneten észleltük az X j szimbólumot, maradt bizonytalanság arra nézve, hogy melyik C i válthatta ki: ennek a bizonytalanságnak a várható értéke a csatorna vesztesége:

r

iij

s

jijij CXpCXpCXHCXp

12

1

|log| ,|

r

iiii CpCpCHCp

12log ,

r

iji

s

jji XCpXCpXCH

12

1

|log|

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 11: Információelmélet

11

SzéchenyiIstvánEgyetem

A zajmentes csatorna vesztesége 0.

kifejezés minden tagjában vagy p(Ci Xj )=0, vagy p(Ci |Xj )=1.

A teljesen zajos csatorna vesztesége H(C ).Az adott és a vett jelek függetlenek, így p(Ci Xj )= p(Ci ) p(Xj )

r

iji

s

jji XCpXCpXCH

12

1

|log|

i

j

jiji Cp

Xp

XCpXCp

CHCpCpXpXCHs

j

r

iiij

1 12log|

1

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Entrópia, veszteségEntrópia, veszteség

Page 12: Információelmélet

12

SzéchenyiIstvánEgyetem Átvitt információÁtvitt információ

A csatornán átvitt információ a rá adott információ és a csatorna veszteségének a különbsége:

egy X j vételekor az őt előidéző C i -ről nyert átlagos információ.

XCIXCHCH |

s

j

r

ijiji

s

j

r

iiji

s

j

r

ijiji

r

iii

XCpXCpCpXCp

XCpXCpCpCpXCI

1 12

1 12

1 12

12

loglog

loglog

s

jjii XCpCp

1

s

j

r

ijiiji XCpCpXCp

1 122 loglog

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 13: Információelmélet

13

SzéchenyiIstvánEgyetem

s

j

r

ijiji

s

j

r

iiji

s

j

r

ijiji

r

iii

XCpXCpCpXCp

XCpXCpCpCpXCI

1 12

1 12

1 12

12

loglog

loglog

s

j

r

i i

jiji Cp

XCpXCp

1 12log

j

jiji Xp

XCpXCp

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

s

j

r

i ji

jiji XpCp

XCpXCp

1 12log

Átvitt információÁtvitt információ

Page 14: Információelmélet

14

SzéchenyiIstvánEgyetem CsatornakapacitásCsatornakapacitás

A csatornakapacitás a rajta maximálisan átvihető információ:

XCI maxC

s

j

r

i ji

jiji XpCp

XCpXCp

1 12logmaxC

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 15: Információelmélet

15

SzéchenyiIstvánEgyetem

A csatornákon áthaladó A csatornákon áthaladó vektorokvektorok

A csatorna a rá bocsátott c=c (1), c (2), …, c

(n) szimbólumsorozatból – döntés után – egy v=v (1), v (2), …, v (n)

szimbólumsorozatot csinál.A cCn , illetve vCn n elemű sorozatokat

tartalmazó Cn halmaz vektortér, c és v vektorok.

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 16: Információelmélet

16

SzéchenyiIstvánEgyetem

Egy V halmaz vektortér, vagy lineáris tér, ha értelmezve van a vV elemein egy számmal való szorzás ( λ∙v V ), a v, wV elemei között egy összeadás ( v+w V ) amelyekre:

• 1∙v=v• λ∙(κ∙v)= (λκ)∙v (asszociatív)• (λ+κ)∙v= λ∙v +κ∙v (disztributív)

• v+w=w+v (kommutatív)• v+(w+u)=(w+v)+u (asszociatív) 0, melyre v+0=0+v=v v-hez v, melyre v + (v) = (v)

+v=0

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 17: Információelmélet

17

SzéchenyiIstvánEgyetem

Vektortér például az euklideszi tér (akármennyi dimenziós), vagy a legfeljebb n-edfokú polinomok tere.

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 18: Információelmélet

18

SzéchenyiIstvánEgyetem

Példa: Legyen a V halmaz a legfeljebb harmadfokú polinomok halmaza. Egy eleme a következőképpen néz ki: p(x) = p0 + p1x + p2x2 + p3x3. Két polinom egyenlő, ha az együtthatóik megegyeznek.

• Egy p(x) és egy q(x) polinom összegén azt az r (x) polinomot értjük, amelynek az együtthatói az ri = pi + qi képlet szerint állnak elő i =0, 1, 2, 3-ra,

• a p(x) polinom λ számmal való szorzatán pedig azt az s (x) polinomot értjük, amelynek az együtthatói az si =λ∙pi formulával kaphatók meg i =0, 1, 2, 3-ra.

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 19: Információelmélet

19

SzéchenyiIstvánEgyetem

Ha p(x) és q(x) legfeljebb harmadfokú, akkor r(x) és s(x) is legfeljebb harmadfokú lesz, azaz sem az összeadás, sem pedig a számmal való szorzás nem visz ki V-ből. (Ha p(x) és q(x) pontosan harmadfokú, akkor a fenti műveletekkel csak csökkenhet az eredmény fokszáma, hogyha a p3=q3, akkor például r3=0 lesz, azaz r(x) másodfokú.)

A többi axióma is teljesül:

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 20: Információelmélet

20

SzéchenyiIstvánEgyetem

• 1∙ p(x) = p(x) , hiszen 1∙ pi=pi minden i-re.

• λ∙(κ∙ p(x))= (λκ)∙ p(x), mivel λ∙(κ∙ pi)= (λκ)∙ pi teljesül minden i-re.

• λ ∙ p(x) +κ ∙ p(x) = (λ+κ) ∙ p(x) teljesül: (λ∙ p(x) +κ∙ p(x)) i-edfokú együtthatója λ∙ pi +κ∙ pi = (λ+κ)∙ pi , ami pont ((λ+κ) ∙ p(x)) i-edik együthatója.

• p(x)+q(x)= q(x)+p(x), mivel pi +qi = qi +pi

• (p(x)+q(x))+r (x) = p(x)+(q(x)+r (x)), teljesül: (pi +qi) +ri = (pi + qi )+ri

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 21: Információelmélet

21

SzéchenyiIstvánEgyetem

0, melyre p(x)+0=0+p(x)=p(x), a nullelem a csupa nulla együtthatójú polinom.

p(x)-hez p(x), melyre p(x) + (p(x)) = (p(x))+p(x)=0, a p(x) polinom ellentettje az a polinom, melynek minden együttható-ja a p(x) megfelelő együtthatójának ellentettje.

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 22: Információelmélet

22

SzéchenyiIstvánEgyetem

Példa: Legyenek a V halmaz vφ elemei az origó körüli φ szöggel való forgatások. A két elem, vφ és vχ közötti összeadást értel-mezzük φ+χ szöggel való elforgatásként, a vφ elem λ számmal való szorzását pedig λ∙φ szöggel való elforgatásként. Vektortér-e a halmaz a két művelettel? A két művelet nem vezet ki V-ből.

• 1∙ vφ = vφ , hiszen az 1∙φ = φ szöggel való elforgatást jelent

• λ∙(κ∙vφ)= (λκ)∙vφ teljesül: λ∙(κ∙φ) szöggel való forgatás = (λκ)φ szöggel való forgatás.

• (λ+κ)∙vφ = λ∙vφ+κ∙vφ : (λ+κ)∙ φ szöggel való elforgatás = λ∙ φ szöggel való forgatás +κ∙ φ szöggel való forgatás

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 23: Információelmélet

23

SzéchenyiIstvánEgyetem

• vφ+vχ =vχ+ vφ: mindegy, hogy előbb forgatok-e φ-vel, aztán χ-vel, vagy előbb χ-vel, aztán φ-vel.

• vφ+(vχ+ vψ) = (vφ +vχ)+ vψ: nem számít, hogy egy φ szögű forgatáshoz adok egy χ+ψ szögűt, vagy egy φ+χ szögűhöz egy ψ szögűt, így is úgy is φ+χ+ψ szögűt kapok

0, melyre vφ+0=0+ vφ= vφ: a nullelem a 0°-kal való elforgatás

vφ -hez vφ, melyre vφ+ ( vφ) = ( vφ) + vφ=0: a vφ ellentett eleme a vφ , a φ szöggel való elforgatás.

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 24: Információelmélet

24

SzéchenyiIstvánEgyetem

A v1, v2, …, vn V vektorok lineáris kombinációja,

egy újabb vektor.

A v1, v2, …, vn V vektorok lineárisan összefüggők, ha vannak olyan λ1, λ2, …, λn számok, melyek közül néhány (legalább 2) nem nulla és

n

iiinn

12211 vvvv

n

iiinn

12211 0vvvv

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 25: Információelmélet

25

SzéchenyiIstvánEgyetem

A v1, v2, …, vn V vektorok lineárisan függetlenek, ha

csak akkor teljesül, ha minden λi=0.

Egy vektortér n-dimenziós, ha van n darab független vektora, de nincsen n+1 darab független vektora.

n

iii

1

0v

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 26: Információelmélet

26

SzéchenyiIstvánEgyetem

Egy n-dimenziós vektortérnek n darab független e1, e2, …, en V vektora alkotja a tér bázisrendszerét, a ei vektorok a bázisvektorok.

Minden v V vektor kifejthető e1, e2, …, en V vektorok lineáris kombinációjaként:

A v V vektorok lehetséges reprezentációi:

sorvektoros:

oszlopvektoros:

n

n

2

1

21

n

iiinn

12211 eeeev

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 27: Információelmélet

27

SzéchenyiIstvánEgyetem

Példa: Legyen ex az xyz Descartes-koordiná-tarendszer x tengelye irányába mutató egységvektor, ey, az y irányba mutató egységvektor, ez pedig a z irányú egység-vektor. E három vektor bázisrendszert alkot a háromdimenziós (euklideszi) térben. A hagyományos koordinátageometriai jelölés, a v = (vx , vy , vz ), a sorvektoros jelölés egy speciális esete.

Legyen e1=(1, 1, 0), e2=(1, 0, 1) és e3=(0, 1, 1). Ez is bázisrendszert alkot:

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 28: Információelmélet

28

SzéchenyiIstvánEgyetem

Példa: Legyen ex az xyz Descartes-koordiná-tarendszer x tengelye irányába mutató egységvektor, ey, az y irányba mutató egységvektor, ez pedig a z irányú egység-vektor. E három vektor bázisrendszert alkot a háromdimenziós (euklideszi) térben. A hagyományos koordinátageometriai jelölés, a v = (vx , vy , vz ), a sorvektoros jelölés egy speciális esete.

Legyen e1=(1, 1, 1), e2=(1, 0, 1) és e3=(0, 1, 0). Ez nem alkot bázisrendszert:3

21

2e

ee

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 29: Információelmélet

29

SzéchenyiIstvánEgyetem

Példa: Legyen a V hamazunk a legfeljebb hatodfokú polinomok halmaza. Bázisrendszer lehet az {x0, x1, x2, x3, x4, x5, x6} függvényekből álló rendszer, hiszen minden legfeljebb hatodfokú polinom kifejthető ezek lineáris kombinációjaként:

A polinomokra is alkalmazható a bázisrendszer rögzítése után a sor- és oszlopvektoros jelölés:

6

5

4

3

2

1

0

6

0

66

55

44

33

2210

i

iixxxxxxxxp

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

és 6543210

Page 30: Információelmélet

30

SzéchenyiIstvánEgyetem

Egy V vektortér U részhalmazát a tér alterének nevezik, ha az összeadás és a számmal való szorzás nem vezet ki belőle (azaz, ha U maga is tér, csak szűkebb, mint V ).

• A háromdimenziós euklideszi tér altere például a kétdimenziós euklideszi tér.

• A legfeljebb hatodfokú polinomok terében altér a legfeljebb ötödfokú polinomok tere, a legfeljebb harmadfokú polinomok tere,…

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 31: Információelmélet

31

SzéchenyiIstvánEgyetem

Speciális vektorterekben (metrikus terek) lehet két elem közötti távolságot definiálni. A v, u V vektrok d(v,u) távolságára igaz:

• d(v,u) ≥0, d(v,v)=0• d(v,u)= d(u,v) • d(v,u)≤ d(v,w) + d(w,u) háromszög-

egyenlőtlenség

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Matematikai kitérő – Matematikai kitérő – VektorterekrőlVektorterekről

Page 32: Információelmélet

32

SzéchenyiIstvánEgyetem Hamming-távolságHamming-távolság

A csatorna a rá bocsátott c=c(1), c(2), …, c(n) szimbólumsorozatból – döntés után – egy v=v(1), v(2), …, v(n)

szimbólumsorozatot csinál.A c, vCn.Vezessük be c és v eltérésének mérésére

egy távolságot:c és v Hamming-távolsága azon i pozíciók száma, ahol c (i) ≠ v (i). Jele: d(c,v). A Hamming-távolság teljesíti a távolságfogalom követelményeit:

• d(c,v)≥0, d(c,c)=0• d(c,v)=d(v,c)• d(c,v)≤ d(c,w) + d(w,v)

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 33: Információelmélet

33

SzéchenyiIstvánEgyetem Egyszerű és törléses hibázásEgyszerű és törléses hibázás

A csatorna a rá bocsátott c=c(1), c(2), …, c(n) szimbólumsorozatból – döntés után – egy v=v(1), v(2), …, v(n)

szimbólumsorozatot csinál.Egyszerű hibázásnak nevezzük azt, ha

nem tudjuk, hogy melyik pozíciókban rontott a csatorna, csak azt, hogy hány darab hiba van.

Törléses hiba esetén ismerjük a hibázások helyét is, csak azt nem, hogy mennyire romlott el azokon a helyeken a jel.

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 34: Információelmélet

34

SzéchenyiIstvánEgyetem

Kódok halmaza, Kódok halmaza, csatornakódoláscsatornakódolás

A Cn tér azon K részhalmazát, amelyet a kódszavak alkotnak, kódnak nevezik.

• Csatornakódolás:

• Dekódolás:– döntés:

– a kódolás inverze:

KBF l :

KCG n :

lBKF :1

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 35: Információelmélet

35

SzéchenyiIstvánEgyetem

Kódtávolság, javítható hibák Kódtávolság, javítható hibák számaszáma

Egy K kód kódtávolsága:

a kódszavak közötti Hamming-távolság minimuma.

Hibajelzés lehetséges, ha a c kódszavunkból keletkezett v nem egy másik érvényes kódszó: vK. Ha a hibák száma, akkor < dmin hibát lehet biztosan jelezni. Hibajelzés után általában megismétlik az üzenetet.

',min',;'min cc

ccccdd

K

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 36: Információelmélet

36

SzéchenyiIstvánEgyetem

4 2 5 0 1 3 0 3 1 4 6 5 1 04 1 5 0 1 3 0 4 0 4 6 3 1 0

Kódtávolság, javítható hibák Kódtávolság, javítható hibák számaszáma

Törléses hiba javítása: ezesetben tudjuk a hibák helyét. A v hibás vett vektort abba a kódszóba javítjuk, amelyik a hibás pozícióktól eltekintve azonos v-vel. Ha több ilyen van, nem tudunk javítani. Ha a két legközelebbi kódszóból dmin komponenst a megfelelő helyről törlünk, akkor azonos maradékot kapunk, ennél kevesebb elem törlésével sehogy sem kaphatunk azonos maradékot.Így ≤ dmin−1 törléses hiba javítható.

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

=1 hiba javítható: a két vektor különbözik=4 nem javítható

Page 37: Információelmélet

37

SzéchenyiIstvánEgyetem

A javítható egyszerű hibák száma 2

1min

d

Egyszerű hiba javítása: nem tudjuk a hibák helyét. A v hibás vett vektort abba a c kódszóba javítjuk, amelyikre d(v,c) a legkisebb. Ha több ilyen van, nem tudunk javítani. A javíthatóság feltétele:

A háromszög-egyenlőtlenség szerint: vcvccvvccc ,',',,', ddddd

.,', vcvc dd

vcvccc ,',', ddd

vcccvc ,',, ddd

min21

, ',,2 dddd vcccvc

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Kódtávolság, javítható hibák Kódtávolság, javítható hibák számaszáma

Page 38: Információelmélet

38

SzéchenyiIstvánEgyetem Singleton-korlátSingleton-korlát

Legyen a kódábécé elemszáma r , a kódsza-vak hossza n , száma M , a kódtávolság pedig dmin. A Singleton-korlát szerint

Bizonyítás: Az r elemből felépülő k hosszúságú sorozatok száma r k . Legyen r k−1 < M ≤ r k.Több kódszó van (M db) mint ahány k−1 hosszú sorozat, így ci , cj K, melyeknek az első k−1 eleme azonos. Ezekre d(ci , cj )< n−(k−1), így dmin< n−(k−1).

1min dnrM

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 39: Információelmélet

39

SzéchenyiIstvánEgyetem Singleton-korlátSingleton-korlát

Legyen a kódábécé elemszáma r , a kódsza-vak hossza n , száma M , a kódtávolság pedig dmin. A Singleton-korlát szerint

Bizonyítás: Az r elemből felépülő k hosszúságú sorozatok száma r k . Legyen r k−1 < M ≤ r k.

1

min

min

min

1

1

dnk rr

dnk

knd

M

1min dnrM

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 40: Információelmélet

40

SzéchenyiIstvánEgyetem Singleton-korlátSingleton-korlát

M egyértelműen megadja k-t, az r k−1 < M ≤ r k -nak egyetlen egész megoldása van: log r M egészrésze. A Singleton-korlát szerint

Behelyettesítve k-t:majd r -alapú logaritmust véve:és átrendezve a kódtávolságnak a

kódszavak számától függő maximumát kapjuk:

1min dnrM1min dnk rr

1min dnk

1log1min Mnknd r

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 41: Információelmélet

41

SzéchenyiIstvánEgyetem Singleton-korlátSingleton-korlát

Az olyan kódok, amelyeknél mindkét helyen egyenlőség áll, maximális távolságú kódok (MDS – Maximum Distance Seprable)

A k szám és n, a kódszavak hossza szokott a kód két paramétere lenni.

1log1min Mnknd r

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 42: Információelmélet

42

SzéchenyiIstvánEgyetem Hamming-korlátHamming-korlát

Legyen a kódábécé elemszáma r , a kód paraméterei (n, k ) , a javítandó hibák száma . A Hamming-korlát (gömbpakolási korlát) szerint

Bizonyítás: A Cn térben a ciK kódszavak pontok; egymástól minél távolabb vannak, dmin annál nagyobb, így annál több hibát tudunk javítani.

ni

i

k rri

nr

11

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 43: Információelmélet

43

SzéchenyiIstvánEgyetem Hamming-korlátHamming-korlát

Akkor javítunk egy v Cn hibás vektort a ci kódszóba, ha az a ci körüli sugarú gömbön belül van. Ezek a gömbök nem fedhetnek át, azaz az összes gömbben levő elemek száma nem lehet nagyobb, mint r n, Cn elemszáma.

A c kódszótól pontosan i helyen, a j 1 ,…, j i-edik helyeken eltérő vektorok száma:

1c

3c

4c

5c2c

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

ir 1

Page 44: Információelmélet

44

SzéchenyiIstvánEgyetem

A j 1 ,…, j i pozíciók megválasztása -féleképpen lehet.

A c kódszótól legfeljebb helyen eltérő vektorok száma:

Összesen r k darab kódszó van, mindegyikkörül egy-egy sugarú

gömb.

Egyetlen olyan vektor sincs, amely több gömbben is benne lenne, így a gömbök elemszámainak összege nem lehet több, mint a teljes Cn halmaz elemszáma, r n:

i

n

i

i

ri

n1

1

i

i

ri

n1

1

ni

i

k rri

nr

11

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Hamming-korlátHamming-korlát

Page 45: Információelmélet

45

SzéchenyiIstvánEgyetem Perfekt kódokPerfekt kódok

Azokat a K kódokat, amelyekre a Hamming-korlátban egyenlőség teljesül, azaz

perfekt kódoknak nevezzük.Az ilyen kódoknál a teljes Cn teret kitöltik a

gömbök, szorosan illeszkednek egymás-hoz, a kódszavak egyenletesen helyez-kednek el a téren belül (Hamming-távol-ságot véve), adott n szóhosszra maximális számú kódszót tartalmaznak.

ni

i

k rri

nr

11

1c

2c

3c

4c

5c

6c

7c 8c 10c 11c

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 46: Információelmélet

46

SzéchenyiIstvánEgyetem Kódsebesség (jelsebesség)Kódsebesség (jelsebesség)

Az információátvitel gyorsasága jellemez-hető a

kódsebességgel, avagy jelsebességgel.(egy szimbólumra jutó átlagos információ)

nKH

R

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 47: Információelmélet

47

SzéchenyiIstvánEgyetem Kódsebesség (jelsebesség)Kódsebesség (jelsebesség)

Legyen a kódszavak előfordulási valószínűsége azonos, 1/M. Az entrópia ekkor

a kódsebesség pedig

Ha a kódnak csak a legáltalánosabb paraméterei (szóhossz, betűszám) ismertek, ez jó felső becslés a jelsebességre.

,log1

log1

21

2 MMM

KHM

i

.log2

nM

R

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 48: Információelmélet

48

SzéchenyiIstvánEgyetem

Shannon csatornakódolási Shannon csatornakódolási tételetétele

Ha egy C kapacitású diszkrét, memória-mentes csatornán

• R < C , akkor lehet olyan n kódszóhosszt találni, hogy a hibás dekódolás valószínűsége tetszőleges > 0 számnál kisebb legyen. Az n növelésével csökken minimuma, azaz csökken a hibás dekódolás valószínűsége.

• R > C , akkor nem lehet olyan n kódszóhosszt találni, hogy a hibás dekódolás valószínűsége tetszőlegesen kicsi legyen.

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel

Page 49: Információelmélet

49

SzéchenyiIstvánEgyetem

Shannon csatornakódolási Shannon csatornakódolási tételetétele

R>C esetén n növelésével a hibás dekódolás valószínűsége,

is nő.

A tétel nem ad meg módszert jó csatornakódok létrehozására, csak azt mondja ki, hogy jelsebességük kisebb, mint a csatornakapacitás.

nRR1

1 C

Információelmélet – Csatornakódolás

Csatorna-kódolás

Csatornák jellemzése

Csatorna-kapacitás

Vektorterek

Hamming-távolság

Hibák típusai

Kódtávolság

Singleton-korlát

Hamming-korlát

Csatornakódo-lási tétel