Automatové modely. Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
|
|
- Michał Kowalczyk
- 5 lat temu
- Przeglądów:
Transkrypt
1 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 Ratschan (FIT ČVUT) MI-MAS 3 1 / 13
2 Základ: Přechodový systém Příklad: Vlakové dveře (zavřené, otevírající, otevřené, zavírající). Stefan Ratschan (FIT ČVUT) MI-MAS 3 2 / 13
3 Základ: Přechodový systém Příklad: Vlakové dveře (zavřené, otevírající, otevřené, zavírající). Přechodový systém je trojicí (S, S 0, R), přičemž S je množinou, jejichž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) R S S (přechodová relace) Stefan Ratschan (FIT ČVUT) MI-MAS 3 2 / 13
4 Základ: Přechodový systém Příklad: Vlakové dveře (zavřené, otevírající, otevřené, zavírající). Přechodový systém je trojicí (S, S 0, R), přičemž S je množinou, jejichž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) R S S (přechodová relace) Cesta přechodového systému (S, S 0, R) je nekonečná posloupnost stavů s 0 s 1 s 2... tak, že s 0 S 0, pro každé i {0, 1,... }, (s i, s i+1 ) R. Cesty tvoří výpočetní stromy (computation trees). Stefan Ratschan (FIT ČVUT) MI-MAS 3 2 / 13
5 Základ: Přechodový systém Příklad: Vlakové dveře (zavřené, otevírající, otevřené, zavírající). Přechodový systém je trojicí (S, S 0, R), přičemž S je množinou, jejichž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) R S S (přechodová relace) Cesta přechodového systému (S, S 0, R) je nekonečná posloupnost stavů s 0 s 1 s 2... tak, že s 0 S 0, pro každé i {0, 1,... }, (s i, s i+1 ) R. Cesty tvoří výpočetní stromy (computation trees). Stefan Ratschan (FIT ČVUT) MI-MAS 3 2 / 13
6 Vlastnosti přechodových systémů Přechodový systém je deterministický, pokud pro každé s S, existuje přesně jedno s S tak, že (s, s ) R Stefan Ratschan (FIT ČVUT) MI-MAS 3 3 / 13
7 Vlastnosti přechodových systémů Přechodový systém je deterministický, pokud pro každé s S, existuje přesně jedno s S tak, že (s, s ) R Poznámka: Tím pádem lze přechodovou relaci chápat jako přechodovou funkci. Stefan Ratschan (FIT ČVUT) MI-MAS 3 3 / 13
8 Vlastnosti přechodových systémů Přechodový systém je deterministický, pokud pro každé s S, existuje přesně jedno s S tak, že (s, s ) R Poznámka: Tím pádem lze přechodovou relaci chápat jako přechodovou funkci. Nedeterminismus dovolujeme (např. pro modelování vstupů), ale žádáme aby přechodová relace byla totální t.j. pro každé s S, existuje s S tak, že (s, s ) R Stefan Ratschan (FIT ČVUT) MI-MAS 3 3 / 13
9 Vlastnosti přechodových systémů Přechodový systém je deterministický, pokud pro každé s S, existuje přesně jedno s S tak, že (s, s ) R Poznámka: Tím pádem lze přechodovou relaci chápat jako přechodovou funkci. Nedeterminismus dovolujeme (např. pro modelování vstupů), ale žádáme aby přechodová relace byla totální t.j. pro každé s S, existuje s S tak, že (s, s ) R Proč nemáme žádnou množinu přijímajících stavů? (viz. klasické konečné automaty) Stefan Ratschan (FIT ČVUT) MI-MAS 3 3 / 13
10 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
11 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
12 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
13 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Nejdřív: komunikace Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
14 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Nejdřív: komunikace, vstup, výstup Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
15 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Nejdřív: komunikace, vstup, výstup Vstupní/výstupní automat (transduktor) je n-ticí (S, S 0, I, O, R), přičemž S je množinou, jejíž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
16 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Nejdřív: komunikace, vstup, výstup Vstupní/výstupní automat (transduktor) je n-ticí (S, S 0, I, O, R), přičemž S je množinou, jejíž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) I je množinou jejíž prvky budeme nazývat vstupy O je množinou jejíž prvky budeme nazývat výstupy Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
17 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Nejdřív: komunikace, vstup, výstup Vstupní/výstupní automat (transduktor) je n-ticí (S, S 0, I, O, R), přičemž S je množinou, jejíž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) I je množinou jejíž prvky budeme nazývat vstupy O je množinou jejíž prvky budeme nazývat výstupy R I S S O (přechodová relace) Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
18 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Nejdřív: komunikace, vstup, výstup Vstupní/výstupní automat (transduktor) je n-ticí (S, S 0, I, O, R), přičemž S je množinou, jejíž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) I je množinou jejíž prvky budeme nazývat vstupy O je množinou jejíž prvky budeme nazývat výstupy R I S S O (přechodová relace) Cesty by měly pro každý krok obsahovat jeden vstup a jeden výstup. Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
19 Modelování souběžných komponent Systémy se obvykle skládají z množství různých komponent. Tyto komponenty se vzájemně ovlivňují. Jak toto modelovat? Nejdřív: komunikace, vstup, výstup Vstupní/výstupní automat (transduktor) je n-ticí (S, S 0, I, O, R), přičemž S je množinou, jejíž prvky budeme nazývat stavy S 0 S (množina počátečních stavů) I je množinou jejíž prvky budeme nazývat vstupy O je množinou jejíž prvky budeme nazývat výstupy R I S S O (přechodová relace) Cesty by měly pro každý krok obsahovat jeden vstup a jeden výstup. Různé ekvivalentní varianty (např: přechody na základě množin, výstupy zvlášt ). Stefan Ratschan (FIT ČVUT) MI-MAS 3 4 / 13
20 Synchronizovaná paralelní kompozice Kompozice: Operace, která z více (vstupních) automatů sestaví nový (výstupní) automat. Stefan Ratschan (FIT ČVUT) MI-MAS 3 5 / 13
21 Synchronizovaná paralelní kompozice Kompozice: Operace, která z více (vstupních) automatů sestaví nový (výstupní) automat. Paralelní: vstupní automaty v novém automatu pracují paralelně. Stefan Ratschan (FIT ČVUT) MI-MAS 3 5 / 13
22 Synchronizovaná paralelní kompozice Kompozice: Operace, která z více (vstupních) automatů sestaví nový (výstupní) automat. Paralelní: vstupní automaty v novém automatu pracují paralelně. Synchronizovaná kompozice: Vstupní automaty vždy dělají jeden krok spolu. Stefan Ratschan (FIT ČVUT) MI-MAS 3 5 / 13
23 Synchronizovaná paralelní kompozice Kompozice: Operace, která z více (vstupních) automatů sestaví nový (výstupní) automat. Paralelní: vstupní automaty v novém automatu pracují paralelně. Synchronizovaná kompozice: Vstupní automaty vždy dělají jeden krok spolu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = (S 1 S 2, S 1 0 S 2 0, I 1 I 2, O 1 O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 5 / 13
24 Synchronizovaná paralelní kompozice Kompozice: Operace, která z více (vstupních) automatů sestaví nový (výstupní) automat. Paralelní: vstupní automaty v novém automatu pracují paralelně. Synchronizovaná kompozice: Vstupní automaty vždy dělají jeden krok spolu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (S 1 S 2, S 1 0 S 2 0, I 1 I 2, O 1 O 2, R ), (i 1 i 2, s 1 s 2, s 1 s 2, o 1 o 2 ) R právě když (i 1, s 1, s 1, o 1 ) R 1 i (i 2, s 2, s 2, o 2 ) R 2 Stefan Ratschan (FIT ČVUT) MI-MAS 3 5 / 13
25 Synchronizovaná paralelní kompozice Kompozice: Operace, která z více (vstupních) automatů sestaví nový (výstupní) automat. Paralelní: vstupní automaty v novém automatu pracují paralelně. Synchronizovaná kompozice: Vstupní automaty vždy dělají jeden krok spolu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (S 1 S 2, S 1 0 S 2 0, I 1 I 2, O 1 O 2, R ), (i 1 i 2, s 1 s 2, s 1 s 2, o 1 o 2 ) R právě když Může se zobecnit na více automatů. (i 1, s 1, s 1, o 1 ) R 1 i (i 2, s 2, s 2, o 2 ) R 2 Stefan Ratschan (FIT ČVUT) MI-MAS 3 5 / 13
26 Nesynchronizovaná paralelní kompozice Příklad: dvojitá výrobní linka, jeden z dvou robotů reaguje, varovný signál. Stefan Ratschan (FIT ČVUT) MI-MAS 3 6 / 13
27 Nesynchronizovaná paralelní kompozice Příklad: dvojitá výrobní linka, jeden z dvou robotů reaguje, varovný signál. Vstupní automaty můžou dělat nezávislé kroky. (S 1, S0 1, I 1, O 1, R 1 ) (S 2, S0 2, I 2, O 2, R 2 ) = (S 1 S 2, S0 1 S0 2, I 1 I 2, O 1 O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 6 / 13
28 Nesynchronizovaná paralelní kompozice Příklad: dvojitá výrobní linka, jeden z dvou robotů reaguje, varovný signál. Vstupní automaty můžou dělat nezávislé kroky. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i 1 i 2, s 1 s 2, s 1 s 2, o) R právě když (S 1 S 2, S 1 0 S 2 0, I 1 I 2, O 1 O 2, R ), (i 1, s 1, s 1, o) R 1, s 2 = s 2 anebo (i 2, s 2, s 2, o) R 2, s 1 = s 1 Stefan Ratschan (FIT ČVUT) MI-MAS 3 6 / 13
29 Nesynchronizovaná paralelní kompozice Příklad: dvojitá výrobní linka, jeden z dvou robotů reaguje, varovný signál. Vstupní automaty můžou dělat nezávislé kroky. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i 1 i 2, s 1 s 2, s 1 s 2, o) R právě když Výsledek nutně nedeterministický! (S 1 S 2, S 1 0 S 2 0, I 1 I 2, O 1 O 2, R ), (i 1, s 1, s 1, o) R 1, s 2 = s 2 anebo (i 2, s 2, s 2, o) R 2, s 1 = s 1 Stefan Ratschan (FIT ČVUT) MI-MAS 3 6 / 13
30 Nesynchronizovaná paralelní kompozice Příklad: dvojitá výrobní linka, jeden z dvou robotů reaguje, varovný signál. Vstupní automaty můžou dělat nezávislé kroky. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i 1 i 2, s 1 s 2, s 1 s 2, o) R právě když (S 1 S 2, S 1 0 S 2 0, I 1 I 2, O 1 O 2, R ), (i 1, s 1, s 1, o) R 1, s 2 = s 2 anebo (i 2, s 2, s 2, o) R 2, s 1 = s 1 Výsledek nutně nedeterministický! R vs. R + nedeterministický výběr! Stefan Ratschan (FIT ČVUT) MI-MAS 3 6 / 13
31 Nesynchronizovaná paralelní kompozice Příklad: dvojitá výrobní linka, jeden z dvou robotů reaguje, varovný signál. Vstupní automaty můžou dělat nezávislé kroky. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i 1 i 2, s 1 s 2, s 1 s 2, o) R právě když (S 1 S 2, S 1 0 S 2 0, I 1 I 2, O 1 O 2, R ), (i 1, s 1, s 1, o) R 1, s 2 = s 2 anebo (i 2, s 2, s 2, o) R 2, s 1 = s 1 Výsledek nutně nedeterministický! R vs. R + nedeterministický výběr! Různé varianty, např. s možností současné (ne)reakce obou vstupních automatů + symbol nic Stefan Ratschan (FIT ČVUT) MI-MAS 3 6 / 13
32 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
33 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Výstup prvního automatu = vstup druhého automatu. Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
34 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Výstup prvního automatu = vstup druhého automatu. (S 1, S0 1, I 1, O 1, R 1 ) (S 2, S0 2, I 2, O 2, R 2 ) = (S 1 S 2, S0 1 S0 1, I 1, O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
35 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Výstup prvního automatu = vstup druhého automatu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i, s 1 s 2, s 1 s 2, o) R právě když existuje x I 2 tak, že (S 1 S 2, S 1 0 S 1 0, I 1, O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
36 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Výstup prvního automatu = vstup druhého automatu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i, s 1 s 2, s 1 s 2, o) R právě když existuje x I 2 tak, že (i, s 1, s 1, x) R 1 i (x, s 2, s 2, o) R 2. (S 1 S 2, S 1 0 S 1 0, I 1, O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
37 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Výstup prvního automatu = vstup druhého automatu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i, s 1 s 2, s 1 s 2, o) R právě když existuje x I 2 tak, že (i, s 1, s 1, x) R 1 i (x, s 2, s 2, o) R 2. Podmínka: (S 1 S 2, S 1 0 S 1 0, I 1, O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
38 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Výstup prvního automatu = vstup druhého automatu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i, s 1 s 2, s 1 s 2, o) R právě když existuje x I 2 tak, že (i, s 1, s 1, x) R 1 i (x, s 2, s 2, o) R 2. Podmínka: I 2 O 1 (S 1 S 2, S 1 0 S 1 0, I 1, O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
39 Kaskádní kompozice Určité chování komponent může vyvolat reakce jiných komponent. Výstup prvního automatu = vstup druhého automatu. (S 1, S 1 0, I 1, O 1, R 1 ) (S 2, S 2 0, I 2, O 2, R 2 ) = přičemž (i, s 1 s 2, s 1 s 2, o) R právě když existuje x I 2 tak, že (i, s 1, s 1, x) R 1 i (x, s 2, s 2, o) R 2. Podmínka: I 2 O 1 A 1 A 2 A 2 A 1! (S 1 S 2, S 1 0 S 1 0, I 1, O 2, R ), Stefan Ratschan (FIT ČVUT) MI-MAS 3 7 / 13
40 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
41 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Paralelní kompozice: Více vstupů a výstupů (místo Kartézského součinu) Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
42 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Paralelní kompozice: Více vstupů a výstupů (místo Kartézského součinu) Další prvek: Rozvaděč Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
43 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Paralelní kompozice: Více vstupů a výstupů (místo Kartézského součinu) Další prvek: Rozvaděč Lze formálně definovat, ale nebudeme. Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
44 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Paralelní kompozice: Více vstupů a výstupů (místo Kartézského součinu) Další prvek: Rozvaděč Lze formálně definovat, ale nebudeme. Pozor: smyčky! Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
45 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Paralelní kompozice: Více vstupů a výstupů (místo Kartézského součinu) Další prvek: Rozvaděč Lze formálně definovat, ale nebudeme. Pozor: smyčky! Tady: Nejdřív stav, potom tok informací Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
46 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Paralelní kompozice: Více vstupů a výstupů (místo Kartézského součinu) Další prvek: Rozvaděč Lze formálně definovat, ale nebudeme. Pozor: smyčky! Tady: Nejdřív stav, potom tok informací Alternativní modely (data-flow): Nejdřív tok informací, potom stav. Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
47 Obecná kompozice Libovolné připojení vstupů a výstupů. Obvykle na základě grafické notace (pozor: notace přechodů automatů!) Paralelní kompozice: Více vstupů a výstupů (místo Kartézského součinu) Další prvek: Rozvaděč Lze formálně definovat, ale nebudeme. Pozor: smyčky! Tady: Nejdřív stav, potom tok informací Alternativní modely (data-flow): Nejdřív tok informací, potom stav. Stav: Pamět ový prvek Stefan Ratschan (FIT ČVUT) MI-MAS 3 8 / 13
48 Hierarchické automaty Viz. Wikipedia UML state machine Stefan Ratschan (FIT ČVUT) MI-MAS 3 9 / 13
49 Hierarchické automaty Viz. Wikipedia UML state machine Stefan Ratschan (FIT ČVUT) MI-MAS 3 9 / 13
50 Hierarchické automaty Viz. Wikipedia UML state machine Rekurzivní skrývání vs. modelování podrobností (viz. abstrakce). Stefan Ratschan (FIT ČVUT) MI-MAS 3 9 / 13
51 Hierarchické automaty Viz. Wikipedia UML state machine Rekurzivní skrývání vs. modelování podrobností (viz. abstrakce). Základ pro formalismus Statecharts [Harel, 1987]. Stefan Ratschan (FIT ČVUT) MI-MAS 3 9 / 13
52 Hierarchické automaty Viz. Wikipedia UML state machine Rekurzivní skrývání vs. modelování podrobností (viz. abstrakce). Základ pro formalismus Statecharts [Harel, 1987]. Různé varianty [von der Beeck, 1994]. Stefan Ratschan (FIT ČVUT) MI-MAS 3 9 / 13
53 Hierarchické automaty Viz. Wikipedia UML state machine Rekurzivní skrývání vs. modelování podrobností (viz. abstrakce). Základ pro formalismus Statecharts [Harel, 1987]. Různé varianty [von der Beeck, 1994]. Základ pro UML State Machines Stefan Ratschan (FIT ČVUT) MI-MAS 3 9 / 13
54 Specifikace a Automatická Analýza Splňuje daný automat požadavky? Stefan Ratschan (FIT ČVUT) MI-MAS 3 10 / 13
55 Specifikace a Automatická Analýza Splňuje daný automat požadavky? Např.: Nikdy nedosáhne stavu výbuch. Stefan Ratschan (FIT ČVUT) MI-MAS 3 10 / 13
56 Specifikace a Automatická Analýza Splňuje daný automat požadavky? Např.: Nikdy nedosáhne stavu výbuch. Jazyky pro specifikaci vlastností automatů: Temporální Logiky (viz. příští přednáška). Stefan Ratschan (FIT ČVUT) MI-MAS 3 10 / 13
57 Specifikace a Automatická Analýza Splňuje daný automat požadavky? Např.: Nikdy nedosáhne stavu výbuch. Jazyky pro specifikaci vlastností automatů: Temporální Logiky (viz. příští přednáška). Automatická analýza? Stefan Ratschan (FIT ČVUT) MI-MAS 3 10 / 13
58 Specifikace a Automatická Analýza Splňuje daný automat požadavky? Např.: Nikdy nedosáhne stavu výbuch. Jazyky pro specifikaci vlastností automatů: Temporální Logiky (viz. příští přednáška). Automatická analýza? Pozorování: až dosud jsme mohli mít nekonečný počet stavů! Stefan Ratschan (FIT ČVUT) MI-MAS 3 10 / 13
59 Specifikace a Automatická Analýza Splňuje daný automat požadavky? Např.: Nikdy nedosáhne stavu výbuch. Jazyky pro specifikaci vlastností automatů: Temporální Logiky (viz. příští přednáška). Automatická analýza? Pozorování: až dosud jsme mohli mít nekonečný počet stavů! Pro konečné automaty: (víceméně) všechno rozhodnutelné. Stefan Ratschan (FIT ČVUT) MI-MAS 3 10 / 13
60 Specifikace a Automatická Analýza Splňuje daný automat požadavky? Např.: Nikdy nedosáhne stavu výbuch. Jazyky pro specifikaci vlastností automatů: Temporální Logiky (viz. příští přednáška). Automatická analýza? Pozorování: až dosud jsme mohli mít nekonečný počet stavů! Pro konečné automaty: (víceméně) všechno rozhodnutelné. Pro nekonečný počet stavu je situace složitější. Stefan Ratschan (FIT ČVUT) MI-MAS 3 10 / 13
61 Omezení konečných automatů Nemůžeme čítat! (N není konečná množina) Stefan Ratschan (FIT ČVUT) MI-MAS 3 11 / 13
62 Omezení konečných automatů Nemůžeme čítat! (N není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na čas (R není konečná množina) Stefan Ratschan (FIT ČVUT) MI-MAS 3 11 / 13
63 Omezení konečných automatů Nemůžeme čítat! (N není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na čas (R není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na fyzikální hodnoty (např. teplota, tlak, rychlost) Stefan Ratschan (FIT ČVUT) MI-MAS 3 11 / 13
64 Omezení konečných automatů Nemůžeme čítat! (N není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na čas (R není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na fyzikální hodnoty (např. teplota, tlak, rychlost) Jediná možnost: diskretizace, např. teplota T [0, 10], T [10, 20], T [20, ] Stefan Ratschan (FIT ČVUT) MI-MAS 3 11 / 13
65 Omezení konečných automatů Nemůžeme čítat! (N není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na čas (R není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na fyzikální hodnoty (např. teplota, tlak, rychlost) Jediná možnost: diskretizace, např. teplota T [0, 10], T [10, 20], T [20, ] Často: Konečný, ale obrovský počet stavů (např. čítač s horní mezí). Stefan Ratschan (FIT ČVUT) MI-MAS 3 11 / 13
66 Omezení konečných automatů Nemůžeme čítat! (N není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na čas (R není konečná množina) Nemůžeme modelovat (libovolně přesné) požadavky na fyzikální hodnoty (např. teplota, tlak, rychlost) Jediná možnost: diskretizace, např. teplota T [0, 10], T [10, 20], T [20, ] Často: Konečný, ale obrovský počet stavů (např. čítač s horní mezí). Další přednášky: účinné zacházení s velkým počtem stavů. Stefan Ratschan (FIT ČVUT) MI-MAS 3 11 / 13
67 Proměnné Příklad: čítač x {0,..., }, vstupy {+, }, výstupy {ok, přetečení} Stefan Ratschan (FIT ČVUT) MI-MAS 3 12 / 13
68 Proměnné Příklad: čítač x {0,..., }, vstupy {+, }, výstupy {ok, přetečení} Přechodová relace: {(+, 0, 1, ok), (, 0, 0, přetečení), (+, 1, 2, ok),... }? Stefan Ratschan (FIT ČVUT) MI-MAS 3 12 / 13
69 Proměnné Příklad: čítač x {0,..., }, vstupy {+, }, výstupy {ok, přetečení} Přechodová relace: {(+, 0, 1, ok), (, 0, 0, přetečení), (+, 1, 2, ok),... }? Pohodlnější: {(+, x, x + 1, ok) x < } {(+, x, x, přetečení) x = } {(, x, x 1, ok) x > 0} {(, x, x, ok) x = 0} Stefan Ratschan (FIT ČVUT) MI-MAS 3 12 / 13
70 Proměnné Příklad: čítač x {0,..., }, vstupy {+, }, výstupy {ok, přetečení} Přechodová relace: {(+, 0, 1, ok), (, 0, 0, přetečení), (+, 1, 2, ok),... }? Pohodlnější: {(+, x, x + 1, ok) x < } {(+, x, x, přetečení) x = } {(, x, x 1, ok) x > 0} {(, x, x, ok) x = 0} Grafická notace: Podmínky a nové hodnoty píšeme na hrany (guards, updates). Stefan Ratschan (FIT ČVUT) MI-MAS 3 12 / 13
71 Literatura David Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3): , Edward A. Lee and Sanjit A. Seshia. Introduction to Embedded Systems, A Cyber-Physical Systems Approach Michael von der Beeck. A comparison of Statecharts variants. In Hans Langmaack, Willem-Paul de Roever, and Jan Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages Springer Berlin / Heidelberg, Stefan Ratschan (FIT ČVUT) MI-MAS 3 13 / 13
Logika V. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika V. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální
Bardziej szczegółowoKomplexní 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ółowoEdita 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ółowoDefinice Ř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),
Bardziej szczegółowoLinea 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,
Bardziej szczegółowoStavový 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ółowoKristý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Ú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
Bardziej szczegółowoAproximace 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ółowoNumerické 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ółowoInverzní 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
Bardziej szczegółowopodle 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
Bardziej szczegółowoFunkce 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
Bardziej szczegółowoMATEMATIKA 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
Bardziej szczegółowoMatematika III Stechiometrie stručný
Matematika III Stechiometrie stručný matematický úvod Miroslava Dubcová, Drahoslava Janovská, Daniel Turzík Ústav matematiky Přednášky LS 2015-2016 Obsah 1 Zápis chemické reakce 2 umožňuje jednotný přístup
Bardziej szczegółowoFormálne jazyky Automaty. Formálne jazyky. 1 Automaty. IB110 Podzim
Formálne jazyky 1 Automaty 2 Generatívne výpočtové modely IB110 Podzim 2010 1 Jednosmerné TS alebo konečné automaty TS sú robustné voči modifikáciam existuje modifikácia, ktorá zmení (zmenší) výpočtovú
Bardziej szczegółowoElementá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ółowoCA CZ, s.r.o. May 21, Radek Mařík Testování řídicích struktur May 21, / 45
Testování řídicích struktur Radek Mařík CA CZ, s.r.o. May 21, 2010 Radek Mařík (radek.marik@ca.com) Testování řídicích struktur May 21, 2010 1 / 45 Obsah 1 Testování cest Princip Kritéria pokrytí Demo
Bardziej szczegółowoTGH01 - 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ółowoKristý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í?
Bardziej szczegółowoČ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
Bardziej szczegółowoInternet 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
Bardziej szczegółowoExpresivní deskripční logiky
Expresivní deskripční logiky Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Expresivní deskripční logiky 79 / 156 Co nás čeká 1 Inference v deskripčních logikách 2 Inferenční algoritmy Tablový algoritmus
Bardziej szczegółowoKomplexní 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
Bardziej szczegółowo1 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(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
Bardziej szczegółowoMatematika (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í
Bardziej szczegółowoDesign of Experiment (DOE) Petr Misák. Brno 2016
Design of Experiment (DOE) Petr Misák Vysoké učení technické v Brně, Fakulta stavební, Ústav stavebního zkušebnictví Brno 2016 Úvod - Experiment jako nástroj hledání slavné vynálezy - žárovka, antibiotika
Bardziej szczegółowoMatematika 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
Bardziej szczegółowoOdpřednesenou látku naleznete v kapitolách skript Abstraktní a konkrétní lineární algebra.
Lineární prostor Lineární kombinace Lineární prostory nad R Odpřednesenou látku naleznete v kapitolách 1.1 1.4 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: Lineární algebra 01A-2018: Lineární
Bardziej szczegółowoPetr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Vysvětlování modelovacích chyb 133 / 156
Vysvětlování modelovacích chyb Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Vysvětlování modelovacích chyb 133 / 156 Co nás čeká 1 Konjunktivní dotazy 2 Vyhodnocování konjunktivních dotazů v jazyce ALC
Bardziej szczegółowo1 Definice. A B A B vlastní podmnožina. 4. Relace R mezi množinami A a B libovolná R A B. Je-li A = B relace na A
1 Definice 1. Množiny: podmnožina: A B x(x A x B) průnik: A B = {x A x B} sjednocení: A B = {x x A x B} rozdíl: A B = {x A x B} A B A B vlastní podmnožina 2. uspořádaná dvojice: (x, y) = {{x}, {x, y}}
Bardziej szczegółowoZobecněné metriky Různé poznámky 12. METRIZACE. Miroslav Hušek, Pavel Pyrih KMA MFF UK. 12. Poznámky
12. METRIZACE Poznámky Miroslav Hušek, Pavel Pyrih KMA MFF UK 2009 Jak bylo zmíněno v úvodních kapitolách tohoto textu, axiómy metrik (nebo pseudometrik) se často oslabují, aby bylo možné popsat další
Bardziej szczegółowoAnna 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ółowoTeorie 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ółowoOperace 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
Bardziej szczegółowoEuklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost.
Euklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost. Vyšší matematika LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU
Bardziej szczegółowoNecht 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ółowoUrčitý (Riemannův) integrál a aplikace. Nevlastní integrál. 19. prosince 2018
Určitý (Riemnnův) integrál plikce. Nevlstní integrál Seminář 9. prosince 28 Určitý integrál Existence: Necht funkce f (x) je definovná n uzvřeném intervlu, b. Necht je splněn n tomto intervlu kterákoliv
Bardziej szczegółowoLaplaceova 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
Bardziej szczegółowoPojem množiny nedefinujeme, pouze připomínáme, že množina je. Nejprve shrneme pojmy a fakta, které znáte ze střední školy.
1 Kapitola 1 Množiny 1.1 Základní množinové pojmy Pojem množiny nedefinujeme, pouze připomínáme, že množina je souhrn, nebo soubor navzájem rozlišitelných objektů, kterým říkáme prvky. Pro známé množiny
Bardziej szczegółowo(a). Pak f. (a) pro i j a 2 f
Připomeň: 1. Necht K R n. Pak 1. Funkce více proměnných II 1.1. Parciální derivace vyšších řádů K je kompaktní K je omezená a uzavřená. 2. Necht K R n je kompaktní a f : K R je spojitá. Pak f nabývá na
Bardziej szczegółowoReprezentace 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ółowoNÁ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ółowoJAZYKY A AUTOMATY. e-book
JAZYKY A AUTOMATY e-ook Václv NÝDL, Vivin WHITE, Ann MALCEVA Ktedr plikovné mtemtiky informtiky Ekonomická fkult, Jihočeská univerzit v Českých Budějovicích 1 Tto pulikce vznikl v rámci projektu IP16-18
Bardziej szczegółowoObsah. 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:
Bardziej szczegółowoObsah. 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ółowoLineá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ółowoKatedra aplikované matematiky FEI VŠB Technická univerzita Ostrava
Lineární algebra 5. přednáška: Báze a řešitelnost soustav Dalibor Lukáš Katedra aplikované matematiky FEI VŠB Technická univerzita Ostrava email: dalibor.lukas@vsb.cz http://www.am.vsb.cz/lukas/la1 Text
Bardziej szczegółowoStochastické 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ě
Bardziej szczegółowoVlastnosti. Příprava. Czech - 2 -
Obsah Vlastnosti... 2 Úvod... 2 Příprava... 2 Bezpečnostní opatření... 3 Obsah balení... 4 Informace o životním prostředí... 5 Tlačítka dálkového ovládání... 6 LCD TV a Ovládací tlačítka... 7 Přehled zapojení
Bardziej szczegółowoNumerické 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ółowoprof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Pravděpodobnost a statistika Katedra teoretické informatiky Fakulta informačních technologií
Náhodné vektory prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v Praze c Rudolf Blažek, Roman Kotecký,
Bardziej szczegółowoMinimalizace automatů. Z. Sawa (VŠB-TUO) Teoretická informatika 2. října / 53
Minimlizce utomtů Z. Sw (VŠB-TUO) Teoretická informtik 2. říjn 2018 1/ 53 Minimlizce konečného utomtu Předpokládejme deterministický konečný utomt A = (Q,Σ,δ,q 0,F). Definice Stvy q,q Q nzýváme ekvivlentní,
Bardziej szczegółowo6 Dedekindovy řezy (30 bodů)
Pokročilá lineární algebra 3. série 6 Dedekindovy řezy (3 bodů) V této úloze se pokusíme seznámit s Dedekindovými řezy, pomocí nichž zavedeme reálná čísla. Tuto konstrukci vymyslel a publikoval Dedekind
Bardziej szczegółowoPeriodický 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ółowoPrů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
Bardziej szczegółowoVý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ółowoCauchyova úloha pro obyčejnou diferenciální rovnici
Řešení ODR v MATLABu Přednáška 3 15. října 2018 Cauchyova úloha pro obyčejnou diferenciální rovnici y = f (x, y), y(x 0 ) = y 0 Víme, že v intervalu a, b existuje jediné řešení. (f (x, y) a f y jsou spojité
Bardziej szczegółowoPA152,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ółowoTGH01 - 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ółowoObsah 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)
Bardziej szczegółowoNekomutativní Gröbnerovy báze
Univerzita Karlova v Praze Matematicko-fyzikální fakulta DIPLOMOVÁ PRÁCE Bc. Zuzana Požárková Nekomutativní Gröbnerovy báze Katedra algebry Vedoucí diplomové práce: RNDr. Jan Št ovíček, Ph.D. Studijní
Bardziej szczegółowoTVL 26925 LED NÁVOD K POUŽITÍ NÁVOD NA POUŽITIE
TVL 26925 LED NÁVOD K POUŽITÍ NÁVOD NA POUŽITIE BAREVNÝ TELEVIZNÍ PŘÍJÍMAČ S DÁLKOVÝM OVLÁDÁNÍM FAREBNÝ TELEVÍZNY PRIJÍMAČ S DIALKOVÝM OVLÁDÁNÍM TELEWIZOR KOLOROWY Z PILOTEM Obsah Vlastnosti... 2 Úvod...
Bardziej szczegółowoFunkce více proměnných: limita, spojitost, parciální a směrové derivace, diferenciál
Matematika III 2. přednáška Funkce více proměnných: limita, spojitost, parciální a směrové derivace, diferenciál Michal Bulant Masarykova univerzita Fakulta informatiky 29. 9. 2010 Obsah přednášky 1 Literatura
Bardziej szczegółowoBiosigná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
Bardziej szczegółowoSkraplacze wyparne. Odpaøovací kondenzátory D 127/3-5 PL/CZ
Skraplacze wyparne (70 do 80 kw) Odpaøovací kondenzátory (70 do 80 kw) INSTRUKCJA DOBORU I DANE TECHNICZNE VÝBÌR A TECHNICKÁ DATA D 7/-5 PL/CZ VCL DANE I PROCEDURA DOBORU VCL DATA PRO VÝBÌR A POSTUP PØI
Bardziej szczegółowoPlyny v dynamickém stavu. Jsou-li ve vakuovém systému různé teploty, nebo tlaky dochází k přenosu energie, nebo k proudění plynu.
Plyny v dynamickém stavu Jsou-li ve vakuovém systému různé teploty, nebo tlaky dochází k přenosu energie, nebo k proudění plynu. Difuze plynu Mechanismus difuze závisí na podmínkách: molekulární λ L viskózně
Bardziej szczegółowoÚvod do umělé inteligence Prohledávání stavového prostoru -mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ bsah: Problém osmi dam Prohledávání stavového prostoru Prohledávání do hloubky Prohledávání
Bardziej szczegółowoField of study: Computer Science Study level: First-cycle studies Form and type of study: Full-time studies. Auditorium classes.
Faculty of: Computer Science, Electronics and Telecommunications Field of study: Computer Science Study level: First-cycle studies Form and type of study: Full-time studies Annual: 2014/2015 Lecture language:
Bardziej szczegółowoČVUT FEL, K Radek Mařík Strukturované testování 20. října / 52
Strukturované testování Radek Mařík ČVUT FEL, K13132 20. října 2016 Radek Mařík (radek.marik@fel.cvut.cz) Strukturované testování 20. října 2016 1 / 52 Obsah 1 Návrh testů řízené modelem Principy 2 Testování
Bardziej szczegółowoAlgebra 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
Bardziej szczegółowoKapitola 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
Bardziej szczegółowokontaktní 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ółowoQuick 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
Bardziej szczegółowoIB109 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ółowoPetr Krajča. Katedra informatiky Univerzita Palackého v Olomouci. Petr Krajča (UP) KMI/YDATA: Přednáška I. 5. říjen, / 37
Databázové systémy Relační Model Petr Krajča Katedra informatiky Univerzita Palackého v Olomouci Petr Krajča (UP) KMI/YDATA: Přednáška I. 5. říjen, 2018 1 / 37 Organizační informace email: petr.krajca@upol.cz
Bardziej szczegółowoObecná 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ółowoObsah: CLP Constraint Logic Programming. Úvod do umělé inteligence 6/12 1 / 17
Problémy s omezujícími podmínkami Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Průběžná písemná práce Problémy s omezujícími podmínkami Úvod do umělé inteligence 6/12 1 / 17 Průběžná
Bardziej szczegółowoGeometrická 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ółowoPetr 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
Bardziej szczegółowoPowyż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.
Bardziej szczegółowo(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
Bardziej szczegółowoENA 5 Załącznik. Instrukcja montażu i obsługi. Flamco.
ENA 5 Załącznik obsługi Flamco www.flamcogroup.com Spis treści Strona 1. Pierwsze uruchomienie 3 1.1 Rozruch urządzenia ENA5 3 1.2 Parametry rozruchuu 3 2. Opcje w menu sprzętowym i parametrów 4 2.1 Tryb
Bardziej szczegółowoMatematika pro ekonomiku
Statistika, regresní analýza, náhodné procesy 7.10.2011 1 I. STATISTIKA Úlohy statistiky 2 1 Sestavit model 2 Odhadnout parametr(y) 1 Bodově 2 Intervalově 3 Testovat hypotézy Častá rozdělení ve statistice:
Bardziej szczegółowoDFT. 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
Bardziej szczegółowoMatematika 1 Jiˇr ı Fiˇser 24. z aˇr ı 2013 Jiˇr ı Fiˇser (KMA, PˇrF UP Olomouc) KMA MAT1 24. z aˇr ı / 52
í150doc-start í251doc-start Jiří Fišer (KMA, PřF UP Olomouc) KMA MAT1 24. září 2013 1 / 52 Matematika 1 Jiří Fišer 24. září 2013 Jiří Fišer (KMA, PřF UP Olomouc) KMA MAT1 24. září 2013 1 / 52 Zimní semestr
Bardziej szczegółowoÚVOD DO ARITMETIKY Michal Botur
ÚVOD DO ARITMETIKY Michal Botur 2011 2 Obsah 1 Algebraické základy 3 1.1 Binární relace.................................. 3 1.2 Zobrazení a operace............................... 7 1.3 Algebry s jednou
Bardziej szczegółowoŻ ż Ł ż ż ż Ż Ś ż ż ż Ł Ż Ż ć ż Ż Ż Ż Ń Ż Ź ż Ź Ź ż Ż ż ż Ż Ł Ż Ł Ż ż Ż ż Ż Ż Ń Ą Ż Ń Ż Ń ć ż Ż ź Ś ć Ł Ł Ź Ż Ż ż Ł ż Ż Ł Ż Ł ź ć ż Ż Ż ż ż Ó ż Ł Ż ć Ż Ż Ę Ż Ż Ż ż Ż ż ż Ś ż Ż ż ż ź Ż Ń ć Ż ż Ż Ż ż ż ż
Bardziej szczegółowoŚ Ł Ą Ś Ś ź Ś ń ż ż Ó ż ż Ś Ł ż ń ń ń ż ń Ś ń ć ŚĘ Ó Ł Ę Ł Ś Ę Ę ń ń ń ń ń Ź ń ń ń ń ń ż ń ń ń ń ń Ę ż ż ć Ść ń ń ż Ń ż ż ń ń Ś Ą ń Ś ń ń ż Ó ż Ź ń ż ń Ś Ń Ó ż Ł ż Ą ź ź Ś Ł ć Ś ć ż ź ż ć ć Ę Ó Ś Ó ż ż
Bardziej szczegółowoŁ Ł Ś Ę ź ń ź ź Ś Ę Ę Ś Ą Ś Ę Ż Ł ń Ę Ś ć ć ń ć ń ń ń ź ń Ę ź ń ń ń ź ź Ś ź ź ć ń ń ń ń Ś ć Ś ń ń Ś ź ń Ę ń Ś ź ź ź ź ź Ę Ę Ę Ś ń Ś ć ń ń ń ń ń ń Ę ń ń ń ń ć ń ń ń ń ć ń Ś ć Ł ń ń ń ć ń ć ź ń ź ć ń ń ć
Bardziej szczegółowoŁ Ł Ś ź ń ź ź ź Ś Ł Ę Ę Ś ż Ś ń Ą Ś Ą Ł ż ż ń ż ć ż ż ż ź ż ć ź Ę Ę ń ć ż Ł ń ż ż ż Ś ż Ś ż ż ż ż ż ż ż ń ń ż ż ż ć ż ń ż ń ź ż ć ż ż ć ń ż Ę Ę ć ń Ę ż ż ń ń ź Ę ź ż ń ż ń ź ż ż ż ń ż ż ż ż ż ż ż ż ń ń
Bardziej szczegółowoKompaktnost v neklasických logikách
Univerzita Karlova v Praze Filozofická fakulta Katedra logiky Diplomová práce Petra Ivaničová Kompaktnost v neklasických logikách Compactness in non-classical logics Praha, 2010 Vedoucí práce: Prof. RNDr.
Bardziej szczegółowo