|
|
Konstrukce nedeterministických konečných automatů
Stanek, Timotej ; Šimek, Václav (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce pojednává o problematice konstrukce nedeterministických konečných automatů z PCRE regulárních výrazů s ohledem na jejich parametry při použití v IDS systémech. Rozebraná je také gramatika PCRE výrazů. Dále jsou uvedeny dva rozdílné přístupy ke konstrukci nedeterministických konečných automatů z PCRE výrazů. Následně je popsána implementace jednotlivých algoritmů. Pomocí nich jsme sestrojili konečné automaty z výrazů z IDS systémů SNORT, Bro IDS a L7-Filter, a výsledné parametry porovnali a vyvodili závěry.
|
|
|
Vyhledávání korespondujících objektů ve dvojici snímků
Vrbenský, Andrej ; Herman, David (oponent) ; Orság, Filip (vedoucí práce)
Práce shrnuje část problematiky stereoskopie a popisuje nejrozšířenejší metody na hledání korespondujících objeků ve dvojici stereo snímků. Zaměřuje se hlavně na metody hledání vzoru, založených na porovnávání intenzit. Tyto metody se snaží vylepšit za pomoci SIMD SSE instukcí. Výsledek je pak otestován na testovacích snímcích a vyhodnocen. Metody jsou implementovány v jazyce C++ a také v jazyce symbolických instrukcí.
|
|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (oponent) ; Kolář, Dušan (vedoucí práce)
This diploma thesis focuses on the automatic network traffic description using models of communication. The main aim is at industrial control system protocols, especially IEC 60870-5-104 . We propose a method of characterizing the network state using both communication content and behavior in time viewpoints. These aspects are described using finite state automata , prefix trees , and recurrence analysis. In the second part of this thesis, we focus on the implementation of a program, which is capable to use the obtained model to verify network traffic in real-time.
|
|
|
Automatic Forms Validation with RPA
Rákoczy, Filip ; Heriban, Pavel (oponent) ; Dobrovský, Ladislav (vedoucí práce)
The following text deals with the issue of automated testing of user interfaces of Windows applications. Specifically, this work proposes a standalone software solution written in Python that replaces the existing SikuliX software for testing user interfaces of electron microscopes at Thermofisher Scientific. This work discusses the benefits and implementation details of this new solution and suggests further possible ways to extend this software. The results are tested on various applications, including the xT microscope control application from Thermofisher scientific.
|
|
|
Generic Flow Analysis in Computer Networks
Jančová, Markéta ; Holkovič, Martin (oponent) ; Kolář, Dušan (vedoucí práce)
This diploma thesis focuses on the automatic network traffic description using models of communication. The main aim is at industrial control system protocols, especially IEC 60870-5-104 . We propose a method of characterizing the network state using both communication content and behavior in time viewpoints. These aspects are described using finite state automata , prefix trees , and recurrence analysis. In the second part of this thesis, we focus on the implementation of a program, which is capable to use the obtained model to verify network traffic in real-time.
|
|
|
Vyhledávání korespondujících objektů ve dvojici snímků
Vrbenský, Andrej ; Herman, David (oponent) ; Orság, Filip (vedoucí práce)
Práce shrnuje část problematiky stereoskopie a popisuje nejrozšířenejší metody na hledání korespondujících objeků ve dvojici stereo snímků. Zaměřuje se hlavně na metody hledání vzoru, založených na porovnávání intenzit. Tyto metody se snaží vylepšit za pomoci SIMD SSE instukcí. Výsledek je pak otestován na testovacích snímcích a vyhodnocen. Metody jsou implementovány v jazyce C++ a také v jazyce symbolických instrukcí.
|
|
|
Konstrukce nedeterministických konečných automatů
Stanek, Timotej ; Šimek, Václav (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce pojednává o problematice konstrukce nedeterministických konečných automatů z PCRE regulárních výrazů s ohledem na jejich parametry při použití v IDS systémech. Rozebraná je také gramatika PCRE výrazů. Dále jsou uvedeny dva rozdílné přístupy ke konstrukci nedeterministických konečných automatů z PCRE výrazů. Následně je popsána implementace jednotlivých algoritmů. Pomocí nich jsme sestrojili konečné automaty z výrazů z IDS systémů SNORT, Bro IDS a L7-Filter, a výsledné parametry porovnali a vyvodili závěry.
|
host ::
RSS.