• Journal of the Korean Geotechnical Society
• /
• v.22 no.9
• /
• pp.45-59
• /
• 2006

The successful performance of any numerical geotechnical simulation depends on the accuracy and efficiency of the numerical implementation of constitutive model used to simulate the stress-strain (constitutive) response of the soil. The corner stone of the numerical implementation of constitutive models is the numerical integration of the incremental form of soil-plasticity constitutive equations over a discrete sequence of time steps. In this paper a well known two-surface soil plasticity model is implemented using a generalized implicit return mapping algorithm to arbitrary convex yield surfaces referred to as the Closest-Point-Projection method (CPPM). The two-surface model describes the nonlinear behavior of coarse-grained materials by incorporating a bounding surface concept together with isotropic and kinematic hardening as well as fabric formulation to account for the effect of fabric formation on the unloading response. In the course of investigating the performance of the CPPM integration method, it is proven that the algorithm is an accurate, robust, and efficient integration technique useful in finite element contexts. It is also shown that the algorithm produces a consistent tangent operator $\frac{d\sigma}{d\varepsilon}$ during the iterative process with quadratic convergence rate of the global iteration process.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.581-591
• /
• 2015

Let $\mathcal{A}$ be a factor von Neumann algebra with dimension greater than 1. We prove that if a linear map ${\delta}:\mathcal{A}{\rightarrow}\mathcal{A}$ satisfies $${\delta}([[a,b],c])=[[{\delta}(a),b],c]+[[a,{\delta}(b),c]+[[a,b],{\delta}(c)]$$ for any $a,b,c{\in}\mathcal{A}$ with ab = 0 (resp. ab = P, where P is a fixed nontrivial projection of $\mathcal{A}$), then there exist an operator $T{\in}\mathcal{A}$ and a linear map $f:\mathcal{A}{\rightarrow}\mathbb{C}I$ vanishing at every second commutator [[a, b], c] with ab = 0 (resp. ab = P) such that ${\delta}(a)=aT-Ta+f(a)$ for any $a{\in}\mathcal{A}$.

• Journal of Biomedical Engineering Research
• /
• v.9 no.2
• /
• pp.153-158
• /
• 1988

A three-dimensional surface is reconstructed from contour information as identified on two-dimensional computed tomographic slices. Gradient operator with curvature constraint would be applied to extract the contour automatically, and backtracking is also adopted to reduce the tracking error. The surface between the consecutive slice is efficiently reconstructed using a triangular surface tiles. Hidden surface elimination, shading and parallel projection of the reconstructed surface are provied on the display screen.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.864-869
• /
• 1993

This paper presents the problem of automatically recognizing embossed or molded characters which are raised from the side wall on rubber tire. In the tire image objects have approximately the same gray-value as the background and because of the tire geometry, illumination of the surface is nonhomogenous. Therefore it is difficult to recognize the raised tire character. In this paper, for describing the process of processing three steps have been proposed: 1) MIN & MAX smoothing operation filter, 2) edge detection algorithm using modified laplacian operator, 3) noise rejection. Afterwards, segmentation is done to attain characters from tire image by projection method. The recognition of the characters in the segmented image is carried out by using multilayered neural network, which is insensitive to the noise.

• Korean Journal of Computational Design and Engineering
• /
• v.9 no.3
• /
• pp.212-219
• /
• 2004

This paper presents the visualization method of the KAIST interactive bicycle simulator. The simulator consists of two bicycles of 6 DOF and 4 DOF platforms, force feedback handlebars and pedal resistance systems to generate motion feelings; a real-time visual simulator, a HMD and a beam projection system; and a 3D sound system. The system has an integrating control network with the server-client network structure for multiple simulators. The visual simulator generates dynamic images in real-time while communicating with other modules of the simulator. The operator of the simulator can have realistic visual experience of riding on a velodrome or through the KAIST campus, while being able to watch the other bicycle with an avatar.

• Journal of the Korean Chemical Society
• /
• v.25 no.5
• /
• pp.291-299
• /
• 1981

A test particle kinetic theory for reaction dynamics in liquids is presented at the repeated ring collision level for the hard sphere model. A kinetic equation for the equilibrium time correlation function of the reactive test particle phase space density is derived and the rate kernel expression for the reversible chemical reaction of the type A +B ${\rightleftharpoons$ C + D in the presence of inert solvent S is obtained by the projection operator method.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10b
• /
• pp.1150-1155
• /
• 1990

This paper proposes an optimal redundancy resolution of a kinematically redundant manipulator while considering homotopy classes. The necessary condition derived by minimizing an integral cost criterion results in a second-order differential equation. Also boundary conditions as well as the necessary condition are required to uniquely specify the solution. In the case of a cyclic task, we reformulate the periodic boundary value problem as a two point boundary value problem to find an initial joint velocity as many dimensions as the degrees of redundancy for given initial configuration. Initial conditions which provide desirable solutions are obtained by using the basis of the null projection operator. Finally, we show that the method can be used as a topological lifting method of nonhomotopic extremal solutions and also show the optimal solution with considering the manipulator dynamics.

• Bulletin of the Korean Chemical Society
• /
• v.32 no.2
• /
• pp.439-443
• /
• 2011

Using the projection operator technique, a reduced density matrix theory for linear absorption spectrum of energy transfer systems is developed for the theoretical absorption line shape of the systems with non-Condon transitions. As an application, we considered a model system of OH vibrations of water. In the present model calculation, the OH vibration modes are coupled to each other via intra-molecular coupling mechanism while their intermolecular couplings are turned off. The time-correlation functions appearing in the formulation are calculated from a mixed quantum/classical mechanics method. The present theory is successful in reproducing the exact absorption line shape. Also the present theory was improved from an existing approximate theory, time-averaged approximation approach.

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

The purpose of this article is to prove strong convergence theorems for weak relatively nonexpansive mapping which is firstly presented in this article. In order to get the strong convergence theorems for weak relatively nonexpansive mapping, the monotone CQ iteration method is presented and is used to approximate the fixed point of weak relatively nonexpansive mapping, therefore this article apply above results to prove the strong convergence theorems of zero point for maximal monotone operators in Banach spaces. Noting that, the CQ iteration method can be used for relatively nonexpansive mapping but it can not be used for weak relatively nonexpansive mapping. However, the monotone CQ method can be used for weak relatively nonexpansive mapping. The results of this paper modify and improve the results of S.Matsushita and W.Takahashi, and some others.

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.583-607
• /
• 2010

The purpose of this paper is to prove strong convergence theorems for common fixed points of two families of weak relatively nonexpansive mappings and a family of equilibrium problems by a new monotone hybrid method in Banach spaces. Because the hybrid method presented in this paper is monotone, so that the method of the proof is different from the original one. 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 in [W. Takahashi and K. Zembayashi, Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings, Fixed Point Theory Appl. (2008), Article ID 528476, 11 pages; doi:10.1155/2008/528476] and [Y. Su, Z. Wang, and H. Xu, Strong convergence theorems for a common fixed point of two hemi-relatively nonexpansive mappings, Nonlinear Anal. 71 (2009), no. 11, 5616?5628] and some other papers.