|
|
Episodická paměť pro postavy z IVE
Reidinger, Josef ; Brom, Cyril (vedoucí práce) ; Poch, Tomáš (oponent)
Paměť je důležitou součástí každého člověka a na jejím fungování je závislý nejen rozvoj osobnosti, ale i každodenní chování. Je důležitá i pro věrohodné chování umělých bytostí. Tato práce má za cíl navrhnout model paměti, implementovat ho do projektu IVE a následně ověřit chování této paměti. Model má dvě oddělené části. Jedna slouží pro aktuálně spatřené nové předměty a druhá pro již déle známé předměty. Model má schopnost na požádání přesunout platné věci z první paměti do druhé, odstranit neplatné vzpomínky a ty, které se nevešly do kapacity paměti. Výběr odstraňovaných vzpomínek používá výpočet hodnoty vzpomínky na základě četnosti, posledního spatření, počtu podobných předmětů a statické zajímavosti objektu vzpomínky. Vzpomínky s nejmenší hodnotou se odstraní. Výsledný model se ukázal být vhodnýza normálních podmínek a nepřesvědčivý při velkém množství předmětů stejného druhu.
|
|
|
Syntax-based extraction of component behavior specifications
Reidinger, Josef ; Poch, Tomáš (vedoucí práce) ; Šimko, Viliam (oponent)
Pro velké softwarové systémy je možné použít komponentový způsob vývoje. Jeho výhody jsou, že lze snadno části použít opakovaně a pokud obsahuje i popis chování, tak lze systém snadněji analyzovat. Komponenty jsou tvořeny popisem rozhraní a volitelně popisem chovaní. Popis chování je možné zkoumat na porušení omezení jiných komponent při jejich použití, jestli chování je očekávané a jestli komponenty k sobě pasují. Popis chování definuje omezení použítí komponenty a jak reaguje na zavolaní každé své poskytované metody. Reakce popisuje pořadí a četnost volání metod požadovaných komponent. Manuální definování chovaní komponenty je náchylné k chybám a mělo by se zautomatizovat. Výsledkem této práce je nástroj který z kódu, který splňuje omezení, je schopen vygenerovat automaticky popis chování. Nástroj je možné použít pro automatické generování popisu chování při převodu běžného softwaru na komponenty nebo při úpravě komponenty ke kontrole změny chování změnené komonenty. Práce také obsahuje prozkoumání možných technologií využitelných pro analýzu. Nástroj je součástí mezinárodního Q-Impress projektu a využívá jeho nástroje pro svoji funkci a naopak.
|
|
|
Episodická paměť pro postavy z IVE
Reidinger, Josef ; Poch, Tomáš (oponent) ; Brom, Cyril (vedoucí práce)
Paměť je důležitou součástí každého člověka a na jejím fungování je závislý nejen rozvoj osobnosti, ale i každodenní chování. Je důležitá i pro věrohodné chování umělých bytostí. Tato práce má za cíl navrhnout model paměti, implementovat ho do projektu IVE a následně ověřit chování této paměti. Model má dvě oddělené části. Jedna slouží pro aktuálně spatřené nové předměty a druhá pro již déle známé předměty. Model má schopnost na požádání přesunout platné věci z první paměti do druhé, odstranit neplatné vzpomínky a ty, které se nevešly do kapacity paměti. Výběr odstraňovaných vzpomínek používá výpočet hodnoty vzpomínky na základě četnosti, posledního spatření, počtu podobných předmětů a statické zajímavosti objektu vzpomínky. Vzpomínky s nejmenší hodnotou se odstraní. Výsledný model se ukázal být vhodnýza normálních podmínek a nepřesvědčivý při velkém množství předmětů stejného druhu.
|
|
|
Syntax-based extraction of component behavior specifications
Reidinger, Josef ; Šimko, Viliam (oponent) ; Poch, Tomáš (vedoucí práce)
Pro velké softwarové systémy je možné použít komponentový způsob vývoje. Jeho výhody jsou, že lze snadno části použít opakovaně a pokud obsahuje i popis chování, tak lze systém snadněji analyzovat. Komponenty jsou tvořeny popisem rozhraní a volitelně popisem chovaní. Popis chování je možné zkoumat na porušení omezení jiných komponent při jejich použití, jestli chování je očekávané a jestli komponenty k sobě pasují. Popis chování definuje omezení použítí komponenty a jak reaguje na zavolaní každé své poskytované metody. Reakce popisuje pořadí a četnost volání metod požadovaných komponent. Manuální definování chovaní komponenty je náchylné k chybám a mělo by se zautomatizovat. Výsledkem této práce je nástroj který z kódu, který splňuje omezení, je schopen vygenerovat automaticky popis chování. Nástroj je možné použít pro automatické generování popisu chování při převodu běžného softwaru na komponenty nebo při úpravě komponenty ke kontrole změny chování změnené komonenty. Práce také obsahuje prozkoumání možných technologií využitelných pro analýzu. Nástroj je součástí mezinárodního Q-Impress projektu a využívá jeho nástroje pro svoji funkci a naopak.
|
|
|
Modelování povodňových škod
Podlaha, Adam ; Hladný, Josef (vedoucí práce) ; Langhammer, Jakub (oponent) ; Reidinger, Josef (oponent)
Závér Povodně (v současnosti nejčastěji registrovaný typ přírodníchkatastrof) majína dnešnísvět především negativní a proto velmi důležitývliv. Rizikoje závislé na faktorech pocházejících ze třech základních oblastí: ohrožení, Expozice a zranitelnost' Během vývoje lidstva sice docházelo ke změnám parametrů charakterizujícíchohrožení, k daleko vážnějšímzměnám však docházelo a dochází u Expozice a Zranitelnosti. Pojištěníproti negativním účinkům povodní je jednou z efektivních cest snižovánípovodňového rizika. Jeho přenos pokračuje dálenazajišéovny.Hodnocenípovodňovéhorizikaproúčelyzajištěnípomocímodelů' jejichŽ výsledkem je odhad NJetých povodňových škod, je interdisciplinárním úkolem. ZapomocímetodvrámciGIS,statistickýchpřístupůadostupnýchdat,bylanawženametoda (včetnějejíprogramovéaplikace)sloužícíkodvozenírozlivůN-letýchpovodní.Pomocí dalšíchpostupů,navrženýchvtétopráci,jemožnésimulovathydrologickéudálostia vypočítatobjemškod,kterémohoutytoudálostizpůsobit.Metodasloužícíkhodnoceníškod vznikajícíchvněpovodňovýchrozlivůbylatakénavržena.Popsanépostupyjižněkoliklet sloužíktvorběmodelůpoužívanýchvsoučasnéekonomicképraxi.Jejichfunkcíje'kromě kalkulaceobjemuN.tetýchškod,takélepšípoznánípÍocesuvznikupovodňovýchškod' vedoucí k uplatnění opatření na jejich sniŽování. Při dnešnítendenci zvětšování povodňové...
|
host ::
RSS.