Distribuované systémy a výpočty

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

Download "Distribuované systémy a výpočty"

Transkript

1 Dstrbuované systémy a výpočty X36DSV Jan Janeček (dnes Peter Macejko)

2 Výlučný přístup Algortmy na úplném grafu Lamport - základní algortmus, 3(n-1) zpráv/požadavek Rcart Agrawala - pozdržení souhlasů, 2(n-1) zpráv/požadavek Carvalho Roucarol - kredty pro přístup, 0 2(n-1) zpráv/požadavek Rcart Agrawala - požadavkový token, n zpráv/požadavek X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 2

3 Lamport Rq : queue Ts : array LC : nt [] { ntalzaton } LC := 0; for j := 1 to N do Ts[j] := 0; Rq[j] := Lega: LC local clock (lokální čas) Rq request queue (prortní fronta) Ts tme stamps (čas poslední zprávy) Komunkační prmtva: Request(LC, ) Response(LCj, j) Release(LC, ) X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 3

4 Lamport Rq : queue Ts : array [] X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 4

5 Lamport Rq Rq Rq : queue LC Ts : array LC [] Rq Odesláno (n-1) zpráv X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 5

6 Lamport Rq(LC, ) Rq(LC, ) Rq : queue LC Ts : array LC [] Rq(LC, ) X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 6

7 Lamport Rq : queue j LC Ts : array Rp LC [] X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 7

8 Lamport Rq : queue j LC Ts : array Rp(LCj, j) LC [] X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 8

9 Lamport j Rq : queue LC Ts : array LC [] LCj [j] Přjato (n-1) zpráv X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 9

10 Lamport when request { access request } [P] Rq[] := LC; Ts[] := LC; LC := LC+1; [V] for j:=1 to N do f j then s REQUEST(LC,) to j when receved REQUEST(ts,j) { j-th process request } [P] LC := max(lc,ts); LC := LC+1; [V] Rq[j] := ts; Ts[j] := ts; s RESPONSE(LC,) to j when receved RESPONSE(ts,j) { j-th process response } [P] LC := max(lc,ts); LC := LC+1; [V] Ts[j] := ts X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 10

11 Lamport Rq : queue Ts : array [] X < Y X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 11

12 Lamport Rq : queue j X Ts : array Rl(LC, ) Rl(LC, ) [] Rl(LC, ) Odesláno (n-1) zpráv X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 12

13 Lamport when (Rq[]<Rq[j] forall j ) and (Rq[]<Ts[j] forall j ) { crtcal secton } s RELEASE(LC) to j when receved RELEASE(ts,j) { j-th process release } [P] LC := max(lc,ts); LC := LC+1; [V] Rq[j] := ; Zprávy request + response + release (n-1) + (n-1) + (n-1) = 3x(n-1) X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 13

14 Rcart - Agrawala MyRq Req : array MaxRq { ntalzaton } MaxRq:=0; MyReq:=F; for j:=1 to N do Req[j]:=F Lega: MyRq sekvenční číslo vlastní žádost MaxRq maxmální sekvenční číslo Req pole regstrací žádostí na vstup do CS Komunkační prmtva: Request(MyRq, ) Response() X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 14

15 Rcart - Agrawala MyRq S+1 MaxRq S Rq Rq Req : array T [] Rq X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 15

16 Rcart - Agrawala MyRq S+1 MaxRq S Rq(MyRq, ) Rq(MyRq, ) Req : array T [] Rq(MyRq, ) Odesláno (n-1) zpráv X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 16

17 Rcart - Agrawala j Rq(MyRq, ) MyRq Req : array? [] MaxRq max [j] X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 17

18 Rcart - Agrawala MyRq MaxRq j Req : array Rp() [] Přjato (n-1) zpráv X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 18

19 Rcart - Agrawala MyRq MaxRq j Req : array? Rp() []? Rp() X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 19

20 Rcart - Agrawala when request { access request } [P] Req[] := T; MyRq := MaxRq+1; [V] RpCnt := 0; for j:=1 to N do f j then s REQUEST(MyRq,) to j; wat RpCnt=N-1; { crtcal secton } Req[] := F; for j:=1 to N do { delayed responses } f Req[j] then Req[j]:=F; s REPLY to j X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 20

21 Rcart - Agrawala when receved REQUEST(k,j) do { request of the k-th process } MaxRq := max(maxrq,k); [P] Delay := Req[] and ((k>myrq) or (k=myrq and j>)); [V] f Delay then Req[j] := T else s REPLY to j when receved REPLY do { response of any process } RpCnt:=RpCnt+1; Zprávy request + response (n-1) + (n-1) = 2x(n-1) X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 21

22 Carvalho - Roucarol MyRq MaxRq InUse { ntalzaton } Req : array Grant : array MaxRq := 0; MyRq := 0; for j:=1 to N do Req[j] := F; Grant[j] := F Lega: MyRq sekvenční číslo vlastní žádost MaxRq maxmální sekvenční číslo InUse dentfkátor krtcké sekce Req pole regstrací žádostí na vstup do CS Grant pole aktvních 'pověření' Komunkační prmtva: Request(MyRq, ) Reply() X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 22

23 Carvalho - Roucarol MyRq S+1 MaxRq S Req : array Rq Rq T [] Rq Grant : array; [] X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 23

24 Carvalho - Roucarol MyRq MaxRq j Req : array Rp() Rp() [] Rp() Grant : array; [] X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 24

25 Carvalho - Roucarol when request { access request } [P] Req[] := T; MyRq := MaxRq+1; [V] for j:=1 to N do f j and (not Grant[j]) then s REQUEST(MyRq,) to j; wat (Grant[j]=T forall j ); Req[] := F; InUse := T; { crtcal secton } InUse := F; for j:=1 to N do { delayed responses } f Req[j] then Grant[j] := F; Req[j] := F; s REPLY to j X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 25

26 Carvalho - Roucarol when receved REQUEST(k,j) do { j-th process request } MaxRq := max(maxrq,k); [P] Delay := ((k>myrq) or (k=myrq and j>)) [V] f InUse or (Req[] and Delay) then Req[j]:=T; f not (InUse or Req[]) or (Req[] and (not Grant[j]) and (not Delay)) then s REPLY() to j; f (Req[] and Grant[j] and (not Delay)) then Grant[j]:=F; s REPLY() to j; s REQUEST(MyRq,) to j X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 26

27 Carvalho - Roucarol when receved REPLY from j do { j-th process response } Grant[j] := T Zprávy request + response (n-1) + (n-1) = 2x(n-1) = 0 X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 27

28 Rcart - Agrawala (token passng) Clock InUse TokenHeld Req : array Token : array { ntalzaton } for j:=1 to N do Req[j] := 0; Token[j] := 0; Clock := 0; InUse := F; TokenHeld := (myid == 0)?T:F Lega: Clock sekvenční číslo InUse dentfkátor krtcké sekce Req pole regstrací žádostí na vstup do CS Token pole s časy přjetí tokenu TokenHeld dentfkátor přítomnost tokenu Komunkační prmtva: Request(Clock, ) Token() X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 28

