Informatika pro záchranu života

Save this PDF as:
 WORD  PNG  TXT  JPG

Rozměr: px
Začít zobrazení ze stránky:

Download "Informatika pro záchranu života"

Transkript

1 Informatika pro záchranu života Stefan Ratschan Ústav Informatiky Akademie Věd tefan Ratschan (Ústav Informatiky Akademie Věd) 1 / 15

2 Katastrofický začátek. Stefan Ratschan (Ústav Informatiky Akademie Věd) 2 / 15

3 Therac-25 Zařízení pro radioterapii Stefan Ratschan (Ústav Informatiky Akademie Věd) 3 / 15

4 Therac-25 Zařízení pro radioterapii Původní zařízení (therac-20) skoro výhradně mechanické. Stefan Ratschan (Ústav Informatiky Akademie Věd) 3 / 15

5 Therac-25 Zařízení pro radioterapii Původní zařízení (therac-20) skoro výhradně mechanické. Pozorování: Mechanický přístroj nebezpečný (opotřebuje se), softwarové řízení. Stefan Ratschan (Ústav Informatiky Akademie Věd) 3 / 15

6 Therac-25 Zařízení pro radioterapii Původní zařízení (therac-20) skoro výhradně mechanické. Pozorování: Mechanický přístroj nebezpečný (opotřebuje se), softwarové řízení. Výsledek? Stefan Ratschan (Ústav Informatiky Akademie Věd) 3 / 15

7 Therac-25 Zařízení pro radioterapii Původní zařízení (therac-20) skoro výhradně mechanické. Pozorování: Mechanický přístroj nebezpečný (opotřebuje se), softwarové řízení. Výsledek? Alespoň 6 haváríı s nadměrnou dávkou radiace, některé z nich smrtelné. Stefan Ratschan (Ústav Informatiky Akademie Věd) 3 / 15

8 Ariane 5 let 501 (1996) Stefan Ratschan (Ústav Informatiky Akademie Věd) 4 / 15

9 Ariane 5 let 501 (1996) Stefan Ratschan (Ústav Informatiky Akademie Věd) 4 / 15

10 Ariane 5 let 501 (1996) Let skončil několik desítek sekund po startu explozí Škoda: 290 Me Odklad programu jeden rok Stefan Ratschan (Ústav Informatiky Akademie Věd) 4 / 15

11 Northeast Blackout of 2003 tefan Ratschan (Ústav Informatiky Akademie Věd) 5 / 15

12 Northeast Blackout of 2003 Výpadek proudu ve velké části Spojených států amerických Víc než 10 přimých úmrtí Obrovské finanční škody tefan Ratschan (Ústav Informatiky Akademie Věd) 5 / 15

13 Souvislost Co to má společného s informatikou? tefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

14 Souvislost Co to má společného s informatikou? Každá nadměrná dávka v Therac-25 byla výsledkem chyby v řídícím softwaru. Nebezpečný stav byl dříve vyloučen mechanickým zařízením. tefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

15 Souvislost Co to má společného s informatikou? Každá nadměrná dávka v Therac-25 byla výsledkem chyby v řídícím softwaru. Nebezpečný stav byl dříve vyloučen mechanickým zařízením. Exploze Ariane 5 byla výsledkem chybné konverze z čísla s pohyblivou čárkou do celého čísla. tefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

16 Souvislost Co to má společného s informatikou? Každá nadměrná dávka v Therac-25 byla výsledkem chyby v řídícím softwaru. Nebezpečný stav byl dříve vyloučen mechanickým zařízením. Exploze Ariane 5 byla výsledkem chybné konverze z čísla s pohyblivou čárkou do celého čísla. tefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

17 Souvislost Co to má společného s informatikou? Každá nadměrná dávka v Therac-25 byla výsledkem chyby v řídícím softwaru. Nebezpečný stav byl dříve vyloučen mechanickým zařízením. Exploze Ariane 5 byla výsledkem chybné konverze z čísla s pohyblivou čárkou do celého čísla. Raketa měla dva redundantní počítače Stefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

18 Souvislost Co to má společného s informatikou? Každá nadměrná dávka v Therac-25 byla výsledkem chyby v řídícím softwaru. Nebezpečný stav byl dříve vyloučen mechanickým zařízením. Exploze Ariane 5 byla výsledkem chybné konverze z čísla s pohyblivou čárkou do celého čísla. Raketa měla dva redundantní počítače (stejný problém v obou). tefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

19 Souvislost Co to má společného s informatikou? Každá nadměrná dávka v Therac-25 byla výsledkem chyby v řídícím softwaru. Nebezpečný stav byl dříve vyloučen mechanickým zařízením. Exploze Ariane 5 byla výsledkem chybné konverze z čísla s pohyblivou čárkou do celého čísla. Raketa měla dva redundantní počítače (stejný problém v obou). Ariane 5 (na rozdíl od verze 4) tuto softwarovou funkcionalitu už ani nepotřebovala. tefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

20 Souvislost Co to má společného s informatikou? Každá nadměrná dávka v Therac-25 byla výsledkem chyby v řídícím softwaru. Nebezpečný stav byl dříve vyloučen mechanickým zařízením. Exploze Ariane 5 byla výsledkem chybné konverze z čísla s pohyblivou čárkou do celého čísla. Raketa měla dva redundantní počítače (stejný problém v obou). Ariane 5 (na rozdíl od verze 4) tuto softwarovou funkcionalitu už ani nepotřebovala. Výpadek proudu výsledkem pozdní reakce na menší problém kvůli chybě v softwaru poplachového zařízení. Stefan Ratschan (Ústav Informatiky Akademie Věd) 6 / 15

21 Cyber-Physical Systems (CPS) Čím dál větší integrace digitalní elektroniky/softwaru a fyzikálních systémů Stefan Ratschan (Ústav Informatiky Akademie Věd) 7 / 15

22 Cyber-Physical Systems (CPS) Čím dál větší integrace digitalní elektroniky/softwaru a fyzikálních systémů Stefan Ratschan (Ústav Informatiky Akademie Věd) 7 / 15

23 Cyber-Physical Systems (CPS) Čím dál větší integrace digitalní elektroniky/softwaru a fyzikálních systémů Náklady na elektroniku/software vyšší než fyzické auto. Stefan Ratschan (Ústav Informatiky Akademie Věd) 7 / 15

24 Cyber-Physical Systems (CPS) Čím dál větší integrace digitalní elektroniky/softwaru a fyzikálních systémů Náklady na elektroniku/software vyšší než fyzické auto. Dnes: Většina výpočetní kapacity se už nenachází ve stolních počítačích Stefan Ratschan (Ústav Informatiky Akademie Věd) 7 / 15

25 Safety Critical System Nejen, čím dál větší integrace digitalní elektroniky/softwaru a fyzikálních systémů, ale i integrace do každodenního lidského života Stefan Ratschan (Ústav Informatiky Akademie Věd) 8 / 15

26 Safety Critical System Nejen, čím dál větší integrace digitalní elektroniky/softwaru a fyzikálních systémů, ale i integrace do každodenního lidského života Poruchy mohou ohrožovat lidský život Stefan Ratschan (Ústav Informatiky Akademie Věd) 8 / 15

27 Safety Critical System Nejen, čím dál větší integrace digitalní elektroniky/softwaru a fyzikálních systémů, ale i integrace do každodenního lidského života Poruchy mohou ohrožovat lidský život Správnost nezbytná Stefan Ratschan (Ústav Informatiky Akademie Věd) 8 / 15

28 Zakládáme podnik na pračky tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

29 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

30 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

31 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

32 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 s tvrdou vodou, s měkkou vodou tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

33 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 s tvrdou vodou, s měkkou vodou hodně prádla, málo prádla tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

