In this paper, layerwise theory (LT) along with the first, second and third-order shear deformation theories (FSDT, SSDT and TSDT) are used to determine the stress distribution in a simply supported square sandwich plate subjected to a uniformly distributed load. Two functionally graded (FG) face sheets encapsulate an elastomeric core while two epoxy adhesive layers adhere the core to the face ...

The bending behavior of composites sandwich plates with multi-layered laminated face sheets has been investigated, using a new four-nodded rectangular finite element formulation based on a layer-wise theory. Both, first order and higher-order shear deformation; theories are used in order to model the face sheets and the core, respectively. Unlike any other layer-wise theory, the number of degre...

In the present study, small scale effect on critical buckling loads of triangular nano- composite plates under uniform in-plane compression is studied. Since at nano-scale the structure of the plate is discrete, the size dependent nonlocal elasticity theory is employed to develop an equivalent continuum plate model for this nanostructure incorporating the changes in its mechanical behavior. The...

In this paper, nonlinear static analysis of moderately thick plate made of functionally graded materials subjected to mechanical transverse loading is carried out using dynamic relaxation method. Mindlin first order shear deformation theory is employed to consider thick plate. Discretized equations are extracted for geometrically nonlinear behavior analysis.Loading Conditions and boundary condi...

In this paper, transverse and longitudinal vibration of nonlinear plate under exciting of orbiting mass is considered based on first-order shear deformation theory. The nonlinear governing equation of motion are discretized by the finite element method in combination with Newmark’s time integration scheme under von Karman strain-displacement assumptions. For validation of method and formulation...

In this paper, the behavior of free vibrations and buckling of the sandwich panel with a flexible core was investigated using a new improved ‎high-order sandwich panel theory. In this theory, equations of motion were formulated based on shear stresses in the core. First-order shear deformation theory was ‎applied for the procedures. In this theory, for the first time, incompatibility problem of...

We present two case studies in formal reasoning about untyped λ-calculus in Coq, using both first-order and higher-order abstract syntax. In the first case, we prove the equivalence of three definitions of α-equivalence; in the second, we focus on properties of substitution. In both cases, we deal with contexts, which are rendered by means of higher-order terms (functions) in the metalanguage. ...