In this paper, pile behavior embedded in layered soil deposits subjected to seismic loadings is analyzed using a nonlinear fiber element for simulation of soil – pile interactions. In the created model, both pile and surrounding soil are modeled using fiber elements in a practical Beam on Nonlinear Winkler Foundation (BNWF) concept. Herein, the features of DRAIN–3DX finite element software are ...

Some very difficult questions in finite geometry (for example, concerning ovoids, spreads, and extensions) have fairly trivial resolutions in the infinite case, by standard transfinite induction. We give some old and new results of this kind, and a number of open questions. The paper is expository in nature, and is intended to illustrate the technique rather than give the most general applicati...

The rockfill is modeled as nonlinear elastic material, whose stress-dependent tangent modulus is related to the confining pressure. The parameters of constitutive relationship of stress and strain are determined by tri-dimensional compression test in laboratory. The model applied in this study adopts the technique of element birth and death to simulate the sequential impoundment process of conc...

The paper is devoted to a-posteriori quantitative analysis for errors caused by linearization of nonlinear elliptic boundary value problems and their nite element realizations. We employ duality theory in convex analysis to derive computable bounds on the diierence between the solution of a nonlinear problem and the solution of the linearized problem, by using the solution of the linearized pro...

We introduce the notion of filtration between topologies and study its stabilization properties. Descriptive set theoretic complexity plays a role in this study. Filtrations lead to natural transfinite sequences approximating given equivalence relation. investigate those.

verifying the behavior of shear walls in a tall building requires reliable response results. this paper examined nonlinear fiber element modeling of a slender reinforced concrete shear wall during large-scale shaking table testing. the goal was to understand and validate the inelastic responses given by fiber models using time history analysis. reasonable agreement was found between the numeric...

We apply Mints’ technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arithmetic with Transfinite Induction given by Arai.

The identification of Hammerstein systems is discussed for the systems that include memory nonlinearities. The focus is made on nonlinearities of the hysteresis-backlash type. The linear subsystem and the nonlinear element are identified separately. The identification of the former is dealt with combining an appropriate system parametrization and a specific input signal. The latter is designed ...