No description available.

In the present work we study opportunities of mapping the XML data into relational systems. In the first part we describe basic terminology used in this work and subsequently also basic techniques for mapping XML data into the relational database. In the next part we engaged in theoretical methods like MXM and ShreX, which were proposed on premises of a university or by a research group. In the third part we describe mapping methods, that are used in some commercial systems like Oracle, DB2 and MS SQL. In the whole second half of this work we propose a new mapping method (XRM), which bring in several new features, while the origin positive features are kept. At the end we analyze the prototype implementation of the proposed mapping method.

Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new debugging interface of the Java PathFinder application. As a suitable inte- face container was selected the Eclipse development environment. The created interface should visualize results of JPF and details of paused JVM state, es- pecially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface

Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new de- bugging interface to the Java PathFinder application. As a suitable interface container was selected the Eclipse development environment. The created inter- face visualizes results of JPF and details of paused JVM state, especially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface

The major objective of this study is to correlate the rocking foundation performance parameters with their capacity parameters and earthquake demand parameters using the results obtained from 142 centrifuge and shaking table experiments. It is found that seismic energy dissipation and permanent settlement of rocking foundations correlate well with rocking coefficient and Arias intensity of the earthquake, whereas the maximum moment and peak rotation of the foundation correlate well with peak ground acceleration. A numerical model, using the contact interface model available in OpenSees, is developed to simulate the performance of rocking foundations, and it is validated using experimental results. Though the numerical model predicts the moment capacity, seismic energy dissipation, and tipping-over stability of rocking foundations reasonably well, the model appears to overpredict the settlement of foundations. Furthermore, a parametric study showed that settlement reduces as initial vertical stiffness increases and is directly proportional to peak ground displacement.

This master's thesis deal with design and creating of the instructions for industry bus AS-Interface. These instructions were implemented in the software ControlLogix5000 like add-on instructions. In the teoretical part there are presented the issues of industrial control, AS-Interface bus, add-on instruction and model of the labyrinth. The practical part of the master's thesis is focused to design of the add-on instruction and work with instruction and its characteristics followed by the description of the sample add-on instruction and the list of all implemented instructions. The final two chapters include visualization and laboratory exercise.

The general trend toward increased use of computer models and simulations during product development has led to a need for accurate and reliable product models. The function of many products relies on contact interfaces between interacting components. To simulate the behavior of such products, accurate models of both components and interfaces are required. Depending on the purpose of the simulation, interface models of different degrees of complexity are needed. In simulation of very large systems with many interfaces, it might be computationally expensive to integrate detailed models of each individual interface. Condensed models, or abstractions, that describe the interface properties with a minimum of degrees of freedom are therefore required. This thesis deals with mechanical interfaces with an emphasis on friction. In the four appended papers friction models are discussed in terms of condensed models, as well as in terms of more detailed contact models. The aim is to study how friction can be modeled in behavioral simulation of products and to discuss the convenience and relevance of using different types of friction models as building blocks of a system model in behavioral simulations. Paper A presents a review of existing condensed friction models for sliding contacts under different running conditions and discusses the models from both simulation and tribological points of view. In papers B and C a simplified contact model, called the elastic foundation model, is used to model friction in a boundary-lubricated rolling and sliding contact. The model is integrated in a dynamic rigid body model of a mechanical system, the system behavior is simulated, and the result is compared with experimental results. Paper D discusses the application of the elastic foundation model to rough surface contact problems and investigates how the error in the elastic foundation results depends on surface roughness. / QC 20101129

No description available.

The tire-ice interaction is a highly complex phenomenon, which has a direct influence on the overall performance of the pneumatic tire. From tire-terrain interaction dynamics, it is evident that icy road conditions and tire operational parameters play a vital role in determining the overall performance of the vehicle. With the reduction of traction available at the surface in icy conditions, the dynamics of the vehicle becomes more unpredictable, as the system can become unstable. In order to design an appropriate safety system, the tire-ice interaction must be closely investigated. Since the tire is the part of the vehicle that is in direct contact with the terrain during operation, it is critical to have an in-depth understanding of the contact mechanics at the contact patch. This study has led to the development and validation of an existing tire-ice model to further improve the understanding of the contact phenomena at the tire-ice interface. Experimental investigations led to a novel measurement technique in order to validate the semi-empirical based tire-ice contact model. The Advanced Tire-Ice Interface Model serves to simulate the temperature rise at the contact patch based on the pressure distribution in the contact patch, thermal properties of the tread compound and of the ice surface. Since its initial development, the advanced model is now capable of simulating the thin water film created from the melted ice, the prediction of tractive performance, the estimation of the viscous friction due to the water layer, and the influence of braking operations including the locked wheel condition. Experimental studies, carried out at the Terramechanics, Multibody, and Vehicle Systems (TMVS) Laboratory, were performed on the Terramechanics Rig. The investigation included measuring the bulk temperature distribution at the contact patch in order to validate the temperature rise simulations of the original Tire-Ice Model. The tractive performance of a P225/60R16 97S Standard Reference Test Tire and a 235/55R-19 Pirelli Scorpion Verde All-Season Plus XL were also investigated during this study. A design of experiment was prepared to capture the tire tractive performance under various controlled operating conditions. / Ph. D.

Dans cette thèse, nous proposons un modèle pour le calcul des écoulements le long des failles. Ce modèle, baptisé modèle double interface permet de traiter deux difficultés majeures rencontrées lors de la modélisation des failles. Tout d'abord, l'utilisation d'un modèle interface, dans lequel les failles sont représentées par des éléments de dimension inférieure permet de s'affranchir du problème d'échelle spatiale. Ensuite, l'utilisation de deux interfaces pour représenter chaque faille permet de traiter naturellement les maillages non-conformes apparaissant dans ce type de problème. Les questions de failles non-planes et de réseaux de failles sont aussi abordées. Ce modèle est validé numériquement sur différents cas tests académiques et un cas synthétique inspiré du stockage du CO2 a aussi été réalisé. Finalement, une étude théorique a été menée afin de confirmer mathématiquement l'approche retenue. / In this thesis, we are interested in the modelisation of fluid flow along conductive faults. This model, so-called double interface model tackles two majors difficulties encountered when modelising faults. First of all, the use of an interface model, in which the faults are represented by lower dimension elements allows to treat the problem of space scale. Then, the use of two interfaces to modelise each fault allows to handle quite naturally the non-matching grid problem arising from this kind of problem. The question of non-planar fault and fault networks is also addressed. This model is then validated on several academic test cases and a synthetic case inspire by CO2 storage is also performed. Finally, a theoric study is also conducted in order to validate our approach.