Paralelní implementace a optimalizace metody BDDC

Wielkość: px
Rozpocząć pokaz od strony:

Download "Paralelní implementace a optimalizace metody BDDC"

Transkrypt

1 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 / SNA 2007

2 Osnova Metoda BDDC (Balancing Domain Decomposition with Constraints) Implementace a optimalizace programu Výsledky

3 Úloha na rozhraní Ku = f = Su I = g S - Schurův doplněk - součet lokálních Schurových doplňků: S = R i T S i R i, kde S i = K i II K i IO (K i OO ) 1 K i OI g = R i T g i, kde g i = f i I K i IO (K i OO ) 1 f i O

4 BDDC 2003 C.R.Dohrmann, J.Mandel BDDC jako Schwarzova aditivní metoda u I n+1 u I = (I W T 0 S 1 0 W 0S... W T k S 1 k W ks)(u I n u I ) rychlost konvergence: κ(m 1 S) const( 1 + log 2 (H/h) ) H... charakteristická velikost subdomény h... charakteristická velikost elementu při zachování stálého poměru H/h se nezhoršuje konvergence metody

5 oblast rozdělená na subdomény

6 hrubá úloha úlohy na subdoménách

7 hrubá úloha úlohy na subdoménách

8 hrubá úloha úlohy na subdoménách

9 Algoritmus BDDC 1. sestavení úlohy na rozhraní: eliminace vnitřních uzlů všech subdomén (přímý chod na každé subdoméně) 2. vyřešení úlohy na rozhraní metodou sdružených gradientů, BDDC jako předpodmiňovač v každé iteraci zpětné chody: Dirichletova úloha na každé subdoméně Neumannova úloha na každé subdoméně hrubá úloha 3. dopočítání hodnot řešení ve vnitřních uzlech subdomén (zpětný chod na každé subdoméně)

10 Cíle implementace multiplatformní řešič se snadnou přenositelností jazyk Fortran 77 paralelní počítače s distribuovanou pamětí knihovna MPI jednoduchost a srozumitelnost programu stejné dělení paměti na procesorech,... nezávislost úlohy na počtu dostupných procesorů umožnění případu nproc nsub maximální využití existujících ověřených procedur užití frontálního řešiče kompatibilita s existujícím inženýrským baĺıkem pro analýzy PMD vstupní a výstupní soubory, datové struktury

11 Paralelní počítače použité pro testování Hastrman: Compaq Alpha server ES 47, ÚT AVČR 4 procesory Alpha EV7 / 1000 MHz operační systém Tru64 UNIX, DEC MPI Lomond: Sun Fire server E15k, EPCC, Edinburgh, UK 52 procesorů UltraSPARC III Cu / 1.2 GHz operační systém Solaris, Sun MPI HPCx: cluster of IBM eserver 575 nodes, Daresbury, UK 2560 procesorů IBM POWER5 / 1.5 GHz operační systém IBM AIX, IBM MPI

12 Optimalizace - Vampir 9 procesorů, 4 subdomény na procesor

13 Optimalizace - Vampir 2 subdomény na procesor

14 Konstrukce náhrady jamky kyčelního kloubu kvadratických elementů, uzlů, stupňů volnosti

15 Rozdělení na subdomény 32 subdomén, 1600 hrubých uzlů

16 Napětí Von Mises

17 Testy škálování Hastrman: sériový frontální algoritmus... 6:40 hod = 400 min počet procesorů počet subdomén na procesor celkový čas (minuty) sériový frontální algoritmus: čas CPU const.n.m 2, kde N... počet neznámých M... horní odhad šířky fronty

18 Testy škálování, výsledek optimalizace Lomond: sériový frontální algoritmus... více než 36 hod počet procesorů počet subdomén na procesor celkový čas (minuty) počet procesorů počet subdomén na procesor celkový čas (minuty)

19 Hr ı del s dra z kou linea rnı ch elementu, uzlu, stupn u volnosti

20 Rozdělení na subdomény 512 subdomén, hrubých uzlů

21 Deformovaná geometrie

22 Testy škálování Hastrman: sériový frontální algoritmus... 24:30 hod = min HPCx: počet procesorů počet subdomén na procesor celkový čas (minuty)

23 Shrnutí Implementace BDDC byla prověřena na několika praktických úlohách může být efektivnější než frontální algoritmus i na jednom procesoru testována na nejrůznějších paralelních architekturách optimalizována z hlediska komunikace mezi procesory Nejbližší cíle obecnější volba hrubé úlohy lepší porozumění chování metody rozšíření na problémy nelineární pružnosti a mechaniky tekutin

