Les réseaux biologiques, notamment les réseaux de signalisation déclenchés par les hormones, sont extrêmement complexes. Les méthodes expérimentales à haut débit permettent d’aborder cette complexité, mais la prise en compte de l’ensemble des données générées requiert la mise au point de méthodes automatiques pour la construction des réseaux. Nous avons développé une nouvelle méthode d’inférence reposant sur la formalisation, sous forme de règles logiques, du raisonnement de l’expert sur les données expérimentales. Cela nécessite la constitution d’une base de connaissances, ensuite exploitée par un moteur d’inférence afin de déduire les conclusions permettant de construire les réseaux. Notre méthode a été élaborée grâce au réseau de signalisation induit par l’hormone folliculo-stimulante dont le récepteur fait partie de la grande famille des récepteurs couplés aux protéines G. Ce réseau a également été construit manuellement pour évaluer notre méthode. Un contrôle a ensuite été réalisé sur réseau induit par le facteur de croissance épidermique, se liant à un récepteur tyrosine kinase, de façon à montrer que notre méthode est capable de déduire différents types de réseaux de signalisation. / Biological networks, including signalling networks induced by hormones, are very complex. High-throughput experimental methods permit to approach this complexity, but to be able to use all generated data, it is necessary to create automatical inference methods to build networks. We have developped a new inference method based on the formalization of the expert’s reasoning on experimental data. This reasoning is converted into logical rules. This work requires the creation of a knowledge base which is used by an inference engine to deduce conclusions to build networks. Our method has been elaborated by the construction of the signalling network induced by the follicle stimulating hormone whose receptor belongs to the G protein-coupled receptors family. This network has also been built manually to assess our method. Then, a test has been done on the network induced by the epidermal growth factor, which binds to a tyrosine kinase receptor, to demonstrate the ability of our method to deduce differents types of signaling networks.

This thesis deals with identification and analysis of weak points of current management of National museum's collections and aimes to apply selected logistic technologies and to propose efficient logistic network operating in actual situation of Central depository Terezín II. The issue is handled in connection with moving of the museum collection, which represents not only unique project in the history of modern museum praxis but also an appropriate opportunity for reengineering and improving of existing procedures connected with legal mission of the most important and largest museum institution in the Czech Republic.

In this paper we present two hierarchically preconditioned methods for the fast solution of mesh equations that approximate 2D-elliptic boundary value problems on unstructured quasi uniform triangulations. Based on the fictitious space approach the original problem can be embedded into an auxiliary one, where both the hierarchical grid information and the preconditioner by decomposing functions on it are well defined. We implemented the corresponding Yserentant preconditioned conjugate gradient method as well as the BPX-preconditioned cg-iteration having optimal computational costs. Several numerical examples demonstrate the efficiency of the artificially constructed hierarchical methods which can be of importance in the industrial engineering, where often only the nodal coordinates and the element connectivity of the underlying (fine) discretization are available.

This master thesis deals with classification of sleep stages on the base of polysomnographic signals. On several signals was performed analysis and feature extraxtion in time domain and in frequency domain as well. For feature extraxtion was used EEG, EOG and EMG signals. For classification was selected classification models K-NN, SVM and artifical neural network. Accuracy of classifation is different depending on used method and spleep stages split. The best results achieved classification among stages Wake, REM, and N3, with neural network usage. In this case the succes was 93,1 %.

Master´s thesis analyses current methods and procedures of storing and marking of goods of Disk obchod & technika, spol. s.r.o. company. It includes the proposal of goods identification which leads to the optimizing of continuous flows from the point of view of both simplification and acceleration of work and simpler and more accurate ways of goods identification. The proposal is related to the choice of appropriate method of goods identification and the selection of particular type of barcodes, including the necessary hardware.

The thesis deals with automatic control the font size by the distance from the reader. It includes theoretical acquaintance with the face detection and subsequent tracking of the detected area during the scene. Furthermore, there is a comparison of the tracking algorithms. Then the calculation of distance is decribed. It is based on the user’s calibration and based on the outcome occurs the font size is automatically corrected. There is also a description of a separate application Automatical controller of the text size, with the recommended settings of the program.

In this paper we present two hierarchically preconditioned methods for the fast solution of mesh equations that approximate 2D-elliptic boundary value problems on unstructured quasi uniform triangulations. Based on the fictitious space approach the original problem can be embedded into an auxiliary one, where both the hierarchical grid information and the preconditioner by decomposing functions on it are well defined. We implemented the corresponding Yserentant preconditioned conjugate gradient method as well as the BPX-preconditioned cg-iteration having optimal computational costs. Several numerical examples demonstrate the efficiency of the artificially constructed hierarchical methods which can be of importance in the industrial engineering, where often only the nodal coordinates and the element connectivity of the underlying (fine) discretization are available.

Камерная нагревательная печь усовершенствована путем реконструкции каркаса, применением новых теплоизоляционных материалов, использованием новых газовых горелок, работающих в импульсном режиме, и оснащенных системой автоматики. Решена задача нагрева массы металла до заданной температуры. Рассмотрен импульсный нагрев этой массы по заданной программе. Проведен тепловой расчет печи, гидравлические расчеты газопроводов, воздухопроводов, тракта дымовых газов, дана оценка экономической эффективности. Приведено описание системы автоматики. / A chamber furnace has been renovated with using some new technologies, as well as: reconstruction of the skeleton, using new thermoinsulation materials and installation of new gas burners operating at pulse mode with automatical control system. A task of metal mass heating up to the given temperature was solved. Heating processes at the pulse mode with set program was considered. The thermal calculation of furnace, hydraulic calculations of gas pipelines, air and flue gases supply systems were held. Economical efficiency estimation was given. Automatical control system was described.