|
|
Automatické srovnávání výstupu statické analýzy na různých verzích programů
Kompová, Radmila ; Müller, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce se zabývá vývojem nástrojové podpory pro srovnávání výstupu statické analýzy uplatněné na různé verze zdrojových kódů programů. Součástí je rovněž diskuze tří volně dostupných statických analyzátorů pro jazyk C, z nichž byl pro implementaci práce zvolen Cppcheck. Výstupy analyzátoru získané pro různé verze určitého programu jsou srovnávány na základě kontextu v okolí řádku, na němž byla nalezena chyba. Pro porovnávání dvou kontextů je využit nástroj patch. Chyby jsou po srovnání klasifikovány do tří skupin\,--\, nové, staré a opravené. Součástí práce je rovněž webové rozhraní umožňující přehlednější prezentaci výsledků. Vytvořený nástroj byl úspěšně otestován na třech projektech s otevřenými zdrojovými kódy, konkrétně na jádře Linux, Coreutils a CPython.
|
|
|
Synchronizace javascript objektu mezi klienty a serverem
Lehovec, Jakub ; Bruckner, Tomáš (vedoucí práce) ; Vencovský, Filip (oponent)
Diplomová práce se zabývá metodami synchronizace dat mezi více klienty v reálném čase. Zaměřuje se na metody v RIA kolaboračních systémech běžících v prostředí internetu. Metody především řeší přenos dat a řešení konfliktů vzniklých konkurenční prací klientů nad jedním dokumentem. V úvodu práce jsou popsány dvě metody: zavedená metoda Operační transformace a nová metoda Rozdílové synchronizace. Jsou popsány principy obou metod a jejich výhody a nevýhody. Cílem práce je implementace a porovnání metody Rozdílové synchronizace oproti metodě Operační transformace. Metody jsou porovnávány v implementaci prostředí Node.js jazyka JavaScript a je porovnán jejich výkon z hlediska odezvy a využití zdrojů. Jsou identifikovány problémy související s implementací metody v prostředí Node.js a popsáno jejich řešení. V praktické části zaměřené na analýzu výkonu jsou popsány data a chování metod v průběhu měření a vyvráceny nebo potvrzeny předpoklady vyplývající z definice metod. V práci je metoda Rozdílové synchronizace rozšířena o části kritizované autorem metody.
|
|
|
Understanding wildlife distribution in the human-dominated landscape of Nepal:implications for conservation
PAUDEL, Prakash Kumar
In this thesis, I have first reviewed biodiversity status and its conservation in Nepal, which indicates the need of linking the gaps between research and conservation of rare and endangered flora and fauna. Using three mountain ungulates as model species (barking deer - Muntiacus muntjak, Himalayan goral - Naemorhedus goral and Himalayan serow - Capricornis thar), I have investigated effects of human disturbances on wildlife distribution in the human-dominated landscapes of western Nepal, spanning from the subtropical Bardia National Park to the mountainous Shey Phoksundo National Park. I have developed habitat suitability maps for these three ungulate species and recommended a conservation priority area for their conservation. A special emphasis was placed on the study of the distribution of Himalayan serow using different factors related to habitat fragmentation, hunting and patch characteristics and connectivity of forest in midhills landscape of Nepal. Finally, wildlife hunting pattern in the region was investigated in order to explore wildlife conservation issues from the social perspective.
|
|
|
Calculation of fracture parameters for the cracked bodies strengthened by circular patches
Gröger, Roman
The present article yields a quantitative characterization of the influence of geometry and material properties on the values of fracture parameters. Both the cracked sheets with single and double circular patches are used for the analysis. The desired value of elastic T stress is obtained using the conservation M integral resulting from the Eshelby integral concept. For the SIF calculation, the indirect method of J integral is used and the general concept for the SIF separation in case of a mixed mode of loading is discussed here. The reduction effect is specified by the ratios of SIF and T stress. The method of stiffening the region surrounding the crack tip can be used as an alternative method of the lifetime prolongation, but cannot be used in all cases. Sometimes the usual method of the crack tip singularity cancellation is the only one to repair the structure.
|
host ::
RSS.