Numerické metody minimalizace

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

Bardziej szczegółowo

Numerické metody 8. května FJFI ČVUT v Praze

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

Bardziej szczegółowo

Anna Kratochvílová Anna Kratochvílová (FJFI ČVUT) PDR ve zpracování obrazu / 17

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í

Bardziej szczegółowo

SYSTEMY OPERACYJNE WYKŁAD 1 INTEGRACJA ZE SPRZĘTEM

SYSTEMY OPERACYJNE WYKŁAD 1 INTEGRACJA ZE SPRZĘTEM SYSTEMY OPERACYJNE WYKŁAD 1 INTEGRACJA ZE SPRZĘTEM Marcin Tomana marcin@tomana.net SKRÓT WYKŁADU Zastosowania systemów operacyjnych Architektury sprzętowe i mikroprocesory Integracja systemu operacyjnego

Bardziej szczegółowo

Lineární algebra - iterační metody

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

Bardziej szczegółowo

Geometrická nelinearita: úvod

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,

Bardziej szczegółowo

Reprezentace dat. BI-PA1 Programování a Algoritmizace I. Ladislav Vagner

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á

Bardziej szczegółowo

Energetické principy a variační metody ve stavební mechanice

Energetické principy a variační metody ve stavební mechanice Energetické principy a variační metody ve stavební mechanice Přetvárná práce vnějších sil Přetvárná práce vnitřních sil Potenciální energie Lagrangeův princip Variační metody Ritzova metoda 1 Přetvárná

Bardziej szczegółowo

Elementární funkce. Edita Pelantová. únor FJFI, ČVUT v Praze. katedra matematiky, FJFI, ČVUT v Praze

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í

Bardziej szczegółowo

