Higher-order programming admits the view of programs as values and has been shown useful to give a semantics to object-oriented languages. In building a UTP theory for object-orientation, one faces four major challenges: consistency of the program model, redefinition of methods in subclasses, recursion and mutual recursion, and simplicity. In this paper, we discuss how the UTP treatment of high...

A common understanding of plastic deformation of metallic glasses (MGs) at room temperature is that such deformation occurs via the formation of runaway shear bands that usually lead to catastrophic failure of MGs. Here we demonstrate that inhomogeneous plastic flow at nanoscale can evolve in a well-controlled manner without further developing of shear bands. It is suggested that the sample und...

We use the three-dimensional Hellinger}Reissner mixed variational principle to derive a Kth order (K"0, 1, 2,2) shear and normal deformable plate theory. The balance laws, the constitutive relations and the boundary conditions for the plate theory are deduced. The constitutive relations incorporate the shear and the normal tractions applied on the top and the bottom surfaces of the plate. For a...

The spatial distribution of shear bands was investigated in 304L stainless steel through the radial collapse of a thick-walled cylinder under high-strain-rate deformation (∼104 s−1). The shear-band initiation and propagation were also examined. Self-organization of multiple adiabatic shear bands was observed. The effect of grain size on spacing of shear bands was investigated at four different ...

This paper investigates the bending, vibration, and buckling behaviour of functionally graded (FG) curved sandwich beams using a global–local refined shear deformation theory. Material properties these are varied through thickness according to power-law distribution. A beam element with combination Hermite cubic quadratic Lagrange shape functions is developed solve problems. The obtained result...

Internal stability of isotropic nonlinear elastic materials under homogeneous deformation is studied. Results provide new insight into various intrinsic stability measures, first proposed elsewhere, for generic nonlinear elastic solids. Three intrinsic stability criteria involving three different tangent elastic stiffness matrices are considered, corresponding to respective increments in strain...

Unlike crystalline metals, the plastic deformation of metallic glasses (MGs) involves a competition between disordering and structural relaxation ordering, which is not well understood, yet. Molecular dynamics (MD) simulations were performed to investigate the evolutions of strain localizations, short-range order (SRO) as well as the free volume in the glass during compressive deformation of Fe...

This paper presents a thermoelastic bending analysis of functionally graded sandwich plates by using a new quasi-3D hybrid type higher order shear deformation theory (HSDT). The mathematical model contains only 5 unknowns as the first order shear deformation theory (FSDT). The nonlinear term of the temperature field is modeled in such way that can be different from the shape functions of the di...