Computational Models for Multilayered Composite Shells with Application to Tires

1996 ◽  
Vol 24 (1) ◽  
pp. 11-38 ◽  
Author(s):  
G. M. Kulikov
Keyword(s):  
Type Theory ◽  
Computational Models ◽  
Geometrical Nonlinearity ◽  
Higher Order ◽  
Stress Strain ◽  
Strain Fields ◽  
First Order ◽  
Timoshenko Type ◽  
Joint Influence ◽  
Discrete Layer

Abstract This paper focuses on four tire computational models based on two-dimensional shear deformation theories, namely, the first-order Timoshenko-type theory, the higher-order Timoshenko-type theory, the first-order discrete-layer theory, and the higher-order discrete-layer theory. The joint influence of anisotropy, geometrical nonlinearity, and laminated material response on the tire stress-strain fields is examined. The comparative analysis of stresses and strains of the cord-rubber tire on the basis of these four shell computational models is given. Results show that neglecting the effect of anisotropy leads to an incorrect description of the stress-strain fields even in bias-ply tires.

Resolution in type theory

1971 ◽  
Vol 36 (3) ◽  
pp. 414-432 ◽  
Author(s):  
Peter B. Andrews
Keyword(s):  
Set Theory ◽  
Type Theory ◽  
Higher Order ◽  
Order Logic ◽  
First Order Logic ◽  
Higher Order Logic ◽  
First Order ◽  
Different Types ◽  
Axiomatic Set Theory ◽  
Order Predicate Calculus

In [8] J. A. Robinson introduced a complete refutation procedure called resolution for first order predicate calculus. Resolution is based on ideas in Herbrand's Theorem, and provides a very convenient framework in which to search for a proof of a wff believed to be a theorem. Moreover, it has proved possible to formulate many refinements of resolution which are still complete but are more efficient, at least in many contexts. However, when efficiency is a prime consideration, the restriction to first order logic is unfortunate, since many statements of mathematics (and other disciplines) can be expressed more simply and naturally in higher order logic than in first order logic. Also, the fact that in higher order logic (as in many-sorted first order logic) there is an explicit syntactic distinction between expressions which denote different types of intuitive objects is of great value where matching is involved, since one is automatically prevented from trying to make certain inappropriate matches. (One may contrast this with the situation in which mathematical statements are expressed in the symbolism of axiomatic set theory.).

Transverse Stresses in Antisymmetric Angle Ply Sandwich Plates – Analytical Evaluation of Refined Higher Order Shear Deformation Theories

2010 ◽  
Vol 123-125 ◽  
pp. 599-602 ◽  
Author(s):  
K. Swaminathan ◽  
Govind R. Sangwai
Keyword(s):  
Computational Models ◽  
Processing Technique ◽  
Higher Order ◽  
Transverse Load ◽  
Sandwich Plates ◽  
Order Model ◽  
Simply Supported ◽  
First Order ◽  
Shear Deformation Theories ◽  
Transverse Stresses

In the present work two higher order computational models with 9 and 12 DOF already available in the literature for which analytical formulations and solutions for the stress analysis not yet reported are considered. In addition to these models, few higher order models and the first order model developed by other investigators are also considered for the evaluation. A simply supported plate subjected to sinusoidal transverse load with SS-2 boundary conditions is considered for the analysis. Solutions are obtained using Navier's technique. Transverse stresses are computed by post processing technique and the accuracy of models in predicting the stresses is evaluated.

scholarly journals Parallel finite-element implementation for higher-order ice-sheet models

2012 ◽  
Vol 58 (207) ◽  
pp. 76-88 ◽  
Author(s):  
Mauro Perego ◽  
Max Gunzburger ◽  
John Burkardt
Keyword(s):  
Finite Element ◽  
Computational Models ◽  
Three Dimensional ◽  
Ice Sheet ◽  
Integrated Model ◽  
Higher Order ◽  
Order Model ◽  
Length Scales ◽  
First Order ◽  
Finite Element Approximations

AbstractHigher-order models represent a computationally less expensive alternative to the Stokes model for ice-sheet modeling. In this work, we develop linear and quadratic finite-element methods, implemented on parallel architectures, for the three-dimensional first-order model of Dukowicz and others (2010) that is based on the Blatter-Pattyn model, and for the depth-integrated model of Schoof and Hindmarsh (2010). We then apply our computational models to three of the ISMIP-HOM benchmark test cases (Pattyn and others, 2008). We compare results obtained from our models with those obtained using a reliable Stokes computational model, showing that our first-order model implementation produces reliable and accurate solutions for almost all characteristic length scales of the test geometries considered. Good agreement with the reference Stokes solution is also obtained by our depth-integrated model implementation in fast-sliding regimes and for medium to large length scales. We also provide a comprehensive comparison between results obtained from our first-order model implementation and implementations developed by ISMIP-HOM participants; this study shows that our implementation is at least as good as the previous ones. Finally, a comparison between linear and quadratic finite- element approximations is carried out, showing, as expected, the better accuracy of the quadratic finite-element method.

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Challenging the Multidimensional Conception of Perceived Person-Environment Fit

