Higher-order theories
نویسندگان
چکیده
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as requested by [GU03]: in our setting, merging two extensions of syntax corresponds to building an amalgamated sum. Finally we define a natural notion of equation concerning a signature and prove the existence of an initial semantics for a so-called representable signature equipped with a set of equations.
منابع مشابه
Efficient Higher-Order Shear Deformation Theories for Instability Analysis of Plates Carrying a Mass Moving on an Elliptical Path
The dynamic performance of structures under traveling loads should be exactly analyzed to have a safe and reasonable structural design. Different higher-order shear deformation theories are proposed in this paper to analyze the dynamic stability of thick elastic plates carrying a moving mass. The displacement fields of different theories are chosen based upon variations along the thickness as c...
متن کاملApplications of higher order shear deformation theories on stress distribution in a five layer sandwich plate
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 ...
متن کاملBending and Free Vibration Analysis of Functionally Graded Plates via Optimized Non-polynomial Higher Order Theories
Optimization concept in the context of shear deformation theories was born for the development of accurate models to study the bending problem of structures. The present study seeks to extend such an approach to the dynamic analysis of plates. A compact and unified formulation with non-polynomial shear strain shape functions (SSSFs) is employed to develop a static and free vibration analysis of...
متن کاملFinite difference method for sixth-order derivatives of differential equations in buckling of nanoplates due to coupled surface energy and non-local elasticity theories
In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...
متن کاملEmpirical support for higher-order theories of conscious awareness.
Higher-order theories of consciousness argue that conscious awareness crucially depends on higher-order mental representations that represent oneself as being in particular mental states. These theories have featured prominently in recent debates on conscious awareness. We provide new leverage on these debates by reviewing the empirical evidence in support of the higher-order view. We focus on ...
متن کاملFinite difference method for sixth-order derivatives of differential equations in buckling of nanoplates due to coupled surface energy and non-local elasticity theories
In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007