• Journal of Institute of Control, Robotics and Systems
• /
• v.11 no.4
• /
• pp.378-384
• /
• 2005

This paper proposes a theoretically rigorous analysis procedure that compares the position domain and range domain carrier-smoothed-code filters for differential GNSS positioning. Utilizing consistent error covariance formulation, it is shown that filtering in the position domain is, in theory, more advantageous than range domain carrier-smoothed-code filtering. It is also shown that if the visible satellite set does not change during a sufficiently long time interval the performances of position and range domain filters are similar.

• Journal of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1689-1701
• /
• 2019

Let ${\star}$ be a semistar operation on the integral domain D. In this paper, we prove that D is a $G-{\tilde{\star}}-GCD$ domain if and only if D[X] is a $G-{\star}_1-GCD$ domain if and only if the Nagata ring of D with respect to the semistar operation ${\tilde{\star}}$, $Na(D,{\star}_f)$ is a G-GCD domain if and only if $Na(D,{\star}_f)$ is a GCD domain, where ${\star}_1$ is the semistar operation on D[X] introduced by G. Picozza [12].

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.1049-1061
• /
• 2017

The paper presents a characterization of stable random measures, giving a canonical form of their Laplace transform. Domain of attraction of stable random measures is concerned in a theorem showing that a random measure belongs to domain of attraction of any stable random measures if and only if it varies regularly at infinity.

• The Pure and Applied Mathematics
• /
• v.4 no.1
• /
• pp.93-96
• /
• 1997

An atomic integral domain R is a half-factorial domain (HFD) if whenever $\chi_1$… $\chi_{m}=y_1$…$y_n$ with each $\chi_{i},y_j \in R$ irreducible, then m = n. In this paper, we show that if R[X] is an HFD, then $Cl_{t}(R)$ $\cong$ $Cl_{t}$(R[X]), and if $G_1$ and $G_2$ are torsion abelian groups, then there exists a Dedekind HFD R such that Cl(R) = $G_1\bigoplus\; G_2$.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.446-448
• /
• 2007

This paper presents the high frequency (HF) eigenvalue results against IEEE SSR First Benchmark Mode and validation using the simultaneous time-domain simulation program, PSCAD/EMTDC. Two results show a little difference but not much. Particularly, HF eigenvalue analysis results tends to give more conservative results compared to those of the exact time-domain simulation.

• Journal of the Korean Mathematical Society
• /
• v.61 no.4
• /
• pp.659-681
• /
• 2024

We propose V-cycle multigrid methods for vector field problems arising from the lowest order hexahedral Nédélec finite element. Since the conventional scalar smoothing techniques do not work well for the problems, a new type of smoothing method is necessary. We introduce new smoothers based on substructuring with nonoverlapping domain decomposition methods. We provide the convergence analysis and numerical experiments that support our theory.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.21 no.3
• /
• pp.408-414
• /
• 2012

Screen printing is a printing method that uses a woven mesh to support an ink-blocking stencil by transferring ink or other printable materials in order to form an image onto a substrate. Recently, the screen printing method has applied to micro-electronic packaging by using solder paste as a printable material. For the screen printing of solder paste, metal masks containing a number of micro-holes are used as a stencil material. The metal mask undergoes deformation when it is installed in the screen printing machine, which results in the deformation of micro-holes. In the present study, finite element (FE) analysis was performed to predict the amount of deformation of a metal mask. For an efficient calculation of the micro-holes of the metal mask, the sub-domain analysis method was applied to perform FE analyses connecting the global domain (the metal mask) and the local domain (micro-holes). The FE analyses were then performed to evaluate the effects of slot designs on the deformation characteristics, from which more uniform and adjustable deformation of the metal mask can be obtained.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.21 no.1
• /
• pp.26-32
• /
• 2012

In the present study, the stencil printing process using solder paste are numerically analyzed. The key design parameters in the stencil printing process are the printing conditions, stencil design, and solder paste properties. Among these parameters, the effects of printing conditions including the squeegee angle and squeegee pressure are investigated through finite element (FE) analysis. However, the FE analysis for the stencil printing process requires tremendous computational loads and time because this process carries micro-filling through thousands of micro-apertures in stencil. To overcome this difficulty in simulation, the present study proposes a two-step approach to sequentially perform the global domain analysis and the local domain analysis. That is, the pressure development under the squeegee are firstly calculated in the full analysis domain through the global analysis. The filling stage of the solder paste into a micro-aperture is then analyzed in the local analysis domain based on the results of the preceding global analysis.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1733-1757
• /
• 2017

Let $R={\oplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be an integral domain graded by an arbitrary torsionless grading monoid ${\Gamma}$, ${\bar{R}}$ be the integral closure of R, H be the set of nonzero homogeneous elements of R, C(f) be the fractional ideal of R generated by the homogeneous components of $f{\in}R_H$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. Let $R_H$ be a UFD. We say that a nonzero prime ideal Q of R is an upper to zero in R if $Q=fR_H{\cap}R$ for some $f{\in}R$ and that R is a graded UMT-domain if each upper to zero in R is a maximal t-ideal. In this paper, we study several ring-theoretic properties of graded UMT-domains. Among other things, we prove that if R has a unit of nonzero degree, then R is a graded UMT-domain if and only if every prime ideal of $R_{N(H)}$ is extended from a homogeneous ideal of R, if and only if ${\bar{R}}_{H{\backslash}Q}$ is a graded-$Pr{\ddot{u}}fer$ domain for all homogeneous maximal t-ideals Q of R, if and only if ${\bar{R}}_{N(H)}$ is a $Pr{\ddot{u}}fer$ domain, if and only if R is a UMT-domain.

• Proceedings of the KSME Conference
• /
• 2001.06c
• /
• pp.531-536
• /
• 2001

The structural shape optimization is a useful tool for engineers to determine the shape of a structure. During the optimization process, relocations of nodes happen successively. However, excessive movement of nodes often results in the mesh distortion and eventually deteriorates the accuracy of the optimum solution. To overcome this problem, an efficient method for the shape optimization has been developed. The method starts from the design domain which is large enough to hold the possible shape of the structure. The design domain has pre-defined uniform fine meshes. At every cycle, the method judges whether all the elements are inside of the structure or not. Elements inside of the structure are assigned with real material properties, however elements outside of the structure are assigned with nearly zero values. The performance of the method is evaluated through various examples.