Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti 1 / 19
|
|
- Miluše Svobodová
- před 5 lety
- Počet zobrazení:
Transkript
1 Modelování a Analýza Systémů Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze 19. září 2010 Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti 1 / 19
2 Stefan Ratschan budova A, místnost (Consultation Hours!) Jindy: Ústav Informatiky Akademie Věd Pod Vodárenskou věží 2 Metro stanice Ládví První cvičení? 2 / 19
3 Pravidla hry Prosím přerušit! (aspoň v České republice) jsem blbé otázky ještě nezažil, ale hodně blbého mlčení! Přednáška vs. cvičení: Na přednášce se učíme novou látku, na cvičení ji cvičíme. Z toho plyne: Na cvičení nebudu vysvětlovat látku z přednášky ještě jednou. Kdo nechodí na přednášky, nebude rozumět tomu, co děláme na cvičení! 3 / 19
4 Hodnocení Pro výsledek zkoušky z a výsledek cvičení c, závěrečná známka= Z(0.6z + 0.4c), pokud z 0.5 a c 0.5, F, jinak, přičemž Z(x) = A, pokud 0.9 x, B, pokud 0.8 x < 0.9, C, pokud 0.7 x < 0.8, D, pokud 0.6 x < 0.7, E, pokud 0.5 x < 0.6, F, jinak. Průzkum pozadí 4 / 19
5 Zdroje Stránka předmětu: (viz. odkaz z Eduxu) Nebudu sledovat určitou učebnici. Na slajdách každé přednášky budu uvádět zdroje (v angličtině) Pokud navštěvujete přednášky, nebudete je potřebovat. Pokud nenávštěvujete přednášky, budete potřebovat další zdroje Slajdy budou obsahovat informace jen částečně, příklady, obrázky atd. budu kreslit na tabuli Pozor s wikipedíı! Velká část obsahu přednášky tam není. Pokud je, často obsahuje chyby, špatné vysvětlení atd. Wikipedie nemůže nahradit pochopení látky. 5 / 19
6 Systém, co to je? Kdo chce vznesenou definici s odkazy na řecké, latinské a čínské filosofy: at se podívá na jeho obĺıbenou encyklopedii. Pro nás: vlaky, letadla, roboty, atd. Tj.: složitá technická zařízení, jejichž důležitou součást tvoří software/digitální elektronika Jiné druhy systémů (dále nebudou tématem této přednášky, viz. MI-TES): Biologické systémy Sociální systémy... 6 / 19
7 Typické vlastnosti takových systémů Vysoce složité: Skupiny konstruktérů Obrovské: > 1000 v případě letadel Heterogenní: strojaři, softwaroví inženýři, řídicí technici, návrháři obvodů Bezpečnost často podstatná ( safety critical systems ) Reaktivní: nepřetržitá interakce s okoĺım Souběžné (concurrent): paralelní provoz různých funkcí Občas: změny struktury během provozu (např. počet vozů) Interakce fyzikálních a elektronických komponent ( cyber-physical system ) 7 / 19
8 Fyzikální vs. elektronické komponenty Čím dál tím víc úkolů přebírá elektronika (např, brake-by-wire, x-by-wire, x-by-wireless) Náklady na návrh elektroniky převyšují náklady na návrh fyzikálního systému 8 / 19
9 Regulační smyčka electronics sensor plant actuator A/D převodník 9 / 19
10 Jak projektovat takové systémy? Příklad: vlak Velice složitý: nejdřív rozložit na menší části Které? Pohon Skříň Signalizace Elektrika Klimatizace Světla Dveře Informační, komunikační a zábavní systémy Naklápěcí systém (viz. Pendolino) 10 / 19
11 Další postup 1. Zaměstnáme konstruktéry 2. Vytvoříme týmy (pro pohon, informační systém, atd.) 3. Necháme je projektovat 4. Dáme jednotlivé návrhy dohromady 5. Vyrobíme a prodáme vlaky Opravdu? Pokud konstruktéři se nebudou rvát (každý má jinou terminologii), pokud vůbec vyrábí použivatelný návrh (subsystémy pořád složité), pokud výsledné návrhy se vůbec dají složit (každý subsystém předpokládá něco jiného o jiných subsystémech), pokud výsledný návrh vůbec funguje, bude havarovat na trati. 11 / 19
12 Jak se tomu vyhýbat? Potřebujeme Jasné rozhraní mezi subsystémy Najít problémy rozložení a chyby návrhu co nejdříve Automatizovat celý postup co nejvíce 12 / 19
13 Model Abstraktnı reprezentace syste mu Abstraktnı : C a stec ny popis, ktery I skry va podrobnosti a I popisuje jen tyto aspekty syste mu, ktere jsou v okamz iku du lez ite. Napr.: Hleda me menzu, pomu z e na m toto? 13 / 19
14 Typografie modelů Dynamické, statické modely 14 / 19
15 Hierarchie systémových modelů Neformální popis: Vlak má dodržovat standard signalizace českých tratí Formální specifikace Vyšší operační modely (např. konečný automat) VHDL, C program Návrh digitálního obvodu, strojový kód... Hierarchie abstrakcí: vyšší vrstvy skrývají složitost, nižší vrstvy poskytují více podrobností Cyklus (zjednodušená idealizace): Vytvoříme model systému Rozložíme do subsystémů Pokud nutné, nižší, podrobnější modely 15 / 19
16 Výsledek Výhody: Od začátku jasné rozhraní na základě vyšších modelů Různé skupiny můžou pracovat se částečným modelem Podpora nástroji: automatizace překladu mezi modely (kompilátor, kódový generátor) simulace (demo?) testování formální verifikace Problémy a chyby se objeví brzy Pořád: Velice složitý problém (viz. Pendolino) Současný výzkum: model based design: intenzivní používání čím dál tím vyšších modelů 16 / 19
17 Cíl předmětu Studenti budou ovládat formalizmy, techniky a nástroje pro modelování a analýzu systémů tak, aby mohli fungovat v takovém procesu a aby mohli přispívat ke kvalitě výsledných systému. 17 / 19
18 Seznam přednášek 1. Úvod a přehled 2. Základy praktické logiky 3. Komunikující konečné automaty 4. Temporální logika 5. Simulace 6. Omezené ověřování modelů (bounded model checking) 7. Neomezené ověřování modelů (unbounded model checking) 8. Datové struktury pro ověřování modelů 9. Petriho sítě 10. Probabilistické modely 11. Časové automaty 12. Spojité, hybridní systémy: Modelování a simulace 13. Hybridní systémy: verifikace 18 / 19
19 Příští přednáška Základ všech druhů modelů: Logika Logika se v ČR učí jako teoretický předmět Což je krásně, ale studenti ji bohužel moc neumí používat Příští přednáška: základy praktické logiky 19 / 19
Formální Metody a Specifikace (LS 2011) Formální metody pro kyber-fyzikální systémy
Formální Metody a Specifikace (LS 2011) Přednáška 7: Formální metody pro kyber-fyzikální systémy Stefan Ratschan, Tomáš Dzetkulič Katedra číslicového návrhu Fakulta informačních technologíı České vysoké
VíceStefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti 1 / 16
Modelování fyzikálního okoĺı Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze 25. října 2011 Evropský sociální fond Praha & EU: Investujeme
VíceInformatika pro záchranu života
Informatika pro záchranu života Stefan Ratschan Ústav Informatiky Akademie Věd tefan Ratschan (Ústav Informatiky Akademie Věd) 1 / 15 Katastrofický začátek. Stefan Ratschan (Ústav Informatiky Akademie
VíceTemporální Logiky. Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti 1 / 19
Temporální Logiky Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze 10. října 2011 Evropský sociální fond Praha & EU: Investujeme do vaší
VíceStefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Logika pro každodenní přežití 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
VíceUnbounded Model Checking
Unbounded Model Checking Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze 25. října 2011 Evropský sociální fond Praha & EU: Investujeme do
VíceAnalýza a Návrh. Analýza
Analysis & Design Návrh nebo Design? Design = návrh Není vytváření použitelného uživatelského prostředí (pouze malinká podmnožina celého návrhu) Často takto omezeně chápáno studenty nedokáží si představit,
VíceEvropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 2 METODY VERIFIKACE SYSTÉMŮ NA ČIPU II doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii
VíceVývoj informačních systémů. Obecně o IS
Vývoj informačních systémů Obecně o IS Informační systém Informační systém je propojení informačních technologií a lidských aktivit směřující k zajištění podpory procesů v organizaci. V širším slova smyslu
VíceVyhněte se katastrofám pomocí výpočetní matematiky
Vyhněte se katastrofám pomocí výpočetní matematiky Stefan Ratschan Ústav informatiky Akademie věd ČR Stefan Ratschan Vyhněte se katastrofám 1 / 29 x. x 2 = 2 Kvíz x. x 2 = 2 x. x 2 7 p q x. x 2 + px +
VíceEvropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 11 METODY VERIFIKACE SYSTÉMŮ NA ČIPU Hana Kubátov vá doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta 1 informačních
Více12. VHDL pro verifikaci - Testbench I
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti 12. VHDL pro verifikaci - Testbench I Praktika návrhu číslicových obvodů Dr.-Ing. Martin Novotný Katedra číslicového návrhu Fakulta informačních
VíceTestování a verifikace softwaru
Testování a verifikace softwaru Radek Mařík ČVUT FEL Katedra telekomunikační techniky, K13132 4. října 2017 Radek Mařík (radek.marik@fel.cvut.cz) Testování a verifikace softwaru 4. října 2017 1 / 6 Vize
VíceNávrh softwarových systémů - architektura softwarových systémů
Návrh softwarových systémů - architektura softwarových systémů Martin Tomášek, Jiří Šebek Návrh softwarových systémů (B6B36NSS) Převzato z přednášky X36AAS M. Molhanec Co je to architektura Využívá se
VíceInstitut teoretické informatiky (ITI) na FI MU
Institut teoretické informatiky (ITI) na FI MU Antonín Kučera (vedoucí) Petr Hliněný, Jan Obdržálek, Vojtěch Řehák Fakulta informatiky, Masarykova Univerzita, Brno Brno, 28. dubna 2011 J. Obdržálek (FI
VíceTvorba informačních systémů
Tvorba informačních systémů Michal Krátký 1, Miroslav Beneš 1 1 Katedra informatiky VŠB Technická univerzita Ostrava Tvorba informačních systémů, 2005/2006 c 2006 Michal Krátký, Miroslav Beneš Tvorba informačních
VíceÚstav automatizace a měřicí techniky.
www.feec.vutbr.cz Specializace studijního oboru Automatizační a Měřicí Technika: Řídicí technika Moderní algoritmy řízení, teorie řízení Modelování a identifikace parametrů řízených systémů Pokročilé metody
VíceAlgebra blokových schémat Osnova kurzu
Osnova kurzu 1) Základní pojmy; algoritmizace úlohy 2) Teorie logického řízení 3) Fuzzy logika 4) Algebra blokových schémat 5) Vlastnosti členů regulačních obvodů Automatizace - Ing. J. Šípal, PhD 1 Osnova
VíceArchitektury informačních systémů
Architektury informačních systémů doc. Ing. Miroslav Beneš, Ph.D. katedra informatiky FEI VŠB-TUO A-1007 / 597 324 213 http://www.cs.vsb.cz/benes/vyuka/tis Miroslav.Benes@vsb.cz Obsah přednášky Co je to
Více4EK311 Operační výzkum. 1. Úvod do operačního výzkumu
4EK311 Operační výzkum 1. Úvod do operačního výzkumu Mgr. Jana SEKNIČKOVÁ, Ph.D. Nová budova, místnost 433 Konzultační hodiny InSIS E-mail: jana.seknickova@vse.cz Web: jana.seknicka.eu/vyuka Garant kurzu:
VíceArchitektury informačních systémů
Architektury informačních systémů doc. Ing. Miroslav Beneš, Ph.D. katedra informatiky FEI VŠB-TUO A-1007 / 597 324 213 http://www.cs.vsb.cz/benes/vyuka/tis Miroslav.Benes@vsb.cz Obsah přednášky Co je to
VíceAutomatizační a měřicí technika (B-AMT)
Ústav automatizace a měřicí techniky Bakalářský studijní program Automatizační a měřicí technika () Specializace oboru Řídicí technika Měřicí technika Průmyslová automatizace Robotika a umělá inteligence
VíceVeriFIT Automatizovaná analýza a verifikace
VeriFIT Automatizovaná analýza a verifikace M. Češka K. Dudka J. Fiedor L. Holík V. Hrubá L. Charvát B. Křena O. Lengál Z. Letko P. Müller P. Peringer A. Rogalewicz A. Smrčka T. Vojnar Ústav inteligentních
Více9. Praktická verifikace
Fakulta informačních technologií MI-NFA, zimní semestr 2011/2012 Jan Schmidt 9. Praktická verifikace EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI Pravidla, postupy Testovací prostředí
VíceStudijní program Elektrotechnika a komunikační technologie. prof. Ing. Aleš Prokeš, Ph.D Ústav radioelektroniky FEKT VUT v Brně
Studijní program Elektrotechnika a komunikační technologie prof. Ing. Aleš Prokeš, Ph.D Ústav radioelektroniky FEKT VUT v Brně Studijní obory Studijní obory doktorského studijního programu Elektrotechnika
Více2. Mechatronický výrobek 17
Předmluva 1 Úvod 3 Ing. Gunnar Künzel 1. Úvod do mechatroniky 5 1.1 Vznik, vývoj a definice mechatroniky 5 1.2 Mechatronická soustava a její komponenty 9 1.3 Mechatronický systém a jeho struktura 11 1.4
VíceWeb based dynamic modeling by means of PHP and JavaScript part III
Web based dynamic modeling by means of PHP and JavaScript part III Jan Válek, Petr Sládek, Petr Novák Pedagogická fakulta Masarykova Univerzita Poříčí 7, 603 00 Brno Úvodem Člověk se učí prostřednictvím
VíceNávrh softwarových systémů - architektura softwarových systémů
Návrh softwarových systémů - architektura softwarových systémů Jiří Šebek Návrh softwarových systémů (B6B36NSS) Převzato z přednášky X36AAS M. Molhanec Co je to architektura 2 Využívá se v různách oborech
VíceBMII. B i o m e d i c a l D a t a P r o c e s s i n g G r o u p
BMII České vysoké učení technické v Praze Fakulta elektrotechnická Magisterský program Biomedicínské inženýrství a informatika na ČVUT FEL Praha Olga Štěpánková (Kat.kybernetiky), step@labe.felk.cvut.cz
VíceVirtuální ověřování výroby Robotika Process Simulate Virtual Commissioning Virtuelle Inbetriebnahme
Virtuální ověřování výroby Robotika Process Simulate Virtual Commissioning Virtuelle Inbetriebnahme Martin Baumruk Jiří Kopenec Siemens PLM Connection 2012 Česká republika 3. 5. června, Seč Dněšní workflow
VícePOČÍTAČOVÁ SIMULACE PODNIKOVÝCH PROCESŮ. Ing. V. Glombíková, PhD.
POČÍTAČOVÁ SIMULACE PODNIKOVÝCH PROCESŮ Ing. V. Glombíková, PhD. SIMULACE nástroj pro studium chování objektů reálného světa SYSTÉM určitým způsobem uspořádána množina komponent a relací mezi nimi. zjednodušený,
VíceOrganizace předmětu, podmínky pro získání klasifikovaného zápočtu
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Fakulta elektrotechnická Ing. Radek Sedláček, Ph.D., katedra měření K13138 Organizace předmětu, podmínky pro získání klasifikovaného zápočtu Kurz A0B38FPGA Aplikace
VíceBakalářský studijní obor informatika
Bakalářský studijní obor informatika Předpoklady Struktura studia Přihlášky Poradenství Vzdělání v bakalářském oboru informatika nabízeném na Technické univerzitě v Chemnitz představuje vyvážený kompromis
Více10. Techniky formální verifikace a validace
Fakulta informačních technologií MI-NFA, zimní semestr 2011/2012 Jan Schmidt EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI 10. Techniky formální verifikace a validace 1 Simulace není
VíceKlasické metodiky softwarového inženýrství I N G M A R T I N M O L H A N E C, C S C. Y 1 3 A N W
Klasické metodiky softwarového inženýrství I N G M A R T I N M O L H A N E C, C S C. Y 1 3 A N W Osnova přednášky Co to je softwarové inženýrství Softwarový proces Metodika a metoda Evoluce softwarových
VíceCENTRUM VZDĚLÁVÁNÍ PEDAGOGŮ ODBORNÝCH ŠKOL
Projekt: CENTRUM VZDĚLÁVÁNÍ PEDAGOGŮ ODBORNÝCH ŠKOL Kurz: Stavba a provoz strojů v praxi 1 OBSAH 1. Úvod Co je CNC obráběcí stroj. 3 2. Vlivy na vývoj CNC obráběcích strojů. 3 3. Směry vývoje CNC obráběcích
VíceCASE. Jaroslav Žáček
CASE Jaroslav Žáček jaroslav.zacek@osu.cz http://www1.osu.cz/~zacek/ Co znamená CASE? Definice dle SEI A CASE tool is a computer-based product aimed at supporting one or more software engineering activities
VíceSystémy pro podporu rozhodování. Hlubší pohled 2
Systémy pro podporu rozhodování Hlubší pohled 2 1 Připomenutí obsahu minulé přednášky Motivační příklad Konfigurace DSS Co to je DSS? definice Charakterizace a možnosti DSS Komponenty DSS Subsystém datového
VíceINFORMATIKA. Charakteristika vyučovacího předmětu:
1 z 6 Čtyřleté gymnázium INFORMATIKA Charakteristika vyučovacího předmětu: Obsahové vymezení: Předmět pokrývá oblast Informační a komunikační technologie podle požadavků uvedených v RVP GV. Časové a organizační
VíceStudijní program Elektrotechnika a komunikační technologie. prof. Ing. Aleš Prokeš, Ph.D Ústav radioelektroniky FEKT VUT v Brně
Studijní program Elektrotechnika a komunikační technologie prof. Ing. Aleš Prokeš, Ph.D Ústav radioelektroniky FEKT VUT v Brně Studijní obory Studijní obory doktorského studijního programu Elektrotechnika
VíceModerní nástroje pro vývoj elektronických řídicích jednotek
Moderní nástroje pro vývoj elektronických řídicích jednotek Jiří Sehnal Humusoft spol. s r.o. sehnal@humusoft.com EVV 2008 Automobilová elektronika Brno, 17. - 18. 6. 2008 Jiří Sehnal, Humusoft spol. s
VíceZáklady tvorby výpočtového modelu
Základy tvorby výpočtového modelu Zpracoval: Jaroslav Beran Pracoviště: Technická univerzita v Liberci katedra textilních a jednoúčelových strojů Tento materiál vznikl jako součást projektu In-TECH 2,
Více1. Úvod do mechatroniky
zapis_mechatronika_uvod08/2012 MECH Aa 1 z 5 1. Úvod do mechatroniky Mechatronics - název vznikl v Japonsku v 70. letech ze slov "MECHAnical systems" a "electronics" U nás se začal používat v 80. letech
VíceSILNOPROUDÁ ELEKTROTECHNIKA A ELEKTROENERGETIKA. www.uvee.feec.vutbr.cz www.ueen.feec.vutbr.cz
SILNOPROUDÁ ELEKTROTECHNIKA A ELEKTROENERGETIKA www.uvee.feec.vutbr.cz www.ueen.feec.vutbr.cz FAKULTA ELEKTROTECHNIKY A KOMUNIKAČNÍCH TECHNOLOGIÍ Bakalářský studijní program B-SEE Bakalářský studijní program
Více1 VZNIK, VÝVOJ A DEFINICE MECHATRONIKY
1 VZNIK, VÝVOJ A DEFINICE MECHATRONIKY 1.1 VÝVOJ MECHATRONIKY Ve vývoji mechatroniky lze vysledovat tři období: 1. etapa polovina 70. let, Japonsko, založení nového oboru shrnuje poznatky z mechaniky,
VíceMatematická indukce a správnost programů. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 13
Matematická indukce a správnost programů doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS
Vícepořádá pro autodiagnostiky, autotroniky, automechaniky, mechaniky a techniky odborný kurz: AUTOELEKTRONIKA, AUTODIAGNOSTIKA A KLIMATIZACE VOZIDEL
MOTOR expert, s.r.o. IČO: 25872761 DIČ: CZ25872761 Sídlo společnosti: Žižkova 2567/3, Přerov Číslo účtu: 1884404389/0800 Česká spořitelna, a.s. Jednatelé: Ing. Irena Kanovská, Štefan Kanovský Kontakt:
VíceArchitektura počítačů Agenda
Architektura počítačů Agenda http://d3s.mff.cuni.cz http://d3s.mff.cuni.cz/teaching/computer_architecture/ Lubomír Bulej bulej@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty faculty of of mathematcs
VíceModelování a simulace Lukáš Otte
Modelování a simulace 2013 Lukáš Otte Význam, účel a výhody MaS Simulační modely jsou nezbytné pro: oblast vědy a výzkumu (základní i aplikovaný výzkum) analýzy složitých dyn. systémů a tech. procesů oblast
VíceSimulace číslicových obvodů (MI-SIM) zimní semestr 2010/2011
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Simulace číslicových obvodů (MI-SIM) zimní semestr 2010/2011 Jiří Douša, katedra číslicového návrhu (K18103), České vysoké učení technické
VíceŘídicí systém pro každého
Akce: Přednáška, KA 5 Téma: ŘÍDICÍ SYSTÉM PRO KAŽDÉHO Lektor: Ing. Balda Pavel, Ph.D. Třída/y: 3ME, 4ME Datum konání: 11. 3. 2014 Místo konání: malá aula Čas: 5. a 6. hodina; od 11:50 do 13:30 Řídicí systém
VíceÚvod do softwarového inženýrství a týmového vývoje
Úvod do softwarového inženýrství a týmového vývoje Ing. Jiří Mlejnek Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Jiří Mlejnek, 2011 jiri.mlejnek@fit.cvut.cz
VíceSimulace a návrh vyvíjejících Nadpis se 1. Nadpis 3. Božetěchova 2, Brno
Simulace a návrh vyvíjejících Nadpis se 1 Nadpis systémů 2 Nadpis 3 Vladimír Jméno Janoušek Příjmení Vysoké Brno učení University technické of v Technology, Brně, Fakulta Faculty informačních of Information
VíceObjektově orientované technologie Diagram komponent Implementační náhled (Diagram rozmístění) Pavel Děrgel, Daniela Szturcová
Objektově orientované technologie Diagram komponent Implementační náhled (Diagram rozmístění) Pavel Děrgel, Daniela Szturcová Osnova K čemu slouží diagram komponent obsah komponent závislosti rozhraní
VíceNormal mission real time system
1 / 15 Normal mission real time system Ing. Jan Šlechta CSc. Department of Computer Systems Faculty of Information Technology Czech Technical University in Prague Jan Šlechta, 2011 Real Time Systems, BI-SRC,
VíceÚvodní slovo studentům informatických oborů
Úvodní slovo studentům informatických oborů prof. RNDr. Radim Bělohlávek, DSc. KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI Obsah 1 Univerzita Palackého v Olomouci 2 Katedra informatiky 3 Informatika
VíceSOFTWAROVÉ INŽENÝRSTVÍ 1
Metodický list č. 1 Název tématického celku: Úvod do softwarového inženýrství Základním cílem tohoto tematického celku je vysvětlení smyslu discipliny nazývané softwarové inženýrství. Tematický celek zahrnuje
VíceRevize EN stav, změny, souvislosti s jinými normami a předpisy ZČU Plzeň, Karel Beneš
K aktuálním problémům zabezpečovací techniky v dopravě XI Revize EN 50129 - stav, změny, souvislosti s jinými normami a předpisy ZČU Plzeň, 25.5.2016 Karel Beneš Průběh prací na revizi - SGA15 Související
VíceNávrh a simulace zkušební stolice olejového čerpadla. Martin Krajíček
Návrh a simulace zkušební stolice olejového čerpadla Autor: Vedoucí diplomové práce: Martin Krajíček Prof. Michael Valášek 1 Cíle práce 1. Vytvoření specifikace zařízení 2. Návrh zařízení včetně hydraulického
Více01 Teoretické disciplíny systémové vědy
01 Teoretické disciplíny systémové vědy (systémový přístup, obecná teorie systému, systémová statika a dynamika, úlohy na statických a dynamických systémech, kybernetika) Systémová věda je vědní disciplínou
Více5. Metody návrhu uživatelského rozhraní
Jan Schmidt 2011 Katedra číslicového návrhu Fakulta informačních technologií České vysoké učení technické v Praze Zimní semestr 2011/12 BI-TUR 5. Metody návrhu uživatelského rozhraní EVROPSKÝ SOCIÁLNÍ
VíceÚvod do validace počítačových systémů Ing. Miroslav Mík. Obsah
Úvod do validace počítačových systémů Ing. Miroslav Mík Obsah Předpisy a literatura Základní pojmy, zkratky Přístup k validacím počítačových systémů Validace 2 1 Předpisy a literatura EudraLex - Volume
VíceTento projekt je spolufinancován Evropskou unií a státním rozpočtem České republiky
1 Monitorovací indikátor: 06.43.10 Počet nově vytvořených/inovovaných produktů Akce: Přednáška, KA 5 Číslo přednášky: 40 Téma: Výukové systémy FESTO Lektor: Ing. Petr Hůla, Ph.D. Třída/y: 3ME, 3MSA, 4ST
VíceInformace pro výběr bakalářského oboru
Informace pro výběr bakalářského oboru 2017.03.15 J. Matas Bakalářské obory informatika a počítačové vědy software internet věcí počítačové hry a grafika kapacita všech oborů je dostatečná pro volný výběr
Více2. Začlenění HCI do životního cyklu software
Jan Schmidt 2011 Katedra číslicového návrhu Fakulta informačních technologií České vysoké učení technické v Praze Zimní semestr 2011/12 EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI
VíceInformatika a výpočetní technika 1. roč./1. sem. 1. roč./2. sem. 2. roč./3. sem. 1 kr. Povinné předměty pro obor IVT
1. roč./1. sem. 1. roč./2. sem. 2. roč./3. sem. 2. roč./4. sem. Semestrální Semestrální Diplomový Diplomový I I 460-4064/01 460-4067/01 460-4095/01 460-4096/01 460-4065/01 470-4405/01 Povinně volitelné
Více4. Rekurze. BI-EP1 Efektivní programování Martin Kačer
4. Rekurze BI-EP1 Efektivní programování 1 ZS 2011/2012 Ing. Martin Kačer, Ph.D. 2010-11 Martin Kačer Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v Praze
VíceVývoj a testování elektronických řídicích jednotek pro automobily
Vývoj a testování elektronických řídicích jednotek pro automobily Jiří Sehnal Humusoft spol. s r.o. sehnal@humusoft.com EVV 2011 Automobilová elektronika Praha, 7. 6. 2011 Jiří Sehnal, Humusoft spol. s
VíceInovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/34.0333 Vzdělávání v informačních a komunikačních technologií
VY_32_INOVACE_31_02 Škola Střední průmyslová škola Zlín Název projektu, reg. č. Vzdělávací oblast Vzdělávací obor Tematický okruh Téma Tematická oblast Název Autor Vytvořeno, pro obor, ročník Inovace výuky
VíceNSWI /2011 ZS. Principy cpypočítačůčů aoperačních systémů ARCHITEKTURA
Principy cpypočítačůčů aoperačních systémů ARCHITEKTURA Literatura W.Stallings: Computer Organization & Architecture J.L.Hennessy, P.A.Patterson: Patterson: Computer Architecture: a Quantitative Approach
VíceMission ctitical real time system
1 / 15 Mission ctitical real time system Ing. Jan Šlechta CSc. Department of Computer Systems Faculty of Information Technology Czech Technical University in Prague Jan Šlechta, 2011 Real Time Systems,
VícePOSUDEK VEDOUCÍHO BAKALÁŘSKÉ PRÁCE
UNIVERZITA KARLOVA V PRAZE PEDAGOGICKÁ FAKULTA Katedra informačních technologií a technické výchovy POSUDEK VEDOUCÍHO BAKALÁŘSKÉ PRÁCE Jméno a příjmení autora: Lukáš Valenta Studijní program: B7507 Specializace
VícePřednáška. Správa paměti II. Katedra počítačových systémů FIT, České vysoké učení technické v Praze Jan Trdlička, 2012
Přednáška Správa paměti II. Katedra počítačových systémů FIT, České vysoké učení technické v Praze Jan Trdlička, 2012 Příprava studijního programu Informatika je podporována projektem financovaným z Evropského
VíceVyšší odborná škola, Střední škola, Centrum odborné přípravy Budějovická 421, Sezimovo Ústí
ZKUŠEBNÍ PŘEDMĚTY SPOLEČNÉ ČÁSTI MATURITNÍCH ZKOUŠEK Jsou stanoveny a zakotveny v platných legislativních normách: Zákon č. 561/2004 Sb. o předškolním, základním, středním, vyšším odborném a jiném vzdělávání
VíceLOGICKÉ OBVODY X36LOB
LOGICKÉ OBVODY X36LOB Doc. Ing. Hana Kubátová, CSc. Katedra počítačů FEL ČVUT v Praze 26.9.2008 Logické obvody - 1 - Úvod 1 Obsah a cíle předmětu Číslicový návrh (digital design) Číslicové obvody logické
VíceSYSTÉMY NAČIPU MI-SOC
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti SYSTÉMY NAČIPU MI-SOC doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii ČVUT v Praze Hana Kubátová
VíceVestavné systémy BI-VES Přednáška 1
Vestavné systémy BI-VES Přednáška 1 Ing. Miroslav Skrbek, Ph.D. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze Miroslav Skrbek 2010,2011 ZS2010/11 Evropský
VíceProgram odborných akcí EGÚ Praha Engineering, a.s. PROSINEC.
PROSINEC www.egu-prg.cz Cyklus E 2012 POZOR!!! Tentokrát zase v Heyrovského ústavu AV, Praha 8, viz poslední stránka Seminář č. 10 12. 12. 2012 ROZVOJ DISTRIBUOVANÉ VÝROBY V ES A PRINCIPY INTEGRACE. VIRTUÁLNÍ
VícePOPIS STANDARDU CEN TC278/WG12. draft prenv ISO TICS AVI/AEI architektura a terminologie intermodální dopravy zboží. 1 z 5
POPIS STANDARDU CEN TC278/WG12 Oblast: AUTOMATICKÁ IDENTIFIKACE VOZIDEL A ZAŘÍZENÍ Zkrácený název: AUTOMATICKÁ IDENTIFIKACE Norma číslo: 17261 Norma název (en): TRANSPORT INFORMATION AND CONTROL SYSTEMS
Vícese mění přílohy II, V a VI směrnice Evropského parlamentu a Rady 2008/57/ES o interoperabilitě železničního
Strana 3954 Sbírka zákonů č. 326 / 2011 Částka 114 326 VYHLÁŠKA ze dne 3. listopadu 2011, kterou se mění vyhláška č. 352/2004 Sb., o provozní a technické propojenosti evropského železničního systému, ve
VíceVýzkum a vývoj ověřených modelů požáru a evakuace osob a jejich praktická aplikace při posuzování požární bezpečnosti staveb
Výzkum a vývoj ověřených modelů požáru a evakuace osob a jejich praktická aplikace při posuzování požární bezpečnosti staveb Řešitelé: ČVUT, TÚPO, VUT Brno, VŠB-TU Ostrava Trvání: 1. 1. 2016 31. 12. 2019
VíceGrafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.
Grafy 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 TUO) Grafy 104 / 309 Osnova přednášky Grafy
VíceOdstrašující příklady z IT praxe. Jan Vaněk a kolegové
Odstrašující příklady z IT praxe Jan Vaněk a kolegové Kdo za to může: uživatel nebo ajťák? Specifika IT průmyslu IT a zvláště SW = jeden z nejsložitějších typů výrobků vůbec Počet variant, parametrů,
Více7. Pracovní postupy. Fakulta informačních technologií MI-NFA, zimní semestr 2011/2012 Jan Schmidt
Fakulta informačních technologií MI-NFA, zimní semestr 2011/2012 Jan Schmidt EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI 7. Pracovní postupy Posloupnosti analytických a syntetických
VíceVývoj informačních systémů. Přehled témat a úkolů
Vývoj informačních systémů Přehled témat a úkolů Organizace výuky doc. Mgr. Miloš Kudělka, Ph.D. EA 439, +420 597 325 877 homel.vsb.cz/~kud007 milos.kudelka@vsb.cz Přednáška Teorie Praxe Cvičení Diskuze
VíceObecné informace o síti CAN. Obecné. Další informace o síti CAN naleznete v následujících dokumentech:
Obecné Řídicí jednotky si mezi sebou často potřebují vyměňovat informace. Jednotky, které mezi sebou potřebují komunikovat, jsou běžně navzájem propojeny. Proto pokud řídicí jednotka potřebuje informace,
VíceInformační a databázové systémy v rostlinolékařství. Zdeněk Landa & Helena Landová
Informační a databázové systémy v rostlinolékařství Zdeněk Landa & Helena Landová Úvodem charakteristika kurzu - cíle, obsah informační gramotnost - definice, význam význam informací a práce s nimi škola,
VíceProfilová část maturitní zkoušky 2015/2016
Střední průmyslová škola, Přerov, Havlíčkova 2 751 52 Přerov Profilová část maturitní zkoušky 2015/2016 TEMATICKÉ OKRUHY A HODNOTÍCÍ KRITÉRIA Studijní obor: 26-41-M/01 Elektrotechnika Zaměření: technika
VícePříspěvek k tématu připravenosti. Jan Fibír
Příspěvek k tématu připravenosti českých firem na proces digitalizace Jan Fibír Obsah Chápeme pojem digitalizace stejně? Digitalizace cíl nebo nutný krok pro Průmysl 4.0? Digitalizace postupný proces nebo
VíceVÝVOJ ŘÍDICÍCH ALGORITMŮ HYDRAULICKÝCH POHONŮ S VYUŽITÍM SIGNÁLOVÉHO PROCESORU DSPACE
VÝVOJ ŘÍDICÍCH ALGORITMŮ HYDRAULICKÝCH POHONŮ S VYUŽITÍM SIGNÁLOVÉHO PROCESORU DSPACE Přednáška na semináři CAHP v Praze 4.9.2013 Prof. Ing. Petr Noskievič, CSc. Ing. Miroslav Mahdal, Ph.D. Katedra automatizační
VíceDominik Vymětal. Informační technologie pro praxi 2009, Ostrava 1.-2.10.2009 1
Dominik Vymětal 2009, Ostrava 1.-2.10.2009 1 Procesní model Výhody Orientace na konkrétní činnosti a možnost reengineeringu Nevýhody Malá orientace na průřezové nebo opakované činnosti Modely na základě
VíceModelování elektromechanického systému
Síla od akčního členu Modelování elektromechanického systému Jaroslav Jirkovský 1 O společnosti HUMUSOFT Název firmy: Humusoft s.r.o. Založena: 1990 Počet zaměstnanců: 15 Sídlo: Praha 8, Pobřežní 20 MATLAB,
VíceArchitektury počítačů
Architektury počítačů skupina Identifyingvýzkumná the Interesting Points in Geometrical Figures of Certain Class Vysoké učení technické v Brně, Fakulta informačních technologií, Božetěchova 2, 612 66 Brno
VíceKURZ PROGRAMOVÁNÍ LOGICKÝCH AUTOMATŮ
Projekt UNIV Uznávání výsledkůneformálního vzdělávání a informálního učení v sítích škol poskytujících vzdělávací služby pro dospělé VZDĚLÁVÁCÍ PROGRAM CELOŽIVOTNÍHO VZDĚLÁVÁNÍ KURZ PROGRAMOVÁNÍ LOGICKÝCH
VíceCASE nástroje. Jaroslav Žáček
CASE nástroje Jaroslav Žáček jaroslav.zacek@osu.cz http://www1.osu.cz/~zacek/ Co znamená CASE? A CASE tool is a computer-based product aimed at supporting one or more software engineering activities within
VíceInformace o studiu. Životní prostředí a zdraví Matematická biologie a biomedicína. studijní programy pro zdravou budoucnost
Informace o studiu Životní prostředí a zdraví Matematická biologie a biomedicína studijní programy pro zdravou budoucnost Proč RECETOX? Výzkumné centrum RECETOX poskytuje vzdělání v zajímavých oborech
VíceArchitektura softwarových systémů
Architektura softwarových systémů Definice, Strukturní a Procesní doporučení Ing. Tomáš Černý, MSCS Pojem softwarové architektury (SA) Obvyklé způsoby vysvětlování pojmu SA komponenty a vazby celková struktura
VíceVývoj informačních systémů. Přehled témat a úkolů
Vývoj informačních systémů Přehled témat a úkolů Organizace výuky doc. Mgr. Miloš Kudělka, Ph.D. EA 439, +420 597 325 877 homel.vsb.cz/~kud007 milos.kudelka@vsb.cz Přednáška Znalosti Schopnosti Cvičení
Více7 Jazyk UML (Unified Modeling Language)
7 Jazyk UML (Unified Modeling Language) 7.1 Základní charakteristika jazyka Motivace - vznik řady OO metod a metodologií (konec 80. let a první polovina 90.let) podobné notace vyjadřující totéž, komplikující
VíceStruktura e-learningových výukových programù a možnosti jejího využití
Struktura e-learningových výukových programù a možnosti jejího využití Jana Šarmanová Klíčová slova: e-learning, programovaná výuka, režimy učení Abstrakt: Autorská tvorba výukových studijních opor je
Více