• International Journal of Contents
• /
• 제8권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.

• 지구물리와물리탐사
• /
• 제22권2호
• /
• pp.72-79
• /
• 2019

최근 전기비저항 탐사의 정밀 계측기술을 활용한 수중 물체 탐지방법이 제시되었고, 변화하는 해양환경에 대응할 수 있는 자료처리 기술 고도화 연구의 필요성이 제기되었다. 이 연구에서는 효율적인 실험과 검증을 위한 개선된 축소모형실험 시스템과 그 운용 결과를 제시한다. 이 시스템은 다음과 같은 특징을 가진다. 1) 실시간 실험영상과 계측자료의 동시 수집 및 분석과 같은 모든 프로세스가 5 Hz의 속도로 이루어진다. 2) 두 개 탐지선 자료의 실시간 계측 및 처리로 수중물체의 이동방향 파악이 가능하다. 3) 저장된 자료를 이용한 반복실험이 가능하여 획득된 자료의 다각도 반복분석이 가능하다. 4) 모니터링 화면을 통해 수중물체가 이동하는 모습과 두 탐지선 자료를 동시에 직관적으로 파악 가능하다. 개선된 시스템을 이용한 실험 결과, 모든 시스템이 정상 작동하고 효율적 실험이 가능함을 확인하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• 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)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.579-581
• /
• 1998

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

• 한국멀티미디어학회논문지
• /
• 제17권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.

• 한국광학회지
• /
• 제2권1호
• /
• pp.1-6
• /
• 1991

회절현상을 이용하여 복수 미세 입자의 특성 측정을 위한 격자형의 검지기를 사용한 데이터 처리방식을 제안하고 이에 따른 광학 및 신호처리 시스템을 구성하였다. 에너지 분포함수의 최대치와 최소치를 이용하여 같은 분무기로 분무된 증류수, 알코올, 실리콘 오일, 글리세린 등의 분포를 측정했는데 최대치와 최소치에 의해 구한 입자의 크기가 서로 잘 일치하였다.

• 한국CDE학회논문집
• /
• 제14권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.

• 한국항행학회논문지
• /
• 제27권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
• /
• 제7권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.

• 전자공학회논문지B
• /
• 제30B권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.