Rule-restricted Automaton-grammar transducers: Power and Linguistic Applications

This paper introduces the notion of a new transducer as a two-component system, which consists of a nite automaton and a context-free grammar. In essence, while the automaton reads its input string, the grammar produces its output string, and their cooperation is controlled by a set, which restricts the usage of their rules. From a theoretical viewpoint, the present paper discusses the power of this system working in an ordinary way as well as in a leftmost way. In addition, the paper introduces an appearance checking, which allows us to check whether some symbols are present in the rewritten string, and studies its e ect on the power. It achieves the following three main results. First, the system generates and accepts languages de ned by matrix grammars and partially blind multi-counter automata, respectively. Second, if we place a leftmost restriction on derivation in the context-free grammar, both accepting and generating power of the system is equal to generative power of context-free grammars. Third, the system with appearance checking can accept and generate all recursively enumerable languages. From more pragmatical viewpoint, this paper describes several linguistic applications. A special attention is paid to the Japanese-Czech translation

Patented solutions of professional laundry machinery

Práce se zabývá problematikou právní ochrany technických řešení na národní i mezinárodní úrovni a zaměřuje se na postup vytváření patentových rešerší. Výstupem je přehled již chráněných řešení v oblasti snižování energetické náročnosti profesní prádelny. Součástí práce je i stručné seznámení s procesem profesní údržby prádla.The subject of the thesis is national and international legal protection of technical solutions of professional laundry machinery with a view to a patent review creation procedure. The output is the review of already legally protected solutions relating to the reduction of industrial laundry energy consumption. The part of thesis is also a brief summary relating to the professional laundry care process.

Systems of Formal Models with Applications

Tato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněny čtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. Druhý z nich pracuje v částečně paralelním módu. Zde během jednoho výpočetního kroku aktivně pracují buďto všechny, nebo pouze jediná komponenta systému. V posledních dvou modelech každý automat zpracovává svůj vlastní vstupní řetězec, přičemž jeho výpočet je řízen stavy, resp. přechody ostatních komponent. Stavy, resp. pravidla přechodů komponent mohou zapříčinit i tzv. blokaci, nebo odblokování dílčích automatů.This paper introduces and discusses automata systems as a new way for formal languages processing. In the text there are four models described. The first model works on sequential mode. At one computation step only one of components works. The second one works on semi-parallel mode. At the one computation step either one or all the components of the automata system work. In the last two models each component of the automata system has its own input string. The computation step of each component is influenced by their states, or used rules. The state, or used rule of the components of automata system can block or unblock some or all automata of the system.

Computations of fluid flow and heat transfer for design optimization of tumble clothes dryer

V rámci této práce byla provedena komplexní analýza elektricky vyhřívané bubnové sušičky prádla s cílem identifikovat možnosti optimalizace její konstrukce vedoucí ke zlepšení přestupu tepla. Pro řešení byl zvolen postup využívající výpočtovou dynamiku tekutin (CFD). K dosažení dostatečně detailního popisu zadaného problému byl využit komerční software Fluent společně se speciálně vyvinutým modelem přenosu tepla.Within this thesis a complex analysis of an electrically heated tumble clothes dryer was performed in order to identify design optimization possibilities leading to an improvement of a heat transfer. A computational fluid dynamics (CFD) approach involving an employment of the commercial software Fluent and development of a custom heat transfer model was selected to resolve the problem in a required level of detail.

Real-time Analysis of NetFlow Data for Generating Network Traffic Statistics using Apache Spark

Abstract—In this paper, we present a framework for the realtime generation of network traffic statistics on Apache Spark Streaming, a modern distributed stream processing system. Our previous results showed that stream processing systems provide enough throughput to process a large volume of NetFlow data and hence they are suitable for network traffic monitoring. This paper describes the integration of Apache Spark Streaming into a current network monitoring architecture. We prove that it is possible to implement the same basic methods for NetFlow data analysis in the stream processing framework as in the traditional ones. Moreover, our stream processing implementation discovers new information which is not available when using traditional network monitoring approaches

Magnetic structures in the rich magnetic phase diagram of Ho2_2RhIn8_8

The magnetic phase diagram of the tetragonal Ho$_2$RhIn$_8$ compound has similar features to many related systems, revealing a zero magnetic field AF1 and a field-induced AF2 phases. Details of the magnetic order in the AF2 phase were not reported yet for any of the related compounds. In addition, only the Ho$_2$RhIn$_8$ phase diagram contains a small region of the incommensurate zero-field AF3 phase. We have performed a number of neutron diffraction experiments on single crystals of Ho$_2$RhIn$_8$ using several diffractometers including experiments in both horizontal and vertical magnetic fields up to 4 T. We present details of the magnetic structures in all magnetic phases of the rich phase diagram of Ho$_2$RhIn$_8$. The Ho magnetic moments point along the tetragonal $c$ axis in every phase. The ground-state AF1 phase is characterized by propagation vector $\textbf{k}$ = (1/2, 0, 0). The more complex ferrimagnetic AF2 phase is described by four propagation vectors $\textbf{k}_{0}$ = (0, 0, 0), $\textbf{k}_{1}$ = (1/2, 0, 0), $\textbf{k}_{2}$ = (0, 1/2, 1/2), $\textbf{k}_{3}$ = (1/2, 1/2, 1/2). The magnetic structure in the AF3 phase is incommensurate with $\textbf{k}_{AF3}$ = (0.5, $\delta$, 0). Our results are consistent with theoretical calculations based on crystal field theory.Comment: submitted to PR

Calculation of stress in the drum for belt conveyor

Import 03/08/2012Bakalářská práce se zabývá rozborem napjatosti bubnu pásového dopravníku a srovnáním použitých metod. Řešení je provedeno dvěma odlišnými způsoby. První způsob je řešení analytickou metodou. Tato starší metoda je založena na idealizaci bubnu na jednoduchou geometrii. Následně je buben řešen pomocí principu superpozice. Pro urychlení výpočtu bylo použito matematického programu Matlab. Druhý způsob je řešení numerickou metodou. Tato metoda využívá skutečné geometrie bubnu. Pro tento způsob řešení byly využity MKP programy Patran a Nastran ke zjištění výsledných napjatostí. V závěru práce jsou dosažené výsledky z obou metod porovnávány. Dále jsou také srovnány výhody a nevýhody obou použitých metod.This thesis deals with the stress analysis of the drum conveyor and comparison of methods used. The solution is performed in two different ways. The first way is the solution of the analytical method. This older method is based on a simple idealization of the drum geometry. Then the drum is solved using the superposition principle. To speed up calculation was utilized the mathematical program Matlab. The second way is a numerical solution method. This method uses the real geometry of the drum. For this type of solution were used FEM programs Patran and Nastran to determine the resulting stress. In conclusion, the results are compared both methods. The following are also compared the advantages and disadvantages of both methods used.339 - Katedra pružnosti a pevnostivýborn

A Performance Benchmark of NetFlow Data Analysis on Distributed Stream Processing Systems

Modern distributed stream processing systems can be potentially applied to real time network flow processing. However, differences in performance make some systems more suitable than others for being applied in this domain. We propose a novel performance benchmark which is based on a common security analysis algorithms of NetFlow data, to determine the suitability of distributed stream processing system. Three of the most used distributed stream processing systems are benchmarked and results are compared with identified NetFlow data processing challenges and requirements. Benchmark results show that each system reached a sufficient data processing speed using basic deployment scenario with little to no configuration tuning. Our benchmark, unlike any other, enables to determine a performance of processing small structured messages on any stream processing system