• The Journal of the Korea Contents Association
• /
• v.11 no.10
• /
• pp.49-58
• /
• 2011

Fault Tree Analysis(FTA) builds fault trees to perform safety analysis of systems. However, building fault trees depends on domain knowledge and expertize on target systems and consumes lots of time and efforts. In this paper, we propose a technique that builds fault trees systematically based on state-transition models which are software design artifacts. For the end, this paper identifies conditions that should be satisfied to guarantee safety of state-transition models and develop templates for fault tree construction. This paper also describes the results of appling the proposed method to railway crossing control system.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2014.02a
• /
• pp.108.1-108.1
• /
• 2014

제품의 고성능 사양을 위해 초미소 크기(Nano Size)의 구조를 갖는 제품들이 일상에서 자주 등장한다. 대표 제품은 주변에서 쉽게 접할 수 있는 전자제품의 반도체 칩이다. 반도체 칩 소자 구조는 크기를 줄이는 것 외에도 적층을 통해 소자의 집적도를 높이는 방향으로 진화를 하고 있다. 복잡한 구조로 인해 발생되는 여러 반도체 결함 중에 TSV 결함은 현재 진화하는 반도체 칩의 구조를 대변하는 대표 결함이다. 이 결함을 효율적으로 검출하고 다루기 위해서는 초미소 크기(Nano Size)의 결함을 비파괴적인 방법으로 가시화하고 분석하는 장비가 필요하다. X-ray 시스템은 이러한 요구를 해결하는 훌룡한 한 방법이다. 이 논문에서는 X-ray 시스템의 구성 및 위의 TSV 결함을 검출하고 분석하기 위한 시스템의 특징에 대해 설명을 한다. X-ray 시스템은 크게 X선을 발생시키는 X선튜브와 대상 물체를 투과한 X선을 영상화하는 디텍터, 대상물체의 영상화를 위해 물체를 적절하게 구동시키는 이동장치로 구성되어 있다. 초미소크기(Nano Size)의 결함 검출을 위해서는 X선 튜브, 디텍터, 이동장치에 요구되는 사양의 복잡도, 정밀도는 이러한 시스템의 개발을 어렵게 만든다. 이 논문에서는 이러한 시스템을 개발 시에 시스템 핵심 요소의 특징을 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.127-129
• /
• 2001

이동 호스트는 무선 통신망의 낮은 대역폭과 호스트들의 이동성, 부족한 저장장치와 배터리 수명 등으로 인하여 결함 발생 가능성이 높다. 이동 호스트의 결함에 효율적으로 대처하기 위한 결함 허용 기법에 관한 연구가 많이 진행되어 왔다. 셀룰라 네트워크에서는 이동 호스트이외에도 이동 호스트를 연결시키는 기지국은 보다 높은 수준의 가용도를 요구하므로 기지국의 결함에 대한 연구도 필수적이다. 본 논문에서는 이동 호스트 결함 복구를 위한 체크포인팅 기법을 기반으로 기지국 결함 복구를 위한 체크포인팅 이중화 기법을 제안하고 성능을 분석하였다. 또한 이동 호스트의 결함 복구를 위해 체크포인트가 존재하는 기지국의 복구를 기다리는 방법과 다른 기지국의 체크포인트를 이용하는 방법의 성능을 비교 분석하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.469-471
• /
• 2004

다중 지역 이동 에이전트 컴퓨팅 시스템에서는 단일 지역으로 구성된 시스템에 비해서 호스트의 결함이나 호스트 사이의 통신 결함 발생 확률이 높아, 안정된 시스템 설계에 있어서 이동 에이전트의 결함을 검출하고 이를 복구하는 결함 포용 기법은 매우 중요한 고려 사항이다. 이동 에이전트의 안정적인 연산 수행을 보장하기 위한 기존의 결함 포용 기법들은 크게 시간적 복제 기반 기법(Temporal Replication Based Approach: TRBA)와 공간적 복제 기반 기법(Spatial Replication Based Approach: SRBA)으로 구분 지을 수 있으나, 다중 지역으로 구성된 이동 에이전트 시스템과 같은 복잡한 시스템에서는 낮은 결함 포용 비용이 요구되는 TRBA가 보다 적합하다. 그러나 기존의 TRBA에서는 이동 에이전트의 비멱등(non-idempotent) 연산 수행을 지원하기 위해 단일 수행 (exactly-once execution) 특성을 보장했지만, 이동 에이전트가 순환적 작업 경로를 가지는 연산 수행 시에는 작업을 완결하지 못하는 복귀월산 문제(comeback-skip problem)가 발생한다. 본 논문에서는 플래그와, 히스토리 필드, 파손 길드를 도입하여 복귀월산 문제를 해결하는 시간적 복제 기반 결함 포용 기법을 제안한다. 이 기법은 이동 에이전트의 다양한 작업 수행을 지원함으로써 이동 에이전트의 작업 수행 영역을 확대한다.

