• 정보기술과데이타베이스저널
• /
• 제6권1호
• /
• pp.59-72
• /
• 1999

A study on workflow system as an automated business processing system is done recently. However, it did not consider various dependencies between parallel tasks. Therefore, this paper proposes modeling and verification of workflows with various parallel dependencies. For this, firstly, we propose four dependencies to specify various parallel dependencies between tasks. They contain sequential starts, parallel starts, sequential commits, and parallel commits. Secondly, we suggest a method to specify various parallel dependencies on workflow graph. Thirdly, we propose a verification method to detect contradictions on workflow specifications.

• 대한음성학회지:말소리
• /
• 제68권
• /
• pp.95-114
• /
• 2008

The recent growing popularity of statistical methods in machine translation requires much more large parallel corpora. A Korean-English parallel corpus, however, is not yet enoughly available, little research on this subject is being conducted. In this paper we present a hybrid method of aligning sentences for Korean-English parallel corpora. We use bilingual news wire web pages, reading comprehension materials for English learners, computer-related technical documents and help files of localized software for building a Korean-English parallel corpus. Our hybrid method combines sentence-length based and word-correspondence based methods. We show the results of experimentation and evaluate them. Alignment results from using a full translation model are very encouraging, especially when we apply alignment results to an SMT system: 0.66% for BLEU score and 9.94% for NIST score improvement compared to the previous method.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2008년도 추계학술대회B
• /
• pp.2558-2561
• /
• 2008

In the present study, a parallel Taylor-Galerkin/level set based two-phase flow code was developed using finite element discretization and domain decomposition method based on MPI (Message Passing Interface). The proposed method can be utilized for the analysis of a large scale free surface problem in a complex geometry due to the feature of FEM and domain decomposition method. Four-step fractional step method was used for the solution of the incompressible Navier-Stokes equations and Taylor-Galerkin method was adopted for the discretization of hyperbolic type redistancing and advection equations. A Parallel ILU(0) type preconditioner was chosen to accelerate the convergence of a conjugate gradient type iterative solvers. From the present parallel numerical experiments, it has been shown that the proposed method is applicable to the simulation of large scale free surface flows.

• 대한수학회지
• /
• 제53권6호
• /
• pp.1411-1429
• /
• 2016

We consider the nite volume element method for elliptic problems using isoparametric bilinear elements on quadrilateral meshes. A gradient recovery method is presented by using the patch interpolation technique. Based on some superclose estimates, we prove that the recovered gradient $R({\nabla}u_h)$ possesses the superconvergence: ${\parallel}{\nabla}u-R({\nabla}u_h){\parallel}=O(h^2){\parallel}u{\parallel}_3$. Finally, some numerical examples are provided to illustrate our theoretical analysis.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제25권2호
• /
• pp.161-170
• /
• 2018

In this paper, we introduce and solve the following additive (${\rho}_1,{\rho}_2$)-functional inequality (0.1) $${\parallel}f(x+y+z)-f(x)-f(y)-f(z){\parallel}{\leq}{\parallel}{\rho}_1(f(x+z)-f(x)-f(z)){\parallel}+{\parallel}{\rho}_2(f(y+z)-f(y)-f(z)){\parallel}$$, where ${\rho}_1$ and ${\rho}_2$ are fixed nonzero complex numbers with ${\mid}{\rho}_1{\mid}+{\mid}{\rho}_2{\mid}$ < 2. Using the fixed point method and the direct method, we prove the Hyers-Ulam stability of the additive (${\rho}_1,{\rho}_2$)-functional inequality (0.1) in complex Banach spaces.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제24권1호
• /
• pp.21-31
• /
• 2017

In this paper, we introduce and solve the following additive (${\rho}_1$, ${\rho}_2$)-functional inequality $${\Large{\parallel}}2f(\frac{x+y}{2})-f(x)-f(y){\Large{\parallel}}{\leq}{\parallel}{\rho}_1(f(x+y)+f(x-y)-2f(x)){\parallel}+{\parallel}{\rho}_2(f(x+y)-f(x)-f(y)){\parallel}$$ where ${\rho}_1$ and ${\rho}_2$ are fixed nonzero complex numbers with $\sqrt{2}{\mid}{\rho}_1{\mid}+{\mid}{\rho}_2{\mid}<1$. Using the fixed point method and the direct method, we prove the Hyers-Ulam stability of the additive (${\rho}_1$, ${\rho}_2$)-functional inequality (1) in complex Banach spaces.

• 한국정밀공학회지
• /
• 제21권11호
• /
• pp.99-109
• /
• 2004

This paper proposes precision evaluation method for the positioning error of three-DOF translational parallel mechanism. The proposed method uses conventional CMM as metrology equipment to measure the position of end-effector. In order to obtain accurate measurement data from CMM, the transform relationship between the coordinate system of the parallel mechanism and the CMM coordinate system must be identified. For this purpose, a new coordinate referencing (or coordinate system identification) technique is presented. By using this technique accurate coordinate transformation relationships are efficiently established. According to these coordinate transformation relationships, an equation to calculate error components at any arbitrary position of the end-effector is derived. In addition, mathematical fitting models to represent the position error components in the two-dimensional workspace of the parallel mechanism are also constructed based on response surface methodology. The proposed error evaluation method proves its effectiveness through the experimental results and its application to real three-DOF parallel mechanism.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2018년도 추계학술대회
• /
• pp.36-38
• /
• 2018

As the battery capacity requirement increases, battery cells are connected in a parallel configuration. However, the sharing current of each battery cell becomes unequal due to the imbalance between cell's impedance which results the mismatched states of charge (SOC). The conventional fixed-resistance balancing methods have a limitation in battery equalization performance and system efficiency. This paper proposes a battery equalization method based on dynamic resistance technique, which can improve equalization performance and reduce the loss dissipation. Based on the SOC rate of parallel connected battery cells, the switches in the equalization circuit are controlled to change the equivalent series impedance of the parallel branch, which regulates the current flow to maximize SOC utilization. To verify the method, operations of 4 parallel-connected 18650 Li-ion battery cells with 3.7V-2.6Ah individually are simulated on Matlab/Simulink. The results show that the SOCs are balanced within 1% difference with less power dissipation over the conventional method.

• 한국입자에어로졸학회지
• /
• 제8권2호
• /
• pp.75-81
• /
• 2012

The strength of lumped cokes can be represented by some index numbers. Although some indexes are suggested, these indexes are not enough to enlighten fracture mechanism. To find essential mechanism, a computational way, discrete element method, is applied to the uniaxial compression test for cylindrical specimen. The cylindrical specimen is a kind of lumped particle mass with parallel bonding that will be broken when the normal stress and shear stress is over a critical value. It is revealed that the primary factors for cokes fracture are parallel spring constant, parallel bond strength, bonding radius and packing ratio the parallel bond strength and radius of the parallel combination the packing density. Especially, parallel spring constant is directly related with elastic constant and yield strength.

• 대한기계학회논문집B
• /
• 제27권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.