Moodle FEL ČVUT
Průmyslové informační systémy
B242 - Letní 2024/2025
Toto je tzv. shluknutý kurz. Skládá se z několika samostatných předmětů, které sdílejí výukové materiály, úkoly, testy apod. Níže si můžete zobrazit informace o jednotlivých předmětech tvořících tento shluk.
Průmyslové informační systémy - B3M33PIS
Hlavní kurz
| Kredity | 6 |
| Semestry | zimní |
| Zakončení | Zápočet a zkouška |
| Jazyk výuky | čeština |
| Rozsah výuky | 2P+2C |
Anotace
Cílem tohoto předmětu je poskytnout studentů základní sadu dovednosti, která je nutná pro návrh a správu moderních výrobních systémů. V první části kurzu se studenti seznámí s metodami modelování a simulování diskrétních výrobních systémů. Následně studenti získají vhled do možností datové analýzy pro optimalizaci provozu výrobních prostředků a do metod dolování procesů (angl. process mining). Závěrečná část kurzu se zabývá metodami datového a znalostního modelování, které jsou nutné pro explicitní zachycení a strojové využívání informací a znalostí o výrobě.
Cíle studia
Cílem předmětu je seznámit studenty s informačními systémy používanými v průmyslu, s principy tvorby datových modelů a s novými trendy přicházejícími do průmyslové praxe.
Osnovy přednášek
1. Modely systémů diskrétních událostí
2. Petriho sítě
3. Analýza Petriho sítí
4. Časované Petriho sítě
5. Výkonnostní modely
6. Softwarové nástroje pro modelování diskrétní výroby
7. Datová analýza výrobních systémů
8. Dolování procesů (Process mining)
9. Úvod do sémantiky
10. Ontologie
11. Jazyky OWL a SPARQL
12. Sémantické vyvozování
13. Deskripční logika
14. Rezerva
2. Petriho sítě
3. Analýza Petriho sítí
4. Časované Petriho sítě
5. Výkonnostní modely
6. Softwarové nástroje pro modelování diskrétní výroby
7. Datová analýza výrobních systémů
8. Dolování procesů (Process mining)
9. Úvod do sémantiky
10. Ontologie
11. Jazyky OWL a SPARQL
12. Sémantické vyvozování
13. Deskripční logika
14. Rezerva
Osnovy cvičení
1. Simulace výrobního procesu
2. Úloha #1
3. Sémantické webové technologie
4. Úloha #2 - semestrální projekt SWT
5. Systémy pro ontologickou shodu
6. Domácí úloha #1
7. Závěrečný test
2. Úloha #1
3. Sémantické webové technologie
4. Úloha #2 - semestrální projekt SWT
5. Systémy pro ontologickou shodu
6. Domácí úloha #1
7. Závěrečný test
Literatura
Cassandras, C.,G.; Lafortune, S. (2008): Introduction to Discrete Event Systems
F. Baader, The description logic handbook: theory, implementation, and applications, 2nd ed. Cambridge: Cambridge University Press, 2007
R. Brachman and H. J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004
F. Baader, The description logic handbook: theory, implementation, and applications, 2nd ed. Cambridge: Cambridge University Press, 2007
R. Brachman and H. J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004
Požadavky
Základní znalosti relačních DBMS, základní znalosti počítačových sítí
Industrial Information Systems - BE3M33PIS
| Kredity | 6 |
| Semestry | zimní |
| Zakončení | Zápočet a zkouška |
| Jazyk výuky | angličtina |
| Rozsah výuky | 2P+2C |
Anotace
Cílem tohoto předmětu je poskytnout studentů základní sadu dovednosti, která je nutná pro návrh a správu moderních výrobních systémů. V první části kurzu se studenti seznámí s metodami modelování a simulování diskrétních výrobních systémů. Následně studenti získají vhled do možností datové analýzy pro optimalizaci provozu výrobních prostředků a do metod dolování procesů (angl. process mining). Závěrečná část kurzu se zabývá metodami datového a znalostního modelování, které jsou nutné pro explicitní zachycení a strojové využívání informací a znalostí o výrobě.
Cíle studia
Cílem předmětu je seznámit studenty s informačními systémy používanými v průmyslu, s principy tvorby datových modelů a s novými trendy přicházejícími do průmyslové praxe.
Osnovy přednášek
1. Modely systémů diskrétních událostí
2. Petriho sítě
3. Analýza Petriho sítí
4. Časované Petriho sítě
5. Výkonnostní modely
6. Softwarové nástroje pro modelování diskrétní výroby
7. Datová analýza výrobních systémů
8. Dolování procesů (Process mining)
9. Úvod do sémantiky
10. Ontologie
11. Jazyky OWL a SPARQL
12. Sémantické vyvozování
13. Deskripční logika
14. Rezerva
2. Petriho sítě
3. Analýza Petriho sítí
4. Časované Petriho sítě
5. Výkonnostní modely
6. Softwarové nástroje pro modelování diskrétní výroby
7. Datová analýza výrobních systémů
8. Dolování procesů (Process mining)
9. Úvod do sémantiky
10. Ontologie
11. Jazyky OWL a SPARQL
12. Sémantické vyvozování
13. Deskripční logika
14. Rezerva
Osnovy cvičení
1. Simulace výrobního procesu
2. Úloha #1
3. Sémantické webové technologie
4. Úloha #2 - semestrální projekt SWT
5. Systémy pro ontologickou shodu
6. Domácí úloha #1
7. Závěrečný test
2. Úloha #1
3. Sémantické webové technologie
4. Úloha #2 - semestrální projekt SWT
5. Systémy pro ontologickou shodu
6. Domácí úloha #1
7. Závěrečný test
Literatura
Cassandras, C.,G.; Lafortune, S. (2008): Introduction to Discrete Event Systems
F. Baader, The description logic handbook: theory, implementation, and applications, 2nd ed. Cambridge: Cambridge University Press, 2007
R. Brachman and H. J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004
F. Baader, The description logic handbook: theory, implementation, and applications, 2nd ed. Cambridge: Cambridge University Press, 2007
R. Brachman and H. J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004
Požadavky
Základní znalosti relačních DBMS, základní znalosti počítačových sítí