• East Asian mathematical journal
• /
• v.40 no.1
• /
• pp.109-118
• /
• 2024

This paper proposes a numerical method based on domain decomposition to find approximate solutions for one-dimensional convection-diffusion equations with Neumann boundary conditions. First, the equations are transformed into convection-diffusion equations with Dirichlet conditions. Second, the author introduces the Prediction/Correction Domain Decomposition (PCDD) method and estimates errors for the interface prediction scheme, interior scheme, and correction scheme using known error estimations. Finally, the author compares the PCDD algorithm with the fully explicit scheme (FES) and the fully implicit scheme (FIS) using three examples. In comparison to FES and FIS, the proposed PCDD algorithm demonstrates good results.

• Journal of Korea Water Resources Association
• /
• v.30 no.2
• /
• pp.143-154
• /
• 1997

A numerical model for solving advection-diffusion equation is presented by splitoperator method combining the Holly-Preissmann scheme with a fifth-degree interpolating polynomial for advection operator and the explicit scheme porposed by Hobson et al. for diffusion operator. To examine the developed model, the obtained numerical solutions are compared with both the analytic solution and those from the existing models for the instantaneous source (Gaussian hill) and the continuous source (advanced front) at upstream boundary with constant velocity and diffusivity condition. For the various cases having different Courant and Peclet numbers, it is shown that the present study provides stable solutions even for Courant numbers exceeding one. The result obtained by the present study also agree well with existing analytical solutions for both cases. The proposed explicit scheme somewhat releases the conventional restriction of explicit schemes for determining the time step size and provides satisfactory results for relatively large time step size.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2502-2507
• /
• 2003

In this paper, a crack sealing robot is developed. The crack sealing robot is built to detect, track, and seal the crack on the pavement. The sealing robot is required to brush all dirt in the crack out for preparing a better sealing job. Camera calibration has been done to get accurate crack position. In order to perform a cleaning job, the explicit force control method is used to regulate a specified desired force in order to maintain constant contact with the ground. Experimental studies of force tracking control are conducted under unknown environment stiffness and location. Crack tracking control is performed. Force tracking results are excellent and the robot finds and tracks the crack very well.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.30 no.11 s.254
• /
• pp.1447-1454
• /
• 2006

The evaluation of parallel performance of a high speed impact simulation is not an easy task because not only the development of parallel explicit code is difficult but also a large number of processors is not easily accessible. In this paper, the parallel performance of a new Lagrangian FEM impact code carried out on cluster supercomputer has been described in high speed range. In the case of metal sphere impacting to oblique plate, the overall speed-up continuously increases even up to 128 CPUs. Investigation of elapsed time of each part reveals that most of the inefficiency comes from the load imbalance of contact.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.03b
• /
• pp.631-638
• /
• 2000

Pioneering work by Terzaghi imparted scientific and mathematical bases to many aspects of this subject and many people use this theory to measure the consolidation settlement until now. In this paper, Finite Difference Methods for consolidation are considered. First, it is shown the stability criterion of Explicit scheme and the Crank-Nicolson scheme, although unconditionally stable in the mathematical sense, produces physically unrealistic solutions when the time step is large. it is also shown that The Fully Implicit scheme shows more satisfactory behavior, but is less accurate for small time steps. and then we need to decide what scheme is more proper to consolidation. The purpose of this paper is to suggest the pertinent scheme to consolidation.

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.135-149
• /
• 2008

Many deterministic systems are described by Ordinary differential equations and can often be improved by including stochastic effects, but numerical methods for solving stochastic differential equations(SDEs) are required, and work in this area is far less advanced than for deterministic differential equations. In this paper,first we follow [7] to describe Runge-Kutta methods with order 2 from Taylor approximations in the weak sense and present two well known Runge-Kutta methods, RK2-TO and RK2-PL. Then we obtain a new 3-stage explicit Runge-Kutta with order 2 in weak sense and compare the numerical results among these three methods.

• Communications for Statistical Applications and Methods
• /
• v.12 no.3
• /
• pp.643-652
• /
• 2005

It has been known that the exponentiated exponential distribution can be used as a possible alternative to the gamma distribution or the Weibull distribution in many situations. But the maximum likelihood method does not admit explicit solutions when the sample is multiply censored. So we derive the approximate maximum likelihood estimators for the location and scale parameters in the exponentiated exponential distribution that are explicit function of order statistics. We also compare the proposed estimators in the sense of the mean squared error for various censored samples.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• Computers and Concrete
• /
• v.3 no.6
• /
• pp.423-437
• /
• 2006

Stress wave propagation through concrete is simulated by finite element analysis. The concrete medium is modeled as a homogeneous material with smeared properties to investigate and establish the suitable finite element analysis method (explicit versus implicit) and analysis parameters (element size, and solution time increment) also suitable for rigorous investigation. In the next step, finite element analysis model of the medium is developed using a digital image processing technique, which distinguishes the mortar and aggregate phases of concrete. The mortar and aggregate phase topologies are, then, directly mapped to the finite element mesh to form a heterogeneous concrete model. The heterogeneous concrete model is then used to simulate wave propagation. The veracity of the model is demonstrated by evaluating the intrinsic parameters of nondestructive ultrasonic pulse velocity testing of concrete. Quantitative relationships between aggregate size and testing frequency for nondestructive testing are presented.

• Communications for Statistical Applications and Methods
• /
• v.11 no.2
• /
• pp.213-225
• /
• 2004

A fixed-strike lookback option is an option whose payoff is determined by the maximum (or minimum) price of the underlying asset within the option's life. Under the Black-Scholes framework, the time-t price of an equity asset follows a geometric Brownian motion. Applying the method of Esscher transforms, this paper will derive explicit pricing formulas for fixed-strike lookback call and put options, respectively. In addition, this paper will show a relationship (duality property) between the pricing formulas of the call and put options. Finally, this paper will derive explicit pricing formulas for the fixed-strike lookback options when their underlying asset pays dividends continuously at a rate proportional to its price.