Obecná orientace (obvykle. Makroskopická anizotropie ( velmi mnoho kluzných rovin )

Obecná orientace (obvykle. Makroskopická anizotropie ( velmi mnoho kluzných rovin ) Fyzikální zdůvodnění plasticity (1) Změny v krystalické mřížce Schmidtův zákon : τ τ τ max (1) Dosažení napětí τ max vede ke změnám v krystalické mřížce Deformace krystalické mřížky pružná deformace Změny

Bardziej szczegółowo

1 Soustava lineárních rovnic

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í

Bardziej szczegółowo

TGH01 - Algoritmizace

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ží

Bardziej szczegółowo

MATEMATIKA 3 NUMERICKÉ METODY. Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci

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,

Bardziej szczegółowo

TGH01 - Algoritmizace

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

Bardziej szczegółowo

Paralelizace numerických metod

Paralelizace numerických metod Paralelizace numerických metod Jiří Hozman jiri.hozman@tul.cz Technická univerzita v Liberci Fakulta přírodovědně-humanitní a pedagogická Katedra matematiky a didaktiky matematiky Přednáška k předmětu

Bardziej szczegółowo

Ą Ą ć Ó Ó Ó Ś Ź Ź Ó ż Ź Ź Ś Ś ż Ę ĘŚ ń ń ć Ś Ą Ę ż ć Ś ć ć Ć Ó Ó ć ć Ó ć Ó ć ć ń ć Ą Ó Ó Ó Ą Ć ń ń Ź Ó ń ć Ó ć ć ć ń ż ć ć Ć Ć ć ż ć Ź Ó ć ć ć ć Ó ć ĘŚ ń ń ż ć Ś ć Ą Ó ń ć ć Ś ć Ę Ć Ę Ó Ó ń ż ź Ó Ó Ś ń

Bardziej szczegółowo

Ó ź ę ę ś Ą Ą Ę Ę Ł ę ę ź Ę ę ę ś ś Ł ę ś ś ę Ą ź ę ś ś ś ś ę ś ę ę ź ę ę ś ę ś ę ę ś Ś ś ę ę ś ś ę ę ę ś ę ę ę ę ś ę ź Ł Ą Ę Ł ę ś ź ść ś ę ę ę ę ę ę ś ś ś ę ę ś ę ę ś ę ź Ć ŚĆ ć ś ś ć ę ś ś ę ś ś ź ś

Bardziej szczegółowo

Ł Ą Ę Ń ć Ź ź ĘŚ ÓŁ Ę Ę ń ń ź Ę ń Ż ć ć ń ń ń Ę ń Ę ń ń Ę ń Ę ń ń ć ć ń Ę Ą Ś ń Ę Ą Ł ź ć Ś ć ć ć Ź Ł Ś ć ć ć ć ć Ł ć ć ź ń ń ń ń ń ń ń ź ź ć ń ć ć ć ź Ł ń Ę ÓŁ ń ź ź ź ń ć ć ć ń ń ń Ą ń ń ń ń ń Ś Ę

Bardziej szczegółowo

Tvarová optimalizace pro 3D kontaktní problém

Tvarová optimalizace pro 3D kontaktní problém Tvarová optimalizace pro 3D kontaktní problém s Coulombovým třením Petr Beremlijski, Jaroslav Haslinger, Michal Kočvara, Radek Kučera a Jiří V. Outrata Katedra aplikované matematik Fakulta elektrotechnik

Bardziej szczegółowo

Ś Ł Ą Ś Ś ź Ś ń ż ż Ó ż ż Ś Ł ż ń ń ń ż ń Ś ń ć ŚĘ Ó Ł Ę Ł Ś Ę Ę ń ń ń ń ń Ź ń ń ń ń ń ż ń ń ń ń ń Ę ż ż ć Ść ń ń ż Ń ż ż ń ń Ś Ą ń Ś ń ń ż Ó ż Ź ń ż ń Ś Ń Ó ż Ł ż Ą ź ź Ś Ł ć Ś ć ż ź ż ć ć Ę Ó Ś Ó ż ż

Bardziej szczegółowo

Ł Ł Ś Ę ź ń ź ź Ś Ę Ę Ś Ą Ś Ę Ż Ł ń Ę Ś ć ć ń ć ń ń ń ź ń Ę ź ń ń ń ź ź Ś ź ź ć ń ń ń ń Ś ć Ś ń ń Ś ź ń Ę ń Ś ź ź ź ź ź Ę Ę Ę Ś ń Ś ć ń ń ń ń ń ń Ę ń ń ń ń ć ń ń ń ń ć ń Ś ć Ł ń ń ń ć ń ć ź ń ź ć ń ń ć

Bardziej szczegółowo

Ż ż Ł ż ż ż Ż Ś ż ż ż Ł Ż Ż ć ż Ż Ż Ż Ń Ż Ź ż Ź Ź ż Ż ż ż Ż Ł Ż Ł Ż ż Ż ż Ż Ż Ń Ą Ż Ń Ż Ń ć ż Ż ź Ś ć Ł Ł Ź Ż Ż ż Ł ż Ż Ł Ż Ł ź ć ż Ż Ż ż ż Ó ż Ł Ż ć Ż Ż Ę Ż Ż Ż ż Ż ż ż Ś ż Ż ż ż ź Ż Ń ć Ż ż Ż Ż ż ż ż

Bardziej szczegółowo

Ł Ł Ś ź ń ź ź ź Ś Ł Ę Ę Ś ż Ś ń Ą Ś Ą Ł ż ż ń ż ć ż ż ż ź ż ć ź Ę Ę ń ć ż Ł ń ż ż ż Ś ż Ś ż ż ż ż ż ż ż ń ń ż ż ż ć ż ń ż ń ź ż ć ż ż ć ń ż Ę Ę ć ń Ę ż ż ń ń ź Ę ź ż ń ż ń ź ż ż ż ń ż ż ż ż ż ż ż ż ń ń

Bardziej szczegółowo

kontaktní modely (Winklerův, Pasternakův)

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

Bardziej szczegółowo

IEL Přechodové jevy, vedení

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

Bardziej szczegółowo

LPAR - logiczne partycjonowanie systemów

LPAR - logiczne partycjonowanie systemów Mateusz Błażewicz Piotr Butryn Jan Sikora MIMUW 20 grudnia 2007 1 2 Budowa i możliwości Instalacja 3 Budowa Co to jest? LPAR - logiczne partycjonowanie sprzętu Dzielenie zasobów fizycznego serwera na niezależne,

Bardziej szczegółowo

Periodický pohyb obecného oscilátoru ve dvou dimenzích

Periodický pohyb obecného oscilátoru ve dvou dimenzích Periodický pohyb obecného ve dvou dimenzích Autor: Šárka Petříčková (A05221, sarpet@students.zcu.cz) Vedoucí: Ing. Petr Nečesal, Ph.D. Matematické metody v aplikovaných vědách a ve vzdělávání, Fakulta

Bardziej szczegółowo

IB109 Návrh a implementace paralelních systémů

IB109 Návrh a implementace paralelních systémů IB109 Návrh a implementace paralelních systémů Programování v prostředí se sdílenou pamětí Jiří Barnat HW model prostředí se sdílenou pamětí IB109 Návrh a implementace paralelních systémů: Programování

Bardziej szczegółowo

z geoinformatických dat

z geoinformatických dat z geoinformatických dat 30. listopadu 2012 Rozvoj aplikačního potenciálu (RAPlus) CZ.1.07/2.4.00/17.0117 Dvě DN na úseku Příklad Najděte mezní situaci pro dvě DN na úseku délky L metrů tak, aby se ještě

Bardziej szczegółowo

Teorie plasticity. Varianty teorie plasticity. Pružnoplastická matice tuhosti materiálu

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

Bardziej szczegółowo

Přehled aplikací matematického programovaní a

Přehled aplikací matematického programovaní a Přehled aplikací matematického programovaní a operačního výzkumu Martin Branda Matematicko-fyzikální fakulta Univerzita Karlova v Praze Výpočetní aspekty optimalizace Martin Branda (KPMS MFF UK) 1 / 15

Bardziej szczegółowo

PA152,Implementace databázových systémů 2 / 25

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é

Bardziej szczegółowo

Fakulta elektrotechnická. Paralelní algoritmus pro

Fakulta elektrotechnická. Paralelní algoritmus pro České vysoké učení technické v Praze Fakulta elektrotechnická Katedra řídicí techniky Paralelní algoritmus pro rozvrhování činnosti přepravníku materiálu Bakalářská práce Michal SMOLA 28.5.2007 Poděkování

Bardziej szczegółowo

Przygotowana przez: Konrada Błachnio Pawła Koniecznego Michała Lenarta

Przygotowana przez: Konrada Błachnio Pawła Koniecznego Michała Lenarta Prezentacja LPAR Przygotowana przez: Konrada Błachnio Pawła Koniecznego Michała Lenarta Plan prezentacji: Co to jest LPAR i DLPAR Zastosowania Trochę historii Opis konkretnych rozwiązań Podsumowanie Co

Bardziej szczegółowo

Aproximace funkcí 1,00 0,841 1,10 0,864 1,20 0,885. Body proložíme lomenou čarou.

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.

Bardziej szczegółowo

Katedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

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

Bardziej szczegółowo

Walidacja systemu ewms / cwms. Sopot 9.10.2013

Walidacja systemu ewms / cwms. Sopot 9.10.2013 Walidacja systemu ewms / cwms Sopot 9.10.2013 Kilka słów o nas - esynerga Zakres działalności Producent i dostawca systemów: ewms / cwms system zarządzania magazynem MES system zarządzania produkcja cims

Bardziej szczegółowo

Komplexní analýza. Martin Bohata. Katedra matematiky FEL ČVUT v Praze Martin Bohata Komplexní analýza Mocninné řady 1 / 18

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í

Bardziej szczegółowo

Univerzita Palackého v Olomouci

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

Bardziej szczegółowo

Automatové modely. Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

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

Bardziej szczegółowo

Numerické metody a statistika

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

Bardziej szczegółowo

Zasady licencjonowania produktów bazodanowych ORACLE

Zasady licencjonowania produktów bazodanowych ORACLE Zasady licencjonowania produktów bazodanowych ORACLE Edycje bazy danych Oracle 6 edycji bazy danych Oracle - Enterprise Edition (EE) - Standard Edition (SE) - Standard Edition One (SE1) - Personal Edition

Bardziej szczegółowo

Výzvy, které před matematiku staví

Výzvy, které před matematiku staví 1 / 21 Výzvy, které před matematiku staví výpočetní technika Edita Pelantová Katedra matematiky, FJFI, České vysoké učení technické v Praze 25. pledna 2018 Praha Zápisy čísel v minulosti 2 / 21 Římský

Bardziej szczegółowo

Grzegorz Jaśkiewicz Dariusz Stefański

Grzegorz Jaśkiewicz Dariusz Stefański Logiczne partycjonowanie systemów Grzegorz Jaśkiewicz Dariusz Stefański Plan prezentacji Podstawowe informacje Zastosowanie Hypervisor działanie hypervisora Wsparcie sprzętowe Partycjonowanie sprzętowe

Bardziej szczegółowo

Základní elektrotechnická terminologie,

Základní elektrotechnická terminologie, Přednáška č. 1: Základní elektrotechnická terminologie, veličiny a zákony Obsah 1 Terminologie 2 2 Veličiny 6 3 Kirchhoffovy zákony 11 4 Literatura 14 OBSAH Strana 1 / 14 1 TERMINOLOGIE Strana 2 / 14 1

Bardziej szczegółowo

Edita Pelantová, katedra matematiky / 16

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

Bardziej szczegółowo

DOPLŇKY PRO STAVBU DOPLNKY PRE STAVBU ELEMENTY DODATKOWE NÁVRH PLYNOVÉ VZPĚRY / NÁVRH PLYNOVEJ VZPERY / SPOSÓB DZIAŁANIA

DOPLŇKY PRO STAVBU DOPLNKY PRE STAVBU ELEMENTY DODATKOWE NÁVRH PLYNOVÉ VZPĚRY / NÁVRH PLYNOVEJ VZPERY / SPOSÓB DZIAŁANIA 2010/06/08 DOPLŇKY PRO STVBU DOPLNKY PRE STVBU ELEMENTY DODTKOWE Vzpěry plynové / Vzpery plynové / Siłowniki NÁVRH PLYNOVÉ VZPĚRY / NÁVRH PLYNOVEJ VZPERY / SPOSÓB DZIŁNI CZ Tímto vztahem se vypočte potřebná

Bardziej szczegółowo

heteroskedasticitě Radim Navrátil, Jana Jurečková Katedra pravděpodobnosti a matematické statistiky, MFF UK, Praha

heteroskedasticitě Radim Navrátil, Jana Jurečková Katedra pravděpodobnosti a matematické statistiky, MFF UK, Praha Pořadové testy v regresi při rušivé heteroskedasticitě Radim Navrátil, Jana Jurečková Katedra pravděpodobnosti a matematické statistiky, MFF UK, Praha Robust 2014, Jetřichovice 22.1.2014 Radim Navrátil,

Bardziej szczegółowo

Katedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) 3. listopadu Filip Železný (ČVUT) Vytěžování dat 3. listopadu / 1

Katedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) 3. listopadu Filip Železný (ČVUT) Vytěžování dat 3. listopadu / 1 Vytěžování dat Filip Železný Katedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) 3. listopadu 2014 Filip Železný (ČVUT) Vytěžování dat 3. listopadu 2014 1 / 1 Metafora pro tuto přednášku Filip

Bardziej szczegółowo

GTS Shared Infrastructure (GSI)

GTS Shared Infrastructure (GSI) GTS Shared Infrastructure (GSI) Elastyczna usługa chmury hybrydowej dla platform IBM Power / x86 Marcin Wilk (IBM Polska), Krzysztof Grzęda (IBM Polska Business Services) Hotel Zamek Ryn, 22 maj 2017 Agenda

Bardziej szczegółowo

Obsah. Zobrazení na osmistěn. 1 Zobrazení sféry po částech - obecné vlastnosti 2 Zobrazení na pravidelný konvexní mnohostěn

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é

Bardziej szczegółowo

Wyniki testów PassMark

Wyniki testów PassMark DOA.III.272.1.62.2015 Załącznik nr 1 do SOPZ Wyniki testów PassMark Strona 1 z 41 Spis treści 1. Kategoria Dual CPU (podwójne procesory)... 3 2. Kategoria CPU (pojedyncze procesory)... 7 3. Kategoria VGA

Bardziej szczegółowo

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

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 (ξ)

Bardziej szczegółowo

Paradoxy geometrické pravděpodobnosti

Paradoxy geometrické pravděpodobnosti Katedra aplikované matematiky 1. června 2009 Úvod Cíle práce : Analýza Bertrandova paradoxu. Tvorba simulačního softwaru. Osnova 1 2 3 4 Osnova 1 2 3 4 Osnova 1 2 3 4 Osnova 1 2 3 4 V rovině je zadán kruh

