repetitionskoder blockkoder Felrättande koder

Relevanta dokument
Föreläsning 7. Felrättande koder

4x az = 0 2ax + y = 0 ax + y + z = 0

LÖSNINGAR TILL LINJÄR ALGEBRA kl 8 13 LUNDS TEKNISKA HÖGSKOLA MATEMATIK. 1. Volymen med tecken ges av determinanten.

SF1624 Algebra och geometri

SF1624 Algebra och geometri

TMV166 Linjär algebra för M, vt 2016

Andragradspolynom Några vektorrum P 2

Linjär Algebra F14 Determinanter

SF1624 Algebra och geometri

Oändligtdimensionella vektorrum

1 som går genom punkten (1, 3) och är parallell med vektorn.

Linjär Algebra M/TD Läsvecka 1

Linjära avbildningar. Definition 1 En avbildning mellan två vektorrum, F : V U, kallas linjär om. EX. Speglingar, rotationer, projektioner i R 3.

Stora bilden av Linjära algebran. Vektorrum, linjära transformationer, matriser (sammanfattning av begrepp)

LÖSNINGAR TILL LINJÄR ALGEBRA kl LUNDS TEKNISKA HÖGSKOLA MATEMATIK

SF1624 Algebra och geometri Lösningsförslag med bedömningskriterier till kontrollskrivning 2 Måndagen den 24 september, 2012

Vektorgeometri för gymnasister

kvivalenta. Ange rangen för A samt en bas för kolonnrummet för A. och U =

Kursprogram kursen ETE325 Linjär Algebra, 8 hp, vt 2015.

Kursprogram kursen ETE325 Linjär Algebra, 8 hp, vt 2016.

MVE022 Urval av bevis (på svenska)

LÖSNINGAR LINJÄR ALGEBRA LUNDS TEKNISKA HÖGSKOLA MATEMATIK

Tentamen TMV140 Linjär algebra Z

Chalmers tekniska högskola Datum: kl Telefonvakt: Linnea Hietala MVE480 Linjär algebra S

Tentamen i ETE305 Linjär algebra , 8 13.

TMV166/186 Linjär Algebra M/TD 2011/2012 Läsvecka 1. Omfattning. Innehåll Lay, kapitel , Linjära ekvationer i linjär algebra

Linjär algebra I, vt 12 Vecko PM läsvecka 4

Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra, SF1604, den 15 mars 2012 kl

SF1624 Algebra och geometri Tentamen med lösningsförslag onsdag, 11 januari 2017

n = v 1 v 2 = (4, 4, 2). 4 ( 1) + 4 ( 1) 2 ( 1) + d = 0 d = t = 4 + 2s 5 t = 6 + 4s 1 + t = 4 s

Detta cosinusvärde för vinklar i [0, π] motsvarar α = π 4.

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

Linjär algebra på 2 45 minuter

A = (3 p) (b) Bestäm alla lösningar till Ax = [ 5 3 ] T.. (3 p)

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604 för D, den 5 juni 2010 kl

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

SF1624 Algebra och geometri

LINJÄR ALGEBRA II LEKTION 3

16. Linjära avbildningar

Vektorgeometri för gymnasister

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

Föreläsning 3, Linjär algebra IT VT Skalärprodukt

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 17 april 2010 kl

A = x

Lösningsförslag till övningsuppgifter, del V

Linjär algebra på några minuter

Linjär algebra och geometri I

LINKÖPINGS TEKNISKA HÖGSKOLA Matematiska institutionen Ulf Janfalk 18 september 2014

LINKÖPINGS TEKNISKA HÖGSKOLA Matematiska institutionen Ulf Janfalk 29 augusti 2018

ax + y + 4z = a x + y + (a 1)z = 1. 2x + 2y + az = 2 Ange dessutom samtliga lösningar då det finns oändligt många.

November 24, Egenvärde och egenvektor. (en likformig expansion med faktor 2) (en rotation 30 grader moturs)

Lösningar till några övningar inför lappskrivning nummer 3 på kursen Linjär algebra för D, vt 15.

Provräkning 3, Linjär Algebra, vt 2016.

SF1624 Algebra och geometri Lösningsförslag med bedömningskriterier till kontrollskrivning 2 Fredagen den 28 januari, 2011

Carl Olsson Carl Olsson Linjär Algebra / 18

SF1624 Algebra och geometri

3 1 = t 2 2 = ( 1) ( 2) 1 2 = A(t) = t 1 10 t

Linjär Algebra, Föreläsning 8

. b. x + 2 y 3 z = 1 3 x y + 2 z = a x 5 y + 8 z = 1 lösning?

SF1624 Algebra och geometri Lösningsförsag till modelltentamen

Uppgifter, 2014 Tillämpad linjär algebra

1 Grundläggande kalkyler med vektorer och matriser

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A. t 2

