The paper defines an updated method for “soil – reinforced concrete foundation” calculation that takes into account their mutual interaction. In this method, both the foundation structure and footing are represented by a rigid-plastic model, which makes it possible to determine bearing capacity of system. This eliminates possibility destruction from punching exhaustion its capacity. It further ...

Earthquake and scouring are the leading causes of bridge failure worldwide, resulting not only in casualties fatalities but also enormous societal economic losses. A great number bridges earthquake-prone countries cross rivers have shallow foundations, which renders them highly vulnerable to combined effects earthquake flood-induced scour. Thus, research on dynamic response with foundations und...

In this paper, Rotary Vector (RV) reducer as the research object, using Solid Works software to establish a three-dimensional model of RV110-E reducer, and interference check. The key parts were processed flexibly by Abaqus, flexible body was imported into Adams rigid-flexible coupling dynamics RV reducer. Through simulation analysis, contact stress curve components is obtained, influencing fac...

this paper describe the three dimensional finite element modeling and buckling analysis ofconventional pallet racking system with semi rigid connection. in this study threedimensional models of conventional pallet racking system were prepared using the finiteelement program ansys and finite element analysis carried out on conventional pallet rackswith the 18 types of column sections developed a...

In this paper we show how translation from QVT-R to an intermediate semantic representation can be used to support analysis of QVT-R specifications. We use the UML to RDB case study to illustrate the approach.

There are two very different approaches to accommodating the possibility of occasional identity—that is, the possibility of certain objects being identical at one time but distinct at another. One approach, advanced by André Gallois, seeks to qualify Kripke‘s notion of rigid designation, while the other, originally advanced by George Myro, seeks to qualify Leibniz’s law instead. This paper focu...

A new technique is proposed for paratubal electromyography, using a surface, non-invasive, electrode applied transnasally under nasopharyngoscope guidance. This electrode records activity of the tensor veli palatini muscle during swallowing. This technique is of interest for two reasons: endoscopic guidance offers the possibility to check correct positioning of the electrode recording at tensor...

In this paper, two methods are described, by means of which it is possible to calculate the non rigid group of molecules consisting of a number of XH3 groups attached to a rigid framework. The first method is a combination of the wreath product formalism of Balasubramanian and modern computer algebra and the second method is a computational approach by using group theory package GAP. We apply t...

Understanding of articulated shape motion plays an important role in many applications in the mechanical engineering, movie industry, graphics, and vision communities. In this paper, we study motion-based segmentation of articulated 3D shapes into rigid parts. We pose the problem as finding a group-valued map between the shapes describing the motion, forcing it to favor piecewise rigid motions....

(Nov/03 draft, forthcoming in " Pacific Philosophical Quarterly " , comments to [email protected]) abstract In this paper I argue that questions about the semantics of rigid designation are commonly and illicitly run together with distinct issues, such as questions about the metaphysics of essence and questions about the theoretical legitimacy of the possible-worlds framework. I discuss in depth t...