• 제목/요약/키워드: object verification

검색결과 308건 처리시간 0.031초

실시간 고압축 MPEG-4 부호화를 위한 비디오 객체 분할과 프레임 전처리 (Video object segmentation and frame preprocessing for real-time and high compression MPEG-4 encoding)

  • 김준기;이호석
    • 한국통신학회논문지
    • /
    • 제28권2C호
    • /
    • pp.147-161
    • /
    • 2003
  • 비디오 객체 분할(Video Object Segmentation)은 MPEG-4 부호화의 핵심기술로 실시간 요구사항을 위해 빠르고 정확하여야 한다. 그러나 대부분의 존재하는 알고리즘은 계산량이 많으며 실시간 응용을 위해 적합하지 않다. 또한 이전 MPEG-4 VM(Verification Model) 기본 모델은 MPEG-4 부호화 처리를 위한 기본 알고리즘을 제공하였으나 실시간 요구사항을 위한 카메라 입력 시스템, 실용적인 소프트웨어 개발, 비디오 객체 분할 그리고 압축효율에 많은 제한이 있다. 이에 본 논문은 기본 MPEG-4 VM모델에 내용 기반 비디오 코딩의 핵심인 VOP 추출알고리즘, 실시간 카메라 입력 시스템, 압축율을 높일 수 있는 움직임 감지 알고리즘을 추가하여 최대 180:1의 압축율을 보여주는 실시간 고압축 MPEG-4 전처리 시스템을 개발하였다.

Edge와 GHT를 이용한 증거물 검색 시스템 (Evidence Retrieval System using Edge and Generalized Hough Transform)

  • 황혜정;채옥삼
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2003년도 신호처리소사이어티 추계학술대회 논문집
    • /
    • pp.233-236
    • /
    • 2003
  • In this paper, we propose a method to search the evidence such as a knife found in the crime scene based on GHT from an image database Such objects like knives are simitar in shape. The proposed method utilizes the small shape differences among objects as much as possible to distinguish an object from similar shaped objects. It consists of the GHT based candidate generation and top-down candidate verification. For the fast generation of the candidate 1ist, the GHT operation is performed un the down sampled edge list. The test results show that it can retrieve the correct object even with a pan of object in reasonable time.

  • PDF

도로 상황인식을 위한 배경 및 로컬히스토그램 기반 객체 추적 기법 (Background and Local Histogram-Based Object Tracking Approach)

  • 김영환;박순영;오일환;최경호
    • Spatial Information Research
    • /
    • 제21권3호
    • /
    • pp.11-19
    • /
    • 2013
  • 도로에서 발생되는 차량간 충돌사고, 교통 소통 상황, 보행자 사고 등 다양한 도로 상황을 모니터링 및 자동으로 인식하여 교통정보를 제공하거나 긴급구난 서비스를 제공하기 위한 다양한 기술이 개발되고 있다. 도로 모니터링을 통한 다양한 객체 추적 및 상황인식을 위해서는 잡음 및 겹침 등에 강인한 객체 추적 기술이 요구된다. 본 논문에서는 외부 환경에서 Background Subtraction, LK-Optical Flow, 지역 기반 히스토그램 특징의 결합을 통해 추적을 위한 몇 가지 추정 인자를 생성하고 이를 통해 변화가 있는 객체, 잡음에도 비교적 강인한 추적 방법을 제안한다. 구체적으로는 객체의 초기 움직임 정보를 검출하기 위해 옵티컬 플로우를 적용하여 컬러 정보 및 밝기 변화에 무관한 이동 정보를 측정한다. 측정된 정보를 기반으로 하여 지역 히스토그램 기반 검증을 통해 신뢰도를 판단한다. 신뢰도가 낮을 경우 배경 제거 정보와 지역 히스토그램 트래커의 정보를 혼합하여 새로운 위치를 추정한다. 실험을 통해 제안된 기법이 객체를 추적하고 있는 도중 나타날 수 있는 충돌, 새로운 특징의 등장, 크기 변화 상황에 강인하게 동작함을 제시한다.

UML 다이어그램의 정확성 검증을 위한 메타모델과 OCL로 명세한 검증규칙 (Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams)

  • 하일규;강병욱
    • 정보처리학회논문지D
    • /
    • 제10D권6호
    • /
    • pp.971-982
    • /
    • 2003
  • 다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

제약 언어를 이용한 객체 모델 검증시스템 (An Object Model Verification System based on the Constraint Language)

  • 김진수;강권학;이경환
    • 한국정보처리학회논문지
    • /
    • 제3권6호
    • /
    • pp.1453-1467
    • /
    • 1996
  • 소프트웨어를 개발하는 과정은 일련의 다양한 모델을 구축하는 과정이라고 할 수 있다. 그러나 개발자들이 작성된 모델을 검증할 수 있는 적당한 방법이 없었다. 기존 의 검증 도구들은 주로 구현 단계에서 사용되고 있으나 본 논문에서는 이러한 검증 도구의 원리를 개발의 초기 단계인 분석 단계에 적용해 보았다. 본 논문에서는 기존 의 객체 모델링 방법론에서 제시하였던 지침들 뿐만 아니라 시스템의 개발자가 객체 모델에 대해서 규정하고자 하는 지침들까지도 제약으로서 표현할 수 있는 제약 언어 를 정의하였다. 정의된 제약 언어를 이용하여 객체 모델 작성기에 의해 생성된 객체 모델의 품질 및 일관성을 향상할 수 있는 검증시스템을 구축하였다.

  • PDF