2020 ◽  
pp. 1-9
Author(s):  
Julian M. Etzel ◽  
Gabriel Nagy
Keyword(s):  
Higher Education ◽  
University Students ◽  
Educational Outcomes ◽  
Factor Model ◽  
Higher Order ◽  
Substantial Proportion ◽  
Unique Variance ◽  
First Order ◽  
Person Environment Fit ◽  
Order Factor

Abstract. In the current study, we examined the viability of a multidimensional conception of perceived person-environment (P-E) fit in higher education. We introduce an optimized 12-item measure that distinguishes between four content dimensions of perceived P-E fit: interest-contents (I-C) fit, needs-supplies (N-S) fit, demands-abilities (D-A) fit, and values-culture (V-C) fit. The central aim of our study was to examine whether the relationships between different P-E fit dimensions and educational outcomes can be accounted for by a higher-order factor that captures the shared features of the four fit dimensions. Relying on a large sample of university students in Germany, we found that students distinguish between the proposed fit dimensions. The respective first-order factors shared a substantial proportion of variance and conformed to a higher-order factor model. Using a newly developed factor extension procedure, we found that the relationships between the first-order factors and most outcomes were not fully accounted for by the higher-order factor. Rather, with the exception of V-C fit, all specific P-E fit factors that represent the first-order factors’ unique variance showed reliable and theoretically plausible relationships with different outcomes. These findings support the viability of a multidimensional conceptualization of P-E fit and the validity of our adapted instrument.

Delamination in the scoring and folding of paperboard

TAPPI Journal ◽  
2012 ◽  
Vol 11 (1) ◽  
pp. 61-66 ◽  
Author(s):  
DOEUNG D. CHOI ◽  
SERGIY A. LAVRYKOV ◽  
BANDARU V. RAMARAO
Keyword(s):  
Finite Element ◽  
Plane Deformation ◽  
Strain Analysis ◽  
Local Strain ◽  
Uniaxial Stress ◽  
Material Model ◽  
Element Model ◽  
Plastic Behavior ◽  
Stress Strain ◽  
Strain Fields

Delamination between layers occurs during the creasing and subsequent folding of paperboard. Delamination is necessary to provide some stiffness properties, but excessive or uncontrolled delamination can weaken the fold, and therefore needs to be controlled. An understanding of the mechanics of delamination is predicated upon the availability of reliable and properly calibrated simulation tools to predict experimental observations. This paper describes a finite element simulation of paper mechanics applied to the scoring and folding of multi-ply carton board. Our goal was to provide an understanding of the mechanics of these operations and the proper models of elastic and plastic behavior of the material that enable us to simulate the deformation and delamination behavior. Our material model accounted for plasticity and sheet anisotropy in the in-plane and z-direction (ZD) dimensions. We used different ZD stress-strain curves during loading and unloading. Material parameters for in-plane deformation were obtained by fitting uniaxial stress-strain data to Ramberg-Osgood plasticity models and the ZD deformation was modeled using a modified power law. Two-dimensional strain fields resulting from loading board typical of a scoring operation were calculated. The strain field was symmetric in the initial stages, but increasing deformation led to asymmetry and heterogeneity. These regions were precursors to delamination and failure. Delamination of the layers occurred in regions of significant shear strain and resulted primarily from the development of large plastic strains. The model predictions were confirmed by experimental observation of the local strain fields using visual microscopy and linear image strain analysis. The finite element model predicted sheet delamination matching the patterns and effects that were observed in experiments.

scholarly journals Simpson type inequalities and applications

2021 ◽  
Author(s):  
Muhammad Uzair Awan ◽  
Muhammad Zakria Javed ◽  
Michael Th. Rassias ◽  
Muhammad Aslam Noor ◽  
Khalida Inayat Noor
Keyword(s):  
Quadrature Formula ◽  
Convex Functions ◽  
Integral Identity ◽  
Higher Order ◽  
Auxiliary Result ◽  
First Order ◽  
New Class ◽  
Differentiable Functions

AbstractA new generalized integral identity involving first order differentiable functions is obtained. Using this identity as an auxiliary result, we then obtain some new refinements of Simpson type inequalities using a new class called as strongly (s, m)-convex functions of higher order of $$\sigma >0$$ σ > 0 . We also discuss some interesting applications of the obtained results in the theory of means. In last we present applications of the obtained results in obtaining Simpson-like quadrature formula.

Sign in / Sign up

Export Citation Format

Share Document