29 Rcart - Agrawala (token passng) Req : array; Token : array; [] Rq(Clock, ) Rq(Clock, ) [] Rq(Clock, ) X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 29

30 Rcart - Agrawala (token passng) Req : array; Token Token : array; [] [] X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 30

31 Rcart - Agrawala (token passng) when request do { access request } f not TokenHeld then Clock := Clock+1; broadcast REQUEST(Clock,); { broadcastng request } receve TOKEN; { watng for token } TokenHeld := T ; InUse := true; { crtcal secton } Token[] := Clock; InUse := F; j := (+1) mod N; whle j do f Req[j]>Token[j] and TokenHeld then { passng token } TokenHeld := F; s TOKEN to j; j := (j+1) mod N X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 31

32 Rcart - Agrawala (token passng) when receved REQUEST(k,j) do { j-th process request } Req[j]:=max(Req[j],k); f TokenHeld and not InUse then j:=(+1) mod N; whle <>j do f Req[j]>Token[j] and TokenHeld then TokenHeld:=F; s TOKEN to j; j:=(j+1) mod N; { passng token } X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 32

33 Výběr leader electon Rozbtí symetre Výběr na stromu - základní algortmus, - vyžaduje 3(n-1) zpráv Výběr na kruhu Chang Roberts - jednosměrná komunkace, - komunkační složtost n.log(n) n 2 Hrschberg Snclar - obousměrná komunkace - komunkační složtost n.log(n) Peterson/Dolev Klave Rodeh - jednosměrná komunkace, - komunkační složtost n.log(n) X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 33

34 Electon on tree X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 34

35 Electon on tree X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 35

36 Electon on tree X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 36

37 Electon on tree X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 37

38 Electon on tree var ws p : boolean; nt false; // wake-up sent wr p : boolean; nt 0; // wake-up receved rec p [q]: boolean; nt false; // receved from q v p : P; nt p; // node d state p : {sleep,leader,lost}; nt sleep; // node state f p s ntator then ws p := true; forall q n Negh p do s (wakeup) to q ; whle wr p <#Negh p do receve (wakeup); wr p := wr p +1; ; f not ws p then ws p := true; forall q n Negh p do s (wakeup) to q X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 38

39 Electon on tree /* start of the tree algorthm */ whle #{q : ~rec p [q]} > 1 do receve(tok,r) from q; rec p [q] := true; v p := mn(v p,r) ; s(tok,v p ) to q 0 wth ~rec p [q 0 ]; receve(tok,r) from q 0 ; v p := mn(v p,r); f v p =p then state := leader else state := lost; forall q n Negh p, q q 0 do s(tok,v p ) to q Zprávy 4x (n-1) -?-> 3x (n-1) X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 39

40 Electon on rng Chang - Roberts X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 40

41 Electon on rng Chang - Roberts ELECTION X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 41

42 Electon on rng Chang - Roberts ELECTION ELECTION X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 42

43 Electon on rng Chang - Roberts var Votng; Coordnator; { ncalzace } Votng:=F; Coordnator:=0 when decson INITIATE_ELECTION do { rozhodnutí volt } Votng:=T; sl ELECTION() X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 43

44 Electon on rng when receved ELECTION(j) do { příjem zprávy ELECTION } f j> then sl ELECTION(j); Votng:=T ; f j< and not Votng then sl ELECTION(MyNumber); Votng:=T ; f j= then sl ELECTED() X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 44

45 Electon on rng when receved ELECTED(j) do { příjem zprávy ELECTED } Coordnator:=j; Votng:=F; f j<> then sl ELECTED(j) Zprávy (n-1) mn 0.5n(n-1) max O(n log n) - avg X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 45

46 Electon on rng var state p ; f p s ntator then state p := cand; s(tok,p) to Next p ; repeat receve(tok,q); f q=p then state p := leader else f q<p then f state p =cand then state p := lost; s(tok,q) to Next p untl state p =leader else repeat receve(tok,q); s(tok,q) to Next p ; f state p =sleep then state p := lost untl false Chang - Roberts X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 46

47 Electon on rng Hrshberg - Snclar X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 47

48 Electon on rng Hrshberg - Snclar { ncalzace } Nresp := 0; RespOK := T when decson INITIATE_ELECTION do { rozhodnutí volt } State := CANDIDATE; lmax := 1; whle State=CANDIDATE do Nresp := 0; RespOK := T; slr CANDIDATURE(,0,lmax); // d, 0 vzd., Imax - hloubka wat NResp=2; f not RespOK then State := LOST; lmax := 2*lmax X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 48

49 Electon on rng Hrshberg - Snclar when receved CANDIDATURE(j,l,lmax) do { příjem zprávy CANDIDATURE } f j< then respond RESPONSE(F, j); f State=NOT_INVOLVED then INITIATE_ELECTION ; f j> then State := LOST; l := l+1; f l<lmax then pass CANDIDATURE(j, l, lmax) else respond RESPONSE(T, j) ; f j= then f State<>ELECTED then State:=ELECTED; Wnner := ; pass ELECTED() X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 49

50 Electon on rng Hrshberg - Snclar when receved RESPONSE(r,j) do { příjem zprávy RESPONSE } f j= then Nresp := NResp+1; RespOK := RestOK and r else pass RESPONSE(r,j) when receved ELECTED(j) do { příjem zprávy ELECTED } f Wnner<>j then pass ELECTED(j); Wnner := j; State := NOT_INVOLVED X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 50

51 Electon on rng Peterson/DKR var cp : P nt p ; {Current dentty of p} acnp : P nt udef ; {Id of antclockwse actve neghbor} wnp : P nt udef ; {Id of wnner} statep : (actve, passve, leader, lost) nt actve ;? X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 51

52 Electon on rng Peterson/DKR f p s ntator then state p := actve else state p := passve ; whle wn p = udef do { dokud neznáme vítěze } f state p = actve then s <one, c p > ; receve <one, q> ; acn p := q ; f acn p = c p then { acn p je mnmum } s <smal, acn p > ; wn p := acn p ; receve <small, q> ; ; else { acn p je současné Id souseda } s<two, acn p > ; receve<two, q> ; f acn p < c p and acn p < q then c p := acn p else state p := passve else { state p = passve } receve <one, q> ; s <one, q> ; receve m ; s m ; { m je <two, q> nebo <smal, q> } f m s a <small, q> message then wn p := q f p = wn p then state p := leader else state p := lost X36DSV - Dstrbuované systémy a výpočty (8) - v1.6 52

Distribuovaná synchronizace. Paralelní a distribuované systémy. 11. Přednáška Vzájemné vyloučení. Centralizovaný algoritmus - fronta procesů

Distribuovaná synchronizace. Paralelní a distribuované systémy. 11. Přednáška Vzájemné vyloučení. Centralizovaný algoritmus - fronta procesů Distribuovaná synchronizace Využití kritické sekce při vzájemném vyloučení v distribuovaném systému Paralelní a distribuované systémy 11. Přednáška Vzájemné vyloučení Logicky distribuovaný systém s vlákny