Eye Perception Difference Between the Conservative and the Liberal : Verification of Personal Tendency using Eye-tracking Machine

  • Kwon, Mahnwoo
    • 한국멀티미디어학회논문지
    • /
    • 제24권8호
    • /
    • pp.1171-1177
    • /
    • 2021
  • Measuring and evaluation of audience's visual message perception are crucial process for scientific production of visual content. This study tried to evaluate the difference of viewer's awareness of visual object depends on his or her inherent characteristics like conservatism using an eye tracker system. Especially, this experiment tested research questions about positive correlation between conservatism and peoples' eye movements following the sound visual messages. 57 subjects participated in the test. Two different groups were exposed to two visual elements representing 'the conservative' and 'the liberal'. The results showed that people tended to have different way of seeing visual objects according to their inherent characteristics. Also by comparing the gaze time at the object and area of interest(AOI) in visual, this study is able to verify the existence of 'positive way of seeing' and 'negative way of seeing'. The two different ways of seeing have their own trail of eye movement.

미기상해석모듈 출력물의 정확성에 대한 객체기반 검증법: 한반도 풍속예측모형의 정확성 검증에의 응용 (An Object-Based Verification Method for Microscale Weather Analysis Module: Application to a Wind Speed Forecasting Model for the Korean Peninsula)

  • 김혜중;곽화륜;김상일;최영진
    • 응용통계연구
    • /
    • 제28권6호
    • /
    • pp.1275-1288
    • /
    • 2015
  • 미기상해석모듈(microscale weather analysis module)은 복사에너지, 열, 습도 등의 순환을 시-공간적으로 세밀하게 설명하고 모의실험 할 수 있도록 개발한 초고분해능($1km{\times}1km$ 이내)의 기상모델이다. 본 논문은 미기상해석모듈의 정확성을 시공간적으로 검증할 수 있도록 고안한 객체기반 검증법을 제안한다. 이 검증법은 통계그래픽을 사용하는 시각적인 방법이며, 미기상해석모듈의 평가통계출력장 구축단계, 객체식별 및 병합단계, 모듈의 정확성 검증단계로 이루진다. 이를 위해 두 가지 통계를 사용하여 삼차원의 평가통계출력장을 구축하였고, 구축된 출력장에서 정의되는 시계열통계들에 대해 합성(convolution), 가면화(masking) 및 병합작업(merging)을 시행하여 출력장에서 모듈검증대상 지역인 객체를 식별하는 알고리즘을 개발하였다. 또한, 사례연구를 통해 제안된 객체기반 검증법의 유용성을 보였다.

An Algebraic Approach to Validation of Class Diagram with Constraints

  • Munakata, Kazuki;Futatsugi, Kokichi
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2002년도 ITC-CSCC -2
    • /
    • pp.920-923
    • /
    • 2002
  • In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

  • PDF

자동검사 시스템을 위한 컴퓨터 비젼의 연구 (An Automatic Inspection System Using Computer Vision)

  • 장동식
    • 산업공학
    • /
    • 제4권2호
    • /
    • pp.43-51
    • /
    • 1991
  • A line search method is developed to locate all the conerpoints of 2-dimensional polygon images for inspection purposes. This optimization-based method is used to approximate a 2-D curved object by a polygon. This scheme is also developed for inspection of objects in industrial environment. The inspection includes dimensional verification and pattern matching which compares a 2-D image of an object to a pattern image. The method proves to be computationally efficient and accurate for real time application.

  • PDF

가변 변수와 검증을 이용한 개선된 얼굴 요소 검출 (Improved Facial Component Detection Using Variable Parameter and Verification)

  • 오정수
    • 한국정보통신학회논문지
    • /
    • 제24권3호
    • /
    • pp.378-383
    • /
    • 2020
  • Viola & Jones의 객체 검출 알고리즘은 얼굴 요소 검출을 위한 매우 우수한 알고리즘이지만 변수 설정에 따른 중복 검출, 오 검출, 미 검출 같은 문제들이 여전히 존재한다. 본 논문은 Viola & Jones의 객체 검출 알고리즘에 미 검출을 줄이기 위한 가변 변수와 중복 검출과 오 검출을 줄이기 위한 검증을 적용한 개선된 얼굴 요소 검출 알고리즘을 제안한다. 제안된 알고리즘은 잠재적 유효 얼굴 요소들을 검출할 때까지 Viola & Jones의 객체 검출의 변수 값을 변화시켜 미 검출을 줄이고, 검출된 얼굴 요소의 크기, 위치, 유일성을 평가하는 검증을 이용해 중복 검출과 오 검출들을 제거시켜 준다. 시뮬레이션 결과들은 제안된 알고리즘이 검출된 객체들에 유효 얼굴 요소들을 포함시키고 나서 무효 얼굴 요소들을 제거하여 유효 얼굴 요소들만을 검출하는 것을 보여준다.