34 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 s tvrdou vodou, s měkkou vodou hodně prádla, málo prádla velmi špinavé prádlo, skoro čisté prádlo tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

35 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 s tvrdou vodou, s měkkou vodou hodně prádla, málo prádla velmi špinavé prádlo, skoro čisté prádlo když stojí úplně vodorovně, když ne tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

36 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 s tvrdou vodou, s měkkou vodou hodně prádla, málo prádla velmi špinavé prádlo, skoro čisté prádlo když stojí úplně vodorovně, když ne... tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

37 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 s tvrdou vodou, s měkkou vodou hodně prádla, málo prádla velmi špinavé prádlo, skoro čisté prádlo když stojí úplně vodorovně, když ne... Předpoklad: 15 takových parametrů, jen 2 hodnoty, každý pokus trvá hodinu, stojí 20e. tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

38 Zakládáme podnik na pračky Dříve než je prodáváme, musíme zjistit, jestli fungují Před-počítačový věk: pokusy s prototypy: teploty: 40, 60, 90 s tvrdou vodou, s měkkou vodou hodně prádla, málo prádla velmi špinavé prádlo, skoro čisté prádlo když stojí úplně vodorovně, když ne... Předpoklad: 15 takových parametrů, jen 2 hodnoty, každý pokus trvá hodinu, stojí 20e. Pak: 1365 dny (>3 roky) testování, skoro 1 Me tefan Ratschan (Ústav Informatiky Akademie Věd) 9 / 15

39 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

40 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2 Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

41 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4 Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

42 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234 Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

43 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234, 10231,... možné hodnoty. I když vybíráme jakýkoli počet hodnot pro testy, můžeme vždy minout problémovou hodnotu. Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

44 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234, 10231,... možné hodnoty. I když vybíráme jakýkoli počet hodnot pro testy, můžeme vždy minout problémovou hodnotu. Vývoj v čase! Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

45 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234, 10231,... možné hodnoty. I když vybíráme jakýkoli počet hodnot pro testy, můžeme vždy minout problémovou hodnotu. Vývoj v čase! Pračka je relativně jednoduchý stroj vlaky, letadla,... : několik tisíc parametrů, selhání má za následek katastrofu! Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

46 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234, 10231,... možné hodnoty. I když vybíráme jakýkoli počet hodnot pro testy, můžeme vždy minout problémovou hodnotu. Vývoj v čase! Pračka je relativně jednoduchý stroj vlaky, letadla,... : několik tisíc parametrů, selhání má za následek katastrofu! V okamžiku, kdy už nemůžeme dál, přijde Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

47 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234, 10231,... možné hodnoty. I když vybíráme jakýkoli počet hodnot pro testy, můžeme vždy minout problémovou hodnotu. Vývoj v čase! Pračka je relativně jednoduchý stroj vlaky, letadla,... : několik tisíc parametrů, selhání má za následek katastrofu! V okamžiku, kdy už nemůžeme dál, přijde: počítač! Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

48 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234, 10231,... možné hodnoty. I když vybíráme jakýkoli počet hodnot pro testy, můžeme vždy minout problémovou hodnotu. Vývoj v čase! Pračka je relativně jednoduchý stroj vlaky, letadla,... : několik tisíc parametrů, selhání má za následek katastrofu! V okamžiku, kdy už nemůžeme dál, přijde: počítač! Pokusy na počítači: simulace, testování Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

49 Testování Tvrdost vody, objem prádla, špinavost prádla, náklon pračky atd.: Parametry: Nejsou jen 2, 4, 234, 10231,... možné hodnoty. I když vybíráme jakýkoli počet hodnot pro testy, můžeme vždy minout problémovou hodnotu. Vývoj v čase! Pračka je relativně jednoduchý stroj vlaky, letadla,... : několik tisíc parametrů, selhání má za následek katastrofu! V okamžiku, kdy už nemůžeme dál, přijde: počítač! Pokusy na počítači: simulace, testování Potřebujeme model (počítačová reprezentace pračky) Stefan Ratschan (Ústav Informatiky Akademie Věd) 10 / 15

50 Model: Mikročip pro řízení otáček zvyseni vykonu otacky 2.2 otacky 1.5 nalozeni zachovani vykonu otacky 1.8 otacky 2.5 snizeni vykonu tefan Ratschan (Ústav Informatiky Akademie Věd) 11 / 15

51 Diskrétní: dobře oddělené stavy, navíc: konečný počet tefan Ratschan (Ústav Informatiky Akademie Věd) 11 / 15 Model: Mikročip pro řízení otáček zvyseni vykonu otacky 2.2 otacky 1.5 nalozeni zachovani vykonu otacky 1.8 otacky 2.5 snizeni vykonu

52 Modelování vývoje otáček Zatím popisujeme (tj. modelujeme) jen změnu výkonu. Stefan Ratschan (Ústav Informatiky Akademie Věd) 12 / 15

53 Modelování vývoje otáček Zatím popisujeme (tj. modelujeme) jen změnu výkonu. Vývoj počtu otáček? Stefan Ratschan (Ústav Informatiky Akademie Věd) 12 / 15

54 Modelování vývoje otáček Zatím popisujeme (tj. modelujeme) jen změnu výkonu. Vývoj počtu otáček? otacky s t Stefan Ratschan (Ústav Informatiky Akademie Věd) 12 / 15

55 Modelování vývoje otáček Zatím popisujeme (tj. modelujeme) jen změnu výkonu. Vývoj počtu otáček? otacky s t Spojitý model Stefan Ratschan (Ústav Informatiky Akademie Věd) 12 / 15

56 Modelování vývoje otáček Zatím popisujeme (tj. modelujeme) jen změnu výkonu. Vývoj počtu otáček? otacky s t Spojitý model Často se používají diferenciální rovnice ẋ = f (x) Stefan Ratschan (Ústav Informatiky Akademie Věd) 12 / 15

57 Model: Hybridní systém zvyseni vykonu otacky = f + (otacky) otacky 2.2 otacky = 0 nalozeni otacky 1.5 zachovani vykonu otacky = 0 otacky = f 0 (otacky) otacky 1.8 otacky 2.5 snizeni vykonu otacky = f (otacky) tefan Ratschan (Ústav Informatiky Akademie Věd) 13 / 15

58 Simulace: Pokusy na modelu Demo: Scicos Stefan Ratschan (Ústav Informatiky Akademie Věd) 14 / 15

59 Simulace: Pokusy na modelu Demo: Scicos Výhoda: levnější, rychlejší, bezpečnější než pokusy Stefan Ratschan (Ústav Informatiky Akademie Věd) 14 / 15

60 Simulace: Pokusy na modelu Demo: Scicos Výhoda: levnější, rychlejší, bezpečnější než pokusy Problém: Simulace sice pomáhají najít chyby Stefan Ratschan (Ústav Informatiky Akademie Věd) 14 / 15

61 Simulace: Pokusy na modelu Demo: Scicos Výhoda: levnější, rychlejší, bezpečnější než pokusy Problém: Simulace sice pomáhají najít chyby Ale: nikdy si nemůžeme být jisti, jestli jsme už našli všechny chyby Stefan Ratschan (Ústav Informatiky Akademie Věd) 14 / 15

62 Simulace: Pokusy na modelu Demo: Scicos Výhoda: levnější, rychlejší, bezpečnější než pokusy Problém: Simulace sice pomáhají najít chyby Ale: nikdy si nemůžeme být jisti, jestli jsme už našli všechny chyby Současní výzkum: Formální verifikace hybridních systémů: matematický důkaz správnosti, automaticky na počítači Stefan Ratschan (Ústav Informatiky Akademie Věd) 14 / 15

63 Simulace: Pokusy na modelu Demo: Scicos Výhoda: levnější, rychlejší, bezpečnější než pokusy Problém: Simulace sice pomáhají najít chyby Ale: nikdy si nemůžeme být jisti, jestli jsme už našli všechny chyby Současní výzkum: Formální verifikace hybridních systémů: matematický důkaz správnosti, automaticky na počítači Model nemá žádný vývoj do nebezpečního stavu. Stefan Ratschan (Ústav Informatiky Akademie Věd) 14 / 15

64 Závěr Zajištění správnosti technických systémů: Pokusy (drahé, nebezpečné, omezená jistota) Stefan Ratschan (Ústav Informatiky Akademie Věd) 15 / 15

65 Závěr Zajištění správnosti technických systémů: Pokusy (drahé, nebezpečné, omezená jistota) Simulace (potřebujeme model, levnější, omezená jistota) Stefan Ratschan (Ústav Informatiky Akademie Věd) 15 / 15

66 Závěr Zajištění správnosti technických systémů: Pokusy (drahé, nebezpečné, omezená jistota) Simulace (potřebujeme model, levnější, omezená jistota) Formální verifikace (matematický důkaz správnosti) tefan Ratschan (Ústav Informatiky Akademie Věd) 15 / 15

67 Závěr Zajištění správnosti technických systémů: Pokusy (drahé, nebezpečné, omezená jistota) Simulace (potřebujeme model, levnější, omezená jistota) Formální verifikace (matematický důkaz správnosti) Proslulý tzv. kachňátkový problém: tefan Ratschan (Ústav Informatiky Akademie Věd) 15 / 15

68 Závěr Zajištění správnosti technických systémů: Pokusy (drahé, nebezpečné, omezená jistota) Simulace (potřebujeme model, levnější, omezená jistota) Formální verifikace (matematický důkaz správnosti) Proslulý tzv. kachňátkový problém: Pokud verifikace nevyjde (protože systém chybu má), co se můžeme naučit (tj. jak můžeme z toho tu chybu najít)? tefan Ratschan (Ústav Informatiky Akademie Věd) 15 / 15

Honeywell & Masarykova univerzita v Brně

Honeywell & Masarykova univerzita v Brně Honeywell & Masarykova univerzita v Brně Představení projektu ifest a dosavadních výsledků jeho řešení Ing. Jan Beran, Ph.D., Advanced Technology Europe (Platform Systems), Honeywell International Představení

Více

Výuka IVT na 1. stupni

Výuka IVT na 1. stupni Výuka IVT na 1. stupni Autor: Mgr. Lenka Justrová Datum (období) tvorby: 5. 10. 11. 10. 2012 Ročník: pátý Vzdělávací oblast: SLOŽKY, SOUBORY, PROGRAMY Anotace: Žáci se seznámí s pojmy složka, soubor, stromová

Více

6.2.8 Vlnová funkce. ψ nemá (zatím?) žádný fyzikální smysl, fyzikální smysl má funkce. Předpoklady: 060207

6.2.8 Vlnová funkce. ψ nemá (zatím?) žádný fyzikální smysl, fyzikální smysl má funkce. Předpoklady: 060207 6..8 Vlnová funkce ředpoklady: 06007 edagogická poznámka: Tato hodina není příliš středoškolská. Zařadil jsem ji kvůli tomu, aby žáci měli alespoň přibližnou představu o tom, jak se v kvantové fyzice pracuje.

Více

Proč studovat hvězdy? 9. 1 Úvod 11 1.1 Energetické úvahy 11 1.2 Zjednodušení použitá při konstrukci sférických modelů... 13 1.3 Model našeho Slunce 15

Proč studovat hvězdy? 9. 1 Úvod 11 1.1 Energetické úvahy 11 1.2 Zjednodušení použitá při konstrukci sférických modelů... 13 1.3 Model našeho Slunce 15 Proč studovat hvězdy? 9 1 Úvod 11 1.1 Energetické úvahy 11 1.2 Zjednodušení použitá při konstrukci sférických modelů.... 13 1.3 Model našeho Slunce 15 2 Záření a spektrum 21 2.1 Elektromagnetické záření

Více

MALÝ LETECKÝ MOTOR Jakým způsobem byl motor vyvíjen

MALÝ LETECKÝ MOTOR Jakým způsobem byl motor vyvíjen MALÝ LETECKÝ MOTOR AICTA Design Work (ADW) je tradiční vývojář dieselových motorů, má zkušenosti z Avie a ČKD Hradec Králové. Její tým vyvíjí motory již desítky let. Firma AICTA Design Work se pustila

Více

Koordinuje: Ústav fyziky materiálů AV ČR, v. v. i. LIV. Akademické fórum, 18. 9. 2014

Koordinuje: Ústav fyziky materiálů AV ČR, v. v. i. LIV. Akademické fórum, 18. 9. 2014 Koordinuje: Ústav fyziky materiálů AV ČR, v. v. i. 1 Ústav fyziky materiálů, AV ČR, v. v. i. Zkoumat a objasňovat vztah mezi chováním a vlastnostmi materiálů a jejich strukturními charakteristikami Dlouholetá

Více

Správnost počítačových programů - očekávání a realita.

Správnost počítačových programů - očekávání a realita. Správnost počítačových programů - očekávání a realita. Luboš Brim a Ivana Černá Fakulta informatiky, Masarykova univerzita, Brno Správnost a spolehlivost jsou fundamentální požadavky, které na moderní

Více

A7B36SI2 Tematický okruh SI11 Revidoval: Martin Kvetko

A7B36SI2 Tematický okruh SI11 Revidoval: Martin Kvetko Obsah Kvalita SW, jak zajistit kvalitu SW a jak ji ověřit Zabezpečení kvality, techniky řízení kvality SW. Potřeba kultivovat kvalitu, Cena za jakost Procesy pro řízení kvality, harmonogram řízení kvality

Více

Kapacita k učení. Vaše kapacita k učení je běžná.

Kapacita k učení. Vaše kapacita k učení je běžná. Kapacita k učení Vaše kapacita k učení je běžná. 0-20 Kapacita k učení je velmi nízká Vaše kapacita k učení je velmi nízká, což vám může způsobit značné problémy při dalším studiu. Studium vysoké školy

Více

Úvodem Dříve les než stromy 3 Operace s maticemi

Úvodem Dříve les než stromy 3 Operace s maticemi Obsah 1 Úvodem 13 2 Dříve les než stromy 17 2.1 Nejednoznačnost terminologie 17 2.2 Volba metody analýzy dat 23 2.3 Přehled vybraných vícerozměrných metod 25 2.3.1 Metoda hlavních komponent 26 2.3.2 Faktorová

Více

INOVACE ODBORNÉHO VZDĚLÁVÁNÍ NA STŘEDNÍCH ŠKOLÁCH ZAMĚŘENÉ NA VYUŽÍVÁNÍ ENERGETICKÝCH ZDROJŮ PRO 21. STOLETÍ A NA JEJICH DOPAD NA ŽIVOTNÍ PROSTŘEDÍ

INOVACE ODBORNÉHO VZDĚLÁVÁNÍ NA STŘEDNÍCH ŠKOLÁCH ZAMĚŘENÉ NA VYUŽÍVÁNÍ ENERGETICKÝCH ZDROJŮ PRO 21. STOLETÍ A NA JEJICH DOPAD NA ŽIVOTNÍ PROSTŘEDÍ INOVACE ODBORNÉHO VZDĚLÁVÁNÍ NA STŘEDNÍCH ŠKOLÁCH ZAMĚŘENÉ NA VYUŽÍVÁNÍ ENERGETICKÝCH ZDROJŮ PRO 21. STOLETÍ A NA JEJICH DOPAD NA ŽIVOTNÍ PROSTŘEDÍ CZ.1.07/1.1.00/08.0010 NUMERICKÉ SIMULACE ING. KATEŘINA

