• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.868-869
• /
• 2015

지하 매설된 가스배관을 정기적으로 검사하기 위해서 가스 공급 및 용역업체에서는 주로 비피과검사 탐상장비인 MFL(Magnetic Flux Leakage) PIG(Pipeline Inspection Gauge)를 사용한다. 기존의 MFL PIG는 배관 내 유체(가스,오일 등)의 전후차단 압력의 흐름을 이용해 별도의 구동장치 없이 피그를 진행시켜 배관의 결함 유무를 평가하는 시스템이다. 하지만 10기압 이하의 낮은 운영압력과 T 분기관과 같이 급격한 곡관부가 존재하는 직경 16인치 이하의 도시가스 배관에는 기존의 시스템을 적용하기 어렵다. 이처럼 기존 MFL PIG의 적용이 불가한 도시가스 배관(직경 16인치 이하)을 활주하기 위해서는 우선 비파괴검사 시스템을 견인할 수 있는 추진 로봇이 필요하고 추진로봇에 적합한 자기누설 비파괴검사 시스템의 개발이 필요하다. 또한 비파괴검사 장비의 센서 시스템은 결함신호를 탐지하여 결함의 발생유무 및 결함의 형상을 판별하는 성능도 중요하다. 본 논문에서는 16인치 도시가스 배관의 검사를 위한 자기누설 비파괴검사 시스템의 기초설계와 대상 시스템의 자기적 특성을 분석한다. 또한 배관 외벽의 결함 발생 유무에 따른 자기누설 신호의 크기 및 분포변화를 3차원 유한요소법을 이용해 해석하여, 결함 검출 신호의 특성을 분석하는데 초점을 둔다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.7
• /
• pp.837-844
• /
• 2002

In general, software test is carried out to detect or repair errors in system during software development process. Namely, we can evaluate software reliability through collecting and removing the faults detected in testing phase. Software reliability growth model evaluates reliability of software mathematically. Many kinds of software reliability growth modeling which modeling the processes of detecting, revising and removing the faults detected in testing phase have been proposed in many ways. and, it is assumed that almost of these modeling have one typed detect and show the uniformed detection rate. In this study, significance levels of the faults detected in test phase are classified according to how they can affect on the whole system and then the fault detection capability of them is applied. From this point of view, We here by propose a software reliability growth model with faults detection capability according considering fault significance levels and apply some fault data to this proposed model and finally verify its validity by comparing and estimating with the existing modeling.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.9 no.3
• /
• pp.267-272
• /
• 1999

Micro-defects in the undoped and MgO-doped $LiNbO_3$ single crystals, which were grown from a congruent melting composition (48.6 mol% $Li_2$O) by the CZ (Czochralski) method, were analyzed using microscopic techniques such as optical microscopy (OM), scanning electron microscopy (SEM) and transmission electron microscopy (TEM). Effects of the dopant and g value (the fraction solidfied) on the domain structure and micro-defect were investigated to build a corelationship with a growth condition of crystal. It was observed that the micro-defect concentrated near the domain wall is caused by high stress. Especially, the micro-defect was observed to be biased toward a certain side of the domain wall.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.24 no.2
• /
• pp.151-157
• /
• 2004

Ultrasonic testing is a kind of nondestructive test to detect a crack or discontinuity in materials or on material surfaces by sending ultrasound to it. This conventional ultrasonic technique has some limitations in reliably detecting crack or accurately assessing materials in the case of complex-shaped power plant components such as a turbine blade root. An alternative method for such a difficult inspection is highly needed. In this study, application of a phased array ultrasonic testing (UT) system to a turbine blade, one of the critical power plant components, has been considered, and the particular incident angle has been determined so that the greatest track detectability and the most accurate crack length evaluation nay be achieved. The response of ultrasonic phased array was also analyzed to establish a special method to determine the track )ength without moving the transducer. The result showed that the developed method for crack length assessment is a more accurate and effective method, compared with the conventional method.

• Magazine of the Korea Concrete Institute
• /
• v.11 no.1
• /
• pp.161-171
• /
• 1999

Impact resonance testing was carried out on small and large concrete blocks containing several types of artificial flaws respectively. Quantitative analysis of the observed peak frequencies in the impact resonance tests identifies the possible normal modes of concrete blocks containing flaws. and enables to determine the depth and size of the flaws in concrete blocks. In this study, concrete can be treated as a homogeneous and isotropic material. The flaw size and location at each section of artificial flaw series in small and large concrete blocks, determined through two-dimensional scanning of impact point and real-time fast Fourier transform, are in good agreement with real size location, respectively. Consequently, quantitative analysis method of vibration modes in the impact resonance tests, which can be applied for homogeneous and isotropic material, can be useful for the detection of flaws in any case of small and large concrete blocks in this study.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.4
• /
• pp.453-465
• /
• 1995

