Presented is a total-Lagrangian displacement-based non-linear finite-element model of thin-film membranes for static and dynamic large-displacement analyses. The membrane theory fully accounts for geometric non-linearities. Fully non-linear static analysis followed by linear modal analysis is performed for an inflated circular cylindrical Kapton membrane tube under different pressures, and for ...

Recent studies have shown the importance of including seismic input directionality in nonlinear analyses for an accurate prediction structural demand on frame structures. This paper proposes a new method that includes multi-directionality forces Nonlinear Static Analyses (NSAs). Conventionally, pushover (PO) apply monotonically increasing lateral loads two directions typically correspond with b...

in the current study the effect of casimir force and squeezed film damping on the pull-in instability and dynamic behavior of electrostatically actuated nano and micro electromechanical systems is investigated separately. linear elastic membrane theory is used to model the static and dynamic behavior of system for strip, annular and disk geometries. squeezed film damping effect is modeled using...

a 5th order shear deformation theory considering transverse shear deformation effect as well as transverse normal strain deformation effect is presented for static flexure   analysis of simply supported isotropic plate. the assumed displacement field accounts for non-linear variation of in-plane displacements as well as transverse displacement through the plate thickness. the condition of zero ...

Pushover analysis application development is greatly increased in recent years and numerous advanced methods to evaluate the seismic pushover are provided. Because these methods have been proposed mainly for building structures and given the fundamental differences between the behavior of bridge structures and buildings using pushover methods on the bridge structure with the uncertainties faced...

purpose– analysis of non-prismatic beams has been focused of attention due to wide use in complex structures such as aircraft, turbine blades and space vehicles. apart from aesthetic aspect, optimization of strength and weight is achieved in use of this type of structures. the purpose of this paper is to present new shape functions, namely 3-node basic displacement functions (bdfs) for derivati...

In the first part of the paper, we consider the problem of generation of polynomial invariants of iterative loops with operator of initialization of loop and non-singular linear operator in the loop body. In the article we also show the algorithm for calculating the basic invariants for linear operator of the Jordan cell, and an algorithm for calculating the basic invariants of diagonalizable l...

Linear Logic is gaining momentum in computer science because it ooers a uniied framework and a common vocabulary for studying and analyzing diierent aspects of programming and computation. We focus here on models where computation is identiied with proof search in the sequent system of Linear Logic. A proof normalization procedure, called \focusing", has been proposed to make the problem of pro...