To assess the performance criteria of the reinforced-concrete, five-storey residential buildings common in Iran, an experimental study in the structural laboratory of the University of Tehran has been conducted. The test program includes cyclic and monotonic load tests of six beams that represent three-to-five storey buildings with rigid frame structures. Using definitions given in FEMA-356 a...

The finite-element method is used to perform an accurate numerical study of the normal indentation of an elastic-plastic half-space by a rigid sphere. The effects of elasticity and strain-hardening rate of the half-space are explored, and the role of friction is assessed by analysing the limiting cases of frictionless contact and sticking friction. Indentation maps are constructed with axes of ...

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.

this study aims at presenting a numerical model for predicting grout flow and penetration length into the jointed rock mass using universal distinct element code (udec). the numerical model is validated using practical data and analytical method for grouting process. input data for the modeling, including geomechanical parameters along with grout properties, were obtained from a case study. the...

To assess the performance criteria of the reinforced-concrete, five-storey residential buildings common in Iran, an &#10experimental study in the structural laboratory of the University of Tehran has been conducted. The test program includes cyclic and monotonic load tests of six beams that represent three-to-five storey buildings with rigid frame structures. Using definitions given in FEMA-356...

It is often claimed that Kripke (1980) and Putnam (1975) established that many predicates, most importantly natural kind predicates, are like proper names in being rigid designators. This insight is generally regarded as having important consequences in the theory of necessary truths: the rigidity of terms such as 'Hesperus', 'Phosphorus', 'water' and 'H 2 O' is used in explaining why identity ...

The axisymmetric steady state deformations of an infinite cylindrical rod made of a rigid/perfectly plastic material and striking a known cavity in a rigid target are analyzed by the finite element method. The contact between the deforming rod and the target surface is assumed to be smooth. It is found that the axial force experienced by the rod depends strongly upon the square of its speed. Re...

The problem of steady penetration by a semi-infinite, rigid penetrator into an infinite, rigid/perfectly plastic target has been studied. The rod is assumed to be cylindrical, with a hemispherical nose, and the target is assumed to obey the Von-Mises yield criterion with the associated flow rule. Contact between target and penetrator has been assumed to be smooth and frictionless. Results compu...