RPC(Remote Procedure Call) has been studied for programmer to easily write distributed program of little bit higher efficiency and reliability. In this study, fault-tolerant remote procedure call for hardware failures is proposed. Fault-tolerance is supplied by replicated procedures with node group, so called chain, and copies along chains are linearly ordered. Calls for procedure are sent to primary copy along chains, and other copies are propagated internally. If failures happen, first copy in faultless chain returns the result to the caller, Especially, in this study processing of redundant call message and result message, while using limited ack message, are avoided. This method supplies efficient and reliable fault-tolerance compared with existing remote procedure call.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.01a
• /
• pp.151-154
• /
• 2017

소프트웨어의 개발과정 중 결함을 제거하는 작업인 디버깅을 위해서는 가장 먼저 그 결함의 정확한 위치를 찾아야한다. 이 작업은 많은 시간이 소요되며, 이 시간을 단축시키기 위한 결함 위치 식별 기법들이 소개되었다. 많은 기법들 중 프로그램 커버리지 정보를 학습하여 규칙을 분석하는 인공신경망 기반 선행 연구가 있다. 이를 기반으로 본 논문에서는 문장들 간의 관계를 추가적으로 파악하여 학습 데이터로 사용하는 기법을 제안한다. 특정 문장이 항상 지나는 테스트케이스들 중 나머지 다른 문장들이 지나는 테스트케이스의 비율을 통해 문장들 간의 관계를 나타낸다. 해당 비율을 계산하기 위해 조건부 확률인 베이지안 확률을 사용한다. 베이지안 확률을 통해 얻은 문장들의 관계에 따라 인공신경망 내에서 의심도를 결정하는 웨이트(weight)가 기존 기법과는 다르게 학습된다. 이 차이는 문장들의 의심도를 조정하며, 결과적으로 다중 결함 위치 식별의 정확도를 향상시킨다. 본 논문에서 제안한 기법을 이용하여 실험한 결과, Tarantula 대비 평균 39.8%, 기존 역전파 인공신경망(BPNN) 기반 기법 대비 평균 60.5%의 정확도 향상이 있었음을 확인할 수 있다.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.24 no.5
• /
• pp.190-195
• /
• 2014

Because of the temperature gradient occurring during the growth of the ingot with directional solidification method, defects are generated and the residual stress is produced in the ingot. Changing the growth and cooling rate during the crystal growth process will be helpful for us to understand the defects and residual stress generation. The defects and residual stress can affect the properties of wafer. Generally, it was found that the size of grains and twin boundaries are smaller at the top area than at the bottom of the ingot regardless of growth and cooling condition. In addition to that, in the top area of silicon ingot, higher density of dislocation is observed to be present than in the bottom area of the silicon ingot. This observation implies that higher stress is imposed to the top area due to the faster cooling of silicon ingot after solidification process. In the ingot with slower growth rate, dislocation density was reduced and the TTV (Total Thickness Variation), saw mark, warp, and bow of wafer became lower. Therefore, optimum growth condition will help us to obtain high quality silicon ingot with low defect density and low residual stress.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.2
• /
• pp.295-304
• /
• 2005

This paper presents the problem of exhaustive test generation for detection of coupling faults between cells in word-oriented memories. According to this fault model, contents of any w-bit memory word in a memory with n words, or ability tochange this contents, is influenced by the contents of any other s-1 words in the memory. A near optimal iterative method for construction of test patterns is proposed The systematic structure of the proposed test results in simple BIST implementations.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 2011.05a
• /
• pp.55.1-55.1
• /
• 2011

의료용 고속 에어터빈 핸드피스는 주로 치과에서 치아 절삭 및 치료에 사용하는 도구로써 치의학 분야에서 가장 폭넓게 사용되는 의료장비 중 하나이다. 핸드피스용 소재는 황동 혹은 스테인레스 강이 주로 사용되었으나, 최근 고내식성, 인체친화성이 높은 티타늄을 사용한 가벼운 재질의 핸드피스 제품들이 개발되어 독일 및 일본을 중심으로 출시되고 있다. 티타늄으로 제조되는 부분은 헤드와 바디로써, 본 연구에서는 에어터빈의 케이스에 해당하는 헤드부 제조에 있어서 정밀주조 공정 적용의 타당성을 조사하였다. 티타늄은 특히 용융점이 높고 유동성이 좋지 않을 뿐만 아니라 주형과의 반응성이 높기 때문에 주조 시 제품 내/외 부에 결함발생 빈도가 높다. 이와 같은 주조결함 제어를 위하여 상용 유한요소 프로그램인 ProCASTTM을 사용하여 핸드피스 헤드 제조 시 유동 및 응고해석을 수행하였다. 또한 헤드 부 형상에 따른 주조성을 조사하여 이를 바탕으로 최적 주조방안 도출을 위한 정밀주조 공정해석 연구를 수행하였다.