• Korean Journal of Mathematics
• /
• v.22 no.4
• /
• pp.591-598
• /
• 2014

Let D be an integral domain with quotient field K. In [1], the authors called D a finitely valuative domain if, for each $0{\neq}u{\in}K$, there is a saturated chain of rings $D=D_0{\varsubsetneq}D_1{\varsubsetneq}{\cdots}{\subseteq}$ $D_n=D[x]$, where x = u or $u^{-1}$. They then studied some properties of finitely valuative domains. For example, they showed that the integral closure of a finitely valuative domain is a Pr$\ddot{u}$fer domain. In this paper, we introduce the notion of finitely t-valuative domains, which is the t-operation analog of finitely valuative domains, and we then generalize some properties of finitely valuative domains.

• Korean Journal of Mathematics
• /
• v.24 no.3
• /
• pp.537-543
• /
• 2016

Let D be an integral domain, X be an indeterminate over D, D[X] be the polynomial ring over D, and D(X) be the Nagata ring of D. Let [d] be the star operation on D[X], which is an extension of the d-operation on D as in [5, Theorem 2.3]. In this paper, we show that D is a sharp domain if and only if D[X] is a [d]-sharp domain, if and only if D(X) is a sharp domain.

• Proceedings of the KIEE Conference
• /
• 1997.07b
• /
• pp.581-583
• /
• 1997

For the last two decades, many researchers have interests in orthogonal functions by reason of its applicability on linear system analysis. But they only used integral operation matrix of orthogonal functions to solve the state space equations. Thus, this paper present some new result of differential operation of block-pulse functions from a numerical point of view.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2000.04a
• /
• pp.281-286
• /
• 2000

• 한국항공운항학회:학술대회논문집
• /
• 2007.06a
• /
• pp.52-56
• /
• 2007

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.187-204
• /
• 2018

Let $R={\bigoplus}_{{\alpha}{\in}{\Gamma}}\;R_{\alpha}$ be a graded integral domain, H be the set of nonzero homogeneous elements of R, and ${\star}$ be a semistar operation on R. The purpose of this paper is to study the properties of $quasi-Pr{\ddot{u}}fer$ and UMt-domains of graded integral domains. For this reason we study the graded analogue of ${\star}-quasi-Pr{\ddot{u}}fer$ domains called $gr-{\star}-quasi-Pr{\ddot{u}}fer$ domains. We study several ring-theoretic properties of $gr-{\star}-quasi-Pr{\ddot{u}}fer$ domains. As an application we give new characterizations of UMt-domains. In particular it is shown that R is a $gr-t-quasi-Pr{\ddot{u}}fer$ domain if and only if R is a UMt-domain if and only if RP is a $quasi-Pr{\ddot{u}}fer$ domain for each homogeneous maximal t-ideal P of R. We also show that R is a UMt-domain if and only if H is a t-splitting set in R[X] if and only if each prime t-ideal Q in R[X] such that $Q{\cap}H ={\emptyset}$ is a maximal t-ideal.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.16 no.1
• /
• pp.100-109
• /
• 2020

Pipelines subjected to ground movement would be easily exposed to large-scale deformation. Since such deformations may cause the pipeline failure, it is important to ensure the safety of pipelines in various operation conditions. However, crack in weld metal have been considered as one of the main causes that can deteriorate the structural integrity of the pipeline. For this reason, the structural integrity of the pipe containing the crack in the weld should be obtained. In order to assess cracked pipe, J-integral and crack-tip opening displacement(CTOD) have been applied widely as the elastic-plastic fracture mechanics parameters representing crack driving force. In this study, engineering solutions to calculate the J-integral and CTOD of pipes with a circumferential outer surface crack in the weld are proposed. For this purpose, 3-dimensional elastic-plastic finite element(FE) analyses have been performed considering the effect of overmatch and width of weld. The shape of the weld was simplified to I-groove, and axial displacement was employed as for loading condition. Based on FE results, the effects of crack size, material properties and width of weldment on J-integral and CTOD were investigated. Additionally, the J-integral and CTOD for I-groove were compared with those for V-groove to examine the effects of the weld shape, and a proportionality coefficient of J-integral and CTOD was calculated from the results of this paper.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.11
• /
• pp.189-198
• /
• 1998

Recently, monitoring of tool life is a matter of common interesting because tool life affects precision, productivity and cost in machining process. Especially flank wear has a direct effect on cutting mechanism, so the various pattern of cutting force is obtained experimentally according to variation of wear condition. By investigating cutting force signal, AR(Autoregressive) modeling and correlation dimension analysis is conducted in turning operation. In this modeling and analysis, we extract features through 6th AR model, correlation integral and normalized correlation integral. After the back-propagation model of the neural network is utilized to monitor tool life according to flank wear. As a result. a very reliable classification of tool life was obtained.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.2
• /
• pp.240-248
• /
• 2009

An approach to control the position for an interior permanent magnet synchronous motor (IPMSM) based on an adaptive integral binary observer is described. The binary controller with a binary observer is composed of a main loop regulator and an auxiliary loop regulator. One of its key features is that it alleviates chatter in the constant boundary layer. However, steady state estimation accuracy and robustness are dependent upon the thickness of the constant boundary layer. In order to improve the steady state performance of the binary observer and eliminate the chattering problem of the constant boundary layer, a new binary observer is formed by adding extra integral dynamics to the existing switching hyperplane equation. Also, the proposed adaptive integral binary observer applies an adaptive scheme because the parameters of the dynamic equations such as the machine inertia and the viscosity friction coefficient are not well known. Furthermore, these values can typically be easily changed during normal operation. However, the proposed observer can overcome the problems caused by using the dynamic equations, and the rotor position estimation is constructed by integrating the rotor speed estimated with a Lyapunov function. Experimental results obtained using the proposed algorithm are presented to demonstrate the effectiveness of the approach.

• Nuclear Engineering and Technology
• /
• v.53 no.3
• /
• pp.776-792
• /
• 2021

Conventional integral effect test facilities were constructed to enable the precise observation of thermal-hydraulic phenomena and reactor behaviors under postulated accident conditions to prove reactor safety. Although these facilities improved the understanding of thermal-hydraulic phenomena and reactor safety, applications of new technologies and their performance tests have been limited owing to the cost and large scale of the facilities. Various nuclear technologies converging 4th industrial revolution technologies such as artificial intelligence, drone, and 3D printing, are being developed to improve plant management strategies. Additionally, new conceptual passive safety systems are being developed to enhance reactor safety. A new integral effect test facility having a noticeable scaling ratio, i.e., the (UNIST reactor innovation loop (URI-LO), is designed and constructed to improve the technical quality of these technologies by performance and feasibility tests. In particular, the URI-LO, which is constructed using a transparent material, enables better visualization and provides physical insights on multidimensional phenomena inside the reactor system. The facility design based on three-level approach is qualitatively validated with preliminary analyses, and its functionality as a test facility is confirmed through a series of experiments. The design feature, design validation, functionality test, and future utilization of the URI-LO are introduced.