Více

Distribuované systémy a výpočty

Distribuované systémy a výpočty Distribuované systémy a výpočty X36DSV Jan Janeček (dnes Peter Macejko) Ukončení výpočtu (Termination Detection) Terminal configuration terminal state Termination implicit (message) x explicit (process)

Více

Distribuované algoritmy - přehled. Přednášky z Distribuovaných systémů Ing. Jiří Ledvina, CSc.

Distribuované algoritmy - přehled. Přednášky z Distribuovaných systémů Ing. Jiří Ledvina, CSc. Distribuované algoritmy - přehled Přednášky z Distribuovaných systémů Ing. Jiří Ledvina, CSc. Distribuované vzájemné vyloučení Základní rozdělení Centralizované metody (sequencer) Decentralizované metody

Více

Distribuované systémy poznámky k přednášce (založeno na Tel G., Introduction to distributed algorithms.)

Distribuované systémy poznámky k přednášce (založeno na Tel G., Introduction to distributed algorithms.) Distribuované systémy poznámky k přednášce (založeno na Tel G., Introduction to distributed algorithms.) KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI Distribuovaný systém Neformálně Množina procesů,

Více

Distribuované algoritmy

Distribuované algoritmy SU Media: Student Středník ČWUT AVC SH Akropolis ikariéra Distribuované algoritmy z ČWUT Obsah 1 Asymetrické a symetrické algoritmy, metody interakce procesů 2 Kauzalita v distribuovaném

Více

Test prvočíselnosti. Úkol: otestovat dané číslo N, zda je prvočíslem

Test prvočíselnosti. Úkol: otestovat dané číslo N, zda je prvočíslem Test prvočíselnosti Úkol: otestovat dané číslo N, zda je prvočíslem 1. zkusit všechny dělitele od 2 do N-1 časová složitost O(N) cca N testů 2. stačí zkoušet všechny dělitele od 2 do N/2 (větší dělitel

Více

Knihovna EpsnetLib TXV 003 73.01 první vydání září 2012 změny vyhrazeny

Knihovna EpsnetLib TXV 003 73.01 první vydání září 2012 změny vyhrazeny Knihovna EpsnetLib TXV 003 73.01 první vydání září 2012 změny vyhrazeny 1 TXV 003 73.01 Historie změn Datum Vydání Popis změn Září 2012 1 První vydání, popis odpovídá EpsnetLib_v11 OBSAH 1 Úvod...3 2 Datové

Více

Distribuované systémy a výpočty

Distribuované systémy a výpočty Distribuované systémy a výpočty X36DSV Jan Janeček (dnes Peter Macejko) P2P Distribuce dat Požadavky Řešení decentralizace škálovatelnost rovnoměrné rozložení dat a zátěže rychlé vyhledávání a výběr dynamická

Více

Souhrn Apendixu A doporučení VHDL

Souhrn Apendixu A doporučení VHDL Fakulta elektrotechniky a informatiky Univerzita Pardubice Souhrn Apendixu A doporučení VHDL Práce ke zkoušce z předmětu Programovatelné logické obvody Jméno: Jiří Paar Datum: 17. 2. 2010 Poznámka k jazyku

Více

Dynamic programming. Optimal binary search tree

Dynamic programming. Optimal binary search tree The complexity of different algorithms varies: O(n), Ω(n ), Θ(n log (n)), Dynamic programming Optimal binary search tree Různé algoritmy mají různou složitost: O(n), Ω(n ), Θ(n log (n)), The complexity

Více

ALG 04. Zásobník Fronta Operace Enqueue, Dequeue, Front, Empty... Cyklická implementace fronty. Průchod stromem do šířky

ALG 04. Zásobník Fronta Operace Enqueue, Dequeue, Front, Empty... Cyklická implementace fronty. Průchod stromem do šířky LG 04 Zásobník Fronta Operace nqueue, equeue, Front, mpty... yklická implementace fronty Průchod stromem do šířky Grafy průchod grafem do šířky průchod grafem do hloubky Ořezávání a heuristiky 1 Zásobník

Více

Základy programování Proměnné Procedury, funkce, události Operátory a podmínková logika Objekt Range a Cells, odkazy Vlastnosti, metody a události

Základy programování Proměnné Procedury, funkce, události Operátory a podmínková logika Objekt Range a Cells, odkazy Vlastnosti, metody a události Petr Blaha Základy programování Proměnné Procedury, funkce, události Operátory a podmínková logika Objekt Range a Cells, odkazy Vlastnosti, metody a události Cykly Základní funkce (matematické, textové,

Více

Chapter 7: Process Synchronization

Chapter 7: Process Synchronization Chapter 7: Process Synchronization Background The Critical-Section Problem Synchronization Hardware Semaphores Classical Problems of Synchronization Critical Regions Monitors Synchronization in Solaris

Více

Příklad aplikace Klient/Server s Boss/Worker modelem (informativní)

Příklad aplikace Klient/Server s Boss/Worker modelem (informativní) Příklad aplikace Klient/Server s Boss/Worker modelem (informativní) Jan Faigl Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze A0B36PR2 Programování 2 Jan Faigl, 2015 A0B36PR2

Více

Vzájemné vyloučení procesů

Vzájemné vyloučení procesů PDV 10 2017/2018 Vzájemné vyloučení procesů Michal Jakob michal.jakob@fel.cvut.cz Centrum umělé inteligence, katedra počítačů, FEL ČVUT Příklad Bankovní server v cloudu. Dva zákaznici současně vloží 10

Více

Synchronizace. Přednášky z distribuovaných systémů Ing. Jiří Ledvina, CSc.

Synchronizace. Přednášky z distribuovaných systémů Ing. Jiří Ledvina, CSc. Synchronizace Přednášky z distribuovaných systémů Ing. Jiří Ledvina, CSc. Synchronizace hodin Pokud má každý počítač vlastní hodiny, pak jakékoliv události, která se objeví po jiné události, může být přidělen

Více

PES lib (C + PASCAL) KNIHOVNY KOMUNIKAÈNÍCH FUNKCÍ 03/2000. 1 PESlib KOMUNIKAČNÍ KNIHOVNY C, PASCAL 03/2000 13 stran 1

PES lib (C + PASCAL) KNIHOVNY KOMUNIKAÈNÍCH FUNKCÍ 03/2000. 1 PESlib KOMUNIKAČNÍ KNIHOVNY C, PASCAL 03/2000 13 stran 1 PES lib (C + PASCAL) KNIHOVNY KOMUNIKAÈNÍCH FUNKCÍ 03/2000 1 PESlib KOMUNIKAČNÍ KNIHOVNY C, PASCAL 03/2000 13 stran 1 PESlib Popis knihoven PASCAL a C 03.2000 2. verze dokumentu Zmìny a doplòky proti 1.

Více

ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK)

ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK) ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK) Strom / tree uzel, vrchol / node, vertex hrana / edge vnitřní uzel

Více

Cvičení 9 - Monitory. monitor m; var proměnné... procedure p; begin... end; begin inicializace; end;

Cvičení 9 - Monitory. monitor m; var proměnné... procedure p; begin... end; begin inicializace; end; Cvičení 9 - Monitory na rozdíl od semaforů je monitor jazyková konstrukce monitor = Pascalský blok podobný proceduře nebo fci uvnitř monitoru jsou definovány proměnné, procedury a fce proměnné monitoru

Více

Pascal. Katedra aplikované kybernetiky. Ing. Miroslav Vavroušek. Verze 7

Pascal. Katedra aplikované kybernetiky. Ing. Miroslav Vavroušek. Verze 7 Pascal Katedra aplikované kybernetiky Ing. Miroslav Vavroušek Verze 7 Proměnné Proměnná uchovává nějakou informaci potřebnou pro práci programu. Má ve svém oboru platnosti unikátní jméno. (Připadne, musí

Více

Příklady popisu základních obvodů ve VHDL

Příklady popisu základních obvodů ve VHDL Příklady popisu základních obvodů ve VHDL INP - cvičení 2 Michal Bidlo, 2008 bidlom@fit.vutbr.cz entity Circuit is port ( -- rozhraní obvodu ); end Circuit; Proces architecture Behavioral of Circuit is

Více

Michal Krátký. Úvod do programovacích jazyků (Java), 2006/2007

Michal Krátký. Úvod do programovacích jazyků (Java), 2006/2007 Úvod do programovacích jazyků (Java) Michal Krátký Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2006/2007 c 2006 Michal Krátký Úvod do programovacích jazyků

Více

V praxi je běžné, že se ovlivňuje více prvků navzájem. Tady už si s jednou globální proměnnou nevystačíme.

V praxi je běžné, že se ovlivňuje více prvků navzájem. Tady už si s jednou globální proměnnou nevystačíme. Provázané TextBoxy na formuláři potřebujeme v případě, kdy například mají sloužit jako převodník mezi fyzikálními jednotkami (tlak, GPS souřadnice, ). Pokud je vazba jednosměrná, stačí v události Change

Více

IB109 Návrh a implementace paralelních systémů. Kolektivní komunikační primitava. RNDr. Jiří Barnat, Ph.D.

IB109 Návrh a implementace paralelních systémů. Kolektivní komunikační primitava. RNDr. Jiří Barnat, Ph.D. IB109 Návrh a implementace paralelních systémů Kolektivní komunikační primitava RNDr. Jiří Barnat, Ph.D. Kvantitativní parametry komunikace B109 Návrh a implementace paralelních systémů: Kolektivní komunikační

Více

Operační systémy. Přednáška 5: Komunikace mezi procesy

Operační systémy. Přednáška 5: Komunikace mezi procesy Operační systémy Přednáška 5: Komunikace mezi procesy 1 Semafory Datový typ semafor obsahuje čítač a frontu čekajících procesů. Nabízí tři základní operace: Init(): Čítač se nastaví na zadané číslo (většinou

Více

PODMÍNKY POSKYTOVÁNÍ PŘÍSTUPU K PORTÁLU NAMĚŘENÝCH DAT POMOCÍ WEBOVÝCH SLUŽEB SPOLEČNOSTI ČEZ DISTRIBUCE, A. S.

PODMÍNKY POSKYTOVÁNÍ PŘÍSTUPU K PORTÁLU NAMĚŘENÝCH DAT POMOCÍ WEBOVÝCH SLUŽEB SPOLEČNOSTI ČEZ DISTRIBUCE, A. S. PODMÍNKY POSKYTOVÁNÍ PŘÍSTUPU K PORTÁLU NAMĚŘENÝCH DAT POMOCÍ WEBOVÝCH SLUŽEB SPOLEČNOSTI ČEZ DISTRIBUCE, A. S. 1 ÚVOD... 5 2 POPIS VÝMĚNY DAT... 6 2.1 KOMUNIKAČNÍ SCÉNÁŘE... 6 2.2 TECHNOLOGIE KOMUNIKACE...

Více

Jazyk VHDL konstanty, signály a proměnné. Jazyk VHDL paralelní a sekvenční doména. Kurz A0B38FPGA Aplikace hradlových polí

Jazyk VHDL konstanty, signály a proměnné. Jazyk VHDL paralelní a sekvenční doména. Kurz A0B38FPGA Aplikace hradlových polí ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Fakulta elektrotechnická Ing. Radek Sedláček, Ph.D., katedra měření K13138 Jazyk VHDL konstanty, signály a proměnné Jazyk VHDL paralelní a sekvenční doména Kurz A0B38FPGA

Více

Skripty základy VB, vestavěné objekty, příklady

Skripty základy VB, vestavěné objekty, příklady Skripty základy VB, vestavěné objekty, příklady Tento dokument popisuje základy VB, vestavěné objekty, jejich metody a vlastnosti. Na závěr jsou uvedeny typické příklady použití. Stav ke dni: 9.12.2006

Více

Webové služby pro. CenovaMapa.cz

Webové služby pro. CenovaMapa.cz OctopusPro s.r.o. Webové služby pro CenovaMapa.cz Verze: 1.21 Datum vytvoření: 21.10. 2015 Datum poslední aktualizace: 7.7. 2016 Copyright OctopusPro s.r.o, Praha, 2012-2017 S t r á n k a 2 Obsah: 1 ÚVOD...

Více

Local Interconnect Network - LIN

Local Interconnect Network - LIN J. Novák Czech Technical University in Prague Faculty of Electrical Engineering Dept. Of Measurement Distributed Systems in Vehicles CAN LIN MOST K-line Ethernet FlexRay Základní charakteristiky nízká

Více

1. Nejkratší cesta v grafu

1. Nejkratší cesta v grafu 08. Nekratší cesty. Úloha obchodního cestuícího. Heurstky a aproxmační algortmy. Metoda dynamckého programování. Problém batohu. Pseudopolynomální algortmy 1. Nekratší cesta v grafu - sled e lbovolná posloupnost

Více

Programovací jazyk Pascal

Programovací jazyk Pascal Programovací jazyk Pascal Syntaktická pravidla (syntaxe jazyka) přesná pravidla pro zápis příkazů Sémantická pravidla (sémantika jazyka) pravidla, která každému příkazu přiřadí přesný význam Všechny konstrukce

Více

Komunikace systémů pomocí. 10. 11. 2011 Hradec Králové

Komunikace systémů pomocí. 10. 11. 2011 Hradec Králové Komunikace systémů pomocí zasílání zpráv Petr Steckovič 10. 11. 2011 Hradec Králové 1 Komunikace Synchronní / Asynchronní Jednosměrná / Obousměrná Přímá / Zprostředkovaná Nejobvyklejší typ komunikace:

Více

Distribuované systémy a výpočty

Distribuované systémy a výpočty Distribuované systémy a výpočty X36DSV Jan Janeček Peter Macejko CORBA Common Object Request Broker Architecture - konsorcium OMG (Object Management Group) - standard pro podporu komunikace v DS - pouze

Více

Projekt k předmětu Směrované a přepínané sítě. Ověření kompatibility implementací OSPF na Cisco IOS a Linuxu - různé typy oblastí

Projekt k předmětu Směrované a přepínané sítě. Ověření kompatibility implementací OSPF na Cisco IOS a Linuxu - různé typy oblastí Projekt k předmětu Směrované a přepínané sítě Ověření kompatibility implementací OSPF na Cisco IOS a Linuxu - různé typy oblastí Zpracoval: Bogdan Siderek, Jan Štulík dne 18.6.2006 1. Zadání projektu Ověřte

Více

Klasifikace a predikce. Roman LUKÁŠ

Klasifikace a predikce. Roman LUKÁŠ 1/28 Klasfkace a predkce Roman LUKÁŠ 2/28 Základní pomy Klasfkace = zařazení daného obektu do sté skupny na základě eho vlastností Dvě fáze klasfkace: I. Na základě trénovacích vzorů (u nchž víme, do aké

Více

Koncept pokročilého návrhu ve VHDL. INP - cvičení 2

Koncept pokročilého návrhu ve VHDL. INP - cvičení 2 Koncept pokročilého návrhu ve VHDL INP - cvičení 2 architecture behv of Cnt is process (CLK,RST,CE) variable value: std_logic_vector(3 downto 0 if (RST = '1') then value := (others => '0' elsif (CLK'event

Více

V kompletním grafu nenastává problém. Každý uzel je soused se zbytkem vrcholů a může s nimi kdykoliv komunikovat.

V kompletním grafu nenastává problém. Každý uzel je soused se zbytkem vrcholů a může s nimi kdykoliv komunikovat. 1 SMĚROVÁNÍ (ROUTING) V kompletním grafu nenastává problém. Každý uzel je soused se zbytkem vrcholů a může s nimi kdykoliv komunikovat. Problém nastává u ostatních grafů: Kritéria dobrého směrování: a)

Více

Logické obvody - sekvenční Formy popisu, konečný automat Příklady návrhu

Logické obvody - sekvenční Formy popisu, konečný automat Příklady návrhu MIKROPROCEORY PRO VÝKONOVÉ YTÉMY MIKROPROCEORY PRO VÝKONOVÉ YTÉMY Logcké obvody - sekvenční Formy popsu, konečný automat Příklady návrhu České vysoké učení techncké Fakulta elektrotechncká AB4MI Mkroprocesory

Více

Čipové karty Lekařská informatika

Čipové karty Lekařská informatika Čipové karty Lekařská informatika Následující kód je jednoduchou aplikací pro čipové karty, která po překladu vytváří prostor na kartě, nad kterým jsou prováděny jednotlivé operace a do kterého jsou ukládány

Více

Logické obvody - sekvenční Formy popisu, konečný automat Příklady návrhu

Logické obvody - sekvenční Formy popisu, konečný automat Příklady návrhu MIKROPROCEORY PRO VÝKONOVÉ YTÉMY MIKROPROCEORY PRO VÝKONOVÉ YTÉMY Logcké obvody - sekvenční Formy popsu, konečný automat Příklady návrhu České vysoké učení techncké Fakulta elektrotechncká AB4MI Mkroprocesory

Více

1 PRVOCISLA: KRATKY UKAZKOVY PRIKLAD NA DEMONSTRACI BALIKU WEB 1

1 PRVOCISLA: KRATKY UKAZKOVY PRIKLAD NA DEMONSTRACI BALIKU WEB 1 1 PRVOCISLA: KRATKY UKAZKOVY PRIKLAD NA DEMONSTRACI BALIKU WEB 1 1. Prvocisla: Kratky ukazkovy priklad na demonstraci baliku WEB. Nasledujici program slouzi pouze jako ukazka nekterych moznosti a sluzeb,

Více

Time-Stamp. protokol

Time-Stamp. protokol Časová razítka Time-Stamp protokol K čemu slouží časová razítka Prokázání existence dat v daném časovém okamžiku Podpis byl vytvořen v intervalu platnosti odpovídajícího certifikátu Transakce proběhla

Více

1 III. FOUKÁ ZE STRNIŠŤ - LISTOPAD...

1 III. FOUKÁ ZE STRNIŠŤ - LISTOPAD... Obsah Obsah... 1 III. FOUKÁ ZE STRNIŠŤ - LISTOPAD... 2 3. LISTOPADU "FOUKÁ ZE STRNIŠŤ"... 3 - VOLNĚ ŽIJÍCÍ ZVÍŘÁTKA... 3 A) Básnička s pohybem - ČJ - Liška... 3 B) Aktivita - Liška... 3 C) Tvorba s dětmi

Více

Logické obvody Kombinační a sekvenční stavební bloky

Logické obvody Kombinační a sekvenční stavební bloky MIKROPROCESORY PRO VÝKONOVÉ SYSTÉMY MIKROPROCESORY PRO VÝKONOVÉ SYSTÉMY Část důležtá něco jen pro zájemce (Označeno???) Logcké obvody Kombnační a sekvenční stavební bloky České vysoké učení techncké Fakulta

Více

Postup objednávky Microsoft Action Pack Subscription

Postup objednávky Microsoft Action Pack Subscription Postup objednávky Microsoft Action Pack Subscription DŮLEŽITÉ: Pro objednání MAPS musíte být členem Microsoft Partner Programu na úrovni Registered Member. Postup registrace do Partnerského programu naleznete

Více

Synchronizace Mgr. Josef Horálek

Synchronizace Mgr. Josef Horálek Synchronizace Mgr. Josef Horálek Synchronizace procesu = Kooperující proces je proces, který může ovlivnit nebo být ovlivněn jiným procesem právě spuštěným v systému = Spolupracující procesy mohou sdílet:

Více

Interpret jazyka IFJ2011

Interpret jazyka IFJ2011 Dokumentace projektu Interpret jazyka IFJ2011 Tým číslo 093, varianta b/3/i: 20 % bodů: Cupák Michal (xcupak04) vedoucí týmu 20 % bodů: Číž Miloslav (xcizmi00) 20 % bodů: Černá Tereza (xcerna01) 20 % bodů:

Více

UPM3 Hybrid Návod na ovládání Čerpadlo UPM3 Hybrid 2-5 Instruction Manual UPM3 Hybrid Circulation Pump 6-9

UPM3 Hybrid Návod na ovládání Čerpadlo UPM3 Hybrid 2-5 Instruction Manual UPM3 Hybrid Circulation Pump 6-9 www.regulus.cz UPM3 Hybrid Návod na ovládání Čerpadlo UPM3 Hybrid 2-5 Instruction Manual UPM3 Hybrid Circulation Pump 6-9 CZ EN UPM3 Hybrid 1. Úvod V továrním nastavení čerpadla UPM3 Hybrid je profil PWM

Více

prohled av an ı graf u Karel Hor ak, Petr Ryˇsav y 16. bˇrezna 2016 Katedra poˇ c ıtaˇ c u, FEL, ˇ CVUT

prohled av an ı graf u Karel Hor ak, Petr Ryˇsav y 16. bˇrezna 2016 Katedra poˇ c ıtaˇ c u, FEL, ˇ CVUT prohledávání grafů Karel Horák, Petr Ryšavý 16. března 2016 Katedra počítačů, FEL, ČVUT Příklad 1 Nad frontou (queue) byly provedeny následující operace: push(1) push(2) print(poll()) print(peek()) print(peek())

Více

Spojová implementace lineárních datových struktur

Spojová implementace lineárních datových struktur Spojová implementace lineárních datových struktur doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava Prezentace ke dni 13. března 2017 Jiří Dvorský (VŠB

Více

Abstraktní datové typy FRONTA

Abstraktní datové typy FRONTA Abstraktní datové typy FRONTA Fronta je lineární datová struktura tzn., že ke každému prvku s výjimkou posledního náleží jeden následník a ke každému prvku s výjimkou prvního náleží jeden předchůdce. Do

Více

Í ž š Ě Í š Ď Ť Í Ó ú ž š Ť š ž ž Ť Ť ž ž Ď Ď š š š š Ť ž ž š ž ň ž Ť š Ť ž š š š Ť ž ž ň š ž ž ž š ž ú ň š Ť Ť Ť Ť ž Í Ť ž ň ž š Ť Ť š š ž ň ž ň Ť ž š ž ž ž ž Ť Ť Í ž Š Í Í Ě Í Ř É É Í Ě ž ž ň š Ž ž ž

Více

Seminář z IVT Algoritmizace. Slovanské gymnázium Olomouc Tomáš Kühr

Seminář z IVT Algoritmizace. Slovanské gymnázium Olomouc Tomáš Kühr Seminář z IVT Algoritmizace Slovanské gymnázium Olomouc Tomáš Kühr Algoritmizace - o čem to je? Zatím jsme se zabývali především tím, jak určitý postup zapsat v konkrétním programovacím jazyce (např. C#)

Více

Počítačová simulace logistických procesů I. 11. přednáška Programování v SimTalk. ŠAVŠ, Fábry

Počítačová simulace logistických procesů I. 11. přednáška Programování v SimTalk. ŠAVŠ, Fábry Počítačová simulace logistických procesů I. ŠAVŠ, Fábry 29.4.2019 Cíl přednášky Seznámit s možnostmi práce v cyklech a tabulkami. 2 Struktura přednášky Podmíněné příkazy s INSPECT. Příkazy s opakujícím

Více

Webové služby. služby OctopusPro

Webové služby. služby OctopusPro OctopusPro s.r.o. Webové služby pro služby OctopusPro 1 CENOVÉ MAPY Verze: 1.0 Datum vytvoření: 21.10.2015 Datum poslední aktualizace: 21.10.2015 Copyright OctopusPro s.r.o, Praha, 2012-2015 S t r á n

Více

Operační systémy. Přednáška 4: Komunikace mezi procesy

Operační systémy. Přednáška 4: Komunikace mezi procesy Operační systémy Přednáška 4: Komunikace mezi procesy 1 Časově závislé chyby Dva nebo několik procesů používá (čte/zapisuje) společné sdílené prostředky (např. sdílená paměť, sdílení proměnné, sdílené

Více

IV113 Validace a verifikace. Převod LTL formule na Büchi automat. Jiří Barnat

IV113 Validace a verifikace. Převod LTL formule na Büchi automat. Jiří Barnat IV113 Validace a verifikace Převod LTL formule na Büchi automat Jiří Barnat Připomenutí IV113 úvod do validace a verifikace: LTL BA str. 2/26 Problém Kripkeho struktura M LTL formule ϕ M = ϕ? Řešení pomocí

Více

Fronta (Queue) Úvod do programování. Fronta implementace. Fronta implementace pomocí pole 1/4. Fronta implementace pomocí pole 3/4

Fronta (Queue) Úvod do programování. Fronta implementace. Fronta implementace pomocí pole 1/4. Fronta implementace pomocí pole 3/4 Fronta (Queue) Úvod do programování Michal Krátký 1,Jiří Dvorský 1 1 Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programování, 2004/2005 Fronta uplatňuje mechanismus přístupu FIFO first

Více

1. Maple - verze. 2. Maple - prostredi. Document Mode vs. Worksheet Mode

1. Maple - verze. 2. Maple - prostredi. Document Mode vs. Worksheet Mode 1. Maple - verze - Maple 18: Standard Worksheet (.mw) - Classic Worksheet Maple 18 (.mws) - starsi pocitace, mene pameti - Command-line Maple 18 - komplexni vypocty - a jine (kalkulacka, vlastni aplikace

Více

É Š Í Ž Í Ž É š š Ť Ž ž Ťš š š ž š Ď ž Č Ť ž Ů Í Ž ř š ď Č š š ž Ť š Ó Ž š Ťš Ť š š š Ť ž Ť š š Ť š š š ž Ťž š š ž š Ť Ť š ž ť š š ž š š Ť Ť Ť š Š Ť š Ď š Ť š š Ž š Ť ž Ť š Ť Ť š ž Ť Č š ž Č Ď š Ť Ž Ť

Více

Homer. prvky. délka. přední 0 zadní 4. Použití fronty BUS STOP. 3 Lisa. 2 Bart. 4 Maggie. 1 Marge. Grafické znázornění předchozí animace:

Homer. prvky. délka. přední 0 zadní 4. Použití fronty BUS STOP. 3 Lisa. 2 Bart. 4 Maggie. 1 Marge. Grafické znázornění předchozí animace: Fronta Fronta je sekvence first-in-first-out (první do fronty první z fronty) prvků. Prvky mohou být vkládány pouze nakonec (rear) fronty a odstraňovány pouze zpočátku (front) fronty Délka fronty je počet

Více

Struktura a architektura počítačů

Struktura a architektura počítačů Struktura a archtektura počítačů Logcké obvody - sekvenční Formy popsu, konečný automat Příklady návrhu České vysoké učení techncké Fakulta elektrotechncká Ver..2 J. Zděnek 24 Logcký sekvenční obvod Logcký

Více

Inovace a zkvalitnění výuky prostřednictvím ICT Základy programování a algoritmizace úloh. Ing. Hodál Jaroslav, Ph.D. VY_32_INOVACE_25 09

Inovace a zkvalitnění výuky prostřednictvím ICT Základy programování a algoritmizace úloh. Ing. Hodál Jaroslav, Ph.D. VY_32_INOVACE_25 09 Střední průmyslová škola a Vyšší odborná škola technická Brno, Sokolská 1 Šablona: Název: Téma: Inovace a zkvalitnění výuky prostřednictvím ICT Základy programování a algoritmizace úloh Operátory Autor:

Více

Digitální obvody. Doc. Ing. Lukáš Fujcik, Ph.D.

Digitální obvody. Doc. Ing. Lukáš Fujcik, Ph.D. Digitální obvody Doc. Ing. Lukáš Fujcik, Ph.D. Realizace kombinačních logických funkcí Realizace kombinační logické funkce = sestavení zapojení obvodu, který ze vstupních proměnných vytvoří výstupní proměnné

Více

Paralelní programování

Paralelní programování Paralelní programování přednášky Jan Outrata únor duben 2011 Jan Outrata (KI UP) Paralelní programování únor duben 2011 1 / 17 Monitor Semafor vedle aktivní (čekací smyčka, busy-wait) i pasivní implementace

Více

MS ACCESS A MS WORD V KAŽDODENNÍ PRAXI

MS ACCESS A MS WORD V KAŽDODENNÍ PRAXI MS ACCESS A MS WORD V KAŽDODENNÍ PRAXI Martin Fussek VL Servis s.r.o., Ruská 24/83, 706 02 Ostrava Vítkovice, fussek@lahvarna.cz Abstrakt Příspěvek volně navazuje na můj příspěvek na TS 1999, přičemž nyní

Více

Basic256 - úvod do programování Příklady. ing. petr polách

Basic256 - úvod do programování Příklady. ing. petr polách Basic256 - úvod do programování Příklady ing. petr polách 1 Basic 256 input, print Př.: Vytvořte program pro součet dvou čísel: input "Zadej a: ", a input "Zadej b: ", b print a+b input "Zadej a: ", a

Více

Aktualizace GOM Softwaru pomocí GOM Maintenance Tool

Aktualizace GOM Softwaru pomocí GOM Maintenance Tool Aktualizace GOM Softwaru pomocí GOM Maintenance Tool Spuštění GOM Maintenance Tool Pokud možnost Run GOM Maintenance Tool on startup nebyla během instalace softwaru deaktivována, GOM Maintenance Tool se

Více

Knihovna GalaxyLib TXV 003 74.01 druhé vydání srpen 2012 změny vyhrazeny

Knihovna GalaxyLib TXV 003 74.01 druhé vydání srpen 2012 změny vyhrazeny Knihovna GalaxyLib TXV 003 74.01 druhé vydání srpen 2012 změny vyhrazeny 1 TXV 003 74.01 Historie změn Datum Vydání Popis změn červenec 2012 1 První vydání, popis odpovídá GalaxyLib_v11 Srpen 2012 2 Doplněna

Více

Heuristické řešení problémů. Seminář APS Tomáš Müller 6. 7. 2002

Heuristické řešení problémů. Seminář APS Tomáš Müller 6. 7. 2002 Heuristické řešení problémů Seminář APS Tomáš Müller 6. 7. 00 Heuristické řešení problémů Popis několika základních metod lokální prohledávání branch and bound simulated annealing, TABU evoluční algoritmy

Více

PRAVIDLA ZPRACOVÁNÍ STANDARDNÍCH ELEKTRONICKÝCH ZAHRANIČNÍCH PLATEBNÍCH PŘÍKAZŮ STANDARD ELECTRONIC FOREIGN PAYMENT ORDERS PROCESSING RULES

PRAVIDLA ZPRACOVÁNÍ STANDARDNÍCH ELEKTRONICKÝCH ZAHRANIČNÍCH PLATEBNÍCH PŘÍKAZŮ STANDARD ELECTRONIC FOREIGN PAYMENT ORDERS PROCESSING RULES PRAVIDLA ZPRACOVÁNÍ STANDARDNÍCH ELEKTRONICKÝCH ZAHRANIČNÍCH PLATEBNÍCH PŘÍKAZŮ STANDARD ELECTRONIC FOREIGN PAYMENT ORDERS PROCESSING RULES Použité pojmy Platební systém Elektronický platební příkaz Účetní

Více

SQL injection jak ji možná neznáte Roman Kümmel

SQL injection jak ji možná neznáte Roman Kümmel SQL injection jak ji možná neznáte Roman Kümmel r.kummel@hacker-consulting.cz Výskyt První zmínky o SQL injekci pochází z roku 1998 Ani po ti letech není situace uspokojivá Zranitelností SQL injection

Více

POPIS STANDARDU. Norma název (cz):dopravní a cestovní informace (TTI) TTI zprávy pomocí celulárních sítí Část 6: Vnější služby (ISO/DTR :2000)

POPIS STANDARDU. Norma název (cz):dopravní a cestovní informace (TTI) TTI zprávy pomocí celulárních sítí Část 6: Vnější služby (ISO/DTR :2000) ENV 14821-6 - TTI TTI zprávy pomocí mobilních sítí Část 5: Vnitřní služby POPIS STANDARDU CEN TC278/WG4 Oblast: TTI Zkrácený název: Zprávy přes CN 6 Norma číslo: prenv ISO 14821-6 Norma název (en): Traffic

Více

Knihovny pro programování PLC Tecomat podle IEC 61 131-3

Knihovny pro programování PLC Tecomat podle IEC 61 131-3 Knihovny pro programování PLC Tecomat podle IEC 61 131-3 TXV 003 22.01 osmé vydání březen 2006 změny vyhrazeny 1 TXV 003 22.01 Historie změn Datum Vydání Popis změn Srpen 2004 až únor 2006 Březen 2006

Více

Abstraktní datové typy

Abstraktní datové typy Karel Müller, Josef Vogel (ČVUT FIT) Abstraktní datové typy BI-PA2, 2011, Přednáška 10 1/27 Abstraktní datové typy Ing. Josef Vogel, CSc Katedra softwarového inženýrství Katedra teoretické informatiky,

Více

DSA, První krok: máme dokázat, že pro left = right vrátí volání f(array, elem, left, right)

DSA, První krok: máme dokázat, že pro left = right vrátí volání f(array, elem, left, right) Indukcí dokažte následující výrok: pokud lef t a right jsou parametry funkce f a platí left right, pak volání f(array, left, right) vrátí minimální hodnotu z hodnot všech prvků v poli array na indexech

Více

Distribuované systémy a výpočty

Distribuované systémy a výpočty Distribuované systémy a výpočty X36DSV Jan Janeček XML-RPC jednoduchá definice www.xmlrpc.com implementace obvykle opřené o XML parser X36DSV - Distribuované systémy a výpočty (3) 2 XML-RPC jednoduché

Více

NEPSI Online vykazovací systém Návod Úroveň společností

NEPSI Online vykazovací systém Návod Úroveň společností NEPSI Online vykazovací systém Návod Úroveň společností 1.Obdržíte dva emaily z: - Svazu/Asociace - NEBO z Mateřské společnosti Jeden z nich obsahuje odkaz na systém online vykazování Druhý obsahuje kód

Více

VY_32_INOVACE_5 Anglický jazyk Vypracovala: Mgr. Marcela Minaříková Test 5-3 Opakování Theme 2 Birthday Vznik: listopad 2013 Číslo projektu:

VY_32_INOVACE_5 Anglický jazyk Vypracovala: Mgr. Marcela Minaříková Test 5-3 Opakování Theme 2 Birthday Vznik: listopad 2013 Číslo projektu: VY_32_INOVACE_5 Anglický jazyk Vypracovala: Mgr. Marcela Minaříková Téma: 5. 46 Test 5-3 Opakování Theme 2 Birthday Vznik: listopad 2013 Číslo projektu: CZ.1.07/1.4.00/21.2787 ANOTACE: test pro ověření

Více

NAS 269 Seznámení s Mail Serverem A S U S T O R C O L L E G E

NAS 269 Seznámení s Mail Serverem A S U S T O R C O L L E G E NAS 269 Seznámení s Mail Serverem Nastavení Mail Serveru na ASUSTOR NAS A S U S T O R C O L L E G E CÍLE KURZU Po absolvování kurzu budete: 1. Posílat a přijímat email přes Mail Server na ASUSTOR NAS PŘEDPOKLADY

Více

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632

Více

KIV/PIA 2013 Jan Tichava

KIV/PIA 2013 Jan Tichava KIV/PIA 2013 Jan Tichava Java EE JSF, PrimeFaces Spring JPA, EclipseLink Java Platform, Enterprise Edition Persistence Zobrazovací vrstva Interakce aplikací Deployment Java Persistence API Enterprise

Více

Jazyk VHDL zápis čísel, znaků a řetězců. Jazyk VHDL základní datové typy a operátory. Kurz A0B38FPGA Aplikace hradlových polí

Jazyk VHDL zápis čísel, znaků a řetězců. Jazyk VHDL základní datové typy a operátory. Kurz A0B38FPGA Aplikace hradlových polí ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Fakulta elektrotechnická Ing. Radek Sedláček, Ph.D., katedra měření K13138 Jazyk VHDL zápis čísel, znaků a řetězců Jazyk VHDL základní datové typy a operátory Kurz

Více

NPRG030 Programování I, 2017/18 1 / :22:16

NPRG030 Programování I, 2017/18 1 / :22:16 NPRG030 Programování I, 2017/18 1 / 26 20. 10. 2017 11:22:16 Ordinální typy standardní: integer, char, boolean Vlastnosti ordinálních typů: 1. hodnot je konečný počet a hodnoty jsou uspořádány 2. ke každé

Více

Čas a kauzalita v DS

Čas a kauzalita v DS PDV 09 2017/2018 Čas a kauzalita v DS Michal Jakob michal.jakob@fel.cvut.cz Centrum umělé inteligence, katedra počítačů, FEL ČVUT Příklad: Letecký rezervační systém 1. Server A obdrží klientský požadavek

Více

Dynamické datové struktury I.

Dynamické datové struktury I. Dynamické datové struktury I. Seznam. Fronta. Zásobník. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz

Více

ADT prioritní fronta. Haldy. Další operace nad haldou. Binární halda. Binomické stromy. Časová složitost jednotlivých operací.

ADT prioritní fronta. Haldy. Další operace nad haldou. Binární halda. Binomické stromy. Časová složitost jednotlivých operací. ADT prioritní fronta Haldy množina M operace Přidej(M,x) přidá prvek x do množiny M Odeber(M) odeber z množiny M prvek, který je na řadě Zásobník (LIFO), Fronta (FIFO) Prioritní fronta: Přidej(M,x) přidá

Více

Stromy. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol.

Stromy. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol. Stromy Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol., 2018, B6B36DSA 01/2018, Lekce 9 https://cw.fel.cvut.cz/wiki/courses/b6b36dsa/start

Více

Sada 1 - Základy programování

Sada 1 - Základy programování S třední škola stavební Jihlava Sada 1 - Základy programování 17. Řadící algoritmy Digitální učební materiál projektu: SŠS Jihlava šablony registrační číslo projektu:cz.1.09/1.5.00/34.0284 Šablona: III/2

Více

PRODEJNÍ EAUKCE A JEJICH ROSTOUCÍ SEX-APPEAL SELLING EAUCTIONS AND THEIR GROWING APPEAL

PRODEJNÍ EAUKCE A JEJICH ROSTOUCÍ SEX-APPEAL SELLING EAUCTIONS AND THEIR GROWING APPEAL PRODEJNÍ EAUKCE A JEJICH ROSTOUCÍ SEX-APPEAL SELLING EAUCTIONS AND THEIR GROWING APPEAL Ing. Jan HAVLÍK, MPA tajemník Městského úřadu Žďár nad Sázavou Chief Executive Municipality of Žďár nad Sázavou CO

Více

č č š č Ť š Ť Š ň Ť Ť š Ť Ť Ť Ž Ť Ť Ť š Ť Ť š Ť š ň Ť č Ž Ž č ťč Ž š Ť š Ť Ť š Ž ď Ť ť č Ů č ď ú č š č Ť š Ť ď Ť š Ž č š Č č Ž Ť Ž Ž Ť Ť č č Ť Ť č č Ó Ť Ť š š č Ť Ť š Ť Ž Ť Ž č Ť č Ť Ť Ť š š č Ť č č č

Více

Řízení pohybu stanice v simulačním prostředí OPNET Modeler podle mapového podkladu

Řízení pohybu stanice v simulačním prostředí OPNET Modeler podle mapového podkladu Rok / Year: Svazek / Volume: Číslo / Number: 2011 13 5 Řízení pohybu stanice v simulačním prostředí OPNET Modeler podle mapového podkladu Map-based mobility control system for wireless stations in OPNET

Více

Implementace LL(1) překladů

Implementace LL(1) překladů Překladače, přednáška č. 6 Ústav informatiky, FPF SU Opava sarka.vavreckova@fpf.slu.cz Poslední aktualizace: 30. října 2007 Postup Programujeme syntaktickou analýzu: 1 Navrhneme vhodnou LL(1) gramatiku

Více

Dynamické datové typy a struktury

Dynamické datové typy a struktury .. a Programovací techniky doc. Ing. Jiří Rybička Dr. ústav informatiky PEF MENDELU v Brně rybicka@mendelu.cz Programovací techniky a 2 / 18 Uchovávají adresu v paměti Programovací techniky a 2 / 18 Uchovávají

Více

Návštěvy. Jul 1, 2012 - Jul 31, 2012. www.businessinfo.cz. This report shows the number of visits to your web site during the selected period.

Návštěvy. Jul 1, 2012 - Jul 31, 2012. www.businessinfo.cz. This report shows the number of visits to your web site during the selected period. Návštěvy This report shows the number of visits to your web site during the selected period. Week Visits Visits % Week 26, Jun 25-Jul 01 2012 110 6.45% Week 27, Jul 02-Jul 08 2012 628 36.81% Week 28, Jul

Více

Svět kolem nás Understanding the Context

Svět kolem nás Understanding the Context Jabok Vyšší odborná škola sociálně pedagogická a teologická Svět kolem nás Understanding the Context 2 - SDGs The topics of our meetings What is the truth SDGs Environmental (Ecological Footprint, NIMBY,

Více

Knihovna TecoRouteLib

Knihovna TecoRouteLib Knihovna TecoRouteLib TXV 003 83.01 první vydání září 2013 změny vyhrazeny 1 TXV 003 83.01 Historie změn Datum Vydání Popis změn Září 2013 1 První vydání, popis odpovídá TecoRouteLib_v11 OBSAH 1 Úvod...3

Více