|
| |
|
|
From textual specification to formal verification
Šimko, Viliam ; Hnětynka, Petr (vedoucí práce) ; Gruhn, Volker (oponent) ; Steinberger, Josef (oponent)
Běžný způsob popisu funkčních požadavků při vývoji softwaru je tvorba textových případů použití (use-cases). Jejich úlohou v úvodních fázích projektu je zachytit formou přirozeného jazyka způsob fungování systému z pohledu koncového uživatele. Protože jde o text psaný v přirozeném jazyce, není možné správnost textových případů použití přímo formálně ověřovat. Obdobně významným artefaktem při vývoji software je doménový model. Jde o popis nejdůležitějších konceptů a vztahů, které jsou pro vyvíjenou aplikaci důležité. Tvorba doménového modelu běžně probíhá iterativně od prvního prototypu z textu až po výsledný formální model. Tato práce se zabývá dvěma souvisejícími tématy - formální ověřování případů použití a odvozování doménového modelu z textu. První část je věnovaná metodě FOAM, která umožňuje pomocí jednoduchých anotací vložených do textu případů použití formálně ověřovat jejich správnost (model-checking). Anotace umožňují zachytit větvení kroků v případech použití a uživatel má možnost vyjádřit časové závislosti mezi různými částmi specifikace, zároveň je však zachovaná srozumitelnost původního textu. Druhá část práce popisuje tzv. Prediction Framework, který pomocí lingvistické analýzy textu a statistických klasifikátorů (log-linear Maximum Entropy models) umožňuje predikování doménového model z textu.
|
|
|
Manažerské kompetence ve vybraném podniku
RYCHTÁŘOVÁ, Olga
Tato diplomová práce se zabývá manažerskými kompetencemi ve vybraném podniku. Práce je rozdělena na dvě části, a to na teoretickou a praktickou část. Teoretická část vysvětluje základní pojmy, které se týkají především kompetencí ve spojení s managementem. V praktické části je provedena analýza vybraných klíčových kompetencí manažerů podniku. Terénní sběr dat je koncipován na základě strategie kvalitativního výzkumu. Cílem práce je charakterizovat klíčové manažerské kompetence ve vybraném podniku a následné provedení podrobné analýzy těchto klíčových kompetencí u jednotlivých manažerů. V mé práci doporučuji návrh možného rozvoje kompetencí, jejichž stav vyšel jako nežádoucí; a to formou formálního vzdělávání, neformálního vzdělávání či formou pracovních zkušeností.
|
|
|
Spokojenost a rozvoj sponzoringu v českém freeskiingu
Vaňous, Marek ; Voráček, Josef (vedoucí práce) ; Šíma, Jan (oponent)
Cíle práce: Hlavním cílem této práce je shrnout podmínky pro sponzorování freeskiingu, zjistit co sponzoři očekávají od jezdců k získání a udržení sponzoringu, a také jakou podporu očekávají jezdci od svého sponzora a co všechno jsou ochotni pro to udělat a obětovat. Dalším cílem je analýza celkového rozvoje a počtu firem pohybujících se ve freeskiingu. Metoda: Potřebná data byla získána pomocí dotazníků, které byly elektronickou podobou zaslány všem sponzorovaným jezdcům věnující se newschool freeskiingu. Obdobné dotazníky byly také zaslány všem týmovým manažerům firem či distributorům, kteří sponzoring poskytují. Výsledky: Jezdci i sponzoři jsou se sponzoringem poměrně spokojeni, ovšem k dokonalé spolupráci je ještě třeba odstranit poměrně závažné chyby a nedostatky. Po zlepšení komunikační stránky by se situace jistě o mnoho zlepšila.
|
|
|
Vývoj progresivního kotevního materiálu na polymerní bázi
Žlebek, Tomáš ; Jakubík, Aleš (oponent) ; Drochytka, Rostislav (vedoucí práce)
Tato diplomová práce je zaměřena na vývoj nového progresivního kotevního materiálu na polymerní bázi. Dnes je ve stavebnictví snaha využívat co nejvíce druhotné suroviny jednak z ekologického hlediska za účelem úspory primárních zdrojů a omezování vzniku odpadů a také z důvodů ekonomických. Proto je snahou využít v tomto kotevním materiálu co největší množství vhodných a vhodně upravených druhotných surovin. Hlavním cílem této práce je vývoj vysoce kvalitního kotevního materiálu vynikajícího poměrem mezi rychlostí aplikace a nárůstem pevností, vysokou chemickou odolností, tepelnou odolností a zejména minimálním smrštěním. Tato nová hmota najde uplatnění především při kotvení stavebních konstrukcí, těžkých strojů, bariér a dalších ocelových prvků.
|
|
|
Analýza reportingu v podnikovém prostředí a jeho technologické pokrytí Microsoft BI
Lučan, Martin ; Pour, Jan (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Tato diplomová práce se zabývá analýzou reportingu v podnikovém prostředí a jeho technologickým pokrytím pomocí Microsoft Business Intelligence portfolia. Hlavním cílem této práce je rozbor jednotlivých nároků organizací na reporting a možnosti pokrytí těchto nároků. Tato práce může sloužit jako nástroj pro implementaci reportingu ve společnosti či jeho zefektivnění. První část je teoretická a zabývá se oblastí Business Intelligence jako prostředím pro reporting. V této části jsou definovány základní pojmy v rámci této oblasti. Další část se zabývá oblastí reportingu. Tato část obsahuje náhled do historie, definici výstupů reportingu a podrobnější klasifikaci reportingu z různých pohledů. Dále také definici uživatelů reportingu a vymezení standardního reportingu společností. V závěru této kapitoly se nachází definice přínosů reportingu pro společnosti. V hlavní části práce je provedena analýza požadavků společností na reporting. Kapitola definuje pět nejdůležitějších skupin nároků, které jsou zde podrobně popsány. Také jsou zde popsány metody, jak mají společnosti k těmto nárokům přistupovat. Poté kapitola přináší pohled na požadavky pro konkrétní report. V rámci výstupů z této kapitoly práce přináší efektivní šablonu pro sběr požadavků na konkrétní report. Poslední kapitola se zaměřuje na analýzu portfolia Microsoftu na reporting a definuje koncepci Microsoftu. Také přináší podrobné informace o reportingových produktech, které Microsoft nabízí. Zároveň dochází k analýze a mapování jednotlivých vlastností produktů na požadavky, které byly definovány v této práci.
|
|
|
Aplikace rozhodovacích modelů pro výběr komunikace pro pěší
Šťastný, Pavel ; Houška, Milan (vedoucí práce) ; Hlavatý, Robert (oponent)
Cílem bakalářské práce je pomocí metod vícekriteriálního rozhodování navrhnout a doporučit vhodnou variantu komunikace pro pěší pro potřeby přípravy zadávací dokumentace k veřejnému výběrovému řízení obci Dolany.
Problematika rozhodovacích procesů při výběru optimální varianty za použití metod vícekriteriálního rozhodování je analyzována v literární rešerši práce. Popis vícekriteriálních metod odráží následný postup výpočtu v praktické části. Rešerše se dále věnuje s ohledem na téma práce vybraným požadavkům při zadávání veřejných zakázek, dílčím cílům zadávací dokumentace pro výběrové řízení a stručné specifikaci komunikace pro pěší.
Praktická část práce začíná charakteristikou obce Dolany a přípravou pro stanovení variant. Následuje stanovení možných variant a volba jednotlivých kritérií. Výběr kompromisní varianty je proveden pomocí metody analytického hierarchického procesu (AHP) pro možnost začlenění i kvalitativních kritérií, která nelze postihnout v rámci zadávací dokumentace. V závěru je vybraná varianta doporučena obci Dolany.
|
|
| |
|
|
Požadavky na manažera ve stavebnictví
Horská, Lenka ; Talač, Michal (oponent) ; Linkeschová, Dana (vedoucí práce)
Tato diplomová práce je věnována požadavkům na manažera ve stavebnictví. V teoretické části je nejprve stručně popsán management a jeho role ve stavebnictví. Poté se již práce věnuje samotným požadavkům, funkcím a technikám stavebního manažera. V empirické části jsou stanoveny hypotézy, které byly potvrzeny či vyvráceny dotazníkovými průzkumy prováděnými se stavebními společnostmi a také se studenty posledního ročníku oboru Management stavebnictví na Fakultě stavební VUT. Součástí empirické části je také analýza nabídek prací na pozici manažera ve stavebnictví. Kvantitativní průzkum je pak doplněn řízenými rozhovory, na které navazují závěry a následná doporučení pro stavební společnosti, studenty a fakultu.
|
|
|
Návrhová studie letiště VFR
Brandejský, Petr ; Veselý, Petr (oponent) ; Ptáček, Pavel (vedoucí práce)
Záverecná diplomová práce má za cíl vytvorit návrhovou studii na vznik nového VFR letište. To má být postaveno v jihovýchodní cásti Ceské republiky, v blízkosti mesta Valašské Klobouky. V práci jsou vysvetleny podstatné pojmy a definice týkající se základních predpisu a zákonu. Vysvetlen je zákon o civilním letectví a požadavky predpisu L14. Zadavatelem práce je aeroklub, který urcuje základní podmínky pro výber vhodné plochy. Délka dráhy je ovlivnena predevším výkony provozovaných letounu. V dané lokalite se nepodarilo nalézt vhodnou plochu odpovídající daným kritériím. Možnost, jak vyrešit tento problém, je výstavba plochy pro vzlety a pristání sportovních létajících zarízení. V druhé polovine práce jsou vypsány požadavky na takové plochy a ty jsou zavedeny na jednu vybranou plochu. V záveru práce je navržena varianta rozmístení provozních ploch, hangáru a jiných budov.
|
host ::
RSS.