|
Assessing the benefits of reconversion on the value of church building
Strnková, Markéta ; Klika, Pavel (referee) ; Hlavinková, Vítězslava (advisor)
The thesis focus on the reconversion church building in the selected location. At the beginning of the work described church buildings and their influence on the surrounding, the structure of the Roman Catholic Church and the development of church property during the history. This is complemented by theoretical terms and possible methods of valuing cultural monument. The practical part deals with the reconversion church building, specifically the Dominican monastery in Znojmo. Based on an analysis of Znojmo and monastery was suggesting possible use of the monastery. Of these, two variants were selected and were compared. Of these two options, one was chosen as the most suitable option for future use.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
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.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
Trust and Reputation in Distributed Systems
Samek, Jan ; Návrat,, Pavol (referee) ; Šafařík,, Jiří (referee) ; Hanáček, Petr (advisor)
This Ph.D. thesis deals with trust modelling for distributed systems especially to multi-context trust modelling for multi-agent distributed systems. There exists many trust and reputation models but most of them do not dealt with the multi-context property of trust or reputation. Therefore, the main focus of this thesis is on analysis of multi-context trust based models and provides main assumptions for new fully multi-contextual trust model on the bases of them. The main part of this thesis is in providing new formal multi-context trust model which are able to build, update and maintain trust value for different aspects (contexts) of the single entity in the multi-agent system. In our proposal, trust value can be built on the bases of direct interactions or on the bases on recommendations and reputation. Moreover we assume that some context of one agent is not fully independent and on the bases of trust about one of them we are able to infer trust to another's. Main contribution of this new model is increasing the efficiency in agent decision making in terms of optimal partner selection for interactions. Proposed model was verified by implementing prototype of multi-agent system when trust was used for agents' decision making and acting.
|
|
The impact of reconversion on the value of a former church building in South Moravia
Sýkorová, Michaela ; Gardášová, Alena (referee) ; Hlavinková, Vítězslava (advisor)
The diploma thesis deals with specific case of valuation of the former vicarage in the village Přítluky in South Moravia. The basic idea is to evaluate the imact of change in the purpose of use associated with building reconstruction, from view of market approach and also valid valuation laws. First part deals with theoretical basis as valuation terms, laws and approaches. Next chapter describes specific situation of the site and the building and in the last part is described and justified own valuation methods. Results are analyzed at the end.
|
|
Methods for class prediction with high-dimensional gene expression data
Šilhavá, Jana ; Matula, Petr (referee) ; Železný, Filip (referee) ; Smrž, Pavel (advisor)
Dizertační práce se zabývá predikcí vysokodimenzionálních dat genových expresí. Množství dostupných genomických dat významně vzrostlo v průběhu posledního desetiletí. Kombinování dat genových expresí s dalšími daty nachází uplatnění v mnoha oblastech. Například v klinickém řízení rakoviny (clinical cancer management) může přispět k přesnějšímu určení prognózy nemocí. Hlavní část této dizertační práce je zaměřena na kombinování dat genových expresí a klinických dat. Používáme logistické regresní modely vytvořené prostřednictvím různých regularizačních technik. Generalizované lineární modely umožňují kombinování modelů s různou strukturou dat. V dizertační práci je ukázáno, že kombinování modelu dat genových expresí a klinických dat může vést ke zpřesnění výsledku predikce oproti vytvoření modelu pouze z dat genových expresí nebo klinických dat. Navrhované postupy přitom nejsou výpočetně náročné. Testování je provedeno nejprve se simulovanými datovými sadami v různých nastaveních a následně s~reálnými srovnávacími daty. Také se zde zabýváme určením přídavné hodnoty microarray dat. Dizertační práce obsahuje porovnání příznaků vybraných pomocí klasifikátoru genových expresí na pěti různých sadách dat týkajících se rakoviny prsu. Navrhujeme také postup výběru příznaků, který kombinuje data genových expresí a znalosti z genových ontologií.
|
|
Importance of Identity in Nursing Profession and its Impact on Quality of Care
DRÁBKOVÁ, Kateřina
The nursing profession belongs to helping professions which are heavily demanding in terms of mental and physical aspects. The nurses who are university graduates enter into practice more mentally and physically mature, and their approach to patients and the care provided may be better than in nurses with secondary education. In care provision nurses have to cooperate with physicians, but also with other healthcare professionals. Due to the lack of medical personnel nurses assume responsibilities of other team members, which they may perceive as a restriction in fulfilling their professional identity. This restriction may be reflected in the quality of the care provided. It often happens that a nurse cannot fulfill her professional identity because of the pressure of her family which requires the fulfillment of their own requirements prior to fulfilling the professional identity of a nurse.The aim of the thesis was to determine how nurses, but also their family members, perceive the professional identity of nurses. The aim was achieved. The research was carried out in two phases. The first phase was conducted using interviews with six nurses of different ages both with and without university education. The second phase was carried out through a quantitative survey using a questionnaire method in health care facilities in Písek, České Budějovice and Plzeň. Results of the research can be used in qualification and lifelong education of nurses to strengthen their identification with the profession.
|
|
Measuring the Performance of Human Capital in the Building Company
BURIÁNKOVÁ, Irena
The main objective of this work is to measure the performance of human capital in the chosen building company. Another goal is to bring suggestions for improvement that will lead to increasing to the efficiency of human capital. The thesis consists of two parts. The theoretical part provides information from the Czech and foreign literature. Knowledge of theoretical part is then applied to the practical part. Basic information about the company is included in the practical part and comparison with competing businesses is also mentioned. But the most attention is paid to the performance of human capital, which is measured by labour productivity. Two indicators are selected for the calculation of labour productivity - sales and added value. Both indicators are compared in two ways; the first is average number of employees and the second personnel costs. Calculations are performed by internal resource of the company for the period 2007-2014.
|
|
The contributions of the sections (NACE-CZ) to the creation of gross value added
BEDNÁŘOVÁ, Monika
The aim of this thesis was to evaluate the contributions of the sections (NACE-CZ) to the creation of gross value added. The first part of this thesis described the theoretical concepts relating to national economic gross value added. Analytical processes were used for the calculations, which may be used only if we are dealing with an additive link between individual factors. The sections' contributions to the creation of national eco-nomic gross value added were evaluated in the practical part, on the basis of the proc-esses set forth in the methodology. In the given time horizon, contributions by institu-tional sectors and groups of sections classified according to the level of technology showed a certain dependency on the actual economic cycle. Although the strongest in-stitutional sector is non-financial enterprises, they were the ones most affected during the crisis period, together with government institutions. On the contrary, the financial institution sector showed a strong position during the crisis period. In terms of the grouping of the sections according to the level of technology, the greatest contribution to national economic gross value added is by groups B1 and B2. The influence of the economic cycle was noted in all the groups but, according to the results, group C did not react quite as sensitively as the other groups.
|
guest ::
