• Journal of Information Processing Systems
• /
• 제12권2호
• /
• pp.214-225
• /
• 2016

Global value numbering (GVN) is a method for detecting equivalent expressions in programs. Most of the GVN algorithms concentrate on detecting equalities among variables and hence, are limited in their ability to identify value-based redundancies. In this paper, we suggest improvements by which the efficient GVN algorithm by Gulwani and Necula (2007) can be made to detect expression equivalences that are required for identifying value based redundancies. The basic idea for doing so is to use an anticipability-based Join algorithm to compute more precise equivalence information at join points. We provide a proof of correctness of the improved algorithm and show that its running time is a polynomial in the number of expressions in the program.

• 한국농공학회논문집
• /
• 제60권6호
• /
• pp.21-31
• /
• 2018

The result of examination of diagnostic method, which is composed of a combination of a thermal camera and a drone that visually shows the temperature of the object by detecting the infrared rays, for detecting the leakage of earth dam was driven in this research. The drone infrared thermography method was suggested to precise safety diagnosis through direct comparing the two method results of electrical resistivity survey and thermal image survey. The important advantage of the thermal leakage detection method was the simplicity of the application, the quickness of the results, and the effectiveness of the work in combination with the existing diagnosis method.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 추계학술대회 논문집
• /
• pp.771-774
• /
• 2000

Coiling processes of filaments need precise work and standardization. It is important to maintain equal pitch of filaments. Uniform pitch of filaments is one of the dominant elements of life time and efficiency of bulbs. First coiling process of filament wires is modeled by nonlinear contact problem between filaments and mandrel. Analysis of coiling process using finite element method is conducted to consider manufacturing parameters and pitch distance is calculated under the given conditions. Also image detecting system is developed to inspect uniformity of pitch. This system will be used to inspect quality of filaments during coiling processes.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.520-523
• /
• 2008

최근까지 전자정보산업의 발달로 자동 초음파검사 하드웨어는 갈수록 경량화 되어 가고 있고, 소프트웨어는 다양한 최신 이미지 처리 기법이 적용되어 정확한 결함 위치 및 크기 측정이 가능하도록 연구되어지고 있다. 본 논문에서는 원전 배관 자동 검사에 최적화된 시스템을 구성하기 위해 배관자동 초음파 검사 시스템을 제안하고, 시스템 설계를 위해 소프트웨어의 데이터 흐름과 일반적인 구성에 대해서 기술한다.

• Structural Engineering and Mechanics
• /
• 제75권5호
• /
• pp.585-594
• /
• 2020

Detecting the damage of indeterminate trusses is of major importance in the literature. This paper proposes a quick approach in this regard, utilizing a precise mathematical approach based on Finite Element Method. Different to a general two-step method defined in the literature essentially based on optimization approach, this method consists of three steps including Damage-Suspected Element Identification step, Imminent Damaged Element Identification step, and finally, Damage Severity Detection step and does not need any optimizing algorithm. The first step focuses on the identification of damage-suspected elements using an index based on modal residual force vector. In the second step, imminent damage elements are identified among the damage-suspected elements detected in the previous step using a specific technique. Ultimately, in the third step, a novel relation is derived to calculate the damage severity of each imminent damaged element. To show the efficiency and quick function of the proposed method, three examples including a 25-bar planar truss, a 31-bar planar truss, and a 52-bar space truss are studied; results of which indicate that the method is innovatively capable of suitably detecting, for indeterminate trusses, not only damaged elements but also their individual damage severity by carrying out solely one analysis.

• 정보보호학회논문지
• /
• 제13권2호
• /
• pp.99-106
• /
• 2003

네트워크 환경에서의 다양한 침입은 심각한 위험을 초래 할 수 있기 때문에 침입을 효과적으로 탐지하기 위해 데이터마이닝 기법을 발전시켜 왔다. 비정상행위 탐지 기술은 순수 데이터로 학습한 후, 비정상행위를 탐지하기 때문에 정교한 정상행위 패턴 생성이 필수적이다. 순수한 학습 데이터의 생성은 시간과 비용이 많이 드는 단점이 있다. 따라서 네트워크 상의 데이터에 대한 특징을 파악하는 것이 중요하다. 본 논문에서는 데이터마이닝의 연관규칙 및 클러스터링기법을 비정상행위 탐지에 적용하였고, 패킷내의 판정 요소에 정보이론 척도를 적용하여 불필요한 데이터를 필터링하는 방법을 제시하였다. 또한 가변길이 트랜잭션을 네트워크상의 분석 단위를 정의하는 기준으로 제시하여 행위 패턴 생성에 보다 묘사성이 높음을 보였다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제22권6호
• /
• pp.928-934
• /
• 1998