• International Journal of Highway Engineering
• /
• v.14 no.2
• /
• pp.55-61
• /
• 2012

Road signs are important facilities in terms of providing information to driver, they are helpful for driver's judgment as deliver it's own information. However if there is occurrence dew on the road sign because of the change of temperature and humidity, it can be cause of accidents. Therefore it is necessary to develop anti-dew or dew resistance technology. In this research the anti-dew technologies such as insulation road sign and anti-dew film were compared with normal road sign, and the effectiveness analysis was conducted for each alternatives. The quantity of dew on the road sign was check using ANOVA and Tukey HSD and the relation between the retro-reflectivity and quantity of dew on the sign was check using Pearson correlation coefficient. As a result, the sample of anti-dew film attached road sign showed lesser quantity of dew compared with normal road sign. After 90 seconds, the difference of dew quantity for anti-dew film and insulation road sign showed statistically significant result. The relation of between quantity of dew and retro-reflectivity was inverse correlation. As a result, when analyzed the quantity of dew and retro-reflectivity a point of view anti-dew effectiveness, the anti-dew film and insulation road sign showed meaningful result.

• Journal of radiological science and technology
• /
• v.38 no.1
• /
• pp.7-15
• /
• 2015

A ultrasonic probe is very important in medical ultrasonic image, but the frequency of probe defects are often. Therefore practical tools for probe based ultrasonic QA should be developed. Advanced research on the effects of the probe defects on the quality of ultrasonic images is required. This study has investigated the effects of the defects in the probe elements influence Doppler images in the medical ultrasonic scanners. Especially the defects in a set of adjacent elements(SAE) electrically disconnected influence Doppler images were tested. The results show Doppler brightness and velocity became rapidly reduced as the defected elements is located centrally, as the defected elements is activated. The more the defected elements increased, the more Doppler brightness and velocity increased. As a set of the element disconnected moved, it appeared Doppler velocity starting to decrease and then was followed by brightness. The strength is not consistent with the velocity in the number and location of the defected elements. The defects in the probe elements influence Doppler velocity when the defected elements got out of the elements activated at Doppler mode.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.11
• /
• pp.2121-2127
• /
• 2017

In this paper, we propose a computer vision based automatic defect detection method from ceramic image for non-destructive testing. From region of interest of the image, we apply brightness enhancing stretching algorithm first. One of the strength of our method is that it is designed to detect defects of images obtained from various thicknesses, that is, 8, 10, 11, 16, and 22 mm. In other cases we apply histogram based binarization algorithm. However, for 8 mm case, it may have false positive cases due to weak brightness contrast between defect and noise. Thus, we apply modified fuzzy binarization algorithm for 8 mm case. From the experiment, we verify that the proposed method shows stronger result than our previous study that used Blob labelling for all five thickness cases as expected.

• Journal of the Korean Geotechnical Society
• /
• v.34 no.4
• /
• pp.27-35
• /
• 2018

The objective of this study is to demonstrate the suitability of electromagnetic waves for evaluating necking defects in bored piles using electromagnetic waves. Experiments are conducted with small-scaled defective model pile with diameter of 150 mm and length of 270 mm. Two necking defects are generated at the upper and lower positions on two different sides of the model pile, respectively. The other two necking defects are generated at the upper and lower positions on the same side of the model pile. Electrical wires are installed alongside the stainless steel wire of a steel cage to configure a two-conductor transmission line. A time-domain reflectometer is used to generate and defect electromagnetic waves. The experimental results show that electromagnetic waves are reflected at the necking defects and the end of the model pile. In addition, calculated defect locations are almost the same as actual defect locations. This study demonstrates that electromagnetic waves can be effective tool for evaluating necking defects in bored piles.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.9
• /
• pp.2145-2152
• /
• 2013

Paper manufacturing industries have huge facilities with automatic equipments. Especially, in order to improve the efficiency of the paper manufacturing processes, it is necessary to detect the paper cutting defect effectively and to classify the causes correctly. In this paper, we review the problems of web monitoring system and web inspection system that have been traditionally used in industries for defect detection. Then we propose a novel paper cutting defect detection method based on the local binary pattern analysis and its implementation to mitigate the practical problems in industry environment. The proposed algorithm classifies the defects into edge-type and region-type and then it is shown that the proposed system works stably on the real paper cutting defect detection system.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2969-2979
• /
• 2000

A mobile host has failure causes such as failure of the mobile host, disconnection of the mobile host, and wireless link failure that have not been seen in traditional computing environments. So far there have been few studies on fault tolerance of a mobile host in mobile computing environments. The Lazy scheme, a failure recovery technique of the mobile host, is a cost-effective one. However, this scheme has a defect that the mobile host cannot be recovered from failure of the base station with acheckpoint of the mobile host. In this paper, we propose and evaluate the Redundant Lazy scheme for performance improvement of the Lazy scheme.