Více

Tabulace učebního plánu

Tabulace učebního plánu Tabulace učebního plánu Vzdělávací obsah pro vyučovací předmět : Informační a výpočetní technika Ročník: 3. - 4. ročník (septima - oktáva) Tématická oblast DIGITÁLNÍ TECHNOLOGIE informatika hardware software

Více

Vysoká škola technická a ekonomická v Českých Budějovicích. Institute of Technology And Business In České Budějovice

Vysoká škola technická a ekonomická v Českých Budějovicích. Institute of Technology And Business In České Budějovice OPERAČNÍ VÝZKUM 11. TEORIE ZÁSOB Vysoká škola technická a ekonomická v Českých Budějovicích Institute of Technology And Business In České Budějovice Tento učební materiál vznikl v rámci projektu "Integrace

Více

Učební plán - 1. stupeň

Učební plán - 1. stupeň Vzdělávací oblast Jazyk a jazyková komunikace Matematika a její aplikace Informační a komunikační technologie Člověk a jeho svět Umění a kultura (1) (1) Vyučovací předmět 1. Český jazyk a literatura (35)

Více

Nové směry v řízení ES

Nové směry v řízení ES Nové směry v řízení ES Nové směry v řízení ES Systémy založené na technologii měření synchronních fázorů: WAM - Wide Area Monitoring WAC Wide Area Control WAP - Wide Area Protection Někdy jsou všechny

Více

Struktura a architektura počítačů (BI-SAP) 1

Struktura a architektura počítačů (BI-SAP) 1 Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Struktura a architektura počítačů (BI-SAP) 1 doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii

Více

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

Postup při řešení matematicko-fyzikálně-technické úlohy Postup při řešení matematicko-fyzikálně-technické úlohy Michal Kolesa Žádná část této publikace NESMÍ být jakkoliv reprodukována BEZ SOUHLASU autora! Poslední úpravy: 3.7.2010 Úvod Matematicko-fyzikálně-technické

Více

ŘEŠENÍ PROJEKTOVÝCH ÚLOH S MODELOVÁNÍM A SIMULACÍ ZAŘÍZENÍ A PROCESŮ VE VÝUCE

ŘEŠENÍ PROJEKTOVÝCH ÚLOH S MODELOVÁNÍM A SIMULACÍ ZAŘÍZENÍ A PROCESŮ VE VÝUCE Projekt: ŘEŠENÍ PROJEKTOVÝCH ÚLOH S MODELOVÁNÍM A SIMULACÍ ZAŘÍZENÍ A PROCESŮ VE VÝUCE Úvodní seminář SOUHRNNÉ INFORMACE O PROJEKTU Název operačního programu: Vzdělávání pro konkurenceschopnost Název prioritní

Více

ZÁKLADNÍ ŠKOLA KOLÍN II., KMOCHOVA 943 škola s rozšířenou výukou matematiky a přírodovědných předmětů

ZÁKLADNÍ ŠKOLA KOLÍN II., KMOCHOVA 943 škola s rozšířenou výukou matematiky a přírodovědných předmětů ZÁKLADNÍ ŠKOLA KOLÍN II., KMOCHOVA 943 škola s rozšířenou výukou matematiky a přírodovědných předmětů Autor Mgr. Vladimír Hradecký Číslo materiálu 8_F_1_02 Datum vytvoření 2. 11. 2011 Druh učebního materiálu

Více

VÝUKOVÝ SOFTWARE PRO ANALÝZU A VIZUALIZACI INTERFERENČNÍCH JEVŮ

VÝUKOVÝ SOFTWARE PRO ANALÝZU A VIZUALIZACI INTERFERENČNÍCH JEVŮ VÝUKOVÝ SOFTWARE PRO ANALÝZU A VIZUALIZACI INTERFERENČNÍCH JEVŮ P. Novák, J. Novák Katedra fyziky, Fakulta stavební, České vysoké učení technické v Praze Abstrakt V práci je popsán výukový software pro

Více

3. Maturitní otázka PC komponenty 1. Počítačová skříň 2. Základní deska

3. Maturitní otázka PC komponenty 1. Počítačová skříň 2. Základní deska 3. Maturitní otázka Počítač, jeho komponenty a periferní zařízení (principy fungování, digitální záznam informací, propojení počítače s dalšími (digitálními) zařízeními) Počítač je elektronické zařízení,

Více

Přínosy účasti v programu Eureka z pohledu rozvoje VÚTS, a.s.

Přínosy účasti v programu Eureka z pohledu rozvoje VÚTS, a.s. Přínosy účasti v programu Eureka z pohledu rozvoje VÚTS, a.s. 1 PŘEDSTAVENÍ VÚTS, a.s. rok založení 1951 dlouholetá tradice ve výzkumu a vývoji strojů zpracovatelského průmyslu 187 zaměstnanců (120 ve

Více

SDI. František Manlig. Technická univerzita v Liberci. Simulace diskrétních systémů 19.2.2013. TU v Liberci

SDI. František Manlig. Technická univerzita v Liberci. Simulace diskrétních systémů 19.2.2013. TU v Liberci Tento materiál vznikl jako součást projektu, který je spolufinancován Evropským sociálním fondem a státním rozpočtem ČR. Simulační projekt Technická univerzita v Liberci Simulace diskrétních systémů Technická

Více

Aktualizovaná databáze dynamické scintigrafie ledvin

Aktualizovaná databáze dynamické scintigrafie ledvin Aktualizovaná databáze dynamické scintigrafie ledvin Martin Šámal, Jiří Valoušek Ústav nukleární medicíny 1. LF UK a VFN v Praze M.G.P. s.r.o. Zlín www.dynamicrenalstudy.org 1 Nálezy dynamické scintigrafie

Více

SOFTWAROVÉ INŽENÝRSTVÍ 1

SOFTWAROVÉ INŽENÝRSTVÍ 1 Metodický list č. 1 Název tématického celku: Úvod do softwarového inženýrství Základním cílem tohoto tematického celku je vysvětlení smyslu discipliny nazývané softwarové inženýrství. Tematický celek zahrnuje

Více

STROJE NA PROFESIONÁLNÍ PRANÍ KOBERCŮ. technologie pro profesionálové. www.carpetwashing.com

STROJE NA PROFESIONÁLNÍ PRANÍ KOBERCŮ. technologie pro profesionálové. www.carpetwashing.com STROJE NA PROFESIONÁLNÍ PRANÍ KOBERCŮ technologie pro profesionálové CATINET #1 NA SVĚTĚ Španělský výrobce strojů na praní koberců Catinet vyvinul první stroje na praní koberců na světě v roce 1992. Dnes

Více

Osnova přípravného studia k jednotlivé zkoušce Předmět - Elektrotechnika

Osnova přípravného studia k jednotlivé zkoušce Předmět - Elektrotechnika Osnova přípravného studia k jednotlivé zkoušce Předmět - Elektrotechnika Garant přípravného studia: Střední průmyslová škola elektrotechnická a ZDVPP, spol. s r. o. IČ: 25115138 Učební osnova: Základní

Více

E(X) = np D(X) = np(1 p) 1 2p np(1 p) (n + 1)p 1 ˆx (n + 1)p. A 3 (X) =

E(X) = np D(X) = np(1 p) 1 2p np(1 p) (n + 1)p 1 ˆx (n + 1)p. A 3 (X) = Základní rozdělení pravděpodobnosti Diskrétní rozdělení pravděpodobnosti. Pojem Náhodná veličina s Binomickým rozdělením Bi(n, p), kde n je přirozené číslo, p je reálné číslo, < p < má pravděpodobnostní

Více

FOURIEROVA ANAL YZA 2D TER ENN ICH DAT Karel Segeth

FOURIEROVA ANAL YZA 2D TER ENN ICH DAT Karel Segeth FOURIEROVA ANALÝZA 2D TERÉNNÍCH DAT Karel Segeth Motto: The faster the computer, the more important the speed of algorithms. přírodní jev fyzikální model matematický model numerický model řešení numerického

Více

7. rámcový program BEZPEČNOST. Eva Hillerová, TC AV ČR hillerova@tc.cz

7. rámcový program BEZPEČNOST. Eva Hillerová, TC AV ČR hillerova@tc.cz 7. rámcový program BEZPEČNOST Eva Hillerová, TC AV ČR hillerova@tc.cz 1 BEZPEČNOST přístup k programu technologicky orientovaný výzkum (vítáno užití existujících technologií pro účely bezpečnosti) socio

Více

Metody automatického texturování 3D modelu měst s využitím internetových fotoalb 3D town model for internet application

Metody automatického texturování 3D modelu měst s využitím internetových fotoalb 3D town model for internet application Jihočeská univerzita v Českých Budějovicích Katedra informatiky Pedagogické fakulty Metody automatického texturování 3D modelu měst s využitím internetových fotoalb 3D town model for internet application

Více

E-book, který vymaže otazníky z vašeho života. Odpověď na každé NEVÍM JAN ČEPELKA

E-book, který vymaže otazníky z vašeho života. Odpověď na každé NEVÍM JAN ČEPELKA E-book, který vymaže otazníky z vašeho života. Odpověď na každé NEVÍM JAN ČEPELKA Odpověď na každé NEVÍM Je to už pěkných pár let a stejně na tu lekci nikdy nezapomenu. Byla a stále je pro mne důležitá

Více

Matematické modelování proudění podzemních vod a jeho využití ve vodárenské praxi

Matematické modelování proudění podzemních vod a jeho využití ve vodárenské praxi Matematické modelování proudění podzemních vod a jeho využití ve vodárenské prai Naďa Rapantová VŠB-Technická univerzita Ostrava APLIKACE MATEMATICKÉHO MODELOVÁNÍ V HYDROGEOLOGII řešení environmentálních

Více

Systémy pro podporu rozhodování. Modelování a analýza

Systémy pro podporu rozhodování. Modelování a analýza Systémy pro podporu rozhodování Modelování a analýza 1 Připomenutí obsahu minulé přednášky Datové sklady, přístup, analýza a vizualizace Povaha a zdroje dat (data, informace, znalosti a interní, externí,

Více

Ekonomické modelování pro podnikatelskou praxi

Ekonomické modelování pro podnikatelskou praxi pro podnikatelskou praxi Ing. Jan Vlachý, Ph.D. vlachy@atlas.cz Dlouhý, M. a kol. Simulace podnikových procesů Vlachý, J. Řízení finančních rizik Scholleová, H. Hodnota flexibility: Reálné opce Sylabus

Více

DMS - řízená dokumentace, archiv a co dále? ICT ve zdravotnictví 2014

DMS - řízená dokumentace, archiv a co dále? ICT ve zdravotnictví 2014 DMS - řízená dokumentace, archiv a co dále? ICT ve zdravotnictví 2014 Praha 17.09.2014 Jiří Voves Proč otazník v názvu přednášky? Nové technologie Nové přístrojové vybavení Nové postupy Nová data Data

Více

PŘÍLOHA 17. PROSINCE 2008. Tohle je náš nejtěžší případ. Učitel Vonásek, který uvěřil, že dostane přidáno! KRESBA: Milan KOCMÁNEK.

PŘÍLOHA 17. PROSINCE 2008. Tohle je náš nejtěžší případ. Učitel Vonásek, který uvěřil, že dostane přidáno! KRESBA: Milan KOCMÁNEK. TÝDENÍK PŘÍLOHA 17. PROSINCE 2008 Tohle je náš nejtěžší případ. Učitel Vonásek, který uvěřil, že dostane přidáno! Vonásek k tabuli Milan Kocmánek & Leopold Králík 2 Já nevím, co pořád chtějí. Jestli je

Více

Základní díly a pojmy PC

Základní díly a pojmy PC Základní díly a pojmy PC Autor: Vlastimil Bukovjan Datum: 9. 10. 2014 Cílový ročník: 6. ročník Život jako leporelo, registrační číslo CZ.1.07/1.4.00/21.3763 Vzdělávací oblast: INFORMAČNÍ A KOMUNIKAČNÍ

Více

Tomáš Karel LS 2012/2013

Tomáš Karel LS 2012/2013 Tomáš Karel LS 2012/2013 Doplňkový materiál ke cvičení z předmětu 4ST201. Na případné faktické chyby v této presentaci mě prosím upozorněte. Děkuji. Tyto slidy berte pouze jako doplňkový materiál není

Více

KALKULÁTORY EXP LOCAL SIN

KALKULÁTORY EXP LOCAL SIN + = KALKULÁTORY 2014 201 C π EXP LOCAL SIN MU GT ŠKOLNÍ A VĚDECKÉ KALKULÁTORY 104 103 102 Hmotnost: 100 g 401 279 244 EXPONENT EXPONENT EXPONENT 142 mm 170 mm 1 mm 7 mm 0 mm 4 mm Výpočty zlomků Variace,

Více

Nájemní bydlení nebo vlastní na úvěr

Nájemní bydlení nebo vlastní na úvěr Nájemní bydlení nebo vlastní na úvěr Autor: Petr Syrový 2. 6. 2014 Cíl: Cílem je porovnání výhodnosti bydlení v nájmu nebo ve vlastním bytě, který se kupuje na hypoteční úvěr. Porovnáváme z hlediska ceny

Více

Experiment P-10 OHMŮV ZÁKON. Sledování vztahu mezi napětím a proudem procházejícím obvodem s rezistorem známého odporu.

Experiment P-10 OHMŮV ZÁKON. Sledování vztahu mezi napětím a proudem procházejícím obvodem s rezistorem známého odporu. Experiment P-10 OHMŮV ZÁKON CÍL EXPERIMENTU Sledování vztahu mezi napětím a proudem procházejícím obvodem s rezistorem známého odporu. MODULY A SENZORY PC + program NeuLog TM USB modul USB 200 senzor napětí

Více

Konference Elixír do škol, 16. 18. 5. 2014, Hradec Králové

Konference Elixír do škol, 16. 18. 5. 2014, Hradec Králové Pátek 16. 5. 2014 Sobota 17. 5. 2014 Neděle 18. 5. 2014 Konference Elixír do škol, 16. 18. 5. 2014, Hradec Králové Čas Program 17:00 18:00 ubytování a registrace 18:00 19:00 večeře 19:15 20:10 zahájení

Více

Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra matematiky. Semestrální práce RLC obvody

Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra matematiky. Semestrální práce RLC obvody Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra matematiky Semestrální práce RLC obvody Michaela Šebestová 28.6.2009 Obsah 1 Úvod 2 Teorie elektrotechniky 2.1 Použité teorémy fyziky 2.1.1

Více

Brno 03. 02. 12. Fukushima. Lessons Learned. B. Domres

Brno 03. 02. 12. Fukushima. Lessons Learned. B. Domres Brno 03. 02. 12 Fukushima Lessons Learned B. Domres FUKUSHIMA DAI-CHI Zemětřesení Tsunami Výpadek elektřiny Výpadek chlazení 6 reaktorových bloků Tavení jaderného paliva Exploze vodíku Uvolnění radioaktivity

Více

Technologie 4k ultra HD. Chceme vám umožnit prohlédnout si každičký detail, a to kdekoli

Technologie 4k ultra HD. Chceme vám umožnit prohlédnout si každičký detail, a to kdekoli Technologie 4k ultra HD Chceme vám umožnit prohlédnout si každičký detail, a to kdekoli 2 Technologie 4K ultra HD Uvidíte každičký detail, a to kdekoli Zabrat velkou oblast a zároveň umožnit identifikaci

Více

Servis pro trvalou a permanentní energii

Servis pro trvalou a permanentní energii Servis pro trvalou a permanentní energii Motive Power Systems Reserve Power Systems Special Power Systems Service Trvalé servisní řešení pro: Trakční systémy Motive Power všech technologií Bateriové nabíjecí

Více

UČEBNICE + POMŮCKY 2015/2016 PRIMA. učebnice v elektronické podobě + ostatní materiály dodá škola

UČEBNICE + POMŮCKY 2015/2016 PRIMA. učebnice v elektronické podobě + ostatní materiály dodá škola PRIMA Občanská výchova učebnice v elektronické podobě (FRAUS) Pracovní sešit k ČJ pro ZŠ a víceletá gymnázia, 6. ročník (FRAUS - nová generace) /papírová podoba/ Český jazyk přehled učiva ZŠ (J. Melichar,

Více

MetaCentrum. Martin Kuba CESNET

MetaCentrum. Martin Kuba CESNET MetaCentrum Martin Kuba CESNET Vývoj MetaCentra MetaCentrum bylo založeno v roce 1996 jako superpočítačové meta-centrum spojením tří superpočítačových center Superpočítačové Centrum Brno, Masarykova univerzita

Více

Systémové elektrické instalace KNX/EIB (20. část) Ing. Josef Kunc

Systémové elektrické instalace KNX/EIB (20. část) Ing. Josef Kunc Systémové elektrické instalace KNX/EIB (20. část) Ing. Josef Kunc Vytváření skupinových adres Vzájemně komunikující objekty jednotlivých přístrojů je zcela nezbytné propojit tzv. skupinovými adresami.

Více

Střední škola aplikované kybernetiky s.r.o.: Maturitní okruhy z odborných předmětů 2010

Střední škola aplikované kybernetiky s.r.o.: Maturitní okruhy z odborných předmětů 2010 NAW WEBOVÉ STRÁNKY 1 Barevné modely (nejen v oblasti webdesignu), fyzikální podstata barvy 2 Zacházení s barvou v oblasti webdesignu a její účinek na psychiku 3 Tvar vizuálních prvků webdesignu, vliv na

Více

Využití modelování a simulace při testování řídicích programů.

Využití modelování a simulace při testování řídicích programů. Využití modelování a simulace při testování řídicích programů. Miroslav ZBOŘIL Vysoké učení technické v Brně, Fakulta strojního inženýrství Ústav automatizace a informatiky Technická 2, Brno Abstrakt:

Více

Využití SysML pro tvorbu modelů v systémovém inženýrství

Využití SysML pro tvorbu modelů v systémovém inženýrství Využití SysML pro tvorbu modelů v systémovém inženýrství Antonín Srna, Ústav informatiky, Provozně ekonomická fakulta, Mendelova univerzita v Brně, xsrna2@mendelu.cz Abstrakt Článek se zaobírá univerzálním

Více

Terestrické 3D skenování

Terestrické 3D skenování Jan Říha, SPŠ zeměměřická www.leica-geosystems.us Laserové skenování Technologie, která zprostředkovává nové možnosti v pořizování geodetických dat a výrazně rozšiřuje jejich využitelnost. Metoda bezkontaktního

Více

Digitální učební materiál

Digitální učební materiál Číslo projektu Označení materiálu Digitální učební materiál CZ.1.07/1.5.00/34.0061 VY_32_ INOVACE_G.2.10 Název školy Integrovaná střední škola technická Mělník, K učilišti 2566, Autor Tematická oblast

Více

CENÍK PROFESIONÁLNÍCH MLÝNKŮ LA SCALA

CENÍK PROFESIONÁLNÍCH MLÝNKŮ LA SCALA CENÍK PROFESIONÁLNÍCH MLÝNKŮ LA SCALA - M5 - MX - M7 - JUNIOR ( BUTTERFLY ) - DÁVKOVAČ - PĚCHOVAČE 2010 ( Ceny jsou uvedeny bez DPH 20% ) 1 M5 MLÝNKY M5 Mlýnek s dávkovačem s lakovaným kovovým tělem. Regulovatelná

Více

Digitální učební materiál

Digitální učební materiál Digitální učební materiál Projekt CZ..07/.5.00/34.045 Inovujeme, inovujeme Šablona III/2 Inovace a zkvalitnění výuky prostřednictvím ICT (DUM) Tematická Hospodářské výpočty I Společná pro celou sadu oblast

Více

CENTRUM VZDĚLÁVÁNÍ PEDAGOGŮ ODBORNÝCH ŠKOL

CENTRUM VZDĚLÁVÁNÍ PEDAGOGŮ ODBORNÝCH ŠKOL Projekt: CENTRUM VZDĚLÁVÁNÍ PEDAGOGŮ ODBORNÝCH ŠKOL Kurz: Stavba a provoz strojů v praxi 1 OBSAH 1. Úvod Co je CNC obráběcí stroj. 3 2. Vlivy na vývoj CNC obráběcích strojů. 3 3. Směry vývoje CNC obráběcích

Více

StatSoft Jak vyzrát na datum

StatSoft Jak vyzrát na datum StatSoft Jak vyzrát na datum Tento článek se věnuje podrobně možnostem práce s proměnnými, které jsou ve formě datumu. A že jich není málo. Pokud potřebujete pracovat s datumem, pak se Vám bude tento článek

Více

PREZENTACE FAKULTY. www.fm.tul.cz. Studentská 2 461 17 Liberec 1 tel.: +420 485 351 111 fm@tul.cz www.fm.tul.cz

PREZENTACE FAKULTY. www.fm.tul.cz. Studentská 2 461 17 Liberec 1 tel.: +420 485 351 111 fm@tul.cz www.fm.tul.cz www.fm.tul.cz Studentská 2 461 17 Liberec 1 tel.: +420 485 351 111 fm@tul.cz www.fm.tul.cz Technická univerzita v Liberci Budova CxI Hlavní areál univerzity Rektorát, IC Budova A (sídlo FM) Menza 2 Základní

Více

Regionální inovační strategie Ústeckého kraje

Regionální inovační strategie Ústeckého kraje Regionální inovační strategie Ústeckého kraje Inovační vouchery ÚK 2015 1. Cíle a přínosy programu Program Inovační vouchery Ústeckého kraje (dále také program ) podporuje spolupráci podnikatelských subjektů

Více

Masarykova univerzita Středisko pro pomoc studentům se specifickými nároky. Služby pro žáky základních a středních škol se zrakovým postižením

Masarykova univerzita Středisko pro pomoc studentům se specifickými nároky. Služby pro žáky základních a středních škol se zrakovým postižením Masarykova univerzita Středisko pro pomoc studentům se specifickými nároky Služby pro žáky základních a středních škol se zrakovým postižením Středisko Teiresiás V roce 2000 zřídila Masarykova univerzita

Více

Plánování výroby. Aplikace pro kapacitní plánování výroby v masném průmyslu

Plánování výroby. Aplikace pro kapacitní plánování výroby v masném průmyslu Plánování výroby Aplikace pro kapacitní plánování výroby v masném průmyslu Popis systému Funkce systému Tento ucelený systém nabízí kompletní systematizaci práce plánovače výroby v masném průmyslu v prostředí

Více

Vyšší odborná škola, Střední škola, Centrum odborné přípravy Budějovická 421, Sezimovo Ústí

Vyšší odborná škola, Střední škola, Centrum odborné přípravy Budějovická 421, Sezimovo Ústí ZKUŠEBNÍ PŘEDMĚTY SPOLEČNÉ ČÁSTI MATURITNÍCH ZKOUŠEK Jsou stanoveny a zakotveny v platných legislativních normách: Zákon č. 561/2004 Sb. o předškolním, základním, středním, vyšším odborném a jiném vzdělávání

Více

Možnosti využití programů a fondů EU pro rozvoj informační společnosti

Možnosti využití programů a fondů EU pro rozvoj informační společnosti Možnosti využití programů a fondů EU pro rozvoj informační společnosti Praha, 21.1. 2004 Východiska Lisabonský proces eeurope+ 2003 eeurope 2005 Státní informační a komunikační politika ČR eeurope+ 2003

Více

CODEWEEK 2014 Rozvoj algoritmického myšlení nejen pomocí programu MS Excel. Michaela Ševečková

CODEWEEK 2014 Rozvoj algoritmického myšlení nejen pomocí programu MS Excel. Michaela Ševečková CODEWEEK 2014 Rozvoj algoritmického myšlení nejen pomocí programu MS Excel Michaela Ševečková Rozvoj technického myšlení nejmenších dětí práce s předměty charakteristika, diferenciace (hledání rozdílů),

Více

Návod k použití ET 78H502 S-604-01

Návod k použití ET 78H502 S-604-01 Návod k použití ET 78H502 S-604-01 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 Ujištění dovozce o vydání prohlášení o shodě Vážený zákazníku,

Více

Návod k použití MUZ4 MM3

Návod k použití MUZ4 MM3 Návod k použití MUZ4 MM3 2 3 4 Ujištění dovozce o vydání prohlášení o shodě Vážený zákazníku, dle 13, odst.5 zákona č. 22/97 Sb. Vás ujišťujeme, že na všechny výrobky distribuované společností BSH domácí

Více

PLYNOVÉ KOGENERAČNÍ JEDNOTKY

PLYNOVÉ KOGENERAČNÍ JEDNOTKY PLYNOVÉ KOGENERAČNÍ JEDNOTKY Záleží nám na prostředí, ve kterém žijeme. Mnoho lidí, organizací a státních institucí nám předkládá modely ekologického chování, které mají chránit životní prostředí, zvláště

Více

Návod k použití WM 14S741BY S-842-01

Návod k použití WM 14S741BY S-842-01 Návod k použití WM 14S741BY S-842-01 Uveďte pračku do provozu teprve po přečtení tohoto návodu a samostatného Návodu k instalaci! Dodržujte bezpečnostní pokyny na str. 8! Ekologická likvidace Obalový materiál

Více

Příklady integrovaných řešení při dodržování platné legislativy

Příklady integrovaných řešení při dodržování platné legislativy Příklady integrovaných řešení při dodržování platné legislativy Program 1. Jak to začalo? 2. Certifikovaný komunikační IP systém pro poplachové systémy. 3. Certifikovaný komunikační IP systém pro evakuační

Více

Data a služby programu Copernicus

Data a služby programu Copernicus Data a služby programu Copernicus Lenka Hladíková CENIA Oddělení mapových služeb Lenka Hladíková CENIA, česká informační agentura životního prostředí Videokonference se zástupci krajských úřadů Praha,

Více

Systém pro zabezpečení garážových stání a dálkového otevírání vjezdových bran GEWA

Systém pro zabezpečení garážových stání a dálkového otevírání vjezdových bran GEWA Systém pro zabezpečení garážových stání a dálkového otevírání vjezdových bran GEWA Celý systém se skládá z několika částí (modulů) : 1. elektronické a mechanické zabezpečení společných prostor garážových

Více

Základní pojmy. Multimédia. Multimédia a interaktivita

Základní pojmy. Multimédia. Multimédia a interaktivita Základní pojmy Multimédia Jedná se o sloučení pohyblivého obrazu, přinejmenším v televizní kvalitě, s vysokou kvalitou zvuku a počítačem, jako řídícím systémem. Jako multimediální systém se označuje souhrn

Více

Y36SAP http://service.felk.cvut.cz/courses/y36sap/

Y36SAP http://service.felk.cvut.cz/courses/y36sap/ Y36SAP http://service.felk.cvut.cz/courses/y36sap/ Úvod Návrhový proces Architektura počítače 2007-Kubátová Y36SAP-Úvod 1 Struktura předmětu Číslicový počítač, struktura, jednotky a jejich propojení. Logické

Více

Gymnázium, Český Krumlov

Gymnázium, Český Krumlov Gymnázium, Český Krumlov Vyučovací předmět Fyzika Třída: 6.A - Prima (ročník 1.O) Úvod do předmětu FYZIKA Jan Kučera, 2011 1 Organizační záležitosti výuky Pomůcky související s výukou: Pracovní sešit (formát

Více

Analyzátor sodíku. Easy Na Jednoduchost Přesnost Specifičnost. Specifické stanovení obsahu sodíku Snadné a přesné

Analyzátor sodíku. Easy Na Jednoduchost Přesnost Specifičnost. Specifické stanovení obsahu sodíku Snadné a přesné Analyzátor sodíku Easy Na Jednoduchost Přesnost Specifičnost Specifické stanovení obsahu sodíku Snadné a přesné Úvod Analyzátor sodíku pro jednoduchou a přesnou analýzu Nový analyzátor sodíku stanovuje

Více

ADMIRAL MARKETS UK LTD OBCHODNÍ PODMÍNKY TÝKAJÍCÍ SE PLATEB

ADMIRAL MARKETS UK LTD OBCHODNÍ PODMÍNKY TÝKAJÍCÍ SE PLATEB ADMIRAL MARKETS UK LTD OBCHODNÍ PODMÍNKY TÝKAJÍCÍ SE PLATEB Tyto obchodní podmínky (dále jen Podmínky ) jsou platné pro všechny převody učiněné klienty (dále jen Admiral Markets ) za účelem vložení finančních

Více

Česká letecká servisní a. s.

Česká letecká servisní a. s. Česká letecká servisní a. s. 1/20 Česká letecká servisní a. s. Your integrator of the avionics Česká letecká servisní a. s. Úvod do RTCA-DO178B Česká letecká servisní a. s. 2/20 Co je RTCA-DO178B RTCA-DO178B,

Více

VY_32_INOVACE_IKTO2_0260 PCH

VY_32_INOVACE_IKTO2_0260 PCH VY_32_INOVACE_IKTO2_0260 PCH VÝUKOVÝ MATERIÁL V RÁMCI PROJEKTU OPVK 1.5 PENÍZE STŘEDNÍM ŠKOLÁM ČÍSLO PROJEKTU: CZ.1.07/1.5.00/34.0883 NÁZEV PROJEKTU: ROZVOJ VZDĚLANOSTI ČÍSLO ŠABLONY: III/2 DATUM VYTVOŘENÍ:

Více

Ukázka knihy z internetového knihkupectví www.kosmas.cz

Ukázka knihy z internetového knihkupectví www.kosmas.cz Ukázka knihy z internetového knihkupectví www.kosmas.cz David Procházka Hledáme na internetu 2., aktualizované vydání Hledáme na internetu v rekordním čase 2., aktualizované vydání David Procházka Vydala

Více

KATALOG PREZENTOVANÝCH ORGANIZACÍ

KATALOG PREZENTOVANÝCH ORGANIZACÍ KATALOG PREZENTOVANÝCH ORGANIZACÍ Rychloseznamka4inovace pro obor: ELEKTROTECHNIKA, ELEKTRONIKA, PŘÍSTROJE Olomouc, Jeremenkova 40a Kongresový sál Krajského úřadu Olomouckého kraje 28. dubna 2015 SEZNAM

Více

Biostatistika Cvičení 7

Biostatistika Cvičení 7 TEST Z TEORIE 1. Střední hodnota pevně zvolené náhodné veličiny je a) náhodná veličina, b) konstanta, c) náhodný jev, d) výběrová charakteristika. 2. Výběrový průměr je a) náhodná veličina, b) konstanta,