This paper describes a fully digitalized driver for BLDC motors which is realized by a single chip microprocessor. The speed change can be done by using the signal obtained from the position detecting sensor and adjusting the pulse width at the input channel of power module. In order to establish a speed control system a repetitive control method is adopted to track a periodic refer-ence change in the BLDC motor system. The experimental results show accurate reference track-ing performance under the given periodic reference in the repetitive controller design.

• 응용통계연구
• /
• 제3권1호
• /
• pp.27-46
• /
• 1990

본 연구는 현행 작성되는 주요 통계를 분석하여 문제점을 제기하였고, 標本調査 실시를 위한 效率的標本設計를 위하여 基本原則을 제안함과 동시에 誤差發生의 原因과 管理를 위한 原則을 제시하였다. 또한 統計報告書形式을 標準化함으로써 統計利用者의 便益과 信賴性을 제고시키려고 하였다.

• 한국지리정보학회지
• /
• 제24권3호
• /
• pp.32-40
• /
• 2021

지하정보는 육안으로 확인이 어려워 안전사고가 발생할 경우 큰 사고로 이어질 수 있다. 최근 국토교통부는 「지하안전관리에 관한 특별법」 재정을 통해 지하매설물의 노후화 또는 파손으로 인해 발생하는 안전사고를 줄이고자 한다. GPR은 육안으로 확인이 어려운 지하공간의 정보를 습득하는 기술로 활용이 많아지고 있다. 그러나 GPR의 위치정보는 탐사 중 습득된 GPS 정보와 영상을 확인하여 보정한다. 이 방식은 평균 오차가 2m 정도 발생한다. 따라서 평면오차를 감소시킬 방안으로 LiDAR를 통한 보정법을 제시했다. 또한 제시된 방법을 활용하여 GPR정보를 보정하였다. 그 결과 오차가 최소 7cm에서 최대 40cm 수준으로 감소하는 것을 볼 수 있었다. 향후 수집된 정확도 높은 GPR 정보를 AI 등을 활용하여 신속하게 분석한다면 현재보다 더 빠르게 지하정보를 수집하고 활용하여 안전을 확보할 수 있을 것이다.

• Imaging Science in Dentistry
• /
• 제51권3호
• /
• pp.237-242
• /
• 2021

Purpose: The aim of this study was to analyse and review deep learning convolutional neural networks for detecting and diagnosing early-stage dental caries on periapical radiographs. Materials and Methods: In order to conduct this review, the Preferred Reporting Items for Systematic Reviews and Meta-Analyses(PRISMA) guidelines were followed. Studies published from 2015 to 2021 under the keywords(deep convolutional neural network) AND (caries), (deep learning caries) AND (convolutional neural network) AND (caries) were systematically reviewed. Results: When dental caries is improperly diagnosed, the lesion may eventually invade the enamel, dentin, and pulp tissue, leading to loss of tooth function. Rapid and precise detection and diagnosis are vital for implementing appropriate prevention and treatment of dental caries. Radiography and intraoral images are considered to play a vital role in detecting dental caries; nevertheless, studies have shown that 20% of suspicious areas are mistakenly diagnosed as dental caries using this technique; hence, diagnosis via radiography alone without an objective assessment is inaccurate. Identifying caries with a deep convolutional neural network-based detector enables the operator to distinguish changes in the location and morphological features of dental caries lesions. Deep learning algorithms have broader and more profound layers and are continually being developed, remarkably enhancing their precision in detecting and segmenting objects. Conclusion: Clinical applications of deep learning convolutional neural networks in the dental field have shown significant accuracy in detecting and diagnosing dental caries, and these models hold promise in supporting dental practitioners to improve patient outcomes.