|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
|
|
Evaluation methods of systems for unsegmented speech retrieval.
Galuščáková, Petra ; Pecina, Pavel (vedoucí práce) ; Hoffmannová, Petra (oponent)
Práca popisuje v súčasnosti používané spôsoby evaluácie vyhľadávania v hovorenej reči. Vysvetlené sú rôzne prístupy, ktoré slúžia na vyhľadávanie v hovorenej reči, ako aj spôsoby, ktoré slúžia na evaluáciu tohoto vyhľadávania. Práca sa pritom zameriava na vyhľadávanie v nahrávkach, ktoré nie sú segmentované na kratšie úseky. Cieľom práce je overiť, či sú používané spôsoby vyhľadávania adekvátne a prípadne vylepšiť tieto spôsoby evaluácie. V práci sú použité empirické prístupy založené na tom, ako užívatelia vyhľadávanie v hovorenej reči vnímajú a ako pracujú so systémami určenými na toto vyhľadávanie. Upravené spôsoby evaluácie sú nakoniec porovnané s pôvodnými technikami.
|
|
Evaluation methods of systems for unsegmented speech retrieval.
Galuščáková, Petra ; Pecina, Pavel (vedoucí práce) ; Hoffmannová, Petra (oponent)
Práca popisuje v súčasnosti používané spôsoby evaluácie vyhľadávania v hovorenej reči. Vysvetlené sú rôzne prístupy, ktoré slúžia na vyhľadávanie v hovorenej reči, ako aj spôsoby, ktoré slúžia na evaluáciu tohoto vyhľadávania. Práca sa pritom zameriava na vyhľadávanie v nahrávkach, ktoré nie sú segmentované na kratšie úseky. Cieľom práce je overiť, či sú používané spôsoby vyhľadávania adekvátne a prípadne vylepšiť tieto spôsoby evaluácie. V práci sú použité empirické prístupy založené na tom, ako užívatelia vyhľadávanie v hovorenej reči vnímajú a ako pracujú so systémami určenými na toto vyhľadávanie. Upravené spôsoby evaluácie sú nakoniec porovnané s pôvodnými technikami.
|