35DRS | Distribuované řídicí systémy | Rozsah výuky: | 2+2 | ||
---|---|---|---|---|---|
Přednášející (garant): | Bayer J., Hanzálek Z. | Typ předmětu: | S | Zakončení: | Z,ZK |
Zodpovědná katedra: | 335 | Kreditů: | 4 | Semestr: | Z |
Anotace:
Předmět se zabývá návrhem a analýzou distribuovaných systémů pro průmyslové aplikace. Významná část je věnována průmyslovým komunikačním sítím. Teoretický základ a analýza systémů jsou rozpracovány na bázi Petriho sítí a opírají se o jejich struturální vlastnosti, barvené Petriho sítě a časované Petriho sítě. Několik komunikačních protokolů je modelováno, simulováno a analyzováno. Paralelní počítače a paralelní jazyky jsou stručně vysvětleny za účelem ilustrovat vyhodnocení složitosti paraleních algoritmů a globálních komunikací.
Osnovy přednášek:
1. | Distribuované řídicí systémy - motivace vzniku a členění. Architektura paralelních počítačů na bázi transputerů | |
2. | Programovací jazyk OCCAM | |
3. | Asynchronní komunikace, deadlock | |
4. | Topologie distribuovaných systémů. Výpočet časové náročnosti paralelních algoritmů | |
5. | Globální komunikace | |
6. | Průmyslové distribuované systémy | |
7. | Příklady průmyslových sítí | |
8. | Profibus | |
9. | CAN, CAL a Device Net | |
10. | P-Net a LonWorks | |
11. | Modelování distribuovaných řídicích systémů pomocí Petriho sítí | |
12. | Petriho sítě - vlastnosti a analýza distribuovaných systémů | |
13. | Petriho sítě - podtřídy, rozšířené a zkrácené sítě | |
14. | (Max,+) algebra |
Osnovy cvičení:
1. | OCCAM/C benchmark | |
2. | Interní komunikace | |
3. | Externí komunikace | |
4. | Deadlock | |
5. | Model manufaktury | |
6. | Petri Net editor | |
7. | Analýza Petriho sítě v MATLABu | |
8. | Síť CAN | |
9. | Síť LonWorks | |
10. | Síť ASI | |
11. | Profibus FMS | |
12. | Profibus DP | |
13. | Síť Pnet | |
14. | Síť FIP |
Literatura Č:
[1] | Bertsekas, D.P.: Parallel and Distributed Computation - Numerical Methods | |
[2] | David, R. et Alla, H.: Du Grafcet aux reseaux de Petri. Hermes, 1989 | |
[3] | Nevison, Ch. et al: Laboratories for Parallel Computing. Jones and Bartlett, 1994 | |
[4] | Baccelli, F.L., Cohen, G., Olsder, G.J., Quadrat, J.: Synchronization and Linearity. John Wiley and Sons |
Literatura A:
[1] | Bertsekas, D.P.: Parallel and Distributed Computation - Numerical Methods | |
[2] | David, R. et Alla, H.: Du Grafcet aux reseaux de Petri. Hermes, 1989 | |
[3] | Nevison, Ch. et al: Laboratories for Parallel Computing. Jones and Bartlett, 1994 | |
[4] | Baccelli, F.L., Cohen, G., Olsder, G.J., Quadrat, J.: Synchronization and Linearity. John Wiley and Sons |
Požadavky:
|
Předmět je zahrnut do těchto studijních plánů:
|
Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |