|
|
Aplikace nástrojů na kvalitu kódu
Holub, Tomáš
Static analysis is one of the methods used to increase the quality of the examined source code. An increase in code quality can be achieved not only by avoiding security risks and choosing the most efficient solution in terms of program performance, but also by adhering to established conventions and maintaining a consistent, understandable style. By appropriately incorporating static analysers into the program development cycle, the developer is compelled to write safe, efficient, understandable, and standardised code. The introductory part of this thesis focuses on current methodologies and tools used for static code analysis. Then, the thesis briefly explores and evaluates the possibilities of using static analysers within CI/CD pipelines of versioning systems. The core of the thesis is finding an optimal static analysis solution for the DNA analyser project. The most appropriate tools and methodologies designed for Java and JavaScript programming languages are applied to the project. During the tool selection, the focus lies on integrability of the tools into the CI/CD pipeline of the GitLab web Git repository. In the last part of this paper, based on the results of the analysis and personal experience with the used tools, a documentation containing several recommendations is created. These recommendations describe the improvement possibilities of the examined code and function as a simple manual for maintenance, development, and possible integration of additional tools.
|
|
|
Development of a procedure for the analysis of the T-cell response against SARS-CoV-2 virus
Šmahel, Michal ; Pavliš, Oto ; Beran, Ondřej ; Bohoněk, Miloš ; Tachezy, Ruth ; Holub, Michal ; Poláková, Ingrid ; Saláková, Martina ; Schreiberová, Lucie
In 2020, the SARS-CoV-2 coronavirus caused a pandemic of covid-19 disease. To detect the cellular response induced by infection with this virus, a highly sensitive ELISPOT assay has been developed that detects specific interferon gamma-producing T lymphocytes after stimulation with synthetic peptides derived from viral antigens. This assay allows the detection of memory T cells directed against the viral spike (S) protein used for vaccination as well as against other viral proteins. This method can be applied to the analysis of the immune response in individuals after covid-19 and SARS-CoV-2 vaccination and may thus be used to determine the immune preparedness of emergency workers.
Fulltext:  PDF
|
|
|
Audio files analysis application
Dřevojánek, Dalibor ; Schimmel, Jiří (referee) ; Přinosil, Jiří (advisor)
This bacherol thesis focuses on RIFF format files, their structure, processing, usage and creating an application, which is able to show the structure of these files and their simple editing. Application is developed using the C# programming language and .NET framework. It can show the structure of a file in a tree view, plot a waveform sotred in an audio file, edit values in some chunks, extract a chunk of a RIFF file, save it to another file and add or remove a chunk from a RIFF file. Application also contains a console version which can be used in evironments without graphical interface. It is developed using integrated development environment Rider from the company JetBrains s.r.o and git repository stored in cloud service GitHub was used for source code storage and preservation.
|
|
|
Debian repository web interface
Kurmanova, Aidana ; Sláčik, Ján (referee) ; Sysel, Petr (advisor)
The bachelor thesis focuses on the implementation of a web interface for the Debian repository and the management of security certificates. The aim of the work is to create a modular web application for the Debian repository. The repository application is designed to perform basic functions: import packages and display package information. This thesis describes the principle of creating web applications using the Nette library, the structure of the Debian repository and other technologies used in the implementation of the application. The practical part of the work is devoted to the implementation of the web interface, as well as familiarization with the user interface and its functionality.
|
|
|
Software Architecture Comparison
Motyčka, Michal ; Polčák, Libor (referee) ; Pluskal, Jan (advisor)
The goal of this thesis is to compare software architectures to help the reader decide which architecture is the most suitable for their project. The thesis compares the Onion architecture, Anemic domain model architecture and Active record architecture. The architectures are compared based on their readability, extensibility, testability and the amount of knowledge neccesary to implement each architecture. It also offers the description of other well-known software architectures and the concepts which they use.
|
|
|
Reduction of CentOS operating system
Vashkevich, Pavel ; Caha, Tomáš (referee) ; Komosný, Dan (advisor)
The goal of this bachelor's thesis is to perform a reduction of the Linux operating system. For minimalization was entered the Linux distribution CentOS 8, which is created on the basis of open-source code. This code are spread by Red Hat. The theoretical part describes the basic components of the operating system, including the Linux kernel, drivers and graphical interface. The practical part describes the suggestion of a method for minimizing the operating system. This method also includes a comparison of lightweight web browsers. The resulting size after reduction is 731 MB. Minimization automation software is published in the personal repository on GitHub under the MIT license.
|
|
|
Audio Signal Declipping and Dequantization Using Sparsity-Based Methods
Záviška, Pavel ; Šroubek,, Filip (referee) ; Koldovský,, Zbyněk (referee) ; Rajmic, Pavel (advisor)
Audio signály jsou náchylné k různým typům poškození, přičemž jedním z nejčastějších a nejproblematičtějších druhů poškození je clipping. Tato dizertační práce se zaměřuje na rekonstrukci zvukových signálů poškozených nelineárním zkreslením s hlavním zaměřením na declipping a dekvantizaci a popisuje vědecký přínos v této oblasti s využitím metod založených na řídké reprezentaci. První část dizertační práce se zabývá problematikou declippingu a představuje několik přístupů založených na řídkých reprezentacích signálů. Součástí je jak originální výzkum, tak i převzaté algoritmy, které však byly v rámci této práce reimplementovány nebo modifikovány. Kvalita výstupů rekonstrukčních algoritmů je vyhodnocena jak pomocí ukazatele SDR, tak i s využitím percepčně založených metrik. V další části se práce zaměřuje na zakomponování psychoakustiky do problému declippingu pomocí váhování transformačních koeficientů s třemi navrženými způsoby konstrukce vah. Je zde dokázáno, že při správně zvolených vahách je možné výrazně zlepšit kvalitu rekonstrukce a vyrovnat se tak nejlepším algoritmům při zachování nízké výpočetní náročnosti. V poslední části práce je pozornost je také věnována metodám umožňujícím odchylku ve spolehlivé části signálu. V tomto směru práce zkoumá percepční vliv prostého nahrazení těchto spolehlivých vzorků, identifikuje jeho hlavní nevýhody a následně představuje metody, které kompenzují negativní efekty způsobené tímto nahrazením. Je ukázáno, že s využitím těchto technik je možné bez významného navýšení výpočetní náročnosti výrazně zlepšit dosaženou kvalitu rekonstrukce. Vybrané algoritmy jsou rovněž aplikovány na problém audio dekvantizace. Součástí práce jsou repozitáře obsahující implementace všech představených metod.
|
|
|
Web Interface for RDF Storage Browsing
Tomov, Patrik ; Hynek, Jiří (referee) ; Burget, Radek (advisor)
The aim of this thesis is to create a web interface for browsing the RDF storage, where the user will be able to manipulate its content. Within the storage, he will be able to create and delete repositories, add and delete repository content, view and interact with repository content, and also perform SPARQL queries within the repository. The client part of the application is written in Javascript using the Vue framework. The RDF4J server, which is deployed on the Apache Tomcat service, is used for the server part. Communication between the server and the client is secured using the RDF4J REST API. The resulting application allows to interactively and easily browse the content of the RDF storage.
|
|
|
Bulk Operation Orchestration in Multirepo CI/CD Environments
Víšek, Jakub ; Pluskal, Jan (referee) ; Koutenský, Michal (advisor)
Multirepo model přístupu ke správě a verzování zdrojového kódu, jež zahrnuje použití mnoha oddělených repozitářů verzovacích systémů, je poslední dobou často zmiňován v odborné literatuře. Jednou z jeho nevýhod je množství zdlouhavých, nezajímavých a repetitivních úkonů, které je nutno provádět při hromadných operacích tvořících transakce napříč těmito repozitáři. Multirepo repozitáře navíc umožňují využití široké škály technologií, což jen umocňuje riziko lidské chyby, ke které při ručně prováděných hromadných operacích může dojít. V rámci této práce je navrženo, implementováno a otestováno řešení pro automatizaci operací prováděných napříč množstvím repozitářů uspořádaných v multirepo modelu, což s nimi uživatelům zlepšuje zkušenost.
|
|
|
Secure communication within the PX4 platform
Ligocki, Roman ; Martinásek, Zdeněk (referee) ; Číka, Petr (advisor)
PX4 platforma je jedna z nepoužívanějších softwarových balíčků pro řízení bezpilotníhosystému. Používá MAVLink protokol pro komunikaci mezi autopilotem, pozemní stanicía dalšími zařízeními v MAVLink síti. Je speciálně navržen pro bezpilotní systémy použí-vající rádia s nízkou datovou propustností. S rostoucím počtem těchto zařízení docházírovněž k růstu počtu útoků na tyto systémy. Tato diplomová práce obsahuje analízua popis bezpečnostních nedostatků v telemetrické komunikaci platformy PX4 běžící naprotokolu MAVLink. Na základě těchto nedostatků byla dále navržená a implementovánabezpečnostní řešení. Tato implementace zahrnuje šifrování, řízení přístupu, autentizacia systém pro výměnu klíčů. Bezpečnostní implementace je postavená na knihovně Mo-noCypher. Všechny části práce jsou naprogramováno v jazyce C. Cílem autora je sdíletvýsledky, kterých dosáhl s komunitou kolem paltformy PX4. Proto během finální částipráce vznikl pull request do veřejného repozitáře.
|
guest ::
