|
|
Systém monitorování stavu plánovacích úloh
Maga, Martin ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Úkolem této bakalářské práce je dle konkretních požadavků zadavatele společnosti Red Hat vytvořit systém monitorování stavu plánovacích úloh. Hlavním cílem je vytvořit systém plánování, který uloží plánovací problém do systému, spustí jeho plánování a monitoruje průběh. Systém plánování byl rozdělen na části uživatelského rozhraní vytvořeného pomocí technologií JavaServer Faces, RichFaces a Twitter Boostrap, prostřednictvím kterého můžeme nahrávat zadaní problému, spouštět a pozastavit běh úloh a druhou část reprezentovanou webovou službou v kombinaci s technologií Enterprise JavaBeans, která zpracovává požadavky na spouštění/pozastavení běhu plánovaní, vykována je s využitím frameworku OptaPlanner a průběh plánování ukládá do MySQL databáze. Z této databáze jsou uživatelským rozhraním získávaný informace o plánovacích problémech a jsou průběžně zobrazovány v uživatelském rozhraní. Pro implementaci obou částí byla použita platforma Java Enterprise Edition 6 a aplikace byla nasazena na aplikační server JBoss. Systém byl odzkoušen na umělém plánovacím problému N Dam a praktickém problému ze společnosti Red Hat vyvážení cloudu a cestovatelském turnaji na platformě UNIX uživateli prostřednictvím cloudové služby OpenShift.
|
|
|
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.
|
|
|
Použití Peltierových článků pro tepelné cyklování
Müller, Petr ; Starý, Jiří (oponent) ; Šandera, Josef (vedoucí práce)
Předkládaná práce se zabývá použitím Peltierových článků pro tepelné cyklování při provádění zrychlených zkoušek na pracovišti pro termomechanické namáhání pájených spojů. Jejím základem je popis jednotlivých částí pracoviště. Je uveden Peltierův jev a jsou popsány Peltierovy články, které tvoří základ pracoviště. Jsou rozebrány možné způsoby řízení pracoviště a shrnuty jejich výhody a nevýhody. Byl sestaven a popsán systém zadávání teplotních cyklů spolu s elektronikou indikující poruchu článku.
|
|
|
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í.
|
host ::
RSS.