Vladimír Ulman Centre for Biomedical Image Analysis. 10th October, 2007 FI MU, Brno
|
|
- Sylwester Żurek
- 6 lat temu
- Przeglądów:
Transkrypt
1 Gáborovy filtry nebo spíš rychlé počítání Gausse Vladimír Ulman Centre for Biomedical Image Analysis th October, 7 FI MU, Brno Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 / 39
2 Gáborovy filtry zjednodušeně: lokální Fourierova transformace (FT) pro danou frekvenci snaží se detekovat zvolenou frekvenci na dané pozici frekvence, stejně jako v FT, popisuje velikost a směr běžně používáný tvar D konvolučního jádra je: G(x, θ, σ) = exp ( x 2 ) 2πσ 2σ 2 sin(2πθx) nebo tzv. sudý Gáborův filtr: G(x, θ, σ) = exp ( x 2 2πσ 2σ 2 ) cos(2πθx) Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 2 / 39
3 Gáborovy filtry pro 2D: G(x, y, θ, θ 2, σ) = 2πσ 2 exp ( x 2 + y 2 2σ 2 ) sin(2πθx) pro 3D: G(x, y, z, θ, θ 2, θ 3, σ) = ( 3 exp x 2 + y 2 + z 2 ) 2π σ 3 2σ 2 sin(2πθx) Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 3 / 39
4 Gáborovy filtry přesnější kopie FT pro 2D, vrací komplexní číslo: G(x, y, θ, φ, σ) = ( 2πσ 2 exp x 2 + y 2 ) 2σ 2 exp (j2πθ(x cos(φ) + y sin(φ))) kde θ je frekvence, φ je směr a σ je rozsah (scale) j je komplexní jednotka Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 4 / 39
5 konvoluce s GF, D f (x) je vstupní obrázek g(x) je výstupní obrázek konvoluce: K g(x) = f (x i) G(i, θ, σ) i= K Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 5 / 39
6 konvoluce s GF, D g(x) = g(x) = K i= K K i= K f (x) f (x i) exp ( i 2 ) 2πσ 2σ 2 exp (j2πθi) ) (i x)2 exp ( 2πσ 2σ 2 exp (j2πθ(i x)) Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 6 / 39
7 konvoluce s GF, D y(k) = x(k) [Ke (k2 /2σ 2) e j2πf k ] y(k) = ([x(k)e j2πf k ] Ke k/2σ2 )e j2πf k Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 7 / 39
8 dodělat definici Gáboru, co vlastně chceme počítat jak se dá rozložit konvoluce Gáboru že se to redukuju na konvoluci Gausem ta se dá udělat rychle definici IIR pro Gausse podle článku pokus o nějakou teorii, jak se na to došlo výsledky toho rychlého Gausse Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 8 / 39
9 rychlý Gauss tam: o(x) = Fi(x) + I o(x ) + (I o(x ) + I 2 o(x 2) + I 3 o(x 3)) /I a zpět: o(x) = Fo(x) + I o(x + ) + (I o(x + ) + I 2 o(x + 2) + I 3 o(x + 3)) /I Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 9 / 39
10 prostorová složitost pro FIR: pro D pracuje přímo nad výstupní pamětí pro 2D a 3D vyžaduje pomocný obrázek pomocný obrázek je o stejné velikosti jako vstupní/výstupní obrázek pro IIR: pracuje přímo nad výstupní pamětí, žádné pomocné obrázky FIR část obsahuje totiž pouze jeden nenulový koeficient šetření prostorem je výhoda Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 / 39
11 časová náročnost testováno pro D a 2D výpočty o různých σ nad stejným obrazem 2D: stejná σ pro x a y (isotropní), snažší odhad velikosti supportu filtru obraz byl 5x5 pixelů, float (celkem cca 96MB v paměti) počítač byl P4, 52MB DDR4MHz (dneska jsou rychlejší paměti a větší L2 cache) sledována průměrná doba z výpočtů variance byla vždy maximálně v řádu tisícin (o několik řádů menší než naměřené časy) příklad pro D σ =.: s ±.296s příklad pro 2D σ =.:.74287s ±.375s Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 / 39
12 jak se měřilo #include <sys/time.h> struct timeval t,t2, tbase; gettimeofday(&tbase,null); float T,T2; gettimeofday(&t,null); ApplyIIRGauss<float>(in,iir res,sigma); gettimeofday(&t2,null); t.tv sec-=t base.tv sec; t2.tv sec-=t base.tv sec; T=(float)t.tv sec + ((float)t.tv usec /.f); T2=(float)t2.tv sec + ((float)t2.tv usec /.f); cout << it required << T2-T << endl; Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 2 / 39
13 FIR, časová náročnost doba výpočtu záleží na velikosti vstupního obrazu a velikosti σ σ určuje velikost filtru: roundup(3σ) 2 + support filtru v každé ose je potom cca 6σ (poměrně velký) filtr je definován pro každé σ časová náročnost roste s velikostí σ, nevýhoda poznámka: důsledkem roundup() je, že několik sousedních σ definuje stejně velký support, úspora při testování Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 3 / 39
14 FIR, support v závislosti na σ 45 4 Sigmas used in the dense tests Sigmas used in the coarse tests Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 4 / 39
15 FIR, časy 5 D FIR, dense sampling 2D FIR, coarse sampling Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 5 / 39
16 FIR, okraje nejrychlejší rutina pro počítání FIR filtrů je ApplyGauss () ta rozšiřuje obrázek nulami, okraje se teda dají předpočítat ofic. verze FIR filtrů rozšiřuje obrázek zrcadlovými okraji implementováno přes indexy, paměťové operace navíc 5 2D FIR, coarse sampling, zeroing 2D FIR, coarse sampling, mirroring Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 6 / 39
17 IIR, časová náročnost doba výpočtu zálěží jenom na velikost vstupního obrazu prakticky se vstupní obraz násobí konstantou pro každý nový výsledek konvoluce je potřeba znát 3 výsledky předchozí konvoluce to vše nezávisle na velikosti σ filtr není definován pro σ <.5 to tolik nevadí, pro malé σ je lepší použít FIR variantu (je rychlejší, ale bere víc paměti) Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 7 / 39
18 IIR, remaindery odstraňování remainderů: #define REMOVE REMAINDER FORWARD(val)\ val=(val <.5)? : val; //removes nebo #define REMOVE REMAINDER FORWARD(val) //leaves #define REMOVE REMAINDER BACKWARD(val)\ val=(val <.5)? : val; //removes nebo #define REMOVE REMAINDER BACKWARD(val) //leaves Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 8 / 39
19 IIR, remaindery, porovnání přesnosti příklad IIR impulse response, impulse měl velikost, σ = IIR D impulse response Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 9 / 39
20 IIR, remaindery, porovnání přesnosti porovnání levé půlky impulse response Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 / 39
21 IIR, remaindery, porovnání přesnosti porovnání pravé půlky impulse response Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 2 / 39
22 IIR, časy 7 6 D IIR, dense sampling, without remainders D IIR, coarse sampling, with remainders 2D IIR, coarse sampling, without remainders 2D IIR, coarse sampling, with remainders Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 22 / 39
23 FIR a IIR, porovnání časové náročnosti, D počítáno pořád nad stejným velkým obrázkem rychlejší IIR varianta bez remainderů 3 D IIR, dense sampling, without remainders D FIR, dense sampling Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 23 / 39
24 FIR a IIR, porovnání časové náročnosti, 2D počítáno pořád nad stejným velkým obrázkem rychlejší IIR varianta bez remainderů 5 2D IIR, coarse sampling, without remainders 2D FIR, coarse sampling Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 24 / 39
25 FIR a IIR, porovnání časové náročnosti, 3D počítáno nad 3D obrázkem buňky, 276x286x6px (cca 32MB) rychlejší IIR varianta bez remainderů 3 3D IIR, coarse sampling, without remainders 3D FIR, coarse sampling, without remainders Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 25 / 39
26 porovnání přesností, D porovnání IIR (bez remainderů) vs. FIR, σ = IIR D impulse response, Sigma=. FIR D impulse response, Sigma= IIR minus FIR of D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 26 / 39
27 porovnání přesností, D porovnání IIR (bez remainderů) vs. FIR, σ = 2. 3 IIR D impulse response, Sigma=2. FIR D impulse response, Sigma=2. 25 IIR minus FIR of D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 27 / 39
28 porovnání přesností, D porovnání IIR (bez remainderů) vs. FIR, σ = 3. IIR D impulse response, Sigma=3. FIR D impulse response, Sigma=3. 5 IIR minus FIR of D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 28 / 39
29 porovnání přesností, D porovnání IIR (bez remainderů) vs. FIR, σ = 4. 4 IIR D impulse response, Sigma=4. FIR D impulse response, Sigma= IIR minus FIR of D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 29 / 39
30 porovnání přesností, 2D porovnání IIR (bez remainderů) vs. FIR, σ =. 4 IIR 2D impulse response, Sigma=. FIR 2D impulse response, Sigma=. 2 IIR minus FIR of 2D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 3 / 39
31 porovnání přesností, 2D porovnání IIR (bez remainderů) vs. FIR, σ = 2. IIR 2D impulse response, Sigma=2. FIR 2D impulse response, Sigma= IIR minus FIR of 2D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 3 / 39
32 porovnání přesností, 2D porovnání IIR (bez remainderů) vs. FIR, σ = IIR 2D impulse response, Sigma=2.9 FIR 2D impulse response, Sigma= IIR minus FIR of 2D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 32 / 39
33 porovnání přesností, 2D porovnání IIR (bez remainderů) vs. FIR, σ = 4. IIR 2D impulse response, Sigma=4. FIR 2D impulse response, Sigma= IIR minus FIR of 2D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 33 / 39
34 porovnání přesností, 3D real příklad porovnání IIR (bez remainderů) vs. FIR, σ =.4 IIR 3D, Sigma=.4 FIR 3D, Sigma= IIR minus FIR of 3D impulse response, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 34 / 39
35 porovnání přesností, 3D real příklad porovnání IIR (bez remainderů) vs. FIR, σ = 3.2 IIR 3D, Sigma=3.2 FIR 3D, Sigma= IIR minus FIR of 3D impulse response, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 35 / 39
36 porovnání přesností, 2D real příklad porovnání IIR (bez remainderů) vs. FIR, σ =. IIR 2D impulse response, Sigma=. FIR 2D impulse response, Sigma= IIR minus FIR of 2D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 36 / 39
37 porovnání přesností, 2D real příklad porovnání IIR (bez remainderů) vs. FIR, σ = 3. IIR 2D impulse response, Sigma=3. FIR 2D impulse response, Sigma= IIR minus FIR of 2D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 37 / 39
38 porovnání přesností, 2D real příklad porovnání IIR (bez remainderů) vs. FIR, σ = 5. IIR 2D impulse response, Sigma=5. FIR 2D impulse response, Sigma= IIR minus FIR of 2D impulse responses, Sigma= Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 38 / 39
39 co s tím? je jasné, že výsledky FIR se liší od IIR co je ale lepší, oboje je totiž aproximace... ve 3D je tam možná nějaká chyba v implementaci v D a 2D se výsledky tolik opticky nelišily ani na IR ani na reálných datech čísla, absolutně: v 2D rozdíl až 5, ve 3D rozdíl až 8 čísla, relativně: v 2D rozdíl až 3%, ve 3D rozdíl až 3% fakt: IIR rychlejší pro σ > fakt: IIR podobnější FIR pro σ > výsledky z IIR kopírují tvar výsledků z FIR možná půjde najít nějaká korekce (třeba přepočet σ) pak asi IIR může nahradit FIR pro větší σ Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 39 / 39
40 co dál? momentálně jsem dokončil implementaci rychlého Gausse to je v podstatě základ počítání Gáborových filtrů (GF) podobná studie se musí udělat na chování GF (třeba se ty rozdíly nějak zkousnou... ) základní GF, 4D konvoluční jádro klasicky naivně konvolvováno základní benchmark, ten je třeba překonat separované GF, základní GF rozložený na kompomenty urychlení výpočtu separovaný aproximovaný GF, předchozí GF s rozloženými aproximovanými komponentami další urychlení výpočtu Vladimír Ulman (CBIA, FI MU) Gáborovy filtry th October, 7 4 / 39
Aproximace funkcí 1,00 0,841 1,10 0,864 1,20 0,885. Body proložíme lomenou čarou.
Příklad Známe následující hodnoty funkce Φ: u Φ(u) 1,00 0,841 1,10 0,864 1,20 0,885 Odhadněte přibližně hodnoty Φ(1,02) a Φ(1,16). Možnosti: Vezmeme hodnotu v nejbližším bodě. Body proložíme lomenou čarou.
DFT. verze:
Výpočet spektra signálu pomocí DFT kacmarp@fel.cvut.cz verze: 009093 Úvod Signály můžeme rozdělit na signály spojité v čase nebo diskrétní v čase. Další možné dělení je na signály periodické nebo signály
1 Soustava lineárních rovnic
Soustavy lineárních rovnic Aplikovaná matematika I Dana Říhová Mendelu Brno Obsah 1 Soustava lineárních rovnic 2 Řešitelnost soustavy lineárních rovnic 3 Gaussova eliminační metoda 4 Jordanova eliminační
Komplexní analýza. Martin Bohata. Katedra matematiky FEL ČVUT v Praze Martin Bohata Komplexní analýza Mocninné řady 1 / 18
Komplexní analýza Mocninné řady Martin Bohata Katedra matematiky FEL ČVUT v Praze bohata@math.feld.cvut.cz Martin Bohata Komplexní analýza Mocninné řady 1 / 18 Posloupnosti komplexních čísel opakování
Kristýna Kuncová. Matematika B2 18/19
(6) Určitý integrál Kristýna Kuncová Matematika B2 18/19 Kristýna Kuncová (6) Určitý integrál 1 / 28 Newtonův integrál Zdroj: https://kwcalculus.wikispaces.com/integral+applications Kristýna Kuncová (6)
(13) Fourierovy řady
(13) Fourierovy řady Kristýna Kuncová Matematika B3 Kristýna Kuncová (13) Fourierovy řady 1 / 22 O sinech a kosinech Lemma (O sinech a kosinech) Pro m, n N 0 : 2π 0 2π 0 2π 0 sin nx dx = sin nx cos mx
Univerzita Palackého v Olomouci
Počítačová grafika - 5. cvičení Radek Janoštík Univerzita Palackého v Olomouci 22.10.2018 Radek Janoštík (Univerzita Palackého v Olomouci) Počítačová grafika - 5. cvičení 22.10.2018 1 / 10 Reakce na úkoly
Kristýna Kuncová. Matematika B3
(10) Vícerozměrný integrál II Kristýna Kuncová Matematika B3 Kristýna Kuncová (10) Vícerozměrný integrál II 1 / 30 Transformace Otázka Jaký obrázek znázorňuje čtverec vpravo po transformaci u = x + y a
(1) Derivace. Kristýna Kuncová. Matematika B2 17/18. Kristýna Kuncová (1) Derivace 1 / 35
(1) Derivace Kristýna Kuncová Matematika B2 17/18 Kristýna Kuncová (1) Derivace 1 / 35 Růst populací Zdroj : https://www.tes.com/lessons/ yjzt-cmnwtvsq/noah-s-ark Kristýna Kuncová (1) Derivace 2 / 35 Růst
TGH01 - Algoritmizace
TGH01 - Algoritmizace Jan Březina Technical University of Liberec 28. února 2017 Co je to algoritmus? Porovnávání algoritmů Porovnávání algoritmů Co je to algoritmus? Který algoritmus je lepší? Záleží
5. a 12. prosince 2018
Integrální počet Neurčitý integrál Seminář 9, 0 5. a. prosince 08 Neurčitý integrál Definice. Necht funkce f (x) je definovaná na intervalu I. Funkce F (x) se nazývá primitivní k funkci f (x) na I, jestliže
Inverzní Z-transformace
Modelování systémů a procesů (11MSP) Bohumil Kovář, Jan Přikryl, Miroslav Vlček Ústav aplikované matematiky ČVUT v Praze, Fakulta dopravní 9. přednáška 11MSP úterý 16. dubna 2019 verze: 2019-04-15 12:25
Geometrická nelinearita: úvod
Geometrická nelinearita: úvod Opakování: stabilita prutů Eulerovo řešení s využitím teorie 2. řádu) Stabilita prutů Ritzovou metodou Stabilita tenkých desek 1 Geometrická nelinearita Velké deformace průhyby,
Necht je funkce f spojitá v intervalu a, b a má derivaci v (a, b). Pak existuje bod ξ (a, b) tak, že f(b) f(a) b a. Geometricky
Monotónie a extrémy funkce Diferenciální počet - průběh funkce Věta o střední hodnotě (Lagrange) Necht je funkce f spojitá v intervalu a, b a má derivaci v (a, b). Pak existuje bod ξ (a, b) tak, že f (ξ)
Elementární funkce. Edita Pelantová. únor FJFI, ČVUT v Praze. katedra matematiky, FJFI, ČVUT v Praze
Elementární funkce Edita Pelantová FJFI, ČVUT v Praze Seminář současné matematiky katedra matematiky, FJFI, ČVUT v Praze únor 2013 c Edita Pelantová (FJFI) Elementární funkce únor 2013 1 / 19 Polynomiální
Zadání: Vypočítejte hlavní momenty setrvačnosti a vykreslete elipsu setrvačnosti na zadaných
Příklad k procvičení : Průřeové charakteristik Zadání: Vpočítejte hlavní moment setrvačnosti a vkreslete elipsu setrvačnosti na adaných obracích. Příklad. Zadání: Rokreslení na jednoduché obrace: 500 T
TGH01 - Algoritmizace
TGH01 - Algoritmizace Jan Březina Technical University of Liberec 31. března 2015 Metainformace materiály: jan.brezina.matfyz.cz/vyuka/tgh (./materialy/crls8.pdf - Introduction to algorithms) SPOX: tgh.spox.spoj.pl
Kristýna Kuncová. Matematika B2
(3) Průběh funkce Kristýna Kuncová Matematika B2 Kristýna Kuncová (3) Průběh funkce 1 / 26 Monotonie (x 2 ) = 2x (sin x) = cos x Jak souvisí derivace funkce a fakt, zda je funkce rostoucí nebo klesající?
Rovnice proudění Slapový model
do oceánského proudění Obsah 1 2 3 Co způsobuje proudění v oceánech? vyrovnávání rozdílů v teplotě, salinitě, tlaku, ρ = ρ(p, T, S) vítr - wind stress F wind = ρ air C D AU 2 10 slapy produkují silné proudy,
MATEMATIKA 3. Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci
MATEMATIKA 3 Dana Černá http://www.fp.tul.cz/kmd/ Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci Osnova: Komplexní funkce - definice, posloupnosti, řady Vybrané komplexní funkce
Numerické metody 8. května FJFI ČVUT v Praze
Obyčejné diferenciální rovnice Numerické metody 8. května 2018 FJFI ČVUT v Praze 1 Úvod Úvod Základní metody Pokročilejší metody Soustava Vyšší řád Program 1 Úvod Úvod - Úloha Základní úloha, kterou řešíme
Kapitola 4: Soustavy diferenciálních rovnic 1. řádu
Sbírka příkladů Matematika II pro strukturované studium Kapitola 4: Soustavy diferenciálních rovnic 1 řádu Chcete-li ukončit prohlížení stiskněte klávesu Esc Chcete-li pokračovat stiskněte klávesu Enter
Edita Pelantová, katedra matematiky / 16
Edita Pelantová, katedra matematiky seminář současné matematiky, září 2010 Axiomy reálných čísel Axiomy tělesa Axiom 1. x + y = y + x a xy = yx (komutativní zákon). Axiom 2. x + (y + z) = (x + y) + z a
Linea rnı (ne)za vislost
[1] Lineární (ne)závislost Skupiny, resp. množiny, vektorů mohou být lineárně závislé nebo lineárně nezávislé... a) zavislost, 3, b) P. Olšák, FEL ČVUT, c) P. Olšák 2010, d) BI-LIN, e) L, f) 2009/2010,
Reprezentace dat. BI-PA1 Programování a Algoritmizace I. Ladislav Vagner
Reprezentace dat BI-PA1 Programování a Algoritmizace I. Ladislav Vagner Katedra teoretické informatiky Fakulta informačních technologíı ČVUT v Praze xvagner@fit.cvut.cz 9., 11. a 12. října 2017 Obsah Dvojková
Matematika 2, vzorová písemka 1
Matematika 2, vzorová písemka Pavel Kreml 9.5.20 Přesun mezi obrazovkami Další snímek: nebo Enter. Zpět: nebo Shift + Enter 2 3 4 Doporučení Pokuste se vyřešit zadané úlohy samostatně. Pokud nebudete vědět
Komplexní analýza. Martin Bohata. Katedra matematiky FEL ČVUT v Praze Martin Bohata Komplexní analýza Úvod 1 / 32
Komplexní analýza Úvod Martin Bohata Katedra matematiky FEL ČVUT v Praze bohata@math.feld.cvut.cz Martin Bohata Komplexní analýza Úvod 1 / 32 Základní informace Stránky předmětu: http://math.feld.cvut.cz/bohata/kan.html
Co nám prozradí derivace? 21. listopadu 2018
Co nám prozradí derivace? Seminář sedmý 21. listopadu 2018 Derivace základních funkcí Tečna a normála Tečna ke grafu funkce f v bodě dotyku T = [x 0, f (x 0 )]: y f (x 0 ) = f (x 0 )(x x 0 ) Normála: y
MATEMATIKA 3 NUMERICKÉ METODY. Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci
MATEMATIKA 3 NUMERICKÉ METODY Dana Černá http://kmd.fp.tul.cz Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci INFORMACE O PŘEDMĚTU Konzultační hodiny: ÚT 11:00-12:00, budova G,
Numerické metody minimalizace
Numerické metody minimalizace Než vám klesnou víčka - Stříbrnice 2011 12.2. 16.2.2011 Emu (Brkos 2011) Numerické metody minimalizace 12.2. 16.2.2011 1 / 19 Obsah 1 Úvod 2 Základní pojmy 3 Princip minimalizace
Anna Kratochvílová Anna Kratochvílová (FJFI ČVUT) PDR ve zpracování obrazu / 17
Parciální diferenciální rovnice ve zpracování obrazu Anna Kratochvílová FJFI ČVUT 10. 6. 2009 Anna Kratochvílová (FJFI ČVUT) PDR ve zpracování obrazu 10. 6. 2009 1 / 17 Obsah 1 Motivace 2 Vyšetření pomocí
kontaktní modely (Winklerův, Pasternakův)
TÉMA 7: Pružný poloprostor, modely podloží pružný poloprostor základní předpoklady pružný poloprostor Boussinesqueovo řešení kontaktní modely (Winklerův, Pasternakův) 1 Pružný poloprostor (1) vychází z
Obsah. Zobrazení na osmistěn. 1 Zobrazení sféry po částech - obecné vlastnosti 2 Zobrazení na pravidelný konvexní mnohostěn
Obsah 1 2 3 Použití Zobrazení rozsáhlého území, ale hodnoty zkreslení nesmí přesáhnout určitou hodnotu Rozdělením území na menší části a ty pak zobrazíme zvlášť Nevýhodou jsou však samostatné souřadnicové
Stavový popis Stabilita spojitých systémů (K611MSAP) Katedra aplikované matematiky Fakulta dopravní ČVUT. čtvrtek 20. dubna 2006
Modelování systémů a procesů (K611MSAP) Přednáška 4 Katedra aplikované matematiky Fakulta dopravní ČVUT Pravidelná přednáška K611MSAP čtvrtek 20. dubna 2006 Obsah 1 Laplaceova transformace Přenosová funkce
Powyższe reguły to tylko jedna z wersji gry. Istnieje wiele innych wariantów, można też ustalać własne zasady. Miłej zabawy!
Krykiet W krykieta może grać od 2 do 4 osób, którzy albo grają każdy przeciw każdemu, albo dzielą się na dwie drużyny. Bramki oraz palik startowy i powrotne umieszcza się tak, jak pokazano na rysunku.
Paralelní implementace a optimalizace metody BDDC
Paralelní implementace a optimalizace metody BDDC J. Šístek, M. Čertíková, P. Burda, S. Pták, J. Novotný, A. Damašek, FS ČVUT, ÚT AVČR 22.1.2007 / SNA 2007 Osnova Metoda BDDC (Balancing Domain Decomposition
Automatové modely. Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Automatové modely Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Stefan
Úvodní informace. 18. února 2019
Úvodní informace Funkce více proměnných Cvičení první 18. února 2019 Obsah 1 Úvodní informace. 2 Funkce více proměnných Definiční obor Úvodní informace. Komunikace: e-mail: olga@majling.eu nebo olga.majlingova@fs.cvut.cz
Martin Pergel. 26. února Martin Pergel
26. února 2017 Užitečné informace Navážeme na Programování I, změníme jazyk na C#, podrobnosti o C# budou v navazujícím kurzu, soustředíme se na totéž, co v zimě, tedy: technické programování, návrh a
Zwój Prawoskrętny. Vinutí Pravé
SPRĘŻYNY NACISKOWE TYP TLAČNÉ PRUŽINY Sprężyny naciskowe SPEC są wykonywane precyzyjnie i wydajnie. Stosowanie sprężyn SPEC wpływa na obniżkę kosztów z uwagi na oszczędność czasu wynikającą z braku potrzeby
NÁVOD K POUŽITÍ KEZELÉSI KÉZIKÖNYV INSTRUKCJA OBSŁUGI NÁVOD NA POUŽÍVANIE. Česky. Magyar. Polski. Slovensky
CANON INC. 30-2 Shimomaruko 3-chome, Ohta-ku, Tokyo 146-8501, Japan Europe, Africa & Middle East CANON EUROPA N.V. PO Box 2262, 1180 EG Amstelveen, The Netherlands For your local Canon office, please refer
Funkce zadané implicitně. 4. března 2019
Funkce zadané implicitně 4. března 2019 Parciální derivace druhého řádu Parciální derivace druhého řádu funkce z = f (x, y) jsou definovány: Parciální derivace 2 f 2 = ( ) f 2 f 2 = ( ) f 2 f a 2 f 2 f
Lineární algebra - iterační metody
Lineární algebra - iterační metody Numerické metody 7. dubna 2018 FJFI ČVUT v Praze 1 Úvod Úvod Rozdělení Metody Zastavení SOR Programy 1 Úvod Úvod - LAR Mějme základní úlohu A x = b, (1) kde A R n,n je
Laplaceova transformace
Laplaceova transformace Modelování systémů a procesů (11MSP) Bohumil Kovář, Jan Přikryl, Miroslav Vlček Ústav aplikované matematiky ČVUT v Praze, Fakulta dopravní 5. přednáška 11MSP 219 verze: 219-3-17
Kristýna Kuncová. Matematika B2 18/19. Kristýna Kuncová (1) Vzorové otázky 1 / 36
(1) Vzorové otázky Kristýna Kuncová Matematika B2 18/19 Kristýna Kuncová (1) Vzorové otázky 1 / 36 Limity - úlohy Otázka Určete lim x 0 f (x) A -3 B 0 C 5 D 7 E D Zdroj: Calculus: Single and Multivariable,
Kombinatorika a grafy I
Kombinatorika a grafy I Martin Balko 1. přednáška 19. února 2019 Základní informace Základní informace úvodní kurs, kde jsou probrány základy kombinatoriky a teorie grafů ( pokračování diskrétní matematiky
Matematika (KMI/PMATE)
Matematika (KMI/PMATE) Úvod do matematické analýzy Limita a spojitost funkce Matematika (KMI/PMATE) Osnova přednášky lineární funkce y = kx + q definice lineární funkce význam (smysl) koeficientů lineární
Statistika (KMI/PSTAT)
Statistika (KMI/PSTAT) Cvičení deváté aneb Důležitá rozdělení pravděpodobnosti spojité náhodné veličiny Statistika (KMI/PSTAT) 1 / 15 Spojitá náhodná veličina Spojitá náhodná veličina Spojitá náhodná veličina
Internet a zdroje. (Zdroje na Internetu) Mgr. Petr Jakubec. Katedra fyzikální chemie Univerzita Palackého v Olomouci Tř. 17.
Internet a zdroje (Zdroje na Internetu) Mgr. Petr Jakubec Katedra fyzikální chemie Univerzita Palackého v Olomouci Tř. 17. listopadu 12 26. listopadu 2010 (KFC-INTZ) Databáze, citování 26. listopadu 2010
x2 + 2x 15 x 2 + 4x ) f(x) = x 2 + 2x 15 x2 + x 12 3) f(x) = x 3 + 3x 2 10x. x 3 + 3x 2 10x x 2 + x 12 10) f(x) = log 2.
Příklady k 1 zápočtové písemce Definiční obor funkce Určete definiční obor funkce: x + x 15 1 f(x x + x 1 ( x + x 1 f(x log x + x 15 x + x 1 3 f(x x 3 + 3x 10x ( x 3 + 3x 10x f(x log x + x 1 x3 + 5x 5
ROBUST January 19, Zdeněk Fabián Ústav informatiky AVČR Praha
ROBUST 2014 Zdeněk Fabián Ústav informatiky AVČR Praha January 19, 2014 Starověk x 1,..., x n data průměry Starověk x 1,..., x n data průměry aritm., geom., harm. Novověk Model F a skórová funkce Ψ F inferenční
Register and win! www.kaercher.com
Register and win! www.kaercher.com A B A, B A B 2 6 A régi készülékek értékes újrahasznosítható anyagokat tartalmaznak, amelyeket tanácsos újra felhasználni. Szárazelemek, olaj és hasonló anyagok ne kerüljenek
ggplot2 Efektní vizualizace dat v prostředí jazyka R Martin Golasowski 8. prosince 2016
ggplot2 Efektní vizualizace dat v prostředí jazyka R Martin Golasowski 8. prosince 2016 Jak vizualizovat? Požadované vlastnosti nástroje opakovatelnost, spolehlivost separace formy a obsahu flexibilita,
Ż ż Ł ż ż ż Ż Ś ż ż ż Ł Ż Ż ć ż Ż Ż Ż Ń Ż Ź ż Ź Ź ż Ż ż ż Ż Ł Ż Ł Ż ż Ż ż Ż Ż Ń Ą Ż Ń Ż Ń ć ż Ż ź Ś ć Ł Ł Ź Ż Ż ż Ł ż Ż Ł Ż Ł ź ć ż Ż Ż ż ż Ó ż Ł Ż ć Ż Ż Ę Ż Ż Ż ż Ż ż ż Ś ż Ż ż ż ź Ż Ń ć Ż ż Ż Ż ż ż ż
Ś Ł Ą Ś Ś ź Ś ń ż ż Ó ż ż Ś Ł ż ń ń ń ż ń Ś ń ć ŚĘ Ó Ł Ę Ł Ś Ę Ę ń ń ń ń ń Ź ń ń ń ń ń ż ń ń ń ń ń Ę ż ż ć Ść ń ń ż Ń ż ż ń ń Ś Ą ń Ś ń ń ż Ó ż Ź ń ż ń Ś Ń Ó ż Ł ż Ą ź ź Ś Ł ć Ś ć ż ź ż ć ć Ę Ó Ś Ó ż ż
Ł Ł Ś Ę ź ń ź ź Ś Ę Ę Ś Ą Ś Ę Ż Ł ń Ę Ś ć ć ń ć ń ń ń ź ń Ę ź ń ń ń ź ź Ś ź ź ć ń ń ń ń Ś ć Ś ń ń Ś ź ń Ę ń Ś ź ź ź ź ź Ę Ę Ę Ś ń Ś ć ń ń ń ń ń ń Ę ń ń ń ń ć ń ń ń ń ć ń Ś ć Ł ń ń ń ć ń ć ź ń ź ć ń ń ć
Ł Ł Ś ź ń ź ź ź Ś Ł Ę Ę Ś ż Ś ń Ą Ś Ą Ł ż ż ń ż ć ż ż ż ź ż ć ź Ę Ę ń ć ż Ł ń ż ż ż Ś ż Ś ż ż ż ż ż ż ż ń ń ż ż ż ć ż ń ż ń ź ż ć ż ż ć ń ż Ę Ę ć ń Ę ż ż ń ń ź Ę ź ż ń ż ń ź ż ż ż ń ż ż ż ż ż ż ż ż ń ń
ZÁVĚREČNÁ KONFERENCE Poslanecká sněmovna PČR Praha 28. 4. 2014 MEZINÁRODNÍ DOTAZNÍKOVÉ ŠETŘENÍ ANKIETY MIEDZYNARODOWE
ZÁVĚREČNÁ KONFERENCE oslanecká sněmovna ČR raha 28. 4. 2014 MEZINÁRODNÍ DOTAZNÍKOVÉ ŠETŘENÍ ANKIETY MIEDZYNARODOWE ZÁKLADNÍ INFORMACE ODSTAWOWE INFORMACJE sběr dat proběhl v olsku a v České republice ankiety
Petr Hasil. c Petr Hasil (MUNI) Nekonečné řady MA III (M3100) 1 / 187
Nekonečné řady Petr Hasil Přednáška z Matematické analýzy III c Petr Hasil (MUNI) Nekonečné řady MA III (M3100) 1 / 187 Obsah 1 Nekonečné číselné řady Základní pojmy Řady s nezápornými členy Řady s libovolnými
Teorie plasticity. Varianty teorie plasticity. Pružnoplastická matice tuhosti materiálu
Teorie plasticity Varianty teorie plasticity Teorie plastického tečení Přehled základních vztahů Pružnoplastická matice tuhosti materiálu 1 Pružnoplastické chování materiálu (1) Pracovní diagram pro případ
podle přednášky doc. Eduarda Fuchse 16. prosince 2010
Jak souvisí plochá dráha a konečná geometrie? L ubomíra Balková podle přednášky doc. Eduarda Fuchse Trendy současné matematiky 16. prosince 2010 (FJFI ČVUT v Praze) Konečná geometrie 16. prosince 2010
Biosignál II. Lékařská fakulta Masarykovy univerzity Brno
Biofyzikální ústav Lékařská fakulta Masarykovy univerzity Brno 2010 Fourierova analýza periodická funkce a posloupnost periodická funkce: f (t) = f (t + nt ), n N periodická posloupnost: a(i) = a(i + it
Numerické metody a statistika
Numerické metody a statistika Radek Kučera VŠB-TU Ostrava 2016-2017 ( ) Numerické metody a statistika 2016-2017 1 / 17 Číslo předmětu: 714-0781/02 Rozsah: 2+2 Hodnocení: 6 kreditů Přednáší: Radek Kučera
POLIURETANOWE SPRĘŻYNY NACISKOWE. POLYURETHANOVÉ TLAČNÉ PRUŽINY
POLIURETAOWE SPRĘŻYY ACISKOWE. POLYURETHAOVÉ TLAČÉ PRUŽIY Oferowane są wymiary wyrobów o różnych twardościach. Konstrukcja tych sprężyn umożliwia zastąpienie sprężyn tradycyjnych tam, gdzie korozja, wibracje,
Průvodce studiem V této kapitole se budeme zabývat diferenciálním počtem pro funkce více
5 Diferenciální počet funkcí více proměnných Průvodce studiem V této kapitole se budeme zabývat diferenciálním počtem pro funkce více proměnných, především budeme pracovat s funkcemi dvou proměnných Ukážeme
Katedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Vytěžování dat Filip Železný Katedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Filip Železný (ČVUT) Vytěžování dat 1 / 26
Vybrané kapitoly z matematiky
Vybrané kapitoly z matematiky VŠB-TU Ostrava 2018-2019 Vybrané kapitoly z matematiky 2018-2019 1 / 11 Křivkový integrál Vybrané kapitoly z matematiky 2018-2019 2 / 11 Parametricky zadaná křivka v R 3 :
Quick sort, spojové struktury
Quick sort, spojové struktury BI-PA1 Programování a Algoritmizace 1 Miroslav Baĺık, Ladislav Vagner a Josef Vogel Katedra teoretické informatiky a Katedra softwarového inženýrství Fakulta informačních
Obsah Atributová tabulka Atributové dotazy. GIS1-2. cvičení. ČVUT v Praze, Fakulta stavební, katedra mapování a kartografie
ČVUT v Praze, Fakulta stavební, katedra mapování a kartografie září 2010 prezentace 1 2 Obecně otevření atributové tabulky (vlastnosti vrstvy Open Attribute Table) řádky v tabulce jednotlivé záznamy (objekty)
Martin Dlask (KSI FJFI) 3. března 2016
Využití zlomkových stochastických procesů pro analýzu signálu a časových řad Seminář strojového učení a modelování Martin Dlask (KSI FJFI) http://people.fjfi.cvut.cz/dlaskma1/ 3. března 2016 Martin Dlask
Whirlpool Serie 300. Pharo Whirlpool. Pharo Whirlpool Moneva 300 R
Pharo Whirlpool Whirlpool Serie 300 Pharo Whirlpool Moneva 300 L Pharo Whirlpool Moneva 300 R Pharo Whirlpool Iseo Twin 320 Pharo Whirlpool Victoria Twin 325 Pharo Whirlpool Teslin 330 Pharo Whirlpool
IEL Přechodové jevy, vedení
Přechodové jevy Vedení IEL/přechodové jevy 1/25 IEL Přechodové jevy, vedení Petr Peringer peringer AT fit.vutbr.cz Vysoké učení technické v Brně, Fakulta informačních technologíı, Božetěchova 2, 61266
Obsah. Limita posloupnosti a funkce. Petr Hasil. Limita posloupnosti. Pro a R definujeme: Je-li a < 0, pak a =, a ( ) =. vlastní body.
Obsah a funkce Petr Hasil Přednáška z Matematické analýzy I Úvod 2 c Petr Hasil (MUNI) a funkce Matematická analýza / 90 c Petr Hasil (MUNI) a funkce Matematická analýza 2 / 90 Úvod Úvod Pro a R definujeme:
Operace s funkcemi [MA1-18:P2.1] funkční hodnota... y = f(x) (x argument)
KAPITOLA : Funkce - úvod [MA-8:P.] reálná funkce (jedné) reálné proměnné... f : A R...... zobrazení množin A R do množin reálných čísel R funkční hodnota... = f() ( argument) ( tj. reálná funkce f : A
(2) Funkce. Kristýna Kuncová. Matematika B2. Kristýna Kuncová (2) Funkce 1 / 25
(2) Funkce Kristýna Kuncová Matematika B2 Kristýna Kuncová (2) Funkce 1 / 25 Sudá a lichá funkce Určete, které funkce jsou sudé a které liché: liché: A, D, E sudé: B Kristýna Kuncová (2) Funkce 2 / 25
Příručka k rychlé instalaci: NWD2105. Základní informace. 1. Instalace softwaru
Příručka k rychlé instalaci: NWD2105 Základní informace NWD2105 je bezdrátový USB adaptér určený pro použití s počítačem. NWD2105 je kompatibilní s technologií WPS (Wi-Fi Protected Setup). A: LED kontrolka
Stochastické modelování v ekonomii a financích Konzistence odhadu LWS. konzistence OLS odhadu. Předpoklady pro konzistenci LWS
Whitův pro heteroskedasticitě pro heteroskedasticitě Stochastické modelování v ekonomii a financích 7. 12. 2009 Obsah Whitův pro heteroskedasticitě pro heteroskedasticitě 1 Whitův 2 pro 3 heteroskedasticitě
Matematická analýza II pro kombinované studium. Konzultace první a druhá. RNDr. Libuše Samková, Ph.D. pf.jcu.cz
Učební texty ke konzultacím předmětu Matematická analýza II pro kombinované studium Konzultace první a druhá RNDr. Libuše Samková, Ph.D. e-mail: lsamkova@ pf.jcu.cz webová stránka: home.pf.jcu.cz/ lsamkova/
Odpřednesenou látku naleznete v kapitolách 2.1, 2.3 a 3.3 skript Diskrétní matematika. Jiří Velebil: A7B01LAG : Lineární kódy, část 1 1/20
Lineární kódy, část 1 Odpřednesenou látku naleznete v kapitolách 2.1, 2.3 a 3.3 skript Diskrétní matematika. Jiří Velebil: A7B01LAG 7.1.2016: Lineární kódy, část 1 1/20 Dnešní přednáška 1 Základní myšlenky
Algebra I Cvičení. Podstatná část příkladů je převzata od kolegů, jmenovitě Prof. Kučery, Doc. Poláka a Doc. Kunce, se
Algebra I Cvičení Podstatná část příkladů je převzata od kolegů, jmenovitě Prof. Kučery, Doc. Poláka a Doc. Kunce, se kterými jsem při přípravě cvičení spolupracoval. Sbírka vznikla modifikací některých
Pharo Whirlpool Serie 200
M o n t a g e a n l e i t u n g Instrukcja montażu Návod k montáži Ðóêîâîäñòâî ïî ìîíòàæó Pharo Whirlpool Serie 200 Pharo Whirlpool 200 Links 2270xxx Pharo Whirlpool 200 Rechts 22702xxx Pharo Whirlpool
ECO D58 NÁVOD K POUŽITÍ / NÁVOD NA POUŽITIE INSTRUKCJA OBSŁUGI / INSTRUCTION MANUAL HASZNÁLATI ÚTMUTATÓ / NAVODILA ZA UPORABO
ECO D58 NÁVOD K POUŽITÍ / NÁVOD NA POUŽITIE INSTRUKCJA OBSŁUGI / INSTRUCTION MANUAL HASZNÁLATI ÚTMUTATÓ / NAVODILA ZA UPORABO Robotický vysavač / Robotický vysávač Odkurzacz automatyczny / Robot Vacuum
HL24285SMART. Návod k použití Návod na použitie Instrukcja obsługi Használatı utasítás. Licensed by Hyundai Corporation, Korea
HL24285SMART Návod k použití Návod na použitie Instrukcja obsługi Használatı utasítás Licensed by Hyundai Corporation, Korea Obsah Bezpečnostní opatření... 1 Informace o životním prostředí... 2 Zahrnuté
cepstrum Jan Černocký FIT VUT Brno
Předzpracování řeči, tvorba řeči, cepstrum Jan Černocký cernocky@fit.vutbr.cz FIT VUT Brno Předzpracování řeči, tvorba řeči, cepstrum Jan Černocký, ÚPGM FIT VUT Brno 1/45 Plán Parametrisace řeči Předzpracování
GEM a soustavy lineárních rovnic, část 2
GEM a soustavy lineárních rovnic, část Odpřednesenou látku naleznete v kapitole 6 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: B6B0LAG 8.3.09: GEM a soustavy, část / Minulá přednáška Gaussova
Zásuvný modul QGISu. QGIS plugin pro práci s katastrálními daty
Zásuvný modul QGISu pro práci s katastrálními daty Anna Kratochvílová, Václav Petráš České vysoké učení technické v Praze Fakulta stavební 19. dubna 2012 Obsah 1 Úvod 2 Nástroje a knihovny 3 Funkcionalita
s.r.o. PŘÍRUČKA K INSTRUKCJA UKŁADANIA ZAŘÍZENÍ PRAKTYCZNY PORADNIK SPRÁVNÉMU POSTUPU AKCESORIÓW DO POWŁOK ZAŮÍZENÍ PŮÍSLUŠENSTVÍ
PŘÍRUČKA K INSTRUKCJA UKŁADANIA ZAŘÍZENÍ PRAKTYCZNY PORADNIK PRAKTICKÁ POMŮCKA KE PRAWIDŁOWEGO UŁOŻENIA SPRÁVNÉMU POSTUPU AKCESORIÓW DO POWŁOK ZAŮÍZENÍ PŮÍSLUŠENSTVÍ IMPREGNOWANYCH HYDROIZOLAČNÍCH POVRCHŮ
Michal Mašek Genetické algoritmy v evoluční robotice
Univerzita Karlova v Praze Matematicko-fyzikální fakulta DIPLOMOVÁ PRÁCE Michal Mašek Genetické algoritmy v evoluční robotice Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. František
Definice Řekneme, že PDA M = (Q,Σ,Γ,δ,q 0,Z 0,F) je. 1. pro všechna q Q a Z Γ platí: kdykoliv δ(q,ε,z), pak δ(q,a,z) = pro všechna a Σ;
Deterministické zásobníkové automaty Definice 3.72. Řekneme, že PDA M = (Q,Σ,Γ,δ,q 0,Z 0,F) je deterministický (DPDA), jestliže jsou splněny tyto podmínky: 1. pro všechna q Q a Z Γ platí: kdykoliv δ(q,ε,z),
Komplexní analýza. Příklad Body. Nepište obyčejnou tužkou ani červeně, jinak písemka nebude přijata. Soupis vybraných vzorců. 4a.
Komplexí aalýa Písemá část koušky (XX.XX.XXXX) Jméo a příjmeí:... Podpis:... Příklad.. 3.. 5. Body Před ahájeím práce Vyplňte čitelě rubriku Jméo a příjmeí a podepište se. Během písemé koušky smíte mít
Kapitola 2. Nelineární rovnice
Kapitola. Nelineární rovnice Formulace: Je dána funkce f : R! R definovaná na intervalu ha; bi. Hledáme x ha; bi tak, aby f(x) = 0. (x... kořen rovnice) Poznámka: Najít přesné řešení analyticky je možné
Zwielokrotnianie wejścia wyjścia
Zwielokrotnianie wejścia wyjścia Bartłomiej Świercz Katedra Mikroelektroniki i Technik Informatycznych Łódź, 21 marca 2006 Wstęp Zwielokrotnianie wejścia wyjścia informowanie przez jądro procesu użytkownika
ČVUT FEL, K October 1, Radek Mařík Ověřování modelů II October 1, / 39
Ověřování modelů II Radek Mařík ČVUT FEL, K13132 October 1, 2014 Radek Mařík (marikr@felk.cvut.cz) Ověřování modelů II October 1, 2014 1 / 39 Obsah 1 Temporální logiky LTL logika 2 Jazyk modelů Vlastnosti
PA152,Implementace databázových systémů 2 / 25
PA152 Implementace databázových systémů Pavel Rychlý pary@fi.muni.cz Laboratoř zpracování přirozeného jazyka http://www.fi.muni.cz/nlp/ 19. září 2008 PA152,Implementace databázových systémů 1 / 25 Technické