In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. The idea is to replace an initial database by a new set of sentences which reflect the changes due to an action. Unfortunately, progression requires secondorder logic in general. In this paper, we introduce the notion of strong progression, a slight variant of Lin and Reit...

There are different finite element models in place for predicting the bending behavior of shear deformable beams and plates. Mostly, the literature abounds with traditional equi-spaced Langrange based low order finite element approximations using displacement formulations. However, the finite element models of Timoshenko beams and Mindlin plates with linear interpolation of all generalized disp...

In the nonlinear theory of isotropic elastic materials, there are relations between force-like quantities and deformation-like quantities which are independent of material properties. Such relations have been called "universal" relations [1]. The best known example is that of Rivlin for simple shear [2]. It relates components of normal and shear stress and the amount of shear. Another important...

Failure maps of sandwich panels such as beam, plate and shell are of great importance in designing such structures. In this paper, failure maps of sandwich beams with composite skin and honeycomb core are obtained. The effect of transverse shear in skins and core and the effect of double walls of honeycomb core have been taken into account. Shear deformation of skins and core are assumed to be ...

In this paper, the transient response of a viscoelastic annular plate which has time-dependent properties is determined mathematically under dynamic transverse load. The axisymmetric conditions are considered in the problem. The viscoelastic properties obey the standard linear solid model in shear and the bulk behavior in elastic. The equations of motion are extracted using Hamilton’s principle...

Presented here is a new total-Lagrangian displacement-based finite-element formulation for plates and shells undergoing large displacements and rotations. The theory fully accounts for geometric nonlinearities, general initial curvatures, and extensionality by using Jaumann stress and strain measures, an exact coordinate transformation, and orthogonal virtual rotations. Moreover, transverse she...