======Předměty doktorského studia====== //**D01AM1 - Aplikovaná matematika I **// *Garant: doc. RNDr. Josef Jirásko, CSc. *Katedra: K101 - Katedra matematiky *Anotace: Základní pojmy teorie grafů, toky v sítích, párování, přiřazovací problémy, maďarský algoritmus, Hamiltonovské cesty a kružnice, barevnost grafů. Základy teorie fuzzy množin a fuzzy rozhodování. Metody vícekriteriálního hodnocení variant Agrepref a Electre. Logická výstavba matematiky, jazyk, formule, axiomy a odvozovací pravidla. //**D01AM2 - Aplikovaná matematika II **// *Garant: doc. RNDr. Josef Jirásko, CSc. *Katedra: K101 - Katedra matematiky *Anotace: Lineární diferenční rovnice a jejich soustavy. Úlohy matematického programování, konvexní funkce, konvexní a kvadratické programování. Lineární, cyklické kódy a jejich dekódování, Hammingovy kódy a BCH-kódy. //**D28DBB - Databázové systémy a datové formáty pro informační modelování budov **// *Garant: Ing. Jiří Kaiser, Ph.D. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Modelování stavu systému pomocí stavových diagramů (UML), datové modelování pomocí Entity Relationsip diagramu, platform independent data model, normalizace datového modelu, datové typy, platform specific data model. Implementace datového modelu v databázovém systému (data definition language, data manipulation language). Získávání dat z databáze (data query language) - dotazy do databáze, agregace dat, poddotazy, spojování tabulek. Databáze pro manažerské informační systémy - postupy návrhu, ETL procesy, způsoby uložení dat a jejich optimalizace, zpracování dat, datová tržiště. Datové formáty pro informační modelování budov (BIM) - IFC, IFCXML, COBie - obsah, struktura, využití. //**D05DRP - Doktorandská propedeutika (volitelný) **// *Garant: doc. Dr. Ing. Václav Liška *Katedra: K105 - Katedra společenských věd *Anotace: Doktorandi získají základní metodologické didaktické postupy při stanovování výuky a vlastním vedení seminářů, cvičení s ohledem na výuku na vysoké škole technického směru. Pozornost je věnována pedagogicko-psychologickým metodám poznávání a hodnocení osobnosti studujícího, psychologii učení, duševní hygieně, psychologickému rozboru výchovných zásad, odměn-trestů a pedagogické komunikaci. Informace o nejčastějších didaktických chybách při výuce u začínajících VŠ pedagogů a možnosti, jak se jich vyvarovat. //**D26EUF - Evropské fondy - možnost spolufinancování projektů **// *Garant: doc. Ing. Jana Frková, Ph.D. *Katedra: K126 - Katedra ekonomiky a řízení ve stavebnictví *Anotace: Potence finančních zdrojů z EU plynoucích do ČR a prioritní oblasti pro jejich využití. Manuál pro sestavení projektů spolufinancovaných z prostředků EU (metodologie Studie proveditelnosti projektů). Finanční, ekonomická, citlivostní a riziková analýza těchto projektů. Kvalifikační kritéria hodnocení projektů pro možné financování z prostředků EU. //**D28AVK - Architektury výpočetních a komunikačních systémů **// *Garant: doc. RNDr. Jiří Demel, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Základy digitální logiky, logické obvody. Strojová reprezentace dat, číselné soustavy, organizace počítače, strojový jazyk. Typy pamětí, sběrnice, periferie a jejich rozhraní. Víceprocesorové architektury. //**D28ISR - Informační systémy pro podporu řízení a rozhodování **// *Garant: Ing. Jiří Kaiser, Ph.D. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Architektury informačních systémů. Přístupy k tvorbě informačního systému. Vrstvy informačního systému. Modelování požadavků na informační systémy, návaznost na procesy stavebního podniku. Procesní modelování, modely spolupráce, modely choreografie, datové modelování v procesních modelech, standard Business Process Model and Notation (BPMN). Měření a vyhodnocení procesů a procesního systému. Modelování požadavků na informační systémy a struktury informačních systémů, Unified Modeling Language (UML), datové modelování. Manažerské informační systémy - fakta, dimenze a ukazatele pro manažerské rozhodování, zdroje dat a příprava dat, způsoby ukládání dat v manažerských informačních systémech, tvorba reportů. Informační model stavby jako informační systém. Využití principů a nástrojů modelování informačních systémů při plánování tvorby a užívání informačního modelu stavby (BIM). //**D28KOA - Kombinatorické algoritmy **// *Garant: doc. RNDr. Jiří Demel, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Základy teorie NP-úplnosti. Klasifikace úloh. Pokročilejší polynomiální algoritmy (obecné párování, toky v sítích). Přehled možností řešení NP-těžkých úloh. Metody "hrubé síly", metody větví a mezí, backtracking. Dynamické programování. Použití celočíselného LP, generování omezujících podmínek. Heuristiky pro problém obchodního cestujícího a barvení grafu. Aproximační algoritmy a aproximační schémata. Metoda lokálního prohledávání. Použití náhody při kombinatorické optimalizaci. //**D28KYB - Kybernetika **// *Garant: Ing. Miroslav Sůra, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Využití analogie mezi neživými a živými stroji/organismy. Struktura, proces, zpětná vazba. Regulace, řízení (se zpětnou vazbou, s pamětí). Rovnováha, stabilita, citlivost, neuronové sítě. Systémy technické, sociální, sociotechnické a jejich modelování. //**D28MDS - Modelování dynamiky socioekonomických systémů **// *Garant: doc. Ing. Dalibor Vytlačil, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Úvod do modelování dynamiky tvrdých systémů. Sestavení systémové matice. Analýza a projektování pomocí teorie tolerancí a syntézy zátěžové veličiny. Principy systémové dynamiky pro modelování změn parametrů měkkých systémů. Typy prvků a vazeb v dynamických modelech. Návrh modelů pro systémy se zpětnými vazbami. Simulace chování systémů a tvorba politik.. //**D28OSP - Operační systémy **// *Garant: doc. RNDr. Jiří Demel, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Operační systémy jako programové produkty. Modely procesů a vláken, jejich implementace. Algoritmy plánování činnosti procesoru. Stránkování, segmentace, virtuální paměť. Synchronizace procesů, ochrana proti uváznutí. Distribuované systémy, počítačové sítě. //**D28MPB - Procesní modelování v informačním modelování budov **// *Garant: Ing. Jiří Kaiser, Ph.D. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Procesní modelování, modely spolupráce, modely choreografie, datové modelování v procesních modelech, standard Business Process Model and Notation (BPMN). Využití modelování procesů v informačním modelování budov. Adaptace standardu BPMN pro tvorbu BIM Execution Plan (BEP) a Information Delivery Manual (IDM). Principy návrhu informačních systémů, modelování požadavků na informační systémy, základy Unified Modeling Language (UML). Informační model budovy jako informační systém. Využití principů a nástrojů modelování informačních systémů při plánování tvorby a užívání informačního modelu budovy (BIM). //**D28SSI - Specifika stavebnictví a investiční výstavby **// *Garant: doc. Ing. Ludmila Hačkajlová, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Lokální podmíněnost a lokální rozrůzněnost stavby. Dlouhodobost ve výstavbě a užívání stavby a míra neurčitosti. Rozsah a nákladnost ve vztahu k významnosti a prioritám. Heterogennost investičního díla a složitost modelů, projektů a programů. Specifika získávání zakázek (výběrová řízení) a stabilita programu firmy, marketing firmy. Rozsah kooperací na konečném díle a míra odpovědnosti. //**D28TER - Teorie rozhodování **// *Garant: Ing. Jana Kučerová, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Rozhodování deterministické, za neurčitosti, za rizika, "soft" rozhodování. Konstrukce rozhodovacích modelů, pokročilé metody multikriteriálního rozhodování, rozhodovací stromy. Pokročilé modely teorie her. Rozhodování v procesech řízení. Podmíněnost rozhodování informační, legislativní a organizační podporou. Operativní a strategické rozhodování. //**D28TII - Teorie informace a informační systémy **// *Garant: prof. Ing. Zdeněk Molnár, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Data, informace, znalosti. Syntaktická, sémantická a pragmatická stránka informace. Infrastruktura informatiky (technická, legislativní, organizační, etická), informační ekologie. Architektura a infrastruktura informačních systémů (IS). Přístupy k výstavbě IS (procesní, hierarchický, objektový), nákup versus vlastní vývoj. Zavádění IS (řízení změny, lidský faktor a organizační shoda). Efektivnost IS a význam IS pro strategický rozvoj organizace. //**D28UIN - Umělá inteligence **// *Garant: doc. RNDr. Jiří Demel, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Umělá inteligence jako soubor úloh. Dimenze neurčitosti úloh umělé inteligence (pravděpodobnost, mlhavost, rozpoznatelnost, neurčitost reakce na událost, deterministický chaos). Úlohy podle zvládnutelnosti algoritmů: optimalizace z více alternativ, podobnost, zkušenost, adaptabilita, vyhledávání jiného prostředí, rozpoznání obrazců a řeči (rozhodování při neúplné informaci), predikce, abstrakce, generalizace. //**D28ZSZ - Znalostní systémy a znalostní inženýrství **// *Garant: prof. Ing. Zdeněk Molnár, CSc. *Katedra: K128 - Katedra inženýrské informatiky *Anotace: Teoretická východiska (znalost jako relace mezi informacemi, zkušeností, cílovým chováním, genetikou a vírou). Analýza a základy konstrukce znalostního (expertního) systému (explicitní a skryté znalosti). Systémy řízení znalostí (Knowledge Management Systems - KMS) a jejich funkce (tvorba, zachycení, uchování, Řízení a využití znalostí). Praktické případy využití KMS (Business Inteligence a Competitive Inteligence) a získávání strategické výhody. //**D62LGK - Logika **// *Garant: prof. Ing. Dr. Roman Bek, DrSc. (FS - ČVUT) *Katedra: K162 - Externí katedra *Anotace: Výrokově-logická báze formálních jazyků. Otázky bezespornosti a úplnosti. Predikátové logiky. Deduktivní a induktivní odvození, nemonotónní odvozování. Netradiční logiky, mlhavé relace, konstrukce mlhavých výroků, jejich bezespornost a úplnost. Principy logické výstavby celků a jejich dynamiky. Epistemické operátory. //**D75TFJ - Teorie formálních jazyků a programování **// *Garant: RNDr. Vladimír Hora, CSc. *Katedra: K175 - Výpočetní a informační centrum *Anotace: Obecná definice jazyka, formální jazyky. Operace, příkazy, výrazy, procedury, cykly. Základy teorie gramatik a překladačů. Program jako jazyková konstrukce. Abstraktní datové typy. Základní metodologie programování. Strojové, vyšší a účelové orientované jazyky programování. Program, automat a Turingův stroj.