Kde a jak může být lineární algebra užitečná v praxi.



Podobné dokumenty
Simulace (nejen) fyzikálních jevů na počítači

aneb jiný úhel pohledu na prvák

7. Rozdělení pravděpodobnosti ve statistice

STRUKTURA RASTROVÝCH DAT

Základní komunikační řetězec

Numerické metody a programování. Lekce 4

4EK201 Matematické modelování. 2. Lineární programování

1 Úvod do celočíselné lineární optimalizace

Globální matice konstrukce

Četba: Texty o lineární algebře (odkazy na webových stránkách přednášejícího).

1. července 2010

4EK213 LINEÁRNÍ MODELY

LDF MENDELU. Simona Fišnarová (MENDELU) Základy lineárního programování VMAT, IMT 1 / 25

U Úvod do modelování a simulace systémů

VYUŽITÍ MATLABU PRO PODPORU VÝUKY A PŘI ŘEŠENÍ VÝZKUMNÝCH ÚKOLŮ NA KATEDŘE KOMUNIKAČNÍCH A INFORMAČNÍCH SYSTÉMŮ

Biofyzikální ústav LF MU Brno. jarní semestr 2011

stránkách přednášejícího.

fakulty MENDELU v Brně (LDF) s ohledem na disciplíny společného základu (reg. č. CZ.1.07/2.2.00/28.

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Princip řešení soustavy rovnic

4EK213 Lineární modely. 4. Simplexová metoda - závěr

Vzdělávací obsah vyučovacího předmětu

Popis metod CLIDATA-GIS. Martin Stříž

Předmluva 9 Obsah knihy 9 Typografické konvence 10 Informace o autorovi 10 Poděkování 10

Numerické metody a programování

1 0 0 u 22 u 23 l 31. l u11

III. MKP vlastní kmitání

Úvod do zpracování signálů

KOMPRESE OBRAZŮ. Václav Hlaváč, Jan Kybic. Fakulta elektrotechnická ČVUT v Praze katedra kybernetiky, Centrum strojového vnímání.

Internet 2 css, skriptování, dynamické prvky

Soustavy lineárních rovnic

Analýza a zpracování digitálního obrazu

Co je obsahem numerických metod?

Obecná úloha lineárního programování

Fakt. Každou soustavu n lineárních ODR řádů n i lze eliminací převést ekvivalentně na jednu lineární ODR

Připomenutí co je to soustava lineárních rovnic

SVD rozklad a pseudoinverse

Soustavy se spínanými kapacitory - SC. 1. Základní princip:

Základy algoritmizace

Požadavky k písemné přijímací zkoušce z matematiky do navazujícího magisterského studia pro neučitelské obory

Dnešní látka Opakování: normy vektorů a matic, podmíněnost matic Jacobiova iterační metoda Gaussova-Seidelova iterační metoda

Níže uvedená tabulka obsahuje technické údaje a omezení aplikace Excel (viz také článek Technické údaje a omezení aplikace Excel (2007).

7. přednáška Systémová analýza a modelování. Přiřazovací problém

Tajemství skalárního součinu

POŽADAVKY K SOUBORNÉ ZKOUŠCE Z MATEMATIKY

Komprese dat Obsah. Komprese videa. Radim Farana. Podklady pro výuku. Komprese videa a zvuku. Komprese MPEG. Komprese MP3.

maticeteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést

Vliv Mosteckého jezera na teplotu a vlhkost vzduchu a rychlost větru. Lukáš Pop Ústav fyziky atmosféry v. v. i. AV ČR

Numerická matematika 1

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Základy algoritmizace

NUMERICKÝ MODEL NESTACIONÁRNÍHO PŘENOSU TEPLA V PALIVOVÉ TYČI JADERNÉHO REAKTORU VVER 1000 SVOČ FST 2014

Příklady modelů lineárního programování

Úlohy k přednášce NMAG 101 a 120: Lineární algebra a geometrie 1 a 2,

KOMPRESE OBRAZŮ. Václav Hlaváč. Fakulta elektrotechnická ČVUT v Praze katedra kybernetiky, Centrum strojového vnímání. hlavac@fel.cvut.

Soustavy lineárních rovnic

Kosinová transformace 36ACS

Automatizace je proces při němž je řídicí funkce člověka nahrazována činností

Státní závěrečná zkouška z oboru Matematika a její použití v přírodních vědách

Učební texty k státní bakalářské zkoušce Matematika Skalární součin. študenti MFF 15. augusta 2008

Geometrické transformace

Návrh Designu: Radek Mařík

Iterační metody řešení soustav lineárních rovnic. 27. prosince 2011

Definice 13.1 Kvadratická forma v n proměnných s koeficienty z tělesa T je výraz tvaru. Kvadratická forma v n proměnných je tak polynom n proměnných s

Modelování a simulace Lukáš Otte

Postup při řešení matematicko-fyzikálně-technické úlohy

(Cramerovo pravidlo, determinanty, inverzní matice)

K velkým datům přes matice a grafy

VYBRANÉ PARTIE Z NUMERICKÉ MATEMATIKY

13 Barvy a úpravy rastrového

Středoškolská technika SCI-Lab

Mgr. Ladislav Zemánek Maturitní okruhy Matematika Obor reálných čísel

Matematika (a fyzika) schovaná za GPS. Global Positioning system. Michal Bulant. Brno, 2011

Lineární algebra. Soustavy lineárních rovnic

DIPLOMOVÁ PRÁCE Nelineární řízení magnetického ložiska

Matematika 1 MA1. 2 Determinant. 3 Adjungovaná matice. 4 Cramerovo pravidlo. 11. přednáška ( ) Matematika 1 1 / 29

Modely vyhledávání informací 4 podle technologie. 1) Booleovský model. George Boole Aplikace booleovské logiky

1 Základní funkce pro zpracování obrazových dat

Projekt IMPLEMENTACE ŠVP. pořadí početních operací, dělitelnost, společný dělitel a násobek, základní početní operace

Diferenciální rovnice 3

4EK212 Kvantitativní management. 2. Lineární programování

ZPRACOVÁNÍ OBRAZU přednáška 4

Rádiové rozhraní GSM fáze 1

Polynomy. Mgr. Veronika Švandová a Mgr. Zdeněk Kříž, Ph. D. 1.1 Teorie Zavedení polynomů Operace s polynomy...

D - Přehled předmětů studijního plánu

NOVÉ METODY HODNOCENÍ OBRAZOVÉ KVALITY

III/ 2 Inovace a zkvalitnění výuky prostřednictvím ICT

Několik aplikací. Kapitola 12

1 Modelování systémů 2. řádu

Metody lineární optimalizace Simplexová metoda. Distribuční úlohy

a vlastních vektorů Příklad: Stanovte taková čísla λ, pro která má homogenní soustava Av = λv nenulové (A λ i I) v = 0.

Netradiční výklad tradičních témat

Algoritmy I, složitost

Uspořádanou n-tici reálných čísel nazveme aritmetický vektor (vektor), ā = (a 1, a 2,..., a n ). Čísla a 1, a 2,..., a n se nazývají složky vektoru

Cvičná bakalářská zkouška, 1. varianta

MATLAB PRO PODPORU VÝUKY KOMUNIKAČNÍCH SYSTÉMŮ

IB112 Základy matematiky

Výběr báze. u n. a 1 u 1

Slajdy k přednášce Lineární algebra I

1. Vlastnosti diskretních a číslicových metod zpracování signálů... 15

Transkript:

Kde a jak může být lineární algebra užitečná v praxi. Jiří Fiala Všechny příklady jsou zjednodušené tak, aby bylo zřejmé užití nástrojů lineární algebry. Konkrétní implementace jsou však značně složitější.

Soustavy lineárních rovnic Předpověď počasí Při předpovídání počasí je nutné vypočítat s dostatečně přesně teplotu, tlak, vlhkost a také rychlost a směr proudění vzduchu v závislosti na aktuálním stavu počasí hlášeném z meteorologických stanic. Fyzikálně lze situaci popsat soustavou diferenciálních rovnic. Jejich přesné řešení je obtížné a v některých případech i nemožné.

Soustavy lineárních rovnic Pro řešení rozsáhlých soustav diferenciálních rovnic druhého řádu se v inženýrské praxi používá metoda konečných prvků. Spočívá v rozdělení zkoumaného oboru hodnot na malé buňky. Na každé buňce se hledaná funkce aproximuje lineární kombinací jednoduchých funkcí, např. po částech lineárních. Aproximace hladké funkce pomocí po částech lineární funkce. Rozklad po částech lineární funkce na lineární kombinaci jednoduchých funkcí. Příklad po částech lineární funkce nad triangulací v R 2

Soustavy lineárních rovnic Pro modelování vzdušného proudění je prostor střední Evropy rozdělen trojrozměrnou mřížkou o rozměru 320 x 288 bodů (s roztečí cca 9 km) a 43 hladinami. Celkový počet bodů mřížky a tedy i příslušných buněk, je téměř 4 000 000. Daná soustava diferenciálních rovnic se převede na soustavu několika miliónů lineárních rovnic. Meteorologové na ČHMÚ v Komořanech potřebují a dokáží vyřešit takové soustavy. Každých 6 hodin je předpověď počasí aktualizována podle právě vypočteného modelu.

Změna báze vektorového prostoru Komprese obrazu ve formátu jpeg Jpeg (Joint photographic expert group) je rastrový grafický formát. Jeho princip je následující: Obrázek se nejprve převede do barevného prostoru YCbCr. (Model YCbCr byl původně určený pro přenos TV signálu.) Každá vrstva je rozřezána na díly o rozměru 8 8 bodů a každý díl je zpracován zvlášť.

Změna báze vektorového prostoru Namísto kódování intenzity 64 jednotlivých bodů se obraz celého dílu složí jako lineární kombinace 64 diskrétních harmonických funkcí nad mřížkou 8 8 bodů, což je princip tzv. diskrétní kosinové Fourierovy transformace Rozklad na jednotlivé body Báze z funkcí cos(ix) cos(jy) Malé koeficienty lze zanedbat, což vede ke ztrátové kompresi. Ta má ale lepší kompresní poměr než komprese bezeztrátová, aniž by změny v obraze byly rozeznatelné lidským zrakem.

Vlastní čísla Vyhledávání na Google Vyhledávání webových stránek podle klíčových slov zpravidla probíhá ve dvou fázích 1. Nejprve se najdou všechny stránky, které obsahují daná klíčová slova. 2. Potom se tato skupina utřídí podle důležitosti. Pro výpočet důležitosti stránek ve vyhledávači Google byla podle Kendall Weiovy teorie hodnocení (z 50. let 20. století) navržena metoda PageRank. Ta hodnotí stránky tak, aby důležitost stránky je přímo úměrná součtu důležitostí stránek, které na ni odkazují.

Vlastní čísla Představme si, že propojení všech webových stránek je zakódováno formou matice M, kde řádky a sloupce odpovídají stránkám a { 1 pokud i-tá stránka odkazuje na j-tou m i,j = 0 v ostatních případech Dostaneme tzv. matici sousednosti webu. Ohodnocení stránek odpovídá nezápornému vektoru x, který splňuje Mx = cx pro vhodnou kladnou konstantu c. Je vidět, že x je vlastní vektor matice M příslušný vlastnímu číslu c. Lze ukázat, že při drobné modifikaci matice M bude vlastní číslo c s největší absolutní hodnotou reálné a kladné. Navíc platí, že jako jediné vlastní číslo má příslušný vlastní vektor x se všemi složkami kladnými.

Vlastní čísla Několik údajů o metodě PageRank. I Návrh metody provedli Larry Page a Sergey Brin. Projekt začal v roce 1995, první implementace byla otestována v roce 1998. I Vektor x je aktualizován průběžně, a to tak, že každá jeho složka je přepočítána cca jednou měsíčně. I Počet webových stránek, neboli řád hypotetické matice M byl v roce 2003 řádově 3 miliardy. I Matice M je ovšem velmi řídká průměrně 7 odkazů na stránku. I Ve skutečnosti je graf sousednosti webu rozložen na menší bloky, a ani ty nejsou reprezentovány maticově. Vektor x je počítán iterativními přibližnými metodami (25 80 iterací) s pevně danou hodnotou c = 0, 85.

Celočíselné lineární programování Minimalizace interference v GSM sítích Část bezdrátové komunikace v GSM sítích probíhá mezi mobilními telefony a tzv. BTS stanicemi. Stanice je bývá osazena jednou nebo třemi anténami, které obsluhují okolí stanice, tzv. buňky. Pro komunikaci v rámci buňky se užívá jedné nebo více frekvencí, a to v závislosti na počtu aktivních GSM telefonů v buňce. Na jedné frekvenci jich lze obsloužit 6 8. Frekvence se nutné přidělit vysílačům tak, aby nevznikla žádná nebo jen minimální interference. Jednak je třeba ošetřit frekvence vysílačů stejné BTS, a také interferenci mezi stejnými nebo podobnými frekvencemi u blízkých BTS. Úroveň interference může záležet na okolním terénu a dalších faktorech.

Celočíselné lineární programování Vhodný plán přidělení frekvencí lze získat i metodami celočíselného lineárního programování. Zdali bude vysílači v přiřazena frekvence f udává binární proměnná x v f. Dále jsou zavedeny binární proměnné xv,v f,f, jež hlídají vznik interference mezi dvěma kolidujícími frekvencemi f a f na blízkých vysílačích v a v. Podmínky úlohy ILP zaručují, I že na každém vysílači je k dispozici správný počet frekvencí I a že proměnné x v,v f,f korektně zjišťují vznik interference. Účelová funkce je sestavena tak, aby co nejméně proměnných x v,v f,f bylo kladných, a tím pádem aby i celková úroveň interference byla co nejmenší.

Celočíselné lineární programování Realistické instance zveřejněné na FAP web mají rozsah I 40 80 frekvencí pro 250 400 vysílačů, t.j. 13 000 300 000 proměnných x v f I 20 000 1 000 000 podmínek, čili i proměnných x v,v f,f Pro některé scénáře se podařilo sestavit frekvenční plány, kde interference klesla o 80 95 % oproti skutečnému plánu. Užití jednoho z těchto frekvenčních plánů v terénu vedlo např. ke snížení režie na předávání hovoru mezi buňkami o 20 %.

K dalšímu čtení I Metoda konečných prvků, Jpeg, diskrétní kosinová Fourierova transformace, Pagerank Wikipedia, Mathworld I Struktura vyhledávače Google Brin, Page: The anatomy of a large-scale hypertextual web search engine, Proc. WWW 7 (1998) 107 117 I Přidělování frekvencí v GSM sítích Eisenblätter: Assigning frequencies in GSM networks Oper. Research Proc. 2002, Springer (2003) 33 40 Eisenblätter et al.: Frequency planning and ramifications of coloring, Disc. Math., Graph Th. 22(2002) 51 88 Whalen: Signaling processes in third generation wireless systems