Yes (10986)
No (10215)
Number of found documents:
21201
Published from
to
Velké jazykové modely pro generování kódu se zaměřením na vestavěné systémy
Vadovič, Matej; Nosko, Svetozár; Smrž, Pavel
2024 - Slovak
Cieľom tejto práce bola adaptácia predtrénovaného jazykového modelu pre účely generovania kódu v oblasti vstavaných systémov. V práci je predstavená nová dátová sada pre ladenie modelov generovania kódu, ktorá obsahuje 50 tisíc dvojíc zdrojového kódu a komentárov zameraných na oblasť programovania vstavaných systémov. Táto sada je zložená zo zozbieraného zdrojového kódu z platformy GitHub. Na dátach nového korpusu boli ladené dva nové jazykové modely pre generovanie kódu založené na predtrénovaných modeloch s architektúrou transformer. Model MicroCoder je založený na modeli CodeLLaMA-Instruct 7B a pri jeho ladení bola využitá technika QLoRA pre minimalizáciu výpočtových nárokov ladenia. Druhý model, MicroCoderFIM, je založený na modeli StarCoderBase 1B a podporuje vyplňovanie kódu na základe okolia (fill-in-the-middle). Jednotlivé modely boli porovnávané na základe metrík BLEU, CodeBLEU, ChrF++ a ROUGE-L. Model MicroCoderFIM dosahuje najlepšie výsledky adaptácie na novú úlohu, pričom zaznamenal viac ako 120% zlepšenie vo všetkých meraných metrikách. Váhy modelov spolu s novou dátovou sadou sú voľne prístupné na verejnom úložisku. The goal of this work was to adapt a pre-trained language model for the purpose of generating code in the field of embedded systems. The work introduces a new dataset for fine-tuning code generation models, consisting of 50,000 pairs of source code and comments focused on embedded systems programming. This dataset is composed of collected source code from the GitHub platform. Two new language models for code generation, based on transformer architecture pre-trained models, were fine-tuned on the data of the new corpus. Model MicroCoder is based on the CodeLLaMA-Instruct 7B model, and during its fine-tuning, the QLoRA technique was used to minimize computational requirements. The second model, MicroCoderFIM, is based on the StarCoderBase 1B model and supports code infilling. The individual models were compared based on BLEU, CodeBLEU, ChrF++, and ROUGE-L metrics. Model MicroCoderFIM achieves the best adaptation results to the new task, with over 120% improvement in all measured metrics. The weights of the models along with the new dataset are freely accessible on a public repository.
Keywords:
large language models; code generation; embedded code; transformer; dataset; CodeLlama; StarCoderBase
Available in a digital repository NRGL
Velké jazykové modely pro generování kódu se zaměřením na vestavěné systémy
Cieľom tejto práce bola adaptácia predtrénovaného jazykového modelu pre účely generovania kódu v oblasti vstavaných systémov. V práci je predstavená nová dátová sada pre ladenie modelov generovania ...
Tuhé modifikátory tření pro kolejovou dopravu
Ondák, Andrej; Hajžman, Michal; Galas, Radovan
2024 - Slovak
Predložená práca sa zaoberá tuhými modifikátormi trenia, čo sú látky, ktoré majú za úlohu znižovať trenie kontaktu kolies koľajových vozidiel, čo prináša zníženie opotrebovania a redukciu hluku z kontaktu. Aby efektivita systému bola čo najvyššia, spotreba materiálu musí byť minimálna. Pri aplikácií tuhých modifikátorov trenia existuje nebezpečenstvo, že dôjde k izolácií kontaktu, čo je nežiadúci efekt vzhľadom na traťové systémy. Sú známe pozitíva aj negatíva danej technológie, avšak bez hlbšej súvislosti s aplikačnými parametrami. Experimentálna časť práce je preto zameraná na stanovenie vplyvu aplikácie na výkonnosť tuhých modifikátorov trenia. Práca je tiež zameraná na vplyv budiacej frekvencie na impedanciu kontaktu a na spotrebu samotných kompozícii. Výsledok výskumu ukázal, že aplikačné parametre silno ovplyvňujú výkonnosť tuhých kompozícií. Bolo tiež zistené, že modifikátor trenia má tendenciu ulpievať na povrch telesa, na ktoré je aplikovaný, a nedochádza tak k jeho prenosu na druhé teleso. Naopak bolo zistené, že impedancia kontaktu nie je závislá na budiacej frekvencií. Vývojová časť práce je venovaná návrhu aplikátora tuhých kompozícií a zariadeniu na meranie impedancie a spotreby. The present work deals with solid friction modifiers, which are substances that have the task of reducing the contact friction of the wheels of railroad vehicles, thus reducing wear and noise emission. In order to maximise the efficiency of the system, material consumption must be kept to a minimum. When solid friction modifiers are applied, there is a danger of isolation of the contact, which is an undesirable effect regarding track systems. At the moment, both the positives and the negatives of the technology are known, but without a deeper connection to application parameters. Therefore, the experimental part of the thesis is focused on determining the influence of application on the performance of rigid friction modifiers. The thesis also focuses on the effect of the working frequency of the track systems on the contact impedance and on the consumption of the compositions themselves. As a result of the research, the application parameters strongly influence the performance of the solid compositions. It was also observed that the friction modifier tends to adhere to the surface of the body, to which it is applied and thus there is no transfer to the other body. On the contrary, it was found that the contact impedance is independent of the working frequency. The development part of the thesis is dedicated to the design of a solid composition applicator and a device for measuring the impedance and consumption.
Keywords:
Top-of-rail modifier; solid stick; application parameters; HPF; LCF; impedance
Available in a digital repository NRGL
Tuhé modifikátory tření pro kolejovou dopravu
Predložená práca sa zaoberá tuhými modifikátormi trenia, čo sú látky, ktoré majú za úlohu znižovať trenie kontaktu kolies koľajových vozidiel, čo prináša zníženie opotrebovania a redukciu hluku z ...
Možnosti transmutace vyhořelého jaderného paliva s pomocí pokročilých jaderných reaktorů
Ošust, Marek; Brně, Dušan Král, Los Alamos NL a FEKT VUT v; Katovský, Karel
2024 - Slovak
Táto bakalárska práca sa venuje problematike transmutácie vyhoreného jadrového paliva. Opisuje urýchľovačom riadený transmutor, ako aj jeho jednotlivé komponenty. Sú uvedené aj príklady konkrétnych projektov, ako sú MYRRHA a CiADS. Hlavným cieľom práce je skúmanie materiálov spalačného guľôčkového terča. Porovnávali sa fyzikálne vlastnosti materiálov, produkcia neutrónov generovaných interakciou s dopadajúcim protónovým zväzkom a výsledné energetické spektrum neutrónov. Výpočty boli robené pomocou programu TALYS. This bachelor thesis deals with the issue of transmutation of spent nuclear fuel. It describes the accelerator driven transmutator as well as its individual components. Examples of specific projects such as MYRRHA and CiADS are also given. The main objective of the thesis is the investigation of material properties of the spallation granular target. Compounds of heavy and light elements have been considered. Their physical properties, the number of neutrons generated by interaction with impinging proton beam and the resulting neutron energy spectrum were compared. The calculations were performed using the TALYS program.
Keywords:
Transmutation; ADS; MYRRHA; CiADS; accelerator; granular spallation target; nuclear transmutor; spallation reaction
Available in a digital repository NRGL
Možnosti transmutace vyhořelého jaderného paliva s pomocí pokročilých jaderných reaktorů
Táto bakalárska práca sa venuje problematike transmutácie vyhoreného jadrového paliva. Opisuje urýchľovačom riadený transmutor, ako aj jeho jednotlivé komponenty. Sú uvedené aj príklady konkrétnych ...
Návrh výměníku tepla pro kondenzační kotel
Plott, Patrik; Linda, Jakub; Baláš, Marek
2024 - Slovak
Táto diplomová práca sa zaoberá optimalizáciou plynového kondenzačného kotla pre domové vytápanie. Optimalizácia spočívala v návrhu nového sekundárneho doskového výmenníka pre ohrev teplej úžitkovej vody s využitím analytického výpočtu a následnej CFD simulácie prenosu tepla a tlakovej straty. Boli navrhnuté rôzne varianty dizajnov doskových výmenníkov. Následne boli porovnané výsledky analytického výpočtu s výsledkami CFD simulácie a vyhodnotená ich vzájomná zhoda. Po analýze výsledkov jednotlivých variant boli navrhnuté dizajny doskových výmenníkov porovnané so súčasne používaným výmenníkom. Nakoniec sme identifikovali najlepšie možné riešenie, ktoré súčasný výmenník nahradí. This master's thesis is aimed at the optimization of a gas condensing boiler for domestic heating. The optimization consisted in the design of a new secondary plate heat exchanger for domestic hot water heating using analytical calculation and subsequent CFD simulation of heat transfer and pressure loss. Various designs of plate heat exchangers were proposed. Subsequently, the results of the analytical calculation were compared with the results of the CFD simulation and their mutual conformity with each other was evaluated. After analysing the results of each variant, the proposed plate heat exchanger designs were compared with the currently used heat exchanger. Finally, we identified the best possible solution to replace the current exchanger.
Keywords:
plate heat exchanger; CFD simulation; heat transfer; pressure loss
Available in a digital repository NRGL
Návrh výměníku tepla pro kondenzační kotel
Táto diplomová práca sa zaoberá optimalizáciou plynového kondenzačného kotla pre domové vytápanie. Optimalizácia spočívala v návrhu nového sekundárneho doskového výmenníka pre ohrev teplej úžitkovej ...
Návrh dílčí části informačního systému
Jedinák, Jakub; Dydowicz, Petr; Neuwirth, Bernard
2024 - Slovak
Cieľom mojej bakalárskej práce je navrhnúť časť informačného systému pre AMD-M drogériu. Aby sme mohli tento systém navrhnúť priblížime si teoretické znalosti ktoré potrebujeme na vypracovanie našej práce. Ako ďalšie urobíme analýzu súčasného stavu firmy k čomu využijeme viacero analýz. V poslednej tretej časti sa zameriame na konkrétny návrh daného systému a využijeme na to predošlé analýzy. V poslednej časti zhodnotíme ekonomické hľadisko systému a jeho kladné stránky. The goal of my bachelor thesis is to design a part of the information system for AMD-M drugstore. In order to accomplish this task, we will first familiarize ourselves with the theoretical knowledge necessary for our work. Additionally, we will conduct an analysis of the current state of the company, utilizing multiple analyses for this purpose. In the final third part, we will focus on the specific design of the system, leveraging the previous analyses. Finally, we will evaluate the economic aspect of the system and its positive aspects in the last section.
Keywords:
Information; information system; company analysis; data; diagram
Available in a digital repository NRGL
Návrh dílčí části informačního systému
Cieľom mojej bakalárskej práce je navrhnúť časť informačného systému pre AMD-M drogériu. Aby sme mohli tento systém navrhnúť priblížime si teoretické znalosti ktoré potrebujeme na vypracovanie našej ...
Spotřeba životnosti vybraných dílu vodní turbíny v závislosti na provozním stavu
Androvič, Dominik; Pochylý, František; Habán, Vladimír
2024 - Slovak
Táto diplomová práca sa zaoberá určením životnosti klzných púzdier otočného uloženia rotorových lopatiek Kaplanovej turbíny. Zmenou spôsobu prevádzky turbín v posledných rokoch bolo pozorované zníženie životnosti klzných púzdier. Cieľom práce bolo vytvoriť model, ktorý by zachytil vplyv prevádzkového režimu turbíny na životnosť klzných púzdier. Pre simulovanie správania otočného uloženia bola úloha rozdelená na hydraulickú a mechanickú časť. Hydraulické zaťaženie lopatky Kaplanovej turbíny bolo riešené na zjednodušenom modely reprezentovaného samostatným aerodynamickým profilom pomocou CFD výpočtu. Mechanická časť modelu bola tvorená otočným čapom uloženého v klzných púzdrach. Zaťaženie uloženia bolo odvodené z výpočtu CFD a na výpočet bola využitá metóda MKP s kontaktnou úlohou. Základná životnosť pre zvolený typ klzných púzdier bola odvodená na základe empirického vzťahu a kontaktných tlakov odvodených z mechanickej časti modelu. Na základe dostupných experimentálnych štúdii bolo našou snahou posúdiť vplyv regulácie mikroposuvmi na životnosť zvoleného typu klzných púzdier poprípade korigovať základnú vypočítanú životnosť. This diploma thesis deals with the determination of the service life of the journal bushings of the rotary bearing of the Kaplan turbine rotor blades. Due to the change in the way turbines are operated in recent years, a reduction in the service life of the journal bushings has been observed. The work aimed to create a model that would capture the effect of the turbine's operating mode on the service life of the sliding bushings. To simulate the behavior of the rotary bearing, the task was divided into hydraulic and mechanical parts. The hydraulic load of the Kaplan turbine blade was solved on a simplified model represented by a separate aerodynamic profile using CFD calculation. The mechanical part of the model was made up of a rotary pin mounted in journal bushings. The load of the bearing was derived from the CFD calculation and the FEM method with a contact task was used for the calculation. The basic service life of the selected type of journal bushings was derived from the foundation of an empirical relationship and contact pressures derived from the mechanical part of the model. Based on available experimental studies, our effort was to assess the influence of regulation by microdisplacements on the service life of the selected type of journal bushings or to correct the basic calculated service life.
Keywords:
Kaplan turbine; placement of the rotor blade; service life of the journal bearing; microdisplacement
Available in a digital repository NRGL
Spotřeba životnosti vybraných dílu vodní turbíny v závislosti na provozním stavu
Táto diplomová práca sa zaoberá určením životnosti klzných púzdier otočného uloženia rotorových lopatiek Kaplanovej turbíny. Zmenou spôsobu prevádzky turbín v posledných rokoch bolo pozorované ...
Aplikace pro analýzu odolnosti algoritmů pro rozpoznávání podle obličeje vůči deepfake snímkům
Kučík, Adam; Pleško, Filip; Goldmann, Tomáš
2024 - Slovak
Práca sa zaoberá vytvorením aplikácie, ktorá bude schopná určiť či zadaný snímok je alebo nie je deepfake. Aplikácia je riešená pomocou konvolučnej neurónovej siete vgg-net. Súčasťou práce je vytvoriť siamskú neurónovú sieť a otestovať jej vhodnosť pri detekcií deepfake snímkov. V rámci práce je vytvorených niekoľko konfigurácii sietí vgg16 a vgg19. Ku každej konfigurácií sú uvedené tabuľky s úspešnosťami jednotlivých modelov voči nami vytvorených deepfake snímkov. Práca obsahuje aj sekciu jednotlivých voľne dostupných algoritmov a prácu s nimi. Celá aplikácia je implementovaná v jazyku Python a za použitia knižnice TensorFlow. This thesis focuses on creating an application capable of determing whether a given image is deepfake or not. The application is created by using the convolutional neural network vgg-net. Part of the work is to create a Siamese neural network and test if it is suitable for detecting deepfake images. Several configurations of vgg16 and vgg19 networks are created within the thesis. Each configuration contain tables with the success rates of individual models agains our created deepfake dataset. The thesis also includes a section where we discuss deepfake algorithms that are open-source and describe the work with them. The entire application is implemented in Python using the TensorFlow library.
Keywords:
Deepfake; Neural network; Convolutional neural network; Face recognition; Deepfake detecion; Vgg net; Siamese neural network; Deepface
Available in a digital repository NRGL
Aplikace pro analýzu odolnosti algoritmů pro rozpoznávání podle obličeje vůči deepfake snímkům
Práca sa zaoberá vytvorením aplikácie, ktorá bude schopná určiť či zadaný snímok je alebo nie je deepfake. Aplikácia je riešená pomocou konvolučnej neurónovej siete vgg-net. Súčasťou práce je vytvoriť ...
Bakteriocidní účinek superparamagnetických nanočástic s obsahem Ag na vybrané bakterie
Čavojská, Miriam; Šálek, Petr; Trachtová, Štěpánka
2024 - Slovak
Cieľom tejto práce je dôkaz bakteriocídneho účinku superparamagnetických nanočastíc s obsahom Ag na vybrané baktérie nepatogénneho typu. Teoretická časť sa zameriava na charakteristiku superparamagnetizmu, no hlavnou časťou práce je charakterizácia nanočastíc s obsahom striebra, ich metódy syntézy a využitie v praxi. Ďalej sú v nej uvedené aj základné špecifiká pre vybrané baktérie. Experimentálna časť sa zameriava najmä na kultivácie bakteriálnych kultúr spoločne s nanočasticami, čím sa dokazoval antibakteriálny efekt nanočastíc. Za použitia vhodnej DNA bola tiež stanovená biokompatibilita nanočastíc pomocou real-time PCR. The aim of this work is to demonstrate the bacteriocidal effect of Ag-containing superparamagnetic nanoparticles on selected non-pathogenic bacteria. The theoretical part is focused on the characterization of superparamagnetism, but the main part of the work is the characterization of silver-containing nanoparticles, methods of their synthesis and their practical application. Furthermore, basic specificities for selected bacteria are presented. The experimental part is mainly focused on the cultivation of bacterial cultures together with nanoparticles, thus demonstrating the antibacterial effect of nanoparticles. The biocompatibility of the nanoparticles was also determined by real-time PCR using the corresponding DNA.
Keywords:
superparamagnetic nanoparticles containing Ag; bactericidal effect
Available in a digital repository NRGL
Bakteriocidní účinek superparamagnetických nanočástic s obsahem Ag na vybrané bakterie
Cieľom tejto práce je dôkaz bakteriocídneho účinku superparamagnetických nanočastíc s obsahom Ag na vybrané baktérie nepatogénneho typu. Teoretická časť sa zameriava na charakteristiku ...
Cloud computing systém pro real-time zpracování dat
Nosková, Daša; Jeřábek, Kamil; Rychlý, Marek
2024 - Slovak
Táto práca sa zaoberá návrhom systému pre spracovanie veľkého toku geo-lokalizovaných temporálnych dát v reálnom čase. Teoretická časť sa venuje konceptom a nástrojom pre spracovanie dát v reálnom čase a vlastnostiam systémov pracujúcich v reálnom čase. V práci je predstavený návrh a architektúra škálovateľného systému, ktorý využíva fronty správ. Ďalej sú priblížené hlavné koncepty implementácie navrhnutého systému, kde boli využité technológie kladúce dôraz na rýchlu odozvu. V rámci práce bol vytvorený škálovateľný systém, ktorý dokáže spracovať veľký tok dát. This thesis focuses on designing a system for processing a large stream of geo-localized temporal data in real-time. The theoretical part addresses concepts and tools for real-time data processing and characteristics of real-time systems. The thesis introduces the design and architecture of a scalable system that utilizes message queues. Furthermore, the main concepts of implementation of the proposed system are outlined, using technologies emphasizing fast response times. As part of the work, a scalable system capable of processing a large data stream was developed.
Keywords:
real-time processing; cloud computing; scaling; micro services; stream processing; data processing; message queue; scalable architecture; apache kafka; apache flink
Available in a digital repository NRGL
Cloud computing systém pro real-time zpracování dat
Táto práca sa zaoberá návrhom systému pre spracovanie veľkého toku geo-lokalizovaných temporálnych dát v reálnom čase. Teoretická časť sa venuje konceptom a nástrojom pre spracovanie dát v reálnom ...
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel; Smrčka, Aleš; Fiedor, Jan
2024 - Slovak
Simulink diagramy majú široké využitie v priemysle, kde sa používajú na špecifikáciu riadiacich systémov. Konkrétnym blokom, ktorý sa v nich používa je Stateflow (stavový) diagram. Špecifikované systémy sú často kritické z hľadiska bezpečnosti, preto je otázka správnosti implementácie týchto systémov dôležitá. V tejto práci sa zameriame na návrh, popis a vytvorenie nástroja na spätnú rekonštrukciu Stateflow diagramu z optimalizovaného kódu v jazyku C za účelom preukázania funkčnej ekvivalencie medzi modelom a jemu odpovedajúcim kódom. Ďalej je vytvorená sada modelov reprezentujúcich modely so Stateflow diagramami a z nich vygenerované kódy pomocou viacerých optimalizácií. Na tejto sade bude vytvorený nástroj otestovaný, tiež je možné túto využiť pre evaluáciu iných analýz Stateflow a/alebo C kódu. Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
Keywords:
Simulink; Stateflow; optimizations; translation validation; finite state automata; automatic code generation; reverse reconstruction; Honeywell
Available in a digital repository NRGL
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Simulink diagramy majú široké využitie v priemysle, kde sa používajú na špecifikáciu riadiacich systémov. Konkrétnym blokom, ktorý sa v nich používa je Stateflow (stavový) diagram. Špecifikované ...
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases