• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.6
• /
• pp.683-691
• /
• 2011

In order to develop technology for an equipment qualification (EQ) test, which is an important process in localizing solenoid-operated valves used in nuclear power plants, we analyzed related regulations, test procedures, conditions, equipment, and acceptance criteria. EQ regulations for the solenoid-operated valve are classified as law, guide, and standard, and are subdivided according to test specimens and contents. The EQ test is composed of functional, normal-, and accident- condition tests. The solenoid-operated valve is aged under normal and accident conditions, which are predicted in the design conditions of a nuclear power plant, and the performance of the valve is measured by a functional test. The test method and procedure analyzed in this paper might be very useful for manufacturers as well as EQ testers.

• Journal of Korea Technology Innovation Society
• /
• v.20 no.1
• /
• pp.81-102
• /
• 2017

Financing, manpower support and tax are the most popular tools for policy for small and medium enterprises (SMEs). This paper, however, will introduce information analysis support for SMEs and will prove that can be a good tool. The information analysis support means the support of technology and market information for the technology development or commercialization of SMEs. Therefore, the support is a customized one. In the theory domain, we adopt and prove two theoretical grounds as an SMEs policy such as market and system failure. In the policy tool domain, we suggest four requirements to be an SMEs policy and prove the tool to satisfy these requirements. All the data and proofs are from a government research institute called K.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.180-180
• /
• 2022

최근 하천 횡단구조물로 형성된 호소 및 저수지에는 오랜 시간동안 다양한 유기 퇴적물이 유입되고 오염되어 호소환경 및 호소 생태계에 악영향을 미칠 수 있으며, 환경 여건에 따라 메탄과 온실가스를 유발할 수도 있다. 이러한 온실가스를 검출하고 그 원인을 파악하여 감축하는 일련의 기술이 국가적인 온실가스 감축 정책과 맞물려 새로운 이슈로 등장하였다. 일반적으로 메탄가스를 측정하는 실험은 BMP(Biochemical Methane Potential)-Test이며, 수치모의에 비해 BMP-Test는 수심이 깊은 지역이나 유속이 빠른 구역에는 적용이 어려운 한계가 존재한다. 이러한 BMP-Test의 한계점을 보완하는 차원에서 사전검증된 수치모형 COMSOL Multiphysics 소프트웨어를 이용하여 메탄가스 발생기작을 재현 및 도출하고 실내 실험결과와 비교 분석하였다. 첫째, COMSOL Multiphysics가 호소에서 발생하는 메탄가스 발생기작의 재현 타당성을 입증하기 위해 동일한 조건의 인공합성된 유기물을 이용한 실내 실험에서 수행된 BMP-Test와 비교·분석을 수행하였다. 둘째, COMSOL Multiphysics에 TOC(총유기탄소), TP(총 인)에 따른 유기물 조건과 메탄 발생 화학식을 설정하여 온도에 따른 메탄 생성량과 반응상수를 산출하였고, 이를 BMP-Test 결과와 비교하였다. BMP-Test의 비교·분석 결과를 바탕으로 하천 및 호소에서 발생하는 메탄가스 발생에 대한 COMSOL Multiphysics의 활용가능성을 검증하였다. 향후 하천 및 호소로부터의 발생가능한 온실가스 감축 목표를 달성하기 위한 하천 유기물 환경의 평가 또는 최적화 조성에 유사한 검증과정을 거친 COMSOL Multiphysics를 활용할 수 있을 거라 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• Proceedings of the KIEE Conference
• /
• 2005.04a
• /
• pp.229-231
• /
• 2005

현재 철도 신호시스템 추세는 이동폐색 및 무인운전, 안전에 주안점을 두어 연구개발 되고 있다. 본 논문에서는 철도환경에 적합하고 경제성이 고려된 무선에 의한 새로운 열차검지기법인 토대로 이동폐색을 구현 및 평가하기 위하여 적용한 방법에 대하여 기술하고자 한다. 시험선에서 1편성의 열차 조건으로 이동폐색을 검증하기 위하여 선두열차를 모형열차(Dummy Train)로 시스템을 구성하여 정적인 상태에서 평가를 통해 검증하였다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.781-783
• /
• 2011

The oxidizer filling system, ground facility of the launch complex, should accept difficult requirements from the launcher sufficiently. The launcher do not have unnecessary insulators for mass reduction and manages liquid oxygen mass fastidiously to satisfy the mission requirement. So, the ground facility should be able to accept its requirements, then we should make the operating process being adjusted. In this paper, the operating process design and verification results on the oxidizer filling ground facility for liquid rocket is demonstrated.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.1407-1411
• /
• 2007

현재까지 우리나라에서 주로 사용되고 있는 2차원 흐름 해석모형은 미연방 도로국(U.S. Federal Highway Administration)과 연계하여 Brigham Young University에서 개발된 SMS(Surface-Water Modeling System) 모형이다. SMS모형 중 이송 확산 모형으로는 RMA-4가 포함되나 이 모형은 최신 수치기법을 반영하지 못하는 등의 문제점들로 인해 실제 물리적 현상 모의에 있어서 한계를 가지고 있다. 따라서 물리적 현상에 대한 적절한 모의를 위한 개선과정을 통하여 RAM4가 개발되었다. 본 연구에서는 현장실측 자료를 바탕으로 RMA-4와의 모의결과 비교를 통하여 오염 확산 해석모형인 RAM4의 적용성을 검증하고자 하였다. RAM4와 RMA-4 모의에 있어서 격자구성과 경계조건은 동일하게 설정하였으며, 유량조건은 평수량과 갈수량으로 선정하였다. 각각의 유량시 수위조건이 틀려지므로 각 유량조건에 대한 격자구성을 달리하였다. 모의구간은 낙동강 본류의 수산대교에서 삼랑진 철교까지의 약 13km 구간을 대상으로 하였다. 모의 구간내에는 밀양-하남 하수처리장이 상류 좌안측에 위치하고 있고, 만곡, 단면의 축소 및 확대, 하중도, 합류 등의 지형학적 특징들이 비교적 짧은 구간에 나타나고 있어 모형의 검증에 적합하다고 판단된다.

• Journal of Korea Foundry Society
• /
• v.42 no.4
• /
• pp.209-217
• /
• 2022

In the present study, in order to prevent the misrun defects that occur during traditional brass casting, a method for selecting the proper casting process conditions is proposed. A learning model was developed and demonstrated to be able to learn the presence or absence of defects according to the casting process conditions and to predict the occurrence of defects depending on the certain process given. Appropriate process conditions were determined by applying the proposed method, and the determined conditions were verified through a comparison of different simulation results with additional conditions. With this method, it is possible to determine the casting process conditions that will prevent defects in the desired sand model. This technology is expected to contribute to realization of smart traditional brass farming workshops.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.56 no.2
• /
• pp.5-6
• /
• 2019

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.37 no.2
• /
• pp.53-63
• /
• 1995

본 논문의 다경간 연속아치의 자유진동에 관한 연구이다. 다경간 연속아치의 고유진 동수 및 진ㄷㅇ형을 산출하기 위하여 내부지점의 지점조건에 다른 경계조건식을 유도하였다. 아치의 선형은 포물선을 택하였으며, 회전-로울러-회전, 고정-회전-고정의 지점 조건을 갖는 2경간 연속아치에 대한 수치해석 결과를 제시하였다. Runge-Kutta maethod을 이용 하였다. 실제 수치해석예에서는 회전관성이 고유진동수에 미치는 영향을 고찰 하였으며, 무차원 고유진동수와 아치높이 지간길이비 및 세장비 사이의 관계를 분석하였다. 또한 실험을 토아여 이론적인 해석결과를 검증하였다.