Kódolástechnika vizsga

Pb – bithiba valószínűség
w(v) vektor súlya – hány darab 1-es van benne
d(v1,v2) Hamming távolság, hány darab pozícióban különböznek
kódtávolság dmin = min d(c1,c2), ahol c1, c2 ∈ C (kódszavak)
hibajelzés: dmin -1 db hibát tud jelezni
t – hibajavító képesség
hibajavítás:
w(e) n-w(e)
n hosszúságú hibavektor valószínűsége: P(e) = Pb * (1-Pb)
minél nagyobb a súlya, P(e) exponenciálisan tart a 0hoz

Singleton-korlát dmin ≤ n-k+1

maximális ávolságú vagy MDS (maximum distance separable) kód dmin = n-k+1

Hamming-korlát
ha = perfekt a kód
_______________________________________________________________________________________
bináris, lineáris kódok C(n,k)
G – generátormátrix, C bázisvektoraiból áll
dmin = wmin (0 kihagyva)
0 mindig kódszó (c0)
bináris C kód lineáris, ha a C halmaza lineáris tér
(c1 ∈ C, c2 ∈ C  c1 + c2 ∈ C)
c(1*n) = u(1*k) G(k*n)
hibajavítás:
_____________________________________________________________________________________________________________________________________
a C(n,k) bináris, lineáris kód szisztematikus, ha:
c = (u1, … uk, pk+1, … pn) első k szimbólum az üzenet
ekkor:
G(k*n) = ( E(k*k) B k*(n-k) ) szegmentálható (E - egységmátrix)

paritásellenőrző mátrix H(n-k)*n

T T
Hc = 0
T
H*G =0
T
H = ( B (n-k)*k E(n-k)*(n-k) )
ha t hibát tud javítani, akkor bármely 2t db oszlopvektor lin. független
szindrómavektor s
hossza n-k
T T
H(n-k)*n v n*1 = s (n-k)*1 (v- vett vektor)
T T T
H(c + e ) = s
T T T
Hc + He = s
T T
He = s (e hossza n)
hibacsoport Es
n-k
2 db hibacsoport van
T T k
Es { e : He = s } 2 db vektor van egyben
Es { e+c0 , e+c1, e+c2, … } c0 = 0
a legkisebb súlyút detektáljuk (csoportvezető)
annak a legnagyobb a valószínűsége
_______________________________________________________________________________________
Hamming kód C(n,k)
perfekt,
ha n-k = 2, MDS kód, C(n, n-2)
n-k
n+1=2
minden 1 hibát javít t=1
i
e hibavektor i. pozícióban 1, többiben 0
T T
s = hi a H mátrix i. oszlopvektora
H-ra feltételek:
egyik oszlopvektor sem 0
oszlopvektorok különbözőek
 n-k
lehetséges oszlopvektorok száma 2 -1
_______________________________________________________________________________________
minden két hibát javító kód
i,j
e az i. j. pozícióban 1
T
s = H mátrix i. oszlopvektora + j. oszlopvektora
T T T
s = hi + hj
H-ra feltételek:
egyik oszlopvektor sem 0
oszlopvektorok különbözőek
2 oszlopvektor összege nem lehet másik oszlopvektor
2 oszlopv. összege nem lehet másik 2 oszlopv. összege
 legalább 4 lin. független
_____________________________________________________________________________________________________________________________________

Galois test GF(q)

elemei { 0, 1, …, q-1}, minden elem (q-1). hatványa 1
q prím
additív inverz: a + b = 0 mod q
multiplikatív inverz: a*b = 1 mod q
rend: egy elem hatványai hány elemetet írnak le a testből
primitív elem hatványai leírják az egész testet, rendje q-1
m
GF(2 )
p(y) irreducíbilis polinom: deg(p(y)) = m
nem bontható fel 2, alacsonyabb fokú GF(p) feletti polinom szorzatára
műveletek: a(y)*b(y) = p(y)-nal elosztva a maradék

i
standard alak: x hatványainak az együtthatói y
elem binárisan (n biten) polinom
n-1 n-2
0 00…0 0*y + 0*y +… + 0
n-1 n-2
1 00…1 0*y + 0*y +… + 1
…
_______________________________________________________________________________________
Reed – Solomon (RS) lineáris kód GF(q) felett

MDS kód dmin = n-k+1 = wmin

