• Journal of the Korean GEO-environmental Society
• /
• v.21 no.12
• /
• pp.5-10
• /
• 2020

In this study, the evolution of soil engineering property values according to excavation was analyzed through the inverse analysis for the OO deep excavation site located in Incheon. The stiffness of the ground was updated by comparing the horizontal wall deformation of the excavation support wall calculated by the finite element analysis at each stage of excavation and the value measured using an inclinometer. The updated stiffness was used to predict the response of the excavation support wall in the next excavation step. The finite element analysis method using the Hardening Soil model was used, and the stratum where the excavation support wall is located was selected as the stratum for the inverse analysis. The inverse analysis results showed that the stiffness value at the stiffness value at the initial stage of excavation is larger than the stiffness used in the original design. As the excavation proceeds, the stiffness calculated through the second inverse analysis was found to decrease compared to the value derived by the first inverse analysis. Therefore, it can be stated that the deformation of the excavation support wall can be accurately calculated through finite element analysis when an appropriate stiffness value is input according to the excavation stage.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.3
• /
• pp.203-211
• /
• 2016

The genetic code is a key to bio-informatics and to a science of biological self-organizing on the whole. Modern science faces the necessity of understanding and systematically explaining mysterious features of ensembles of molecular structures of the genetic code. This paper is devoted to symmetrical analysis for genetic systems. Mathematical theories of noise-immunity coding and discrete signal processing are based on Jacket matrix methods of representation and analysis of information. Both of the RNA and Jacket Matrix property also have the Element(Block) - wise Inverse Matrices. These matrix methods, which are connected closely with relations of symmetry, are borrowed for a matrix analysis of ensembles of molecular elements of the genetic code. This method is presented for its simplicity and the clarity with which it decomposes a Jacket Matrix in terms of the genetic RNA Codon.

• Computational Structural Engineering
• /
• v.22 no.2
• /
• pp.48-53
• /
• 2009

• Computational Structural Engineering
• /
• v.26 no.4
• /
• pp.7-12
• /
• 2013

• Structural Engineering and Mechanics
• /
• v.15 no.6
• /
• pp.735-752
• /
• 2003

The quasi-static and dynamic responses of a linear viscoelastic circular beam on Winkler foundation are studied numerically by using the mixed finite element method in transformed Laplace-Carson space. This element VCR12 has 12 independent variables. The solution is obtained in transformed space and Schapery, Dubner, Durbin and Maximum Degree of Precision (MDOP) transform techniques are employed for numerical inversion. The performance of the method is presented by several quasi-static and dynamic example problems.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.10a
• /
• pp.27-28
• /
• 2006

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.621-634
• /
• 2022

The scaled inverse of a nonzero element a(x) ∈ ℤ[x]/f(x), where f(x) is an irreducible polynomial over ℤ, is the element b(x) ∈ ℤ[x]/f(x) such that a(x)b(x) = c (mod f(x)) for the smallest possible positive integer scale c. In this paper, we investigate the scaled inverse of (xⁱ - x^j) modulo cyclotomic polynomial of the form Φ_p^s (x) or Φ_p^sq^t (x), where p, q are primes with p < q and s, t are positive integers. Our main results are that the coefficient size of the scaled inverse of (xⁱ - x^j) is bounded by p - 1 with the scale p modulo Φ_p^s (x), and is bounded by q - 1 with the scale not greater than q modulo Φ_p^sq^t (x). Previously, the analogous result on cyclotomic polynomials of the form Φ_2ⁿ (x) gave rise to many lattice-based cryptosystems, especially, zero-knowledge proofs. Our result provides more flexible choice of cyclotomic polynomials in such cryptosystems. Along the way of proving the theorems, we also prove several properties of {x^k}_k∈ℤ in ℤ[x]/Φ_pq(x) which might be of independent interest.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.10 no.4
• /
• pp.35-42
• /
• 1990

A method for the damage assessment of a structure by an inverse modal perturbation technique is studied. The first few natural frequencies and mode shapes of the damaged structure are assumed to be known. Then, the perturbation equation is formulated for the changes of the modal properties due to the stiffness changes. The stiffness changes due to damages are evaluated, using optimization techniques. Example analyses are carried out for several cases of stick models and a truss model. Results indicate that the present method yields very reasonable estimates for the element stiffness changes.

• Transactions of Materials Processing
• /
• v.26 no.1
• /
• pp.41-47
• /
• 2017

Cyclic behavior of advanced high strength steel sheets was measured using an inverse-optimization approach with pre-straining and bending. First, tensile specimens were pre-strained, and three-point bending was conducted for the pre-strained specimens. By using the inverse finite element optimization, the combined isotropic-kinematic hardening parameters that minimize the error between the measured and predicted bending force-displacement curves. The measured cyclic behavior agreed well with the cyclic behavior measured by sheet tension-compression test, which confirms the validity of the measuring procedure based on inverse optimization.

• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.87-102
• /
• 2011

The purpose of this paper is to prove strong convergence theorems for finding a common element of the set of fixed points of a weak relatively nonexpansive mapping and the set of solutions of the variational inequality for an inverse-strongly-monotone mapping by a new hybrid method in a Banach space. We shall give an example which is weak relatively nonexpansive mapping but not relatively nonexpansive mapping in Banach space $l^2$. Our results improve and extend the corresponding results announced by Ying Liu[Ying Liu, Strong convergence theorem for relatively nonexpansive mapping and inverse-strongly-monotone mapping in a Banach space, Appl. Math. Mech. -Engl. Ed. 30(7)(2009), 925-932] and some others.