This paper is concerned with formalizations and veriications in type theory that are abstracted with respect to a large class of datatypes; i.e polytypic formalizations. The main advantage of these developments are that they can not only be used to polytypically deene functions but also to formally state polytypic theorems and to interactively develop polytypic proofs using existing proof edito...

The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and outline a program in which n-dimensional TQFTs are to be described as n-category representations. First we describe a ‘suspension’ operation on ncategories, a...

In this paper, a size-dependent formulation for the Bernoulli-Euler beam is developed based on a new model of couple stress theory presented by Hadjesfandiari and Dargush. The constitutive equation obtained in this new model, consists of only one length scale parameter that is capable of capturing the micro-structural size effect in predicting the mechanical behavior of the structure. Having on...

In this paper, the mechanical behavior of three-phase inhomogeneous materials is modeled using the meso-scale model with lattice beams for static and dynamic analyses. The Timoshenko beam theory is applied instead of the classical Euler-Bernoulli beam theory and the mechanical properties of lattice beam connection are derived based on the continuum medium using the non-local continuum theory. T...

Bending analyses of isotropic, functionally graded, laminated composite, and sandwich beams are carried out using a quasi-3D polynomial shear and normal deformation theory. The most important feature of the proposed theory is that it considers the effects of transverse shear and transverse normal deformations. It accounts for parabolic variations in the strain/stress produced by transverse shea...

in this paper, the stability of a functionally graded magneto-electro-elastic (fg-mee) micro-beam under actuation of electrostatic pressure is studied. for this purpose euler-bernoulli beam theory and constitutive relations for magneto-electro-elastic (mee) materials have been used. we have supposed that material properties vary exponentially along the thickness direction of the micro-beam. gov...

In this research static deflection and free vibration of homogeneous nanobeams coated by a functionally graded (FG) layer is investigated according to the nonlocal elasticity theory. A higher order beam theory is used that does not need the shear correction factor. The equations of motion (equilibrium equations) are extracted by using Hamilton’s principle. The material properties are considered...