Bardziej szczegółowo

Ústav teorie informace a automatizace. Tato prezentace je k dispozici na:

Ústav teorie informace a automatizace. Tato prezentace je k dispozici na: Aplikace bayesovských sítí Jiří Vomlel Ústav teorie informace a automatizace Akademie věd České republiky Tato prezentace je k dispozici na: http://www.utia.cas.cz/vomlel/ Obsah přednášky Podmíněná pravděpodobnost,

Bardziej szczegółowo

High Performance Computers in Cyfronet. Andrzej Oziębło Zakopane, marzec 2009

High Performance Computers in Cyfronet. Andrzej Oziębło Zakopane, marzec 2009 High Performance Computers in Cyfronet Andrzej Oziębło Zakopane, marzec 2009 Plan Podział komputerów dużej mocy Podstawowe informacje użytkowe Opis poszczególnych komputerów Systemy składowania danych

Bardziej szczegółowo

Jednostki BudŜetowe (wszystkie)

Jednostki BudŜetowe (wszystkie) Radom dn. 06.08.2010 r. Jednostki BudŜetowe (wszystkie) Miejski Ośrodek Pomocy Społecznej w Radomiu zgodnie z Rozporządzeniem Rady Ministrów z dnia 21 maja 2010 roku w sprawie sposobu i trybu gospodarowania

