• Korean Journal of Mathematics
• /
• v.32 no.1
• /
• pp.97-107
• /
• 2024

Let A ⊆ B be an extension of integral domains with characteristic zero. Let H(A, B) and h(A, B) be rings of composite Hurwitz series and composite Hurwitz polynomials, respectively. We simply call H(A, B) and h(A, B) composite Hurwitz rings of A and B. In this paper, we study when H(A, B) and h(A, B) are unique factorization domains (resp., GCD-domains, finite factorization domains, bounded factorization domains).

• Journal of Intelligence and Information Systems
• /
• v.12 no.4
• /
• pp.73-90
• /
• 2006

When a consumer intends to purchase products through Internet stores, many difficulties are met because of limitations of the current search engines and the current web structure, and lack of tools supporting decision-makings. This paper raises an Internet shopping problem and proposes a framework of decision making process to settle it with an intelligent agent based on Semantic Web and Finite Domain Constraint. The agent uses finite domain constraint programming as modeling and solution methods for the decision problem under the Semantic Web environment.

• Coupled systems mechanics
• /
• v.8 no.5
• /
• pp.393-414
• /
• 2019

This paper presents seismic analysis of concrete gravity dams considering soil-structure-fluid interaction. Displacement based plane strain finite element formulation is considered for the dam and foundation domain whereas pressure based finite element formulation is considered for the reservoir domain. A direct coupling method has been adopted to obtain the interaction effects among the dam, foundation and reservoir domain to obtain the dynamic responses of the dam. An efficient absorbing boundary condition has been implemented at the truncation surfaces of the foundation and reservoir domains. A parametric study has been carried out considering each domain separately and collectively based on natural frequencies, crest displacement and stress at the neck level of the dam body. The combined frequency of the entire coupled system is very less than that of the each individual sub-system. The crest displacement and neck level stresses of the dam shows prominent enhancement when coupling effect is taken into consideration. These outcomes suggest that a complete coupled analysis is necessary to obtain the actual responses of the concrete gravity dam. The developed methodology can easily be implemented in finite element code for analyzing the coupled problem to obtain the desired responses of the individual subdomains.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11b
• /
• pp.85-89
• /
• 2005

For the analysis of a vibrating two dimensional structure such as the simply supported rectangular plate, Spectral Finite Element Method (SFEM) has been studied. Under the condition that two parallel edges are simply supported at least and the other two edges can be arbitrary, Spectral Finite Element has been developed. Using this element SFEM is applied to the vibrating rectangular plate which all edges are simply supported, and obtain the frequency response function in frequency domain and the dynamic response in time domain. To evaluate these results normal mode method and finite element method (FEM) are also accomplished and compared. It is seen that SFEM is more powerful analysis tool than FEM in high frequency range.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.15 no.3
• /
• pp.190-195
• /
• 2003

For many coastal problems, such as wave transformation, tidal circulation, sediment transports and diffusion phenomena, we resort to numerical techniques. The representative numerical techniques are the method of finite differences and finite elements. The approximate algebraic equations, referred to as finite difference equations(FDEs), are subsequently solved at discrete grid points within the domain of interests. Therefore, a set of grid points within the domain, as well as the boundaries of the domain, must be specified. The generation of grids for FDEs, with uniform spacing, is very simple compared to that of finite elements. However, within a very complex domain, there are few grid generation tools we can use conveniently. Unfortunately, most of the commercial grid generation programs are developed only for finite element method. In this paper, grid generation method using digitizer, with uniform rectangular spacing, are introduced in detail. Didger and Surfer programs by Golden Software are necessary to produce comparatively accurate and simple depth data.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.40 no.1
• /
• pp.24-30
• /
• 1991

This paper deals with the analysis of the transient characteristics of a superconducting a.c. generator(SCG) using Finite Element Method. Since the magnetic field induced by the field current and the armature currents are not sinusoidally distributed in a generator, the conventional equivalent circuit method, in general, uses the fundamental component only and is done in frequency domain. But the finite element analysis makes it possible to analyze the transient magnetic field distribution and the electrical characteristics of the double shields of SCG in time domain.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.10
• /
• pp.2724-2730
• /
• 1996

In this paper, the dispersive characteristics of the Finite-Difference Frqequency-Domain method based on the Multi-Resolution Technique(MR-FDFD) are numerically analyzed. A dispersion analysis of the MR-FDFD ority of the MR-FDFD method to the spatial discretization is shown. We expect that the multi-resoluation technique will improve the disavantage of the finite difference techqnique which needs the large comutational memory for accurate electromagnetic analysis.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.23 no.6
• /
• pp.693-702
• /
• 2010

In this paper, FETI(Finite Element Tearing and Interconnecting) method is introduced in order to improve numerical efficiency of Staggered method. The porous media theory, the Staggered method and the FETI method are briefly introduced in this paper. In addition, we account for the MPI(Message Passing Interface) library for parallel analysis, and the proposed combined Staggered method with FETI method. Finally Lagrange multipliers and CG(Conjugate Gradient) algorithm to solve decomposed domain are proposed, and then the proposed method is verified to be numerically efficient by MPI library.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.27 no.6
• /
• pp.753-765
• /
• 2003

A finite element code for the numerical solution of the Navier-Stokes equation is parallelized by vertex-oriented domain decomposition. To accelerate the convergence of iterative solvers like conjugate gradient method, parallel block ILU, iterative block ILU, and distributed ILU methods are tested as parallel preconditioners. The effectiveness of the algorithms has been investigated when P1P1 finite element discretization is used for the parallel solution of the Navier-Stokes equation. Two-dimensional and three-dimensional Laplace equations are calculated to estimate the speedup of the preconditioners. Calculation domain is partitioned by one- and multi-dimensional partitioning methods in structured grid and by METIS library in unstructured grid. For the domain-decomposed parallel computation of the Navier-Stokes equation, we have solved three-dimensional lid-driven cavity and natural convection problems in a cube as benchmark problems using a parallelized fractional 4-step finite element method. The speedup for each parallel preconditioning method is to be compared using upto 64 processors.

• Geophysics and Geophysical Exploration
• /
• v.20 no.3
• /
• pp.121-128
• /
• 2017

Interpretation of time-domain electromagnetic (TEM) data has been made mostly based on one-dimensional (1-D) inversion scheme in Korea. A proper interpretation of TEM data should employ 3-D TEM forward and inverse modeling algorithms. This study developed a 3-D TEM modeling algorithm using a finite difference time-domain (FDTD) method with staggered grid. In numerically solving Maxwell equations, fictitious displacement current is included based on an explicit FDTD method using a central difference approximation scheme. The developed modeling algorithm simulated a small-coil source configuration to be verified against analytic solutions for homogeneous half-space models. Further, TEM responses for a 3-D anomaly are modeled and analyzed. We expect that it will contribute greatly to the precise interpretation of TEM data.