|
|
Automatizované metody hledání chyb v překladačích
Müller, Petr ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC.
|
|
|
Automated Fuzz Testing of Applications Using D-Bus Communication System
Marhefka, Matúš ; Smrčka, Aleš (oponent) ; Müller, Petr (vedoucí práce)
This thesis discusses use of the fuzzing for testing applications communicating through D-Bus system. The first part is focused on introducing the concept of the fuzzing and on use of this method when testing applications. Subsequently, there is a description of D-Bus system and its architecture. In the second part, the thesis deals with an appropriate way of using the fuzzing method for testing applications communicating through D-Bus system. A tool was implemented within this thesis for testing applications which use this system for interprocess communication. During implementation of the tool there was an effort to make it possible to test the greatest variety of applications. Testing took place on the three selected applications - GNOME Shell , IMSettings and Evince . In the two of these three applications ( GNOME Shell , IMSettings ) was found bugs which caused their crash. Implemented tool also detected memory leaks in IMSettings application.
|
|
|
Zvýšení výkonu Nitrate klienta pomocí vyrovnávací paměti
Holec, Filip ; Letko, Zdeněk (oponent) ; Müller, Petr (vedoucí práce)
Cílem práce je návrh a implementace výkonnostních vylepšení modulu python-nitrate. Výkonnostní vylepšení jsou založeny na sesbíraných případech užití, které využívají velké množství dat. Za účelem měření dopadu změn v modulu byly implementovány výkonnostní testy. Testování ukázalo, že modul python-nitrate s integrací vylepšení je v některých případech až několikanásobně rychlejší, avšak ve dvou případech může nastat zpomalení. Závěr práce obsahuje diskusi ohledem pokračování prací.
|
|
| |
|
|
Přípustné riziko
Müller, Petr ; Vokoun, Rudolf (vedoucí práce) ; Bohuslav, Lukáš (oponent)
1 Přípustné riziko Abstrakt Tato diplomová práce se věnuje přípustnému riziku jako jedné z okolností vylučující protiprávnost v českém trestním právu. Úvodní kapitola je věnována obecným východiskům okolností vylučujících protiprávnost, příbuzným institutům a zásadám trestního práva jako prostředku ultima ratio. Dále jsou zkoumány jednotlivé okolnosti vylučující protiprávnost a jejich vzájemné vztahy, neboť mezi jednotlivými okolnostmi můžeme sledovat podobné i shodné prvky, které je mnohdy činí velmi podobnými až do té míry, že je laici nejsou s to spolehlivě navzájem odlišit. Následuje kapitola věnující se samotnému přípustnému riziku - jeho historickému vývoji v československém a později českém prostředí až do jeho výslovného uvedení v trestním zákoníku z roku 2009, rozboru současné zákonné definice a detailům jednotlivých podmínek, které zákon při podstupování rizika klade, ale také srovnání se zahraniční (slovenskou a polskou) právní úpravou, které mají k naší úpravě nejblíže. Konečně se práce zabývá dvěma konkrétním oblastem lidské činnosti, které jsou frekventovaně s přípustným rizikem spojovány - sportu a zdravotnictví. Jsou zdůrazněna jejich specifika, s nimiž je nutné se vypořádat a která mnohdy znesnadňují aplikaci institutu, jež se nepříliš obsáhlou zákonnou dikcí snaží obsáhnout širokou škálu...
|
|
|
Use of Hsp90 as a target of biological therapy of tumors
Bednárová, Kristína ; Bouchalová,, Pavla (oponent) ; Müller, Petr (vedoucí práce)
Antibody-drug conjugates (ADCs) represent a relatively new class of highly potent anti-tumor drugs. Thanks to highly specific monoclonal antibodies, ADCs are able to deliver a cytotoxic payload directly to tumor cells and thus minimize damage to healthy cells. Therapeutic efficacy depends on the selection of an appropriate antigen that undergoes internalization upon conjugate binding. For this project, pro-oncogenic Hsp90 and c-Met were selected as potential targets. Hsp90 is a molecular chaperone that is overexpressed in tumor cells and, in addition, can be translocated to the membrane of these cells. Overexpressed Hsp90 contributes to angiogenesis, tumor cell motility or metastasis. C-Met is a receptor tyrosine kinase that plays a central role in epithelial morphogenesis and malignant transformation. Its increased activity induces pathways responsible for the proliferation, invasion and migration of malignant cells. The aim of the diploma thesis was to study the potential use of antibodies with anti-Hsp90 and anti-c-Met activities in anti-tumor therapy. The experimental part involved the purification of the EEV1-2.1 antibody with anti-Hsp90 activity and its subsequent characterization. Furthermore, it included the characterization and selection of anti-c-Met antibody clones. It was also focused on selection and optimization of the right conjugation strategy. The activity of the antibodies and their conjugates was examined by fluorescence microscopy and flow cytometry. In vivo experiments were further aimed at verifying the efficacy of ADC by monitoring the rate of inhibition of proliferation of selected tumor cell lines. The results revealed that the EEV1 antibody does not enter the cells specifically by antigen-mediated way, and is therefore not suitable for use in conjugation with a cytostatic drug. On the other hand, anti-c-Met antibody ADC conjugates exhibit high affinity for native antigen, internalization through antigen binding, and additionally inhibited proliferation of c-Met overexpressing OE33 cells.
|
|
|
Testování výkonnosti Java kolekcí na vícejádrových systémech
Husar, Martin ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá testováním výkonnosti Java kolekcí na vícejádrových systémech. Cílem práce bylo nastudovat kolekce z rámce Java Collection Framework a také některé další kolekce z balíku java.util.concurrent a projektu Javolution. Pro tyto kolekce bylo za úkol navrhnout vhodné zátěžové testy, na základě kterých bude možné porovnat výkonnost jednotlivých kolekcí. Základní řešení obnáší implementaci navržených testů v jazyce Java a jejich závěrečné vyhodnocení.
|
|
|
Variace a další změny závazku podle vzorů FIDIC ve veřejných zakázkách
Müller, Petr ; Klee, Lukáš (vedoucí práce) ; Brodec, Jan (oponent)
Variace a další změny závazku podle vzorů FIDIC ve veřejných zakázkách Abstrakt Tato práce se zaobírá variacemi a dalšími změnovými instituty dle Červené knihy FIDIC (CONS nebo také FIDIC Red book) uplatňovanými v režimu zákona č. 134/2016 Sb., o zadávání veřejných zakázek, ve znění pozdějších předpisů. Hlavním cílem této práce je analýza možnosti efektivně realizovat komplexní výstavbové projekty v českém právním prostředí, a to zejména s ohledem na skutečnost, že se individuální komplexní výstavbové projekty potýkají v jejich realizační fázi s nutností měnit vyprojektované dílo, cenu za dílo, ale i dobu dokončení a předání díla z důvodu výskytu nepředvídatelných nebo nepředvídaných okolností. Právo veřejných zakázek přitom s odkazem na principy volné hospodářské soutěže a z důvodu zajištění efektivity nakládání s veřejnými prostředky, možnost měnit smlouvu na veřejnou zakázku omezuje doktrínou podstatné a nepodstatné změny. Velké výstavbové projekty přitom mnohdy překračují předpokládanou hodnotu veřejné zakázky o více než 100 %, což činí velký tlak na správné a zákonné podřazování změn pod zákonné důvody změny smlouvy na veřejnou zakázku dle § 222 zákona o zadávání veřejných zakázek. Práce je strukturována do čtyř kapitol. První kapitola definuje pojem výstavbový projekt a věnuje se jeho specifikům a...
|
|
|
Metodický postup zavedení doporučovacího systému s využitím nástroje Soyka
Müller, Petr ; Gála, Libor (vedoucí práce) ; Fanta, Michal (oponent)
Tato diplomová práce se zabývá problematikou personalizace obsahu, specificky doporučovacími systémy. Cílem práce je navrhnout metodický postup zavedení doporučovacího systému v prostředí elektronického obchodování s využitím IT nástroje Soyka. Na základě teoretického vymezení doporučovacích systémů a jejich technologických přístupů jsou identifikovány funkce personalizačních nástrojů, které přímo souvisí s doporučovacími systémy. Dle identifikovaných funkcí je vymezena pozice nástroje Soyka, který je předmětem navrženého metodického postupu. Přínosem práce je vytvoření a publikace metodického postupu, který lze využít v praxi, a to všemi osobami, které jsou zainteresované na projektech zavádění nástroje Soyka.
|
|
|
Vznik a formování Jižního Súdánu
Müller, Petr ; Romancov, Michael (vedoucí práce) ; Daniel, Jan (oponent)
Tato bakalářská práce se zabývá formováním a vznikem Jižního Súdánu. Její obecná část si bere za cíl popsat základní instituty mezinárodního práva veřejného týkající se vzniku suverénního státu. Tato tvoří podklad pro zvláštní část, jež se věnuje skutečnostem, díky kterým se Jihosúdánská republika zformovala a následně vznikla secesí v rámci referenda. Zvláštní část práce tak definuje jednotlivé faktory vedoucí ke vzniku tohoto státu, historické souvislosti, otázku koncepce státních hranic v Africe a faktor diverzity obyvatelstva v tehdy jednotném Súdánu. Stěžejní kapitolou je poté kapitola věnující se vůli a motivaci mezinárodního společenství, přesněji tedy států RB OSN a Africké unie. Na základě výše zmíněných faktorů pak vznikla Jihosúdánská republika, jež se potýká s četnými problémy, mezi které patří nedostatečná infrastruktura, nízké procento gramotnosti obyvatel, nedostatečná úroveň zdravotnictví atd. Tento vznik také způsobil značné změny a ekonomické problémy Súdánu. Tato práce by tedy měla jasně definovat motivace a zájmy jednotlivých aktérů na tomto území, které vedly k samotnému vzniku Jižního Súdánu a jeho brzkému přijetí do OSN a AU.
|
host ::
RSS.