2t = n-k tehát hibát javít
n = q-1
u üzenethez (u0, u1, … uk-1)
k-1
-> u(x) = u0 + u1x + … uk-1x üzenetpolinomot rendeljük
0, 1, … n-1 a GF(q) különböző elemei n q
ekkor a c kódszó:
c0 = u( 0), c1 = u( 1), … , cn-1 = u( n-1)
GF(q) primitív elemével -val a G:

-1
u = G első k*k része * celső k komponense
_______________________________________________________________________________________
ciklikus lineáris kódok
bármely kódszó ciklikus eltoltja is kódszó
n-1
c(x) = c0 + c1x + … + cn-1x
deg(g(x)) = n-k (generátorpolinom)
gn-k = 1 legmagasabb fokú tagjának az együtthatója 1
c(x) = u(x)*g(x) tehát g(x) | c(x)
n
g(x) | x -1
paritásellenőrző polinom
n
h(x)*c(x) = 0 mod (x -1) és deg(c(x)) ≤ n−1
n
h(x)*g(x) = x -1
 n
h(x) =  h(x) | x -1
Error Trapping Algorithm (ETA)
v(x) = c(x) + e(x)
v(x) = u(x)g(x) + e(x)
e(x) = b(x)g(x) + r(x),
3 shiftregiszterrel megvalósítható
behelyettesítve:
v(x) = (u(x) + b(x))g(x) + r(x)
v(x) mod g(x) = e(x) mod g(x)
a maradék megfigyelésével megkapjuk az ismeretlen e(x) maradékát
i0 i1 it
i0 a hiba kezdő komponense e(x) = ei0x + ei1x +…+ eitx
i0
ha w(r(x)) < t +1 akkor e(x) = x r(x), a hiba csapdába esett
addig forgatjuk amíg a feltétel nem teljesül, ha teljesült elkapjuk a hibát,
és visszaforgatjuk
_______________________________________________________________________________________

ciklikus lineáris Reed-Solomon (RS) kód

deg(g(x)) = n-k (generátorpolilom)
előrecsatolt shiftregiszterekkel implementálható
2t = n-k tehát hibát javít
n = q-1
GF(q) primitív eleme: (hatványai a megadott hatványtáblában lesznek)
generátorpolinom: standard alakban kell megadni

paritásellenőrzőpolinom: (shiftregiszternél nincs szükség rá)

deg(h(x)) = k

_______________________________________________________________________________________
adattömörítés
p(x) függvény az x forrásbetűhöz annak valószínűségét rendeli
átlagos kódszóhossz l(x) várható értéke L = E(l(x)) =
2 forrás (p,q) távolsága:

adatátviteli sebesség = fs*L, ahol fs-frekvencia

adatátviteli sebességnövekedés = fs*(L – H(x))
tömörítési hatékonyság

bináris prefixmentes kód

lehetséges kódszavak közül egyik sem folytatása a másiknak
bináris fával felírható
Kraft egyenlőtlenség:
ha teljesül, a kód prefixmentes
entrópia
a tömöríthetőség alsó határa
H(x) =
0 ≤ H(x) ≤
az X val. változó N különböző értéket vehet fel
egyenletes eloszlásnál H(x) = , ekkor maximális
független = emlékezetnélküli források entrópiája: H(X,Y) = H(X) + H(Y)
forráskódolási tétel (emlékezet nélkülikre) H(x) ≤ L

blokkos forrás
fajlagosan egy szimbólumra jutó átlagos hossz
K – blokkhosszúság (pozitív egész szám)
 ha ε megközelítés adott
ε
K
kódtábla mérete: O(kódszavak száma)

Shannon-Fano kód
prefixmentes
adott p(x)hez az l(x) =
várható kódszóhossz: L = =
H(x) ≤ L ≤ H(x) + 1

Huffman
bináris fa amire teljesül:
szülők értéke a gyerekeik összege
alsó szinttől felfelé balról jobbra kiolvasva monoton nem csökkenő
kódolás: 2 legkisebb valószínűségűt összevonjuk, amíg 1hez nem érünk

LZ78 szótár alapú, a szótárban elfoglalt hely (index) átküldése

1. parsing: új szavakra bontás
2. szótár: szavakhoz (előzmény,újdonságfaktor) bejegyzések

LZ77 adathármas hossza (lépésenként generálódó sorozat hossza)

_______________________________________________________________________________________
RSA
nyilvános kulcs 2 elemből áll (m, e)
titkos kulcs 3 elemből áll (d,p1,p2)

, ahol
m = p1p2
e
kódolás: y = x mod m
d
dekódolás: x= y mod m