• Proceedings of the Korean Nuclear Society Conference
• /
• 2002.05a
• /
• pp.79.2-79
• /
• 2002

• Korean Journal of Logic
• /
• v.6 no.1
• /
• pp.69-77
• /
• 2003

본 논문은 겐첸의 정식열(sequent) 계산에서 자름규칙(cut)을 제거한 경우 증명의 길이는 어떻게 달라지는가를 다루고 있다. 특히 본 논문은 명제 논리에 있어서 공리를 원자 정식으로만 삼는 체계의 경우 증명의 길이는 번화가 없음을 증명하는 것을 목적으로 한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.81.2-81
• /
• 1999

• Journal of Energy Engineering
• /
• v.23 no.4
• /
• pp.95-105
• /
• 2014

The CUPID code has been developed for a transient, three-dimensional, two-phase flow analysis at a component scale. It has been validated against a wide range of two-phase flow experiments. Especially, to assess its applicability to single- and two-phase flow analyses in the Calandria vessel of a CANDU nuclear reactor, it was validated using the experimental data of the 1/4-scaled facility of a Calandria vessel at the STERN laboratory. In this study, a preliminary thermal-hydraulic analysis of the CANDU reactor moderator tank using the CUPID code is carried out, which is based on the results of the previous studies. The complicated internal structure of the Calandria vessel and the inlet nozzle was modeled in a simplified manner by using a porous media approach. One of the most important factors in the analysis was found to be the modeling of the tank inlet nozzle. A calculation with a simple inlet nozzle modeling resulted in thermal stratification by buoyance, leading to a boiling from the top of the Calandria tank. This is not realistic at all and may occur due to the lack of inlet flow momentum. To improve this, a new nozzle modeling was used, which can preserve both mass flow and momentum flow at the inlet nozzle. This resulted in a realistic temperature distribution in the tank. In conclusion, it was shown that the CUPID code is applicable to thermal-hydraulic analysis of the CANDU reactor moderator tank using the cost-effective porous media approach and that the inlet nozzle modeling is very important for the flow analysis in the tank.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.11a
• /
• pp.270-275
• /
• 1996

국내 WH 형 발전소의 노심 DNB 분석에 사용되고 있는 THINC-W 코드에 대한 이해와 분석체제에 대한 개선의 일환으로 고리 2호기를 대상으로 하여 노심 분석모형에 대한 민감도 조사 및 이에 따른 설계 한계 DNBR의 변화를 각 열설계 방법론에 대하여 평가하였다. 적용된 열설계 방법론은 웨스팅하우스사의 STDP, ITDP. RTDP, 그리고 Mini-RTDP 등이며, 노심분석 모형은 경계면에서의 대칭을 가정하고 있는 기존모델(Old Model)과 개선된 모델(Improved Model)을 비교분석 하였다. 평가결과 두 분석모형은 부수로내 질량유속 거동과 통계적 열설계 방법론의 설계한계 DNBR에서 유사한 결과를 보여주었으며, 고출력 영역에서는 개선된 분석모형의 적용이 보다 타당한 것으로 평가되었다. 따라서 운전영역 전반에 걸친 제한적 조건에 대한 민감도 분석을 수행할 경우, 원자로 출력증강이나 첨두치의 증가, 운전전략의 변경등으로 발생할 수 있는 여러가지 불리한 조건에 대하여 열적 여유도를 확보할 수 있을 것으로 판단된다.

• Fire Science and Engineering
• /
• v.17 no.4
• /
• pp.7-12
• /
• 2003

The heat of combustion is one of the major physical properties used to determine the fire and explosion hazards of the flammable substances. Empirical equations have been developed to pre-dict the net heats of combustion of organic halogenated compounds based on the atomic contribution method. The method developed in this study was compared with Cardozo's method and Hanley's method. As can be seen from the average absolute deviation(A.A.D.), the proposed equation was found to be best. The proposed equation may serve as an estimation scheme for the heats of combustion of the other organic halogenated compounds.

• Journal of Energy Engineering
• /
• v.25 no.2
• /
• pp.45-51
• /
• 2016

The pool water management system, which is installed for purification of the coolant in the pools and the primary cooling system of a research reactor, removes the decay heat from the reactor core when the primary cooling system stops. It also removes the heat generated from the irradiated objects in the service pool and the spent fuels in the spent fuel storage pool to keep the temperature of the pools within a limited value. In this study, the heat exchanger of the pool water management system is designed by CFD method using a commercial code Flowmaster, and the temperature of the pools is estimated along the time to conclude the design and operation method of the pool water management system.

• Nuclear Engineering and Technology
• /
• v.26 no.1
• /
• pp.63-77
• /
• 1994

