|
Aversion of the consumer/investor to loss
Svorad, Michal ; Chládek, Libor (referee) ; Škapa, Stanislav (advisor)
This Masters thesis analysis attitude and behavior of consumer in a role of investor in financial market to the loss or how to avoid the risk of future losses .In the theoretical part describes the theory needed to understand the other part, here in after referred to as tools and methods that are used to reduce the risk of loss.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
Location-aware data transfers scheduling for distributed virtual walkthrough applications.
Přibyl, Jaroslav ; Sochor, Jiří (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Důležitou součástí aplikací procházení distribuovanou virtuální scénou je proces plánování přenosu dat. Jeho hlavním úkolem je zajištění efektivního přenosu dat a maximální kvality renderovaného obrazu. Největší vliv na kvalitu renderované scény mají omezení síťového připojení. Tyto omezení lze redukovat pomocí multi-resolution reprezentace dat scény, určováním priorit stahování jednotlivých částí scény, a přednačítáním dat. Pokročilé metody pro určování priorit a přednačítání částí scény jsou založeny na predikci pohybu uživatele vycházející z matematického popisu jeho pohybu. Tyto metody jsou schopny predikovat následující pozici uživatele jen v krátké vzdálenosti od jeho aktuální polohy. V případě náhlých, ale pravidelných změn směru pohybu uživatele jsou tyto metody nedostatečné co do přesnosti i délky predikce. V této práci je navrhnut komplexní přístup k řešení plánování přenosu dat splňující i tyto požadavky. Navrhované řešení využívá predikci pohybu uživatele založenou na znalostech k určení priority stahování dat i předstahování částí scény. Provedené experimenty nad testovacími daty ukazují, že navržené schéma plánování přenosu dat umožňuje dosažení vyšší efektivity přenosu dat a vyšší kvality renderovaného obrazu během průchodu testovací scénou.
|
|
Measuring phonological awareness – blend phoneme test in the beginning of schooling: an comparison of classical test theory and item response theory
Gorčíková, M. ; Šafr, Jiří
The main purpose of this paper is to show dis/advantages of two approaches classical test theory (CTT) and item response theory (IRT) to assess the level of diagnostic tools for evaluating phonemic awareness among first-grade students using longitudinal survey of children during the first grade of primary school (25 schools in Prague and Central Bohemia, 439 pupils). Phonemic awareness (FA) was measured by the task blend phonemes into syllables and words. The advantage of IRT compared to CTT is primarily a concept of independence of the test items. The probability of a response is dependent on the level of latent ability and characteristics of items. So if we know the characteristic of items parameter (difficulty) it could be estimated from the pupil´s responses the level of language skill for diagnostics. The results showed the need for blend phoneme test modifications (in particular for the end of the first grade) so as to adequately measure the high growth of FA ability levels during the first grade.
|
|
Are There Any Digital Curators in Czech Libraries?
Římanová, Radka ; Melichar, Marek
The development of digital repositories reveals the need for new Czech terminologies for library positions. One such job title or specialization is “digital curator”, a term which refers to a specialist responsible for digital collections. Competencies for digital curators include technical, organizational, communication, and marketing skills as well as some level of expertise in computer science as well as in information and library science. A survey of several administrators of Czech digital libraries asks how to best professionally label this group of library staff with respect to the actual activities they perform in their jobs - digital curators, administrators of digital libraries, or digital librarians? Job titles have a strong impact on higher education curricula, on the management of libraries, and also on the coordinated system of remuneration of employees at libraries, academic, and research institutions.
Fulltext: idr-1041_3 -  PDF; idr-1041_4 - PDF
Slides: idr-1041_1 - PDF; idr-1041_2 - PDF
Video: idr-1041_5 -  MP4
|
|
ME AND HER (OR CREATING AN ACTING CHARACTER )
Dostálová, Pavla ; HRBEK, Daniel (advisor) ; TÖPFER, Tomáš (referee)
The thesis focuses mainly on getting to know myself as an actress. I describe my way of work on creating a character (Kačenka, Guests by Oliver Bukowski) using my four years experience on the theatre faculty. I focus mainly on the work with a text, director and acting partners. I am trying to express the moments which influenced my developement as an actor and determine how they affected my own creations. In regards with this I touch on the problematics of self-control. This thesis is mainly a self-reflection which arose from the need of working on myself in the field of acting as well as directing-dramaturgy which I currently study
|
|
Product Innovation of the selected tourism company
JUNGVIRTOVÁ, Kateřina
This bachelor thesis deals with innovations in a company which expands its business for activities of travel agency. The aim of this work is to analyze present product of the company and needs and wishes of potential customers. Moreover to recommend the product for the travel agency, eg. water theme tours. The theoretical part is dedicated to the characteristics of legal and other facts related with the issue of travel agency founding and informations about product and its innovations, sport and recreation tourism and water tourism as a part of it. The application part consists of the company description and the research. The method of directquestioning was used for this research. The questioning was realized face to face directly in the company. For the research was chosen people who at least once used its services. For comparison of acquired results Chi-squaretest was applied. In the conclusion of the thesis was compiled three water theme tours, each one of them for specific customer segment. Bachelor thesis shows the extension ofthe company in practice, especially establishing the travel agency. It explains the specific steps important for achieving successful results.
|
|
The Importance of the Fundraiser in a Non-profit Organization
STARÁ, Radka
The main theme of the bachelor work is the importance of the fundraiser in a non-profit organization. It defines the term fundraising, its principles, forms and methods, the work of a fundraiser in a non-profit organization.The work characterizes nonprofit organizations, their legal status and field of activity. There are also information about activities, which improve economy and financial situation of these organizations. In the practical part of my work I have analyzed the way of financing a non-profit organization Junak- Czech scout, Centre Pod Kleti Holubov z.s. I am comparing in this part the way of fundraiser work on the local and state platform. The facts here available are drawn from the public web pages of this organization and also from the account keeping documents of its local center. At the conclusion of my work I am assessing the effectiveness of fund raising plan and its strategy and also describing the way of negotiation with donors. I am noticing the need of a fund raising team creation and also rules of fundraising including necessary cooperation between the center of organization and its local branches.
|
| |
guest ::
