• Korean Journal of Mathematics
• /
• 제21권4호
• /
• pp.455-462
• /
• 2013

Let D be an integral domain, S be a saturated multi-plicative subset of D such that $D_S$ is a factorial domain, $\{X_{\alpha}\}$ be a nonempty set of indeterminates, and $D[\{X_{\alpha}\}]$ be the polynomial ring over D. We show that S is a splitting (resp., almost splitting, t-splitting) set in D if and only if every nonzero prime t-ideal of D disjoint from S is principal (resp., contains a primary element, is t-invertible). We use this result to show that $D{\backslash}\{0\}$ is a splitting (resp., almost splitting, t-splitting) set in $D[\{X_{\alpha}\}]$ if and only if D is a GCD-domain (resp., UMT-domain with $Cl(D[\{X_{\alpha}\}]$ torsion UMT-domain).

• 대한수학회지
• /
• 제44권4호
• /
• pp.863-872
• /
• 2007

Let D be an integral domain with quotient field K, A a nonempty set of height-one maximal t-ideals of D, F$({\Lambda})={I{\subseteq}D|I$ is an ideal of D such that $I{\subseteq}P$ for all $P{\in}A}$, and $D_F({\Lambda})={x{\in}K|xA{\subseteq}D$ for some $A{\in}F({\Lambda})}$. In this paper, we prove that if each $P{\in}A$ is the radical of a finite type v-ideal (resp., a principal ideal), then $D_{F({\Lambda})}$ is a weakly Krull domain (resp., generalized weakly factorial domain) if and only if the intersection $D_{F({\Lambda})}={\cap}_{P{\in}A}D_P$ has finite character, if and only if $F({\Lambda})$ is a t-splitting set of ideals, if and only if $F({\Lambda})$ is v-finite.

• 대한수학회보
• /
• 제55권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.

• 한국전산유체공학회지
• /
• 제9권1호
• /
• pp.18-24
• /
• 2004

The unified simulation for the multiphase flow by predictor-corrector scheme based on CIP method is introduced. In this algorithm, the interface between different phases is identified by a density function and tracked by solving an advection equation. Solid body motion is modeled by the translation and angular motion. The mathematical formulation and numerical results are also described. To verify the efficiency, accuracy and capability of proposed algorithm, two dimensional incompressible cavity flow, the motion of a floating ball into water and a single rising bubble by buoyancy force are numerically simulated by the present scheme. As results, it is confirmed that the present scheme gives an efficient, stable and reasonable solution in the multiphase flow problem.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 추계학술대회
• /
• pp.1756-1760
• /
• 2004

Circulating Fluidized-Bed (CFB) boilers which have been operated in Korea were manufactured by the design technology of foreign leading companies. As they are not active to transfer their technology, domestic companies don't have the enough ability to design it independently yet. Doosan Heavy Industries & Construction Co. Ltd. and Korean Institute of Energy Research are trying to develop and improve the particle re-circulating device among the components of CFB boiler. Our purpose is to control the amount of particles leaving the re-circulating system by adjusting utility air and reuse the heat of circulating particles. The results of experiments with cold model system show that a fluidization state in the particle re-circulating device is very stable when the amount of utility air is supplied to its wind box with 2.29 times of minimum fluidization velocity. Also the amount of particles entering the riser don't increase linearly when the amount of utility air is supplied over 2.5 times of minimum fluidization velocity. Now we are testing its functional run with the hotstate experiment set-up.

• 대한화학회지
• /
• 제22권2호
• /
• pp.67-77
• /
• 1978

착물의 분자궤도함수를 중심 금속이온의 핵을 원점으로 하는 함수들을 기저함수 집합으로 하여 일점 전개하고, 그 결과를 섭동론적인 입장에서 해석했다. $KNiF_3$의 결정구조 (perovskite structure)내에 존재하는 공유결합성이 비교적 작은 $[NiF_6]^{4-}$의 경우에도, 리간드의 배위로 인한 섭동으로 중심 금속이온의 $e_g$궤도함수와 $t_{2g}$궤도함수에 g궤도함수 이상의 각운동량을 갖는 들뜬상태 배치가 상당히 크게 섞여 들어온다는 것과, 이들 궤도함수들이 갖는 변형이 서로 다르다는 것을 발견했다. 여기서 MO계산에 의해 얻어지는 $e^*_g$궤도함수와 $t^*_{2g}$궤도함수 사이의 에너지차는 결정장 이론에서 정의되는 단일한 파라미터로서 10Dq의 의미는 갖지 못하며, 엄밀한 입장에선 그와 같은 파라미터는 정의될 수 없음을 밝혔다.

• Korean Journal of Radiology
• /
• 제23권12호
• /
• pp.1260-1268
• /
• 2022

Objective: To propose standardized MRI-proton density fat fraction (PDFF) cutoff values for diagnosing hepatic steatosis, evaluated using contemporary PDFF measuring methods in a large population of healthy adults, using histologic fat fraction (HFF) as the reference standard. Materials and Methods: A retrospective search of electronic medical records between 2015 and 2018 identified 1063 adult donor candidates for liver transplantation who had undergone liver MRI and liver biopsy within a 7-day interval. Patients with a history of liver disease or significant alcohol consumption were excluded. Chemical shift imaging-based MRI (CS-MRI) PDFF and high-speed T2-corrected multi-echo MR spectroscopy (HISTO-MRS) PDFF data were obtained. By temporal splitting, the total population was divided into development and validation sets. Receiver operating characteristic (ROC) analysis was performed to evaluate the diagnostic performance of the MRI-PDFF method. Two cutoff values with sensitivity > 90% and specificity > 90% were selected to rule-out and rule-in, respectively, hepatic steatosis with reference to HFF ≥ 5% in the development set. The diagnostic performance was assessed using the validation set. Results: Of 921 final participants (624 male; mean age ± standard deviation, 31.5 ± 9.0 years), the development and validation sets comprised 497 and 424 patients, respectively. In the development set, the areas under the ROC curve for diagnosing hepatic steatosis were 0.920 for CS-MRI-PDFF and 0.915 for HISTO-MRS-PDFF. For ruling-out hepatic steatosis, the CS-MRI-PDFF cutoff was 2.3% (sensitivity, 92.4%; specificity, 63.0%) and the HISTO-MRI-PDFF cutoff was 2.6% (sensitivity, 88.8%; specificity, 70.1%). For ruling-in hepatic steatosis, the CS-MRI-PDFF cutoff was 3.5% (sensitivity, 73.5%; specificity, 88.6%) and the HISTO-MRI-PDFF cutoff was 4.0% (sensitivity, 74.7%; specificity, 90.6%). Conclusion: In a large population of healthy adults, our study suggests diagnostic thresholds for ruling-out and ruling-in hepatic steatosis defined as HFF ≥ 5% by contemporary PDFF measurement methods.