Bardziej szczegółowo

Lista weryfikowanych poprawek systemu operacyjnego: L.p. Poprawka Opis Kategoria Data instalacji

Lista weryfikowanych poprawek systemu operacyjnego: L.p. Poprawka Opis Kategoria Data instalacji Weryfikowana konfiguracja stanowiska roboczego: Sprzęt: Procesor Interl(R) Core(TM) i3-2330m CPU 2.2GHz, Pamięć 3,00GB System operacyjny: 32-bitowy system operacyjny Windows 7 Professional ServicePack

Bardziej szczegółowo

Stavový popis Stabilita spojitých systémů (K611MSAP) Katedra aplikované matematiky Fakulta dopravní ČVUT. čtvrtek 20. dubna 2006

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

Bardziej szczegółowo

Platforma pro analýzu, agregaci a vizualizaci otevřených dat souv

Platforma pro analýzu, agregaci a vizualizaci otevřených dat souv Platforma pro analýzu, agregaci a vizualizaci otevřených dat souvisejících s územním plánováním University of West Bohemia March 4, 2014 Obsah 1 2 3 Obsah 1 2 3 Otevřená data (Open data) jsou horkým tématem

Bardziej szczegółowo

K SAMOSTATNÉ MODULOVÉ SCHODY MONTÁŽI. asta

K SAMOSTATNÉ MODULOVÉ SCHODY MONTÁŽI. asta N O V I N K A K SAMOSTATNÉ MODULOVÉ SCHODY MONTÁŽI asta MODULOVÉ SCHODY asta...jsou nejnovějším výrobkem švédsko-polského koncernu, který se již 10 let specializuje na výrobu schodů různého typu. Jednoduchá

Bardziej szczegółowo

Ż ć Ó Ś Ó ć Ę Ó Ś ź Ż Ż Ó Ż ź Ó ÓŚ Ć Ó ź Ó ź Ó Ź ć Ę Ó Ś Ż Ó Ó Ń Ą ź ź Ź Ś Ą Ą Ś Ą Ś ć ć ź ź Ó Ó Ę Ź Ą Ź Ę ĘŚ ć ź Ę Ę ź Ę ć Ś Ś Ę Ż Ż ć Ść ć ć Ń Ż Ś ć Ż Ż Ż Ż Ż Ó Ą Ę Ę Ę Ą Ż Ż Ż Ź Ż ć Ś Ż Ż Ż Ż Ż ć Ś

Bardziej szczegółowo

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 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,

Bardziej szczegółowo

UPS MODUŁOWY. 10-200 kva modułowy UPS, do 400kVA

UPS MODUŁOWY. 10-200 kva modułowy UPS, do 400kVA UPS MODUŁOWY 10-200 kva modułowy UPS, do 400kVA Datacenter i serwery Punkt wtyku sieci Sieci lokalne (LAN) Urządzenia telekomunikacyjne, aplikacje awaryjne www. gtec.pl Wydajność i niezawodność rozwiązań

Bardziej szczegółowo

ę Ę ę ę ó ó Ę ę ś ś Ę ę Ę ń Ę Ę ó Ę ó ę ę Ę ń ęś ś ę ść Ę ó Ą ś ę ę ęę ę ę ń ę ę Ę ś Ł ę ę ę ć ś ę ś Ę ę ś ś ś Ą ś ę ę ń ó ę ć ś ń ó ó Ą ę ń ęę ś ś ś Ę ś ś ę ś ś ę ń ń Ę ĄĄ Ł Śę ó ń ś ń Ę ó ś ś ę ś Ę ś

Bardziej szczegółowo

Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Vytěžování dat: klasifikace Filip Železný Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Filip Železný (ČVUT) Vytěžování

Bardziej szczegółowo

ń Ę Ę Ę Ę ń ń Ś ź Ę ś ś Ę Ś Ą Ę Ę Ę Ę Ż Ę Ę ść Ą Ł Ę Ć ć Ś Ę Ę ś Ę Ż Ś Ę Ę ń Ż Ę Ć ź ć Ł ś Ę ś Ż ś Ś ś Ę ć Ł ś Ż ŚĆ Ę ń ŚĆ ść ś ś ń ś Ś ś ś Ęś Ę ć ś ść ń ń Ć ś Ą ń ć Ą Ś ń ś ś ć ć ś źć ć ź ś ń Ę ś Ę ć

Bardziej szczegółowo

Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Vytěžování dat Filip Železný Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Filip Železný (ČVUT) Vytěžování dat 1 / 27

Bardziej szczegółowo

í ś Ś ż ś ż ś ń Ś đ ś ś Ż ć ń í ć ś ń í ś ć Ą Ż ś ń ő Ż ő ć ś Ł ż Ż ő ś Ż Ż Ż ś Ż

í ś Ś ż ś ż ś ń Ś đ ś ś Ż ć ń í ć ś ń í ś ć Ą Ż ś ń ő Ż ő ć ś Ł ż Ż ő ś Ż Ż Ż ś Ż ÔÍ ú ż ü Ó ść ś ő Đ Í Ż í ż Ś Ż ń ś Ł Ść ő ś ś ő ś ś ś ść ý Ś ść Í í ś Ś ż ś ż ś ń Ś đ ś ś Ż ć ń í ć ś ń í ś ć Ą Ż ś ń ő Ż ő ć ś Ł ż Ż ő ś Ż Ż Ż ś Ż ż ś ś Ł Ł á ć ś Ż Ą ő Ż ż ő ő Ż Ż ś Ż ś ż ś ż őź ś ś

Bardziej szczegółowo

Specyfikacja Wymagań Oprogramowania

Specyfikacja Wymagań Oprogramowania Specyfikacja Wymagań Oprogramowania dla Pakietów e-kontentu Scorm firmy Eurotalk Wersja 1.0.64 Eurotalk Ltd. 2013 2011 Eurotalk Ltd. UK. Wszystkie prawa zastrzeżone. Strona 1 Spis treści Wstęp... 1.1 Opis

Bardziej szczegółowo

Weryfikowana konfiguracja stanowiska roboczego: Sprzęt:

Weryfikowana konfiguracja stanowiska roboczego: Sprzęt: Weryfikowana konfiguracja stanowiska roboczego: Sprzęt: Procesor Interl(R) Core(TM) i3-2330m CPU 2.2GHz, Pamięć 3,00GB System operacyjny: 32-bitowy system operacyjny Windows 7 Professional ServicePack

Bardziej szczegółowo

NÁVOD K POUŽITÍ KEZELÉSI KÉZIKÖNYV INSTRUKCJA OBSŁUGI NÁVOD NA POUŽÍVANIE. Česky. Magyar. Polski. Slovensky

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

Bardziej szczegółowo

Zaproszenie do składania ofert. Numer wewnętrzny zapytania ofertowego 02/10/2013

Zaproszenie do składania ofert. Numer wewnętrzny zapytania ofertowego 02/10/2013 Fritz Group S.A. Plac Axentowicza 5/3 30-034 Kraków NIP: 677-235-72-19 biuro@fritzgroup.pl www.fritzgroup.pl Kraków, dn. 21.10.2013 Zaproszenie do składania ofert Numer wewnętrzny zapytania ofertowego

Bardziej szczegółowo

Matematická analýza II pro kombinované studium. Konzultace první a druhá. RNDr. Libuše Samková, Ph.D. pf.jcu.cz

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/

Bardziej szczegółowo

5. a 12. prosince 2018

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

Bardziej szczegółowo

Populační algoritmy a jejich uplatnění pro segmentaci obrazu. Pavel Jedlička

Populační algoritmy a jejich uplatnění pro segmentaci obrazu. Pavel Jedlička Populační algoritmy a jejich uplatnění pro segmentaci obrazu Pavel Jedlička P R O H L Á Š E N Í Předkládám tímto k posouzení a obhajobě diplomovou práci zpracovanou na závěr studia na Fakultě aplikovaných

Bardziej szczegółowo

Technika mikroprocesorowa. Linia rozwojowa procesorów firmy Intel w latach

Technika mikroprocesorowa. Linia rozwojowa procesorów firmy Intel w latach mikrokontrolery mikroprocesory Technika mikroprocesorowa Linia rozwojowa procesorów firmy Intel w latach 1970-2000 W krótkim pionierskim okresie firma Intel produkowała tylko mikroprocesory. W okresie

Bardziej szczegółowo

IB047. Pavel Rychlý. 21. února

IB047. Pavel Rychlý. 21. února Úvod do korpusové lingvistiky a počítačové lexikografie pary@fi.muni.cz Centrum zpracování přirozeného jazyka 21. února 2018 Technické informace http://www.fi.muni.cz/ pary/ib047/ Technické informace http://www.fi.muni.cz/

Bardziej szczegółowo

Podstawy architektury systemów z równoległością na poziomie wątków

Podstawy architektury systemów z równoległością na poziomie wątków Wykład 7 Podstawy architektury systemów z równoległością na poziomie wątków Spis treści: 1. Wątki i wielowątkowość 2. Wielowątkowość z przeplotem pojedyńczych instrukcji 3. Wielowątkowość z przeplotem

Bardziej szczegółowo

Wymagania techniczne dla programów antywirusowych. Oprogramowanie dla serwerów i stacji roboczych będących w sieci - ilość 450 sztuk:

Wymagania techniczne dla programów antywirusowych. Oprogramowanie dla serwerów i stacji roboczych będących w sieci - ilość 450 sztuk: Nr Sprawy KP- 42 /2006 Załącznik nr 1 Do Specyfikacji Istotnych Warunków Zamówienia Wymagania techniczne dla programów antywirusowych Oprogramowanie dla serwerów i stacji roboczych będących w sieci - ilość

Bardziej szczegółowo

Ó Ż ź Ó Ą Ż Ó ń ń ć ć ĘŚ Ś ŚĆ Ę ć ć ć ć Ś Ź ń ź ŚĆ ń Ś ź ć ć Ó ć ć ź ć ć ć ń ń Ł ć ź ć ń Ś ć ć ć Ł Ę Ś Ł Ę Ł ć ń ć Ś ź Ć Ś Ś ć ź Ó ź ć ć Ś ń ź Ś ź Ó Ś Ó Ś Ś ń Ś Ś ć ć ń ć ć Ż Ś ć ń ń Ł Ł ń ć ź ć ć Ó ć

Bardziej szczegółowo

Zásuvný modul QGISu. QGIS plugin pro práci s katastrálními daty

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

Bardziej szczegółowo

Strona znajduje się w archiwum.

Strona znajduje się w archiwum. Strona znajduje się w archiwum. Zapytanie odnośnie SIWZ w postępowaniu na dostawę oprogramowania, sprzętu i wdrożenie dedykowanego systemu backupowego dla serwerów Unix oraz Windows w MSP Warszawa, dnia

Bardziej szczegółowo

Kybernetika a umělá inteligence. Gerstnerova laboratoř katedra kybernetiky. Daniel Novák

Kybernetika a umělá inteligence. Gerstnerova laboratoř katedra kybernetiky. Daniel Novák Kybernetika a umělá inteligence 2. Strojové učení laboratory Gerstner Gerstnerova laboratoř katedra kybernetiky České vysoké učení technické v Praze Daniel Novák Poděkování: Filip Železný Shrnutí minulé

Bardziej szczegółowo

SATURN Online UPS + DATA CENTER + URZĄDZENIA TELEKOMUNIKACYJNE + SYSTEMY MEDYCZNE + AUTOMATYKA NADZORCZA. Smart Energy Solution

SATURN Online UPS + DATA CENTER + URZĄDZENIA TELEKOMUNIKACYJNE + SYSTEMY MEDYCZNE + AUTOMATYKA NADZORCZA. Smart Energy Solution SATURN Online UPS DATA CENTER URZĄDZENIA TELEKOMUNIKACYJNE SYSTEMY MEDYCZNE AUTOMATYKA NADZORCZA Smart Energy Solution Produkt WYSOKA WYDAJNOŚĆ ELASTYCZNOŚĆ MAKSYMALNA NIEZAWODNOŚĆ BRAK WPŁYWU NA SIEĆ

Bardziej szczegółowo

Kristýna Kuncová. Matematika B2 18/19

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)

Bardziej szczegółowo