Multiple original results in the theory of automata and formal languages are presented, dealing mainly with combinatorial problems and complexity questions related to reset words and road coloring. The other results concern jumping finite automata and related types of rewriting systems. Powered by TCPDF (www.tcpdf.org)

The diploma thesis deals with the analysis of selected effects on reproduction of Holstein dairy cows. Breeding of cattle faces up to so impaired indicators of reproduction that it could cause the decrease of economic efficiency in production of milk and meat. The aim of the thesis is the evaluation of selected effects that influence the reproduction of dairy cows in the farm in Trhový Štěpánov. Information about reproduction were gained from records of efficiency controls and animal husbandry records of the year 2012. The observation included total 515 Holstein dairy cows (H100) and 1 784 inseminations were carried out. From this amount 350 dairy cows were gravid. Gained data were selected by sequence of lactation, level of dairy efficiency, inseminating bulls and synchronizing programmes. Established results showed that the only reliable indicator was the interval of insemination. Average length of interval of insemination amounted to 79,9 days. The other figures of reproduction indicators were found out below-average comparing the avarage figures of Holstein cattle. Average service period of studied dairy cows was 197,1 days and the length of between-period was 477,1 days. It was found out very low average percentage of gravidity after the first insemination (12,6 %). Average number of doses of insemination for one gravid cow was 3,5. The biggest effect on reproduction indicators had the level of dairy efficiency (P < 0,05). The shortest service period and between-period had dairy cows with efficiency of 7 000 to 10 000 kg of milk. It was not proved the influence of RPH of breeding bulls for gravidity of breeding-cows. The highest percentage of gravidity after all inseminations was after application of EOSTROPHAN (30,5 %). The worst synchronizing programme was DOUBLE OVSYNCH (12 %). The percentage of gravidity after all inseminations and synchronizing programmes was 20,4 % and after spontaneous rut only 15 %.

Original results in computational and combinatorial theory of reset words in transition systems, road coloring in directed graphs, and discontinuous input processing in formal languages are presented, including strong lower bounds on subset synchronization thresholds, lower bounds on descriptive power of jumping finite automata, and corresponding complexity classifications.

Diploma thesis deals with the basic description of cardiac muscle cells, the mechanism of its contraction and events associated with contractions. There are different types of methods which can be used for measuring of contractions and for evaluation of cell length. This work describe these methods and evaluate their pros and cons. Based on available information and technical possibilities is one of the methods chosen and used for the design of block diagram system for measuring of contraction of isolated heart cells in real time. The practical part of this diploma thesis deals with the designing of a system which allows processing the image of isolated cardiac muscle cells that facilitate the detection of the cells edge. For this purpose it was created a device that allows the user to select a single row from television signal containing the image information from a location where is the currently selected row. Thus obtained image information can be used for cells edge detection and measuring of its length and contractions.

Converter of sync codes MTC to LTC is very important device to synchronize all devices which are being used for editing and other work with audio and video. Most of digital equipment can sync to MTC but LTC timecode is recorded od audio or videotape. Therefore this converter is needed to sync all connected devices to recorded timecode. This thesis is about designing and constructing the converter between these timecodes.

This diploma thesis treats the possibilities of the black-white picture depiction in pseudo colors (Pseudocolor). The individual methods, software or hardware are described there and the detailed block scheme of the system Pseudocolor is suggested. The block scheme is created on the basis of gained theoretical knowledge. In the thesis, individual functional blocks of the scheme are described and their circuit designs are realized. Some of the functional blocks are simulated by the PSpice program and accompanied by corresponding signal process data. The suitable choice of the active and passive components is performed, from which the general integration of the system Pseudocolor is made. All the source materials for the realization of the device are given there – double-sided drawing of the printed circuit, layout and specification of the components.