Více

Měření délky, určení objemu tělesa a jeho hustoty

Měření délky, určení objemu tělesa a jeho hustoty Úloha č. 1a Měření délky, určení objemu tělesa a jeho hustoty Úkoly měření: 1. Seznámení se s měřicími přístroji posuvné měřítko, mikrometr, laboratorní váhy. 2. Opakovaně (10x) změřte rozměry dvou zadaných

Více

KAPITOLA 1 - ZÁKLADNÍ POJMY INFORMAČNÍCH A KOMUNIKAČNÍCH TECHNOLOGIÍ

KAPITOLA 1 - ZÁKLADNÍ POJMY INFORMAČNÍCH A KOMUNIKAČNÍCH TECHNOLOGIÍ KAPITOLA 1 - ZÁKLADNÍ POJMY INFORMAČNÍCH A KOMUNIKAČNÍCH TECHNOLOGIÍ KLÍČOVÉ POJMY technické vybavení počítače uchování dat vstupní a výstupní zařízení, paměti, data v počítači počítačové sítě sociální

Více

Informační zdroje. SPSOA_ICT_2_NSD Vypracoval Petr Novosad. Vytvořeno z projektu EU Peníze středním školám

Informační zdroje. SPSOA_ICT_2_NSD Vypracoval Petr Novosad. Vytvořeno z projektu EU Peníze středním školám Informační zdroje SPSOA_ICT_2_NSD Vypracoval Petr Novosad Vytvořeno z projektu EU Peníze středním školám Informační zdroje Informační zdroj / informační pramen prostředek společenské komunikace tvořený