TENTAMEN I LINJÄR ALGEBRA OCH NUMERISK ANALYS F1/TM1, TMA

SKRIVNING I VEKTORGEOMETRI

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A. (1 p) (c) Bestäm avståndet mellan A och linjen l.

MYSTERIER SOM ÅTERSTÅR

Egenvärden och egenvektorer. Linjär Algebra F15. Pelle

Vektorrum. EX. Plan och linjer i rummet genom origo. Allmänt; mängden av lösningar till AX = 0.

SF1624 Algebra och geometri Lösningsförslag till modelltentamen DEL A

16. Linjära avbildningar

Uppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna

1 Linjära ekvationssystem. 2 Vektorer

SF1624 Algebra och geometri Lösningsförslag till tentamen Fredagen den 23 oktober, 2009 DEL A

Facit/lösningsförslag

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

Föreläsningsanteckningar Linjär Algebra II Lärarlyftet

Algebrans fundamentalsats

Prov i matematik Civilingenjörsprogrammen EL, IT, K, X, ES, F, Q, W, Enstaka kurs LINJÄR ALGEBRA

Tentamen i Linjär algebra (TATA31/TEN1) ,

UPG5 och UPG8 Miniprojekt 1: 2D datorgrafik

Uppgifter, 2015 Tillämpad linjär algebra

Övningar. MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik. Linjär algebra 2. Senast korrigerad:

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

GRAM-SCHMIDTS METOD ... Med hjälp av Gram-Schmidts metod kan vi omvandla n st. linjäroberoende vektorer. samma rum dvs som satisfierar

Linjär algebra och geometri I

TMV166 Linjär Algebra för M. Tentamen

Inför tentamen i Linjär algebra TNA002.

TMV142/186 Linjär algebra Z/TD

November 17, 2015 (1) en enda lsg. Obs det A = 1 0. (2) k-parameter lsg. Obs det A = 0. k-kolonner efter sista ledande ettan

Matematik med datalogi, mfl. Linjär algebra ma014a ATM-Matematik Mikael Forsberg

Multiplicera 7med A λ 1 I från vänster: c 1 (Av 1 λ 1 v 1 )+c 2 (Av 2 λ 1 v 2 )+c 3 (Av 3 λ 1 v 3 ) = 0

1. (Dugga 1.1) (a) Bestäm v (3v 2u) om v = . (1p) and u =

SF1624 Algebra och geometri

Lite Linjär Algebra 2017

Profilen Kommunikation

SF1624 Algebra och geometri

Digital- och datorteknik

1. Bestäm volymen för den parallellepiped som ges av de tre vektorerna x 1 = (2, 3, 5), x 2 = (3, 1, 1) och x 3 = (1, 3, 0).

Definition 1 Ett vektorrum M (över R) är en mängd element, vektorer, sådan att det finns en kommutativ operation + på mängden M som uppfyller

Transkript:

Antag att en följd av nollor och ettor ska skickas genom en kanal: 0 0 0 0 0 0... Om det finns en viss risk (sannolikhet) för fel kanske vi får ut: 0 0 0 0 0 0... Hur kan man rätta till felen med så lite jobb som möjligt? Detta är ett problem som jämt måste hanteras i all modern kommunikation. Idé : Skicka alla siffror dubbelt: 00 00 00 00 00 00... Vi kanske får ut 00 0 00 00 0 00 00 0... Här indikerar 0 eller 0 att något blivit fel i överföringen men vi vet inte om ursprungliga siffran borde vara 0 eller. Vår tolkning blir 0? 0 0? 0 0?..., inte helt lyckat. Idé 2: Skicka alla siffror trippelt: 000 000 000 000 000 000... Vi kanske får ut 000 0 000 000 00 000 00 0... som vi genom majoritetsbeslut tolkar som 0 0 0 0 0 0... vilket är rätt följd!

En siffra som skickas trippelt som kan om det uppstår två fel, t.ex. om vi får ut 00 tolkas som 0. Hur stor är risken för detta? Om sannoliketen för att en bit eller siffra överförs korrekt är p (och vi antar att fel uppstår oberoende - kanske inte alltid sant) blir sannoliketen för rätt slutresultat P r = P(rätt överföring) = P(3 rätt)+p(2 rätt) = p 3 + 3p 2 ( p) = 3p 2 2p 3 P står för sannolikhet (probability) Om t.ex. p = 0.9, d.v.s. 0% felrisk per bit, blir P r = 3 0.9 2 2 0.9 3 = 0.972 Risken för fel i överföring per siffra har minskat från 0% till 2.8% genom att skicka den trippelt. Priset är att vi måste skicka tre gånger så många bitar som i originalföljden.

Att överföra som med sannolikhet p = 0.9 att varje bit blir korrekt ger alltså sannolikheten P r = 0.972 att överförs korrekt. Om vi vill överföra 4 siffror utan kontrollbitar blir sannolikheten att alla 4 överförs korrekt p 4 = 0.9 4 0.66. Med systemet att skicka varje trippelt blir sannolikheten att alla 4 överförs korrekt P 4 r = 0.972 4 0.89. För 7 siffror fås p 7 = 0.9 7 0.48 och P 7 r = 0.972 7 0.82. Finns bättre system? Samma/mindre felrisk utan att behöva överföra allt trippelt?

Gruppera siffrorna som ska överföras i block med 4 siffror i varje, t.ex. 0 0 0 0 0 0... blockindelas som 0 0 0 0 0 0... Till varje block läggs 3 kontrollsiffror så totalt 7 bitar överförs. Det sker genom att 0 0 0 görs till 0 0 0 0 (sista 0 är kontrollsiffrorna), 0 0 0 0 0 0 0, 0 0 0 0 0 0 och 0 0 0 0 0 0 0. Dessa fyra 4-block bildar bas och andra block är linjärkombinationer. Kodning sker nu genom att vi säger att det ska vara en linjär avbildning. Om vi sätter blocken i kolonner så hamnar basblockens bilder som kolonner med längd 7 i en 7 4 - matris som beskriver kodningen, d.v.s. hur alla 4-block görs om till 7 bitar som ska överföras.

Avbildningsmatrisen blir A = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Alltså 0 0 0 0 0 + 0 + 0 + 0 0 + + 0 + 0 0 + 0 + + 0 0 + 0 + 0 + 0 + + + 0 0 + + + 0 + 0 + + och t.ex. blocket 0 ger = Vi har räknat med reglerna ( modulo 2 ): 0 + 0 = 0, 0 + =, + = 0, 0 0 = 0, 0 = 0, = Koden ovan kallas Hamming(7,4)-koden. 0 0 0

Om man beräknar vad alla de 6 möjliga blocken avbildas på får man 0 0 0 0 0 0 0, 0 0 0 0, 0 0 0 0, 0 0 0, 0 0 0 0, 0 0 0, 0 0 0 0, 0 0 0, 0 0 0 0, 0 0 0, 0 0 0 0, 0 0 0, 0 0 0 0, 0 0 0, 0 0 0, Observation: alla skiljer sig på minst 3 platser. Om det vid överföring uppstår högst ett fel på de 7 bitarna kan vi återskapa originalblocket. Antag att 0 0 0 0 överförs med ett fel till 0 0 0 0. Den enda av de 6 uttrycken ovan som bara skiljer sig på högst en plats från detta är 0 0 0 och vi drar den korrekta slutsatsen att det ursprungliga blocket var 0. Det spelar ingen roll om felet är i 4-blocket eller kontrollbitarna. Sannolikheten att blocket överförs korrekt är (7 eller 6 bitar ska vara korrekta): P B = P(7 rätt)+p(6 rätt) = p 7 + 7p 6 ( p) = 7p 6 6p 7 0.85 om p = 0.9.

För p = 0.9 har vi alltså 85% chans att ett block överförs korrekt, och det kostar 7/4 av vad det kostar att inte skicka kontrollbitar. Utan kontrollbitar var sannolikheten att hela blocket överförs korrekt ca 66%. Om varje siffra skickas trippelt var sannolikheten ca 89%, och det kostar 3 gånger så mycket. Man kan designa (Hammingkoder) med större block och förbättrad prestanda. Med 7 siffror i ett block och 8 kontrollbitar skiljer sig alla bilder på minst 5 platser och 2 fel kan rättas. Med p = 0.9 överförs ett 7-block korrekt med sannolikheten P(5 rätt)+p(4 r.)+p(3 r.) = p 5 + 5p 4 ( p) + 05p 3 ( p) 2 0.82 och det kostar 5/7 av vad det kostar att inte skicka kontrollbitar. Utan kontrollbitar är sannolikheten att hela blocket överförs korrekt p 7 0.48. Om varje siffra skickas trippelt är sannolikheten P 7 r 0.82, och det kostar 3 gånger så mycket.

Avslutande kommentarer används vid all digital dataöverföring. Många typer av koder finns, inte bara de linjära vi beskrivit. I tillämpningar är det ofta mycket stora datamängder som överförs och mycket liten andel fel tolereras. I stället för vektorrum över R och vektorer i R n har vi använt vektorrum över Z 2, som består av bara 0 och med räknereglerna ovan, och vektorer i (Z 2 ) n. I stället för A x = matris kolonn används ofta inom kodning det ekvivalenta (A x) t = x t A t = rad matris. Liknande matematik används i kryptering vid skickande av hemliga meddelanden. Man kan studera mer i olika ISY-kurser. Extra bra matematisk grund fås genom studier av (abstrakt) algebra, geometri, talteori,...