Konstanz, Univ., Diplomarb., 2003.

Zugl.: Stuttgart, Univ., Diss., 2004. / Print-Ausg. bei Shaker, Aachen erschienen.

University, Diss., 2000--Osnabrück.

Brandenburgische Techn. Universiẗat, Diss., 2002--Cottbus.

University, Diss., 1996--Saarbrücken.

The aim of this work was to evaluate and compare the effect of the Carp - Feed feeding system with the feeding by standard way "by hand" at different densities of fish stock (2000 - 6000 pcs per ha) of common carp (Cyprinus carpio L). In the period of 24.4. -- 27.9. 2012 feeding tests in rearing of carp fry (mirror carp) in the ponds system in Milevsko were conducted. The feed mixture with the increased content of nitrogenous compounds at the level of more than 18% was used in the test. According to results, increasing of individual growth was found at 197 g (45%), resp. 52 g (25%) in the higher stocking density when using the Carp - Feed, which is caused by increased growth intensity by 6.1, resp. 2.2% in the relative daily growth and by 0.22%, resp. 0.044% per day in SGR. The production efficiency of food fluctuated in the range of 0.95 - 1.86 in FCR, 0.54 - 1.05 in FCE, 0.45 - 0.92 in FCR / SGR and 1.774 - 2.311% per day in specific growth rate SGR. The influence of feeding method and stock density on length and weight parameters, exterior and on chemical composition of muscle was statistically significant (P - 0.05). There was not proved any significant influence on fitness indicators. According to the observed results, it is suitable to use the Carp-Feed feeding system, but higher food consumption and lower individual weights at higher densities of fish stock have to be considered. That is why the aim of rearing should be set in advance. According to experiment, it is better to choose higher stock density (6000 pcs per ha) when using the Carp -- Feed for reaching the higher production in acceptable individual weight and for maximum yield. The literary review on feeding problems and possible modification of feed is also part of this thesis.

In this thesis, I am dealing with an design and implementation of finite deterministic automaton. Its role is to process the ConTeXt input file and make a decision about its typography correctness. In next step, it will offer the recommendation how to correct the mistake and will be able to make simple automatic correction. Thesis is also including the comparision with existing programs and the tests on real documents. Thesis is also including theoretical subscription of formal languages and finite automaton.

The Analysis of Logistic Distribution of Dispenser Net in Grocery at The Certain Company

Táto práca sa zaoberá redukciou veľkosti tzv. čítačových automatov. Čítačové automaty rozširujú klasické konečné automaty o čítače s obmedzeným rozsahom hodnôt. Umožňujú tým efektívne spracovať napr. regulárne výrazy s opakovaním: a{5,10}. V tejto práci sa zaoberáme reláciou simulácie v čítačových automatoch, pomocou ktorej sme schopní zredukovať ich veľkosť. Opierame sa pritom o klasickú simuláciu v konečných automatoch, ktorú netriviálnym spôsobom rozširujeme na čítačové automaty. Kľúčovým rozdielom je nutnosť simulovať okrem stavov taktiež čítače. Za týmto účelom zavádzame nový koncept parametrizovanej relácie simulácie, a navrhujeme metódy výpočtu tejto relácie a redukcie veľkosti čítačových automatov pomocou nej. Navrhnuté metódy sú tiež implementované a je vyhodnotená ich efektivita.

Táto práca sa zaoberá redukciou veľkosti tzv. čítačových automatov. Čítačové automaty rozširujú klasické konečné automaty o čítače s obmedzeným rozsahom hodnôt. Umožňujú tým efektívne spracovať napr. regulárne výrazy s opakovaním: a{5,10}. V tejto práci sa zaoberáme reláciou simulácie v čítačových automatoch, pomocou ktorej sme schopní zredukovať ich veľkosť. Opierame sa pritom o klasickú simuláciu v konečných automatoch, ktorú netriviálnym spôsobom rozširujeme na čítačové automaty. Kľúčovým rozdielom je nutnosť simulovať okrem stavov taktiež čítače. Za týmto účelom zavádzame nový koncept parametrizovanej relácie simulácie, a navrhujeme metódy výpočtu tejto relácie a redukcie veľkosti čítačových automatov pomocou nej. Navrhnuté metódy sú tiež implementované a je vyhodnotená ich efektivita.