rolling-based seismic isolation systems, in which rollers of circular or non-circular section are used, are less expensive and easier to manufacture. however, this type of isolation suffers from either lack of restoring or re-centering capability, or weakness against uplift forces. to resolve the first shortcoming the use of elliptical as well as pillow-shape rolling parts has been suggested, a...

the edge detour index polynomials were recently introduced for computing theedge detour indices. in this paper we nd relations among edge detour polynomials for the2-dimensional graph of tuc4c8(s) in a euclidean plane and tuc4c8(s) nanotorus.

le mouvement transversal de la locomotive ou des wagons , appele ie lacet, provient de deux causes principales: -la conicite des bandages -les irregularites de la voie dans ie plan horizontal. on se propose ici d'etudier la premiere cause , ce qui nous conduit a une equation differentielle non lineaire du deuxieme ordre. • l'equation en question est etudiee dans plusieurs cas difftten...

The χ language is a hybrid language for modeling, simulation and verification. As a result of the recently completed formal semantics, the language now consists of a number of orthogonal operators that operate on all process terms, including differential algebraic equations. The same χ model can be used for simulation and verification. Verification is possible after a straightforward syntactica...

If a model structure is not identifiable, then it is not possible to uniquely identify its parameters from measured data. This contribution describes how solvers for differential-algebraic equations (DAE) can be used to examine if a model structure is locally identifiable. The procedure can be applied to both linear and nonlinear systems. If a model structure is not identifiable, it is also pos...

It is known that the satisfiability problem for equations over free partially commutative monoids is decidable but computationally hard. In this paper we consider the satisfiability problem for equations over free partially commutative monoids under the constraint that the solution is a subset of the alphabet. We prove that this problem is NP-complete for quadratic equations and that its unifor...