The objective of this work is to investigate fluid mixing phenomena related to pressurized thermal shock(PTS) in a pressurized water reactor(PWR) vessel downcomer during transient cooldown with direct vessel injection(DVI) using test models. The test model designs were based on ABB Combustion Engineering(C-E) System 80＋ reactor geometry. A cold leg small break loss-of-coolant accident(LOCA) md a main steam line teak were selected as the potential PTS events for the C-E System 80＋. This work consist of two parts. The first part provides the visualization tests of the fluid mixing between DVI fluid and existing coolant in the downcomer region, and the second part is to compare the results of thermal mixing tests with DVI in the other test model. Row visualization tests with DVI have clarified the physical interaction between DVI fluid and primary coolant during transient cooldown. A significant temperature drop was observed in the downcomer during the tests of a small break LOCA Measured transient temperature profiles agree well with the predictions by the REMIX code for a small break LOCA and with the calculations by the COMMIX-1B code for a steam line break event.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.02a
• /
• pp.504-504
• /
• 2011

최근 디지털 프린팅 기술의 핵심기술로 떠오르고 있는 잉크젯 프린팅 기술은 최근 기존의 문서인쇄 뿐 아니라, 직물 인쇄, 태양전지 등의 다양한 반도체 소자 제조에 널리 활용되고 있으며, 점차 그 응용 분야를 넓혀가고 있다. 특히 thermal 방식의 잉크젯 피린팅 기술은 etching, thin film process, lithography등의 반도체 공정 기술을 이용하여 제작할 수 있기 때문에, 현재 잉크젯 프린팅 기술은 대부분 thermal 방식을 체택하고 있다. 이러한 thermal 잉크젯 프린팅 방법에서는 잉크를 토출시키기 위하여, 전기적 에너지를 열에너지로 전환하는 전자저항막층이 필수적으로 필요하게 되는데, 이러한 전자저항막층은 수백도가 넘는 고온 및 잉크와 접촉으로 인한 부식 및 산화 문제가 발생할 수 있는 열악한 환경에서 사용되므로, Ta, SiN과 같은 보호층을 필수적으로 필요로 한다. 그러나 최근 잉크젯 프린터의 고해상도 고속화, 대면적 인쇄성 등과 같은 다양한 요구 증가에 따라, 잉크젯 프린터의 저전력 구동이 이슈로 떠올라 열효율에 방해가 되는 보호층을 제거할 필요성이 제기되고 있다. 지금까지는 Poly-Si, $HfB_2$, TiN, TaAl, TaN _0.8 등의 물질들이 잉크젯 프린터용 전자저항막 물질로 연구되거나 실제로 사용되어져 왔으나, 이러한 물질들을 보호층을 제거하는 경우 쉽게 산화되거나, 부식되는 문제점을 가지고 있다. 따라서, 기존 전자저항막의 기능을 만족시키면서, 산화나 부식에 대한 강한 내성을 가져 보호층을 제거하더라도 안정적으로 구동이 가능한 하이브리드 기능성(히터 + 보호층)을 가지는 잉크젯 프린터용 전자저항막 물질의 개발이 시급한 실정이다. 본 연구에서는 자기조립특성을 가져 정밀제어가 가능한 원자층증착법(Atomic Layer Deposition)을 이용하여 원자/나노 단위의 미세 구조 컨트롤을 통해 내열 내산화 내부식성 저온도저항계수를 동시에 가지는 다기능성 전자저항막을 설계 및 개발하고자 하였다. 전자저항막 개발을 위하여 우수한 내부식 내산화성을 가지고 결정립 크기에 따른 온도저항계수 조절이 가능한 platinum group metal들과 전기 저항 및 내열성 향상을 위한 물질의 복합구조막을 원자증증착법으로 증착하였다. 또한, 전자저항막 증착시 미세구조와 공정 변수가 내부식성, 내산화성, 그리고 온도저항계수에 미치는 영향을 체계적으로 연구하여, proto-type의 inkjet printhead를 구현하였다.

• Journal of Astronomy and Space Sciences
• /
• v.18 no.1
• /
• pp.81-93
• /
• 2001

Far ultraviolet IMaging Spectrograph (FIMS) should be designed to maintain its structural stability and to minimize optical performance degradation in launch and in operation enviroments. The structural and thermal analyzes of grating and grating mount system, which are directly related to FIMS optical performance, was performed using finite element method. The grating mount was made to keep the grating stress down, while keeping the natural frequency of the grating mount higher than 100 Hz. Transient and static thermal analyzes were also performed and the results shows that the thermal stress on the grating can be attenuated sufficiently. The optical performance variation due to temperature variation was with the allowed range.