Více

Pokrytí šachovnice I

Pokrytí šachovnice I Pokrytí šachovnice I VŠB-TU Ostrava, fakulta FEI Obor: Informatika výpočetní technika Předmět: Diskrétní matematika (DIM) Zpracoval: Přemysl Klas (KLA112) Datum odevzdání: 25.11.2005 1) Abstrakt: Máme

Více

FAKULTA ELEKTROTECHNICKÁ Spojujeme elektrotechniku a informatiku PRACUJ V OBORU. S OBRATEM VÍCE NEŽ MILIARD Kč

FAKULTA ELEKTROTECHNICKÁ Spojujeme elektrotechniku a informatiku PRACUJ V OBORU. S OBRATEM VÍCE NEŽ MILIARD Kč FAKULTA ELEKTROTECHNICKÁ Spojujeme elektrotechniku a informatiku PRACUJ V OBORU S OBRATEM VÍCE NEŽ MILIARD Kč (celosvětový roční výnos mobilních operátorů zdroj Strategy Analytics 2013) Studuj obory KOMUNIKAČNÍ

Více

Fyzikální korespondenční škola 2. dopis: experimentální úloha

Fyzikální korespondenční škola 2. dopis: experimentální úloha Fyzikální korespondenční škola 2. dopis: experimentální úloha Uzávěrka druhého kola FKŠ je 28. 2. 2010 Kde udělal Aristotelés chybu? Aristotelés, jeden z největších učenců starověku, z jehož knih vycházela

Více

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/34.0333 Vzdělávání v informačních a komunikačních technologií

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/34.0333 Vzdělávání v informačních a komunikačních technologií VY_32_INOVACE_31_02 Škola Střední průmyslová škola Zlín Název projektu, reg. č. Vzdělávací oblast Vzdělávací obor Tematický okruh Téma Tematická oblast Název Autor Vytvořeno, pro obor, ročník Inovace výuky

Více

Dynamika 43. rychlost pohybu tělesa, třecí sílu, tlakovou sílu ...

Dynamika 43. rychlost pohybu tělesa, třecí sílu, tlakovou sílu ... Dynamika 43 Odporové síly a) Co je příčinou vzniku odporových sil?... b) Jak se odporové síly projevují?... c) Doplňte text nebo vyberte správnou odpověď: - když se těleso posouvá (smýká) po povrchu jiného

Více

Materiál je možným doplňkem výuky občanské nauky. Je zaměřen na základní poznatky

Materiál je možným doplňkem výuky občanské nauky. Je zaměřen na základní poznatky Autor Mgr. Jana Tomkovičová Tematický celek Soudobý svět, ČR a její postavení ve světě Cílová skupina 3. a 4. ročník SŠ s maturitní zkouškou Anotace Materiál je možným doplňkem výuky občanské nauky. Je

Více

Obsah. Úvod 9 Poděkování 10 Co je obsahem této knihy 10 Pro koho je tato kniha určena 11 Zpětná vazba od čtenářů 11 Errata 11

Obsah. Úvod 9 Poděkování 10 Co je obsahem této knihy 10 Pro koho je tato kniha určena 11 Zpětná vazba od čtenářů 11 Errata 11 Úvod 9 Poděkování 10 Co je obsahem této knihy 10 Pro koho je tato kniha určena 11 Zpětná vazba od čtenářů 11 Errata 11 KAPITOLA 1 Co je třeba znát aneb důležité pojmy 13 Krátce o požadavcích 13 Stakeholdeři

Více

Heslo pro sklerotika Analýza semestrální práce z Y36PDA

Heslo pro sklerotika Analýza semestrální práce z Y36PDA České vysoké učení technické v Praze Fakulta elektrotechnická Softwarové technologie a management Heslo pro sklerotika Akademický rok 2009/2010 Jiří Mašek masekji4@fel.cvut.cz Obsah I. Zadání...3 II. Popis

Více

Zákaznické licenční podmínky služby

Zákaznické licenční podmínky služby Zákaznické licenční podmínky služby Nezávazný český překlad End User License Terms Podmínky používání software Microsoft Tento dokument se týká uživatelem používaného software Microsoft, které zahrnuje

Více

Podmínky pro přijímací řízení pro akademický rok 2015/16

Podmínky pro přijímací řízení pro akademický rok 2015/16 Podmínky pro přijímací řízení pro akademický rok 2015/16 PROMÍJENÍ PŘIJÍMACÍCH ZKOUŠEK přijímací řízení pro akademický rok 2015/2016 Pro akademický rok 2015/2016 jsou přijímány přihlášky ke studiu na níže

Více

Řešení: Bezenská desítka ZŠ Bezno. Sovy ZŠ Sedlec-Prčice

Řešení: Bezenská desítka ZŠ Bezno. Sovy ZŠ Sedlec-Prčice 3.KOLO 1.úkol výzkumný čtverec a) úkol pro všechny Pomalounku, ale jistě se blíží vánoční období, které v sobě stále ještě nese určité kouzlo, k němuž přispívá i snaha lidí obdarovávat své blízké s cílem,

Více

Microsoft Office. Excel vlastní formát buněk

Microsoft Office. Excel vlastní formát buněk Microsoft Office Excel vlastní formát buněk Karel Dvořák 2011 Formát buněk Běžné formáty buněk vybíráme v seznamu formátů ve skupině Číslo. V některých případech potřebujeme formát v trochu jiné podobě,

Více

Symantec Protection Suite Small Business Edition Jednoduché, účinné a cenově dostupné řešení navržené pro malé firmy

Symantec Protection Suite Small Business Edition Jednoduché, účinné a cenově dostupné řešení navržené pro malé firmy Jednoduché, účinné a cenově dostupné řešení navržené pro malé firmy Přehled Sada Symantec Protection Suite Small Business Edition představuje jednoduché a cenově dostupné řešení zabezpečení a zálohování.

Více