Anisotropy of sand is mainly due to the geometrical arrangement of particles that depends on the orientation of applied load respect to the bedding plane. It is geologically due to micro-fabric created by the arrangement of the particles configured during deposition. Most of the models develop using stress/strain invariants are not capable of identifying this kind of anisotropy. This is mainly ...

For a classical link, Milnor defined family of isotopy invariants, called μ‾-invariants. Recently, Chrisman extended μ‾-invariants to welded links by topological approach. The aim this paper is showing that can be combinatorial proof contains an alternative the invariance original for links.

This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, two-state invariants that describe the evolution of data values. The technique enables a flexible new way to specify and verify variations of the observer pattern, including iterators. The paper details history invariants and the ...

In this paper, the nonlinear vibration analysis of a thin cylindrical shell made of Functionally Graded Material (FGM) resting on a nonlinear viscoelastic foundation under compressive axial and lateral loads is studied. Nonlinear governing coupled partial differential equations of motions (PDEs) for cylindrical shell are derived using improved Donnell shell theory. The equations of motions (EOM...

Abstract We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over integers; these are not necessarily convex, and can in fact contain infinitely many ‘holes’. Nevertheless, we show that cases such be automatically synthesised, moreover used to settle (non-)reachability questions various interesting classes target sets.