|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|
|
Sharing Local Information for Faster Scanning-Window Object Detection
Hradiš, Michal ; Kälviäinen, Heikki (referee) ; Matas, Jiří (referee) ; Zemčík, Pavel (advisor)
Cílem této dizertační prace je vylepšit existující detektory objektů pomocí sdílení informace a výpočtů mezi blízkými pozicemi v obraze. Navrhuje dvě metody, které jsou založené na Waldově sekvenčním testu poměrem pravděpodobností a algoritmu WaldBoost. První z nich, Early non-Maxima Suppression , přesunuje rozhodování o potlačení nemaximálních pozic ze závěrečné fáze do fáze vyhodnocování detektoru, čímž zamezuje zbytečným výpočtům detektoru v nemaximálních pozicích. Metoda neighborhood suppression doplňuje existující detektory o schopnost zavrhnout okolní pozice v obraze. Navržené metody je možné aplikovat na širokou škálu detektorů. Vyhodnocení obou metod dokazují jejich výrazně vyšší efektivitu v porovnání s detektory, které vyhodnocují jednotlivé pozice obrazu zvlášť. Dizertace navíc prezentuje výsledky rozsáhlých experimentů, jejichž cílem bylo vyhodnotit vlastnosti běžných obrazových příznaků v několika detekčních úlohách a situacích.
|
|
Semi - analytical computations and continuous systems simulation
Kopřiva, Jan ; Kubátová, Hana (referee) ; Novitzká,, Valerie (referee) ; Kunovský, Jiří (advisor)
The thesis deals with speedup and accuracy of numerical computation, especially when differential equations are solved. Algorithms, which are fulling these conditions are named semi-analytical. One posibility how to accelerate computation of differential equation is paralelization. Presented paralelization is based on transformation numerical solution into residue number system, which is extended to floating point computation. A new algorithm for modulo multiplication is also proposed. As application applications in solution of differential calculus are the main goal it is discussed numeric integration with modified Euler, Runge - Kutta and Taylor series method in residue number system. Next possibilities and extension for implemented residue number system are mentioned at the end.
|
|
OPTIMIZATION OF ALGORITHMS AND DATA STRUCTURES FOR REGULAR EXPRESSION MATCHING USING FPGA TECHNOLOGY
Kaštil, Jan ; Plíva, Zdeněk (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
Disertační práce se zabývá rychlým vyhledáváním regulárních výrazů v síťovém provozu s použitím technologie FPGA. Vyhledávání regulárních výrazů v síťovém provozu je výpočetně náročnou operací využívanou převážně v oblasti síťové bezpečnosti a v oblasti monitorování provozu vysokorychlostních počítačových sítí. Současná řešení neumožňují dosáhnout požadovaných multigigabitových propustností při dodržení všech požadavků, které jsou na vyhledávací jednotky kladeny. Nejvyšších propustností dosahují implementace založené na využití inovativních hardwarových architektur implementovaných v FPGA případně v ASIC. Tato disertační práce popisuje nové architektury vyhledávací jednotky, které jsou vhodné pro implementaci jak v FPGA tak v ASIC. Základní myšlenkou navržených architektur je využití perfektní hashovací funkce pro implementaci přechodové tabulky konečného automatu. Dále byla navržena architektura, která umožňuje uživateli zanést malou pravděpodobnost chyby při vyhledávání a tím snížit paměťové nároky vyhledávací jednotky. Disertační práce analyzuje vliv pravděpodobnosti této chyby na celkovou spolehlivost systému a srovnává ji s řešením používaným v současnosti. V rámci disertační práce byla provedena měření vlastností regulárních výrazů používaných při analýze provozu moderních počítačových sítí. Z provedené analýzy vyplývá, že velká část regulárních výrazů je vhodná pro implementaci pomocí navržených architektur. Pro dosažení vysoké propustnosti vyhledávací jednotky práce navrhuje nový algoritmus transformace abecedy, který umožňuje, aby vyhledávací jednotka zpracovala více znaků v jednom kroku. Na rozdíl od současných metod, navržený algoritmus umožňuje konstrukci automatu zpracovávajícího libovolný počet symbolů v jednom taktu. Implementované architektury dosahují v porovnání se současnými metodami úspory paměti zlepšení až 200MB.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Gramatová, Elena (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
|
Surface modification of glass fibers for polymer composites
Knob, Antonín ; Marek,, Aleš (referee) ; Burša, Jiří (referee) ; Čech, Vladimír (advisor)
The doctoral thesis is aimed at preparation of glass fiber reinforced polymer composites with controlled interphase formed by plasma-polymerized tetravinylsilane and tetravinylsilane/oxygen thin films. The thin polymer films of specific physico-chemical properties and thickness were deposited to improve interfacial adhesion of glass fiber/polyester composites. The fiber surface modification was performed by using plasma enhanced chemical vapor deposition in low-temperature RF plasma operating in an various effective power range and different treatment time. Test results were examined in relation to the interlayer thickness and different treatment conditions. The prepared interlayers were analyzed to evaluate physico-chemical composition and properties (XPS, RBS, ERDA, FTIR and spectroscopic elipsometry). Selected mechanical properties were evaluated by AFM. Mechanical response of plasma interlayers was evaluated by short beam shear test and direct method of testing the interfacial shear strength using microindentation. The interphase shear failure was controlled by the shear strength at the interlayer/fiber interface as follows from experimental and model data.
|
|
Laser and Phyllotaxy
Kolařík, Vladimír ; Horáček, Miroslav ; Krátký, Stanislav ; Meluzín, Petr ; Chlumská, Jana ; Matějka, Milan ; Král, Stanislav
The paper presents planar diffractive structures with optical elements arranged in positions according to a phyllotactic model. Further, we discuss the creation of a diffractive phyllotactic pattern and its properties. One of the particular arrangements, a nesting of two different phyllotactic models possessing a different level of fineness, is described in details. The discussed arrangement of elements within a circle can be used also in the laser beam splitting application.
|
|
Strategie oplozování u ryb s vnějším oplozením
SIDDIQUE, Mohammad Abdul Momin
Morphological properties, species specific differences, development, and function of egg envelopes are of importance for a better understanding of fertilization strategies as well as for captive reproduction. We reviewed morphology and the developmental stages of egg envelopes, mechanism of polyspermy block, and also the role of micropyle and cortical granules in polyspermy block for acipenserid eggs. The structure of the egg envelope is similar among the acipenserids, comprising an external envelope (thecal cells, basal lamina, and follicular epithelium), a five-layered oocyte envelope (adhesive layer, alveolar layer, epilayer, and zona radiata externa and interna) and a layer of oocyte matrix and cortical granules. The development of acipenserid egg envelope within the ovary comprises five stages, with further changes following fertilization. Moreover, we standardized the terminology used to describe the egg membranes which can minimize the confusions and be helpful for future work on acipenserids eggs as well as for other fish species. The sperm to egg ratio (required to fertilize eggs) and effects of pre-incubation of eggs in freshwater before fertilization were studied to standardized fertilization protocols for sterlet Acipenser ruthenus. Pre-incubation time had no effect on fertilization success at 430,000:1 and 43,000:1 sperm to egg ratios, while it was significant at the 4300:1 and 430:1 ratios. The use of adequate experimental suboptimal sperm to egg ratio revealed a positive effect of pre-incubation time, such that at the 430:1 ratio, 0.5 min pre-incubation increased the fertilization rate than 10 min. Transmission electron microscopy showed that pre-incubation of eggs in water for <10 min did not trigger a cortical reaction, suggesting that a low sperm to egg ratio 0.5 to 1 min pre-incubation of eggs in freshwater prior to fertilization can enhance fertilization rate of sterlet (minimally do not change fertilization). The effects of pre-incubation in seawater and the duration of egg receptivity were determined for fresh and over-ripe sea bass eggs. Our results revealed a significant effect of pre-incubation time for both the fresh (P < 0.01) and over-ripe eggs (P < 0.01). The fresh eggs had a higher fertilization success than over-ripe eggs. Fertilization success of eggs significantly declined for both of these treatments after 3 min of pre-incubation clearly indicated that sea bass eggs are able to be fertilized by sperm for up to 3 min after release into seawater. Effects of pre-incubation of eggs and activation medium on the percentage of eyed embryos for Ide Leuciscus idus were examined. At the eyed-egg stage, pre-incubation time was significant for the freshwater activation medium (P < 0.001), such that the percentage of eyed embryos declined across the pre-incubation time gradient. Activating medium had a significant effect on the percentage of eyed embryos for each pre-incubation time (P < 0.05). More precisely, freshwater produced the lowest percentage of eyed embryos at all pre-incubation times, whereas saline water and Woynarovich solution produced the highest percentage of eyed embryos at 0 s and 30 s before incubation. Examination of sperm traits showed no impact of activating medium on computer assisted sperm analysis parameters. Our results suggested that saline water or Woynarovich solution improve fertilization rate in Ide during fertilization. In conclusion, this thesis provides basic knowledge on gamete biology, role of egg receptivity period, effects of pre-incubation of eggs and different activating medium which can be useful to understand the fertilization strategies of different externally fertilizing fishes as well as standardize their fertilization protocol for captive reproduction.
|
guest ::
