• International Journal of Contents
• /
• v.8 no.1
• /
• pp.16-22
• /
• 2012

In this paper we propose a method for verifying video in a video telephony system implemented in DM6446 DaVinci Processor. Each frame is categorized either error free frame or error frame depending on the predefined criteria. Human face is chosen as a basic means for authenticating the video frame. Skin color based algorithm is implemented for detecting the face in the video frame. The video frame is classified as error free frame if there is single face object with clear view of facial features (eyes, nose, mouth etc.) and the background of the image frame is not different then the predefined background, otherwise it will be classified as error frame. We also implemented the image histogram based NCC (Normalized Cross Correlation) comparison for video verification to speed up the system. The experimental result shows that the system is able to classify frames with 90.83% of accuracy.

• Geophysics and Geophysical Exploration
• /
• v.22 no.2
• /
• pp.72-79
• /
• 2019

Underwater object detection method adopting electrical resistivity technique was proposed recently, and the need of advanced data processing algorithm development counteracting various marine environmental conditions was required. In this paper, we present an improved water tank experiment system and its operation results, which can provide efficient test and verification. The main features of the system are as follows: 1) All the processes enabling real time process for not only simultaneous gathering of object images but also the electrical field measurement and visualization are carried out at 5 Hz refresh rates. 2) Data acquisition and processing for two detection lines are performed in real time to distinguish the moving direction of a target object. 3) Playback and retest functions for the saved data are equipped. 4) Through the monitoring screen, the movement of the target object and the measurement status of two detection lines can be intuitively identified. We confirmed that the enhanced physical modeling system works properly and facilitates efficient experiments.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• Journal of Korea Multimedia Society
• /
• v.17 no.11
• /
• pp.1270-1278
• /
• 2014

The modern infrared (IR) imaging systems use mainly one or more wavelength bands among short wavelength IR (SWIR), middle wavelength IR (MWIR), and long wavelength IR (LWIR) bands. In the process of IR image synthesis and modeling, IR image wavelength-band conversion which transforms arbitrary band image to other band one is required. The wavelength-band conversion procedure includes a temperature estimation process of an object surface. However, in this procedure, an approximated Planck's radiation equation causes errors in estimated temperature. In this paper, we propose an estimation temperature error attenuation method in IR image band conversion procedure. The estimated temperature is corrected with a slope information of radiance according to it. The corrected temperature is used for generation of the other band IR image. The verification of proposed method is demonstrated through the simulation.

• Korean Journal of Optics and Photonics
• /
• v.2 no.1
• /
• pp.1-6
• /
• 1991

This paper describes the theoretical analysis of a diffraction pattern analyzer for the characterization of microscale object fields and a method for obtaining size and size distribution from the measured diffraction pattern of the object fields. For the experimental verification, a typical optical Fourier transform system was set up and calibrated with 2 5$\mu \textrm m$ and 50$\mu \textrm m$ pinholes. The system responses to distilled water droplets, alcohol, glycerin and silicon oil were imaged with vidicon, and the image was processed to determine the size distribution of each liquid particle field. The energy distribution function which is defined as the total intensity of a circular ring in the diffraction pattern was used to determine the dominant particle size of each liquid particle field.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.50-59
• /
• 2009

There are two main problems in the current PLC ladder programming practices: First, currently there are no widely adopted systematic design methods to deal with PLC based control systems in the shop floor. So, the control logic design phase is usually omitted in current PLC programming development life cycle. Second, PLC ladder logic provides only microscopic view of system processes. As a result, it is difficult for FA engineers to have overall perspectives about the interaction of system components intuitively during the verification step of logic errors. To solve these problems, this paper proposed object-oriented design and automatic generation method of PLC ladder logic. Based on the proposed method, the computer software to assist the automatic ladder logic generation is also developed.

• Journal of Advanced Navigation Technology
• /
• v.27 no.5
• /
• pp.685-689
• /
• 2023

The proposed system in the study aims to detect forest fires in real-time stream data received from the drone-camera. Recently, the number of wildfires has been increasing, and also the large scaled wildfires are frequent more and more. In order to prevent forest fire damage, many experiments using the drone camera and vision analysis are actively conducted, however there were many challenges, such as network speed, pre-processing, and model performance, to detect forest fires from real-time streaming data of the flying drone. Therefore, this study applied image data processing works to capture five good image frames for vision analysis from whole streaming data and then developed the object detection model based on YOLO_v2. As the result, the classification model performance of forest fire images reached upto 93% of accuracy, and the field test for the model verification detected the forest fire with about 70% accuracy.

• Asia pacific journal of information systems
• /
• v.7 no.2
• /
• pp.163-183
• /
• 1997

As object models and hybrid knowledge are increasingly used in current information systems development, Is-a structures need to be more formally defined, and subsequently subsumption related anomalies need to be detected with minimal declaration of meta knowledge. This paper extends a metagraph in the hybrid environments and demonstrates its utilities for detecting such anomalies that can occur from semantics and dynamics unique to the hybrid knowledge and data structure.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.8
• /
• pp.41-53
• /
• 1993

The tasks which detect and track moving objects, by analyzing dynamic images taken at a constant time interval, are essential in various applications. This paper suggests how to utilize domain-specific knowledge and motional knowledge for detecting and tracking moving objects. That is, The trajectory information of a moving object is to be used for generating hypotheses on expected motion and expected position of moving objects, and the domain-specific knowledge is to be used for verifying the generated hypotheses.