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...