Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

The classical algebraic approach to graph transformation is a mathematical theory based on categorical techniques with several interesting applications in computer science. In this paper, a new semantics of graph transformation systems (in the algebraic, double-pushout (DPO) approach) is proposed in order to make them suitable for the specification of concurrent and reactive systems. Classically, a graph transformation system comes with a fixed behavioral interpretation. Firstly, all transformation steps are intended to be completely specified by the rules of the system, that is, there is an implicit frame condition: it is assumed that there is a complete control about the evolution of the system. Hence, the interaction between the system and its (possibly unknown) environment, which is essential in a reactive system, cannot be modeled explicitly. Secondly, each sequence of transformation steps represents a legal computation of the system, and this makes it difficult to model systems with control. The first issue is addressed by providing graph transformation rules with a loose semantics, allowing for unspecified effects which are interpreted as activities of the environment. This is formalized by the notion of double-pullback transitions, which replace (and generalize) the well-known double-pushout diagrams by allowing for spontaneous changes in the context of a rule application. Two characterizations of double-pullback transitions are provided: the first one describes them in terms of extended direct DPO derivations, and the second one as incomplete views of parallel or amalgamated derivations. The issue of constraining the behavior of a system to transformation sequences satisfying certain properties is addressed instead by introducing a general notion of logic of behavioral constraints, which includes instances like start graphs, application and consistency conditions, and temporal logic constraints. The loose semantics of a system with restricted behavior is defined as a category of coalgebras over a suitable functor. Such category has a final object which includes all finite and infinite transition sequences satisfying the constraints.     

A comparison between elastohydrodynamic and dry hertzian line contacts with regard to their nonlinear vibration behaviour

The nonlinear dynamic behaviour of a simple system employing two different types of contact is compared: elastohydrodynamic line contact and Hertzian line contact with appropriate damping. The elastohydrodynamic problem is solved with finite elements. For the Hertzian line contact problem an analytical solution is known. It is found that for highly loaded cases Hertzian and elastohydrodynamic contacts lead to very similar frequency response curves. This means that instead of solving the computational expensive elastohydrodynamic problem the Hertzian contact can be used. However, considering weakly loaded contacts the two types of contact show very different behaviour. In particular the natural frequencies are different and the elastohydrodynamic contact exhibits rich nonlinear dynamic behaviour including jump phenomena as well as sub- and superharmonic bifurcations. (© 2011 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the influence of design parameters and nonlinearities in vehicle suspensions on road deformation

Among others, two main objectives of modern vehicle design are road friendliness and ride comfort. Both aspects are strongly related since the dynamical tire forces depend on the vertical acceleration of the vehicle. In order to investigate the influence of design and operation parameters, different car models are considered which move with constant velocity on a rippled road. First, a linear half car model is examined and the influence of different design parameters is discussed. Second, nonlinear suspensions with Coulomb friction due to sealings as well as with bilinear shock absorbers are taken into account. The vertical dynamics of the vehicle model and the dynamic tire forces between vehicle and road are calculated using analytical methods. (© 2011 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Towards Washout Filter Concepts for Motion Simulators on the Base of a Stewart Platform

In this paper we present a pneumatically driven Stewart platform as a basis for motion simulators. Motion platforms, that simulate perceived situations in aeroplanes, cars or ships, have workspace constraints in every degree of freedom. Therefore it is necessary to adapt the accelerations and angular rates in order to stay within the physical restrictions. For realizing a flight or ride simulator on the basis of the Stewart platform, “ Washout Filters” are used to change the signals of the open source software FlightGearand to minimize the sensation error between simulator and aircraft. Different filter concepts are implemented and evaluated. The platform presented in this document is a parallel kinematic robot, driven by fluidic muscles. The pneumatically actuated muscles are only able to produce tensile forces. Therefore a spiral spring from a passenger car is used to apply the compressive forces and torques. (© 2011 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

B-Splines with Arbitrary Connection Matrices

We consider a space of Chebyshev splines whose left and right derivatives satisfy linear constraints that are given by arbitrary nonsingular connection matrices. We show that for almost all knot sequences such spline spaces have basis functions whose support is equal to the support of the ordinary B-splines with the same knots. Consequently, there are knot insertion and evaluation algorithms analogous to de Boors algorithm for ordinary splines.     

A comparison of NCO and NCA transfer methods for biological solid-state NMR spectroscopy

Three different techniques (adiabatic passage Hartman-Hahn cross-polarization, optimal control designed pulses, and EXPORT) are compared for transferring (15)N magnetization to (13)C in solid-state NMR experiments under magic-angle-spinning conditions. We demonstrate that, in comparison to adiabatic passage Hartman-Hahn cross-polarization, optimal control transfer pulses achieve similar or better transfer efficiencies for uniformly-(13)C,(15)N labeled samples and are generally superior for samples with non-uniform labeling schemes (such as 1,3- and 2-(13)C glycerol labeling). In addition, the optimal control pulses typically use substantially lower average RF field strengths and are more robust with respect to experimental variation and RF inhomogeneity. Consequently, they are better suited for demanding samples.     

Generation of hard X-ray radiation using the triboelectric effect by peeling adhesive tape

The triboelectric effect describes electrical charging when bringing different materials into contact. We report on the generation of hard X-ray radiation by peeling various adhesive tapes under medium vacuum conditions. Beside vacuum housing and pumps as instrumentation only an electric motor, two rolls and a metal foil as target material are necessary. The spectral distribution of generated X-rays was analyzed using an energy-dispersive detector. Depending on peeling speed, pressure and choice of material combination, electrons with energies sufficient to excite emission in the hard X-ray region are produced. The results are discussed in terms of triboelectric separation of charge carriers.     

Time decay for nonlinear wave equations in two space dimensions

The Cauchy Problem for the equation u_tt–u+|u|^p–1u=0 (x², t>0, >1) is studied. Smooth Cauchy data is prescribed, and no smallness condition is imposed. For >5, it is shown that the maximum amplitude of such a wave decays at the expected rate t^–1/2 as t. For 1+8<5, the maximum amplitude still decays, but at a slower rate. These results are then used to demonstrate the existence of the scattering operator when >_o, where _o is the root of the cubic equation ³-2²-7-8=0; thus _o4.15.Alfred P. Sloan Research Fellow