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. / Icy road conditions and tire performance play a vital role in determining the overall performance of a vehicle. With the reduction of traction available at the surface in icy conditions, the vehicle becomes more unpredictable and can become uncontrollable. In order to design an appropriate safety system, the tire-ice interaction must be closely investigated. This research aims at enhancing the understanding of the tire-ice contact interaction at the contact patch through modeling and experimental studies for a pneumatic tire traversing over solid ice. Prior work in the laboratory produced a Tire-Ice Model (TIM) with the purpose of estimating the friction at the tire-ice interface. The current work builds on that study, resulting in the Advanced Tire-Ice Interface Model (ATIIM). This model predicts the temperature rise at the tire-ice interface based on the measured pressure distribution and the thermal properties of the tire and of the ice surface. This model allows a more thorough investigation of the tire-ice interface, being capable of predicting the height of the thin water film created from the melted ice, the prediction of tractive performance of the tire, the estimation of the viscous friction due to the water layer at the contact interface, and the influence of braking operations, including the locked wheel (skid) condition. Experimental studies were carried out at Terramechanics, Multibody, and Vehicle Systems (TMVS) Laboratory on the Terramechanics Rig. The experimental investigation included measuring the temperature at various points at the tire-ice interface in order to compare the temperature rise predicted using the ATIIM. Furthermore, the tractive performance of the tire was also investigated by examining different conditions of vertical tire load, tire inflation pressure, and ice surface temperatures as well as various steering configurations set by the user. In addition to investigating the performance at the tire-ice interface, a vehicle model in which the front wheels are considered as one (and the same for the rear wheels), often referred to as the bicycle model, is studied while traveling over smooth ice. To ensure the accuracy of the vehicle simulation, the tire model chosen must account for the actual conditions in which the model will operate. In this study, the ATIIM is incorporated in empirical tire models commonly used in industry and used in conjunction with a vehicle model to accurately predict the behavior of the vehicle when operating on smooth ice.

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.