|
|
Webový portál pro podporu samo učení
Lukáš, Radek ; Solár, Peter (oponent) ; Ruttkay, Ladislav (vedoucí práce)
Bakalářská práce na téma Webový portál pro podporu samo učení se zabývá problematikou samo učení jak z hlediska teoretického, tak i praktického. Vysvětluje principy lidského učení a jeho efektivnějšího využívání za účelem dosažení lepších výsledků s vynaložením menší námahy studujícího. Podstatnou součástí bakalářské práce je návrh algoritmu respektujícího teoretické poznatky a vhodného pro počítačový program podporující samo učení a praktická implementace webové aplikace obsahující předměty, učebnice, kapitoly a karty, ze kterých si student může sestavit test. Princip aplikace je založen na samo hodnocení studentem, kdy otázky v testu se opakují podle tohoto samo hodnocení a závislosti na čase. Aplikace slouží jako pomocník pro rychlejší a dokonalejší zvládnutí dané látky při multimediálním obsahu a universálnosti použití.
|
|
|
Formal-based Component Model with Support of Mobile Architecture
Rychlý, Marek
Disertační práce se zabývá modelováním komponentových systémů a formálním popisem jejich chování. Řešení je založeno na vlastním komponentovém modelu, který je popsán meta-modelem, z logického pohledu, a popisem v pi-kalkulu, z procesního pohledu. Je ukázáno, že komponentový model pokrývá dynamické aspekty softwarových architektur včetně mobility jejich komponent. Dále je popsán způsob modelování chování v architekturách orientovaných na služby a přechod ke komponentovým systémům. Chování konkrétní architektury orientované na služby lze pak vyjádřit jako jediný proces v pi-kalkulu. V závěru práce je navržené řešení ověřeno na případové studii prostředí pro testování kritických aplikací. Přínosem disertační práce je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.
|
|
|
Device For Automatic Testing Of Ultrasonic Gas Leak Detector
Skryja, Petr
In this paper a device for automatic testing of the gas leak detector is presented. The device allows testing product which is an embedded device that is improved during a development. This requires testing the product after each implementation of a new feature, as there may be situations where this implementation will stop some part of the product from being functional. For realization mini PC Beaglebone Black was used and software architecture of this device is introduced.The presented device is able to do automatic testing that is more accurate and faster than human testing.
|
|
|
Generic Decentralized Self-Adaptive Context-Aware Architecture Model
Kazzaz, M. Mohanned ; Zimmerová, Barbora (oponent) ; Vranić,, Valentino (oponent) ; Zendulka, Jaroslav (vedoucí práce)
The evolution in information system continuously raises demands for more efficient, effective and adaptive cooperation between system's components to cope with changes in the system and to guarantee its best performance. Two main approaches have been introduced to achieve these requirements. First, the self-adaptation approach which enables information system to adapt to the changes in context information of the system and its surrounding environment based on an adaptation strategy. Second, context-awareness approach which enables to monitor the context information and recognize those changes that can trigger the adaptation process. In this work we introduce a generic context-aware self-adaptive architecture model to support software system with adaptation functionalities that guarantee system's availability, operation conditions and performance. Moreover, we provide two real-life case studies as a proof-of-concept of the applicability and re-usability of our proposed adaptation approach.
|
|
|
Analýza a návrh informačního systému řízení know-how v ICT společnosti
Pospíšil, Jiří ; Bartík, Vladimír (oponent) ; Kreslíková, Jitka (vedoucí práce)
Diplomová práce se zabývá problematikou návrhu informačního systému. Návrh systému je prováděn pomocí metodiky Rational Unified Process. Práce vytváří soupis požadavků a pohledů na systém. Provádí analýzu a konkrétní návrh informačního systému. Dle metodiky RUP jsou uskutečněny první dvě fáze této metodiky, fáze incepční a fáze elaborační. Vytvořená elaborační část dokumentu je podkladem pro vytvoření programového prototypu v prostředí Ruby on Rails za použití jazyka Ruby v kombinaci s HTML kódem.
|
|
|
Porovnání softwarových architektur
Motyčka, Michal ; Polčák, Libor (oponent) ; Pluskal, Jan (vedoucí práce)
Cílem této práce je porovnat softwarové architektury tak, aby čtenář byl schopný rozhodnout, která architektura je vhodná právě pro jeho projekt. K dosažení tohoto cíle práce nabízí porovnání a ukázkovou implementaci Cibulové architektury, Architektury anemického doménového modelu a Architektury aktivních záznamů. Architektury jsou porovnány na základě čitelnosti, rozšiřitelnosti, testovatelnosti a potřebných znalostí pro vývoj. Práce také nabízí popis dalších obecně známých softwarových architektur a konceptů používaných v těchto architekturách.
|
|
|
Automatické testování detektoru úniku plynu
Skryja, Petr ; Malinowski, Radim (oponent) ; Novák, Marek (vedoucí práce)
Tato práce se zabývá automatickým testováním ultrazvukového detektoru úniku plynu, který je nutné testovat při běžných změnách ve fázi vývoje. Čtenář bude seznámen se základními principy detekce plynu, návrhem testovacího přípravku, softwarovou architekturou a její realizací. Dále je představena ovládací GUI aplikace a návod pro psaní testů. V této práci je využito vývojové desky Beaglebone Black s oparačním systémem Debian sloužící jako jádro celého testovacího přípravku.
|
|
|
Model-Driven Development of Software-Intensive Cyber-Physical Systems
Gerostathopoulos, Ilias ; Hnětynka, Petr (vedoucí práce) ; Seinturier, Lionel (oponent) ; Crnkovic, Ivica (oponent)
Softwarové cyber-physical systémy (siCPS) jsou modulární, otevřené, propojené a rozsáhlé ICT systémy, které stále více závisejí na softwaru. Tyto systémy musejí být spolehlivý a zároveň schopné se adaptovat na změny v proměnlivém prostředí, ve kterém jsou provozovány. Tato kombinace činí jejich návrh a realizaci obtížnými, neboť tradiční modelem řízené techniky pro návrh a vývoj nejsou schopny brát v potaz zároveň spolehlivost a autoadaptivitu. Tato práce navrhuje: (1) nový, modelem řízený proces návrhu siCPS systémů, který obsahuje vhodné metodiky a modely a zároveň podporuje spolehlivost i autoadaptivitu; a (2) mapování vzniklých návrhových modelů do abstrakcí na úrovni implementace, což umožňuje modelem řízený vývoj a rychlé experimentování v kontextu siCPS. Konkrétní realizaci bodu (1) představuje zavedení a rozpracování metody Invariant Refinement Method (IRM) - a jejího rozšíření pro podporu adaptivity - určené pro návrh siCPS založených na konceptu tzv. ansámblů. IRM je integrováno do metodiky vytvořené pro vývoj autonomních systémů založených na ansámblech. Z hlediska realizace bodu (2) práce navrhuje mapování z IRM konceptů do konceptů komponentového modelu DEECo. Mapování je podloženo implementačními prototypy nástrojů pro manipulace s modelem. Důležitou součástí práce je rovněž...
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (vedoucí práce) ; Döbel, Björn (oponent) ; Sojka, Michal (oponent)
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních systémů, která by podporovala nejmodernější přístupy a metody (například verifikaci správnosti) a současně kladla důraz na praktickou relevanci. Text práce popisuje jaké konkrétní prostředky návrhu (založené na softwarových komponentách), implementace, vývojového procesu a verifikace, které jsou použity pro dosažení primárního cíle. Text práce dále hodnotí současný stav projektu HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
Dynamic Software Architectures for Resilient Distributed Systems
Keznikl, Jaroslav ; Bureš, Tomáš (vedoucí práce) ; Becker, Steffen (oponent) ; Loreti, Michele (oponent)
Resilientní Distribuované Systémy (RDS) jsou ty rozsáhlé distribuované systémy, které fungují spolehlivě navzdory svému značně dynamickému, otevřenému a z principu nepředvídatelnému prostředí. Takováto kombinace systémových vlastností a vlastností prostředí však velmi ztěžuje vývoj softwarových architektur pomocí dnes dostupných softwarových modelů a abstrakcí. Proto se tato dizertační práce snaží přinést: (1) nové abstrakce, které jsou speciálně uzpůsobeny potřebám dynamických softwarových architektur RDS, (2) softwarové modely a procesy, které usnadňují použití těchto abstrakcí během vývoje, a (3) prostředky pro efektivní implementaci, provoz i analýzu softwarových architektur postavených na těchto abstrakcích. Tato práce řeší bod (1) zavedením komponentového modelu DEECo, jenž je založen na konceptu ensemblů komponent. Práce dále přispívá k (2) představením metody Invariant Refinement Method, která zajišťuje spolehlivý formalizovaný vývoj softwarových architektur postavených na DEECo, a uvedením metody ARCAS, která se soustředí na spolehlivou realizaci dynamických spojení komponent, typických pro DEECo. Práce se věnuje (3) prostřednictvím formalizace operační sémantiky komponentového modelu DEECo a projekcí této sémantiky do jazyka Java formou prototypu běhového prostředí - jDEECo. Tato sémantika je dále...
|
host ::
RSS.