The interaction between the tire and road has long been of interest for vehicle dynamic simulation. A planar tire model is developed to capture the tire circumferential displacements and calculate the spindle force according to the tire shape. The tire is discretized into segments and Hamilton’s principle is used to derive the model mathematical expression. It is shown that the static constrain...

Software robustness and security are critical to dependable operations of computer systems. Robustness and security of software systems are governed by various temporal properties. Static verification has been shown to be effective in checking temporal properties. But manually specifying these properties is cumbersome and requires knowledge of the system and source code. Furthermore, many syste...

Security is a major concern for computation in wide-area networks, and is often considered a serious source of potential limitation to a widespread use of mobile code technologies. This key issue has stimulated the research on efficient validation and verification techniques ensuring the acceptable behaviour of software components roaming around on information networks. In this dissertation, we...

This thesis presents computational studies of both the static and dynamic parameters of the nuclear magnetic resonance (NMR) spectroscopy of gaseous xenon. First, state-of-the-art static magnetic resonance parameters are computed in small xenon clusters by using methods of quantum chemistry, and second, time-dependent relaxation phenomena are investigated via molecular dynamics simulations at d...

für Naturforschung in cooperation with the Max Planck Society for the Advancement of Science under a Creative Commons Attribution 4.0 International License. Dieses Werk wurde im Jahr 2013 vom Verlag Zeitschrift für Naturforschung in Zusammenarbeit mit der Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V. digitalisiert und unter folgender Lizenz veröffentlicht: Creative Commons Namen...

Magnetization and uniaxial anisotropy were studied on single crystals of PbFe,, ,GqO,,, where x = 0 8 from 2 to 360 K. The results suggest that for x > 3 the spin arrangement becomes non-collinear. The magnetic moment and anisotropy for x C 3 are roughly consistent with the random distribution of Ga3+ ions in all sites except for 2b. For x = 5.94 and 8.02 the relatively large anisotropy of the ...

The principal objective of this work has been to develop a set of mechanical, remote-sensing tools that will permit the determination of the main geotechnical variables that control mine burial in the bottom. These variables include the shear strength of both soft, fine-grained sediments and coarser, dilative granular sediments. A further objective is to better understand the response of typica...

We investigate the static and dynamic (phononic) elastic behavior of fractal-cut materials. These materials are novel in the sense that they deform by rotation of “rigid” units rather than by straining these units, can be fabricated by exploiting a simple cutting paradigm, and have properties that can be manipulated by control of the cut pattern and its hierarchy. We show that variation of frac...