• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.382-385
• /
• 2008

본 논문은 게임 풀이를 통해서 모델 체킹 도구의 특징을 분석한다. 도망자-추적자 게임은 격자 모양의 미로에서 도망자가 추적자를 따돌리고 탈출하는 게임이다. 도망자가 격자 상에서 한 칸 움직일 때, 추적자는 일정한 패턴을 가지고 두 칸 움직인다. 이 문제를 SMV와 SPIN 모델 체커로 모델링하고 검증하는 과정을 통해서 SMV와 Spin 모델 체커의 특징을 분석한다. 실험을 통해서 우리는 최단 경로를 찾을 경우는 SMV 모델 체커를 사용해야 하고, 가능한 경로를 빨리 찾는 경우는 Spin 모델 체커가 더 적합함을 확인할 수 있었다.

• Information and Communications Magazine
• /
• v.32 no.11
• /
• pp.21-31
• /
• 2015

현대 사회에서의 삶의 모습이 다양해짐에 따라 생활습관이 다양해지고 잘못된 생활습관으로 인한 생활습관병에 대한 관심이 높아지고 있다. 본 논문에서는 사물인터넷 및 빅데이터와 같은 IT기술을 통해 사용자의 다양한 생활습관을 추적할 수 있는 방법과 그 응용 기술에 대해서 소개하고자 한다. 이러한 생활습관 추적 및 분석 기술은 다양한 사용자의 요구에 능동적으로 대처할 수 있으며 노약자나 장애인, 생활습관병 환자 등 특수계층의 건강 예측, 질병 관리 분야에서 실효성을 가질 수 있다. 특히 본 논문에서는 라이프케어 서비스를 위한 사용자 센싱 기술에 초점을 두고, 낮 시간의 활동과, 밤 시간의 수면 및 위치 기반 기술, 빅데이터 플랫폼, 스마트 홈 패턴 모델링 기술에 대해서 소개한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1793-1799
• /
• 2006

생산자 폐기 책임 규제 강화로 인하여, 제조업 영역이 제품 제조(BOL) 뿐만 아니라 사용, 보수(MOL)와 폐기(EOL)까지 확장 수명주기로 확대 되고 있다. 또한 EOL상에서 개별 제품에 대한 제품 복원 관리 시스템 (PRMS: Product Recovery Management System)에 관한 연구가 활발히 진행 되고 있다. 그러나 BOL, MOL과 EOL간의 정보 단절 문제, MOL상의 정보를 저장하고 사용할 수 없었던 문제는 EOL관리의 자동화를 저해한 큰 요인이다. 최근 유비쿼터스 기술의 발달로 개별 제품 추적이 가능해 졌지만, EOC 등의 식별부호(ID)만으로는 PRMS에 필요한 제품 정보를 얻을 수 없다. 본 논문에서는 제품 ID로부터 MOL상의 정보를 연결하고, 국제표준 기반 정보모델을 이용하는 PRMS를 개발한다. 이를 위해: (1) PRMS에 필요한 정보를 국제표준(ISO10303-239 등)을 기반으로 모델링하고, (2) 제품 ID를 통해 MOL상의 정보를 수집하여 제품 복원에 대한 의사결정을 수행할 수 있는 PRMS를 설계하고, (3) 시제품 구현을 통해 제안된 데이터 모델 및 시스템의 유효성을 검증한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.2
• /
• pp.344-352
• /
• 2003

An effective algorithm for implementation of which detects moving object from image sequences. predicts the direction of it. and drives the camera in real time is proposed. In static camera, for robust motion detection from a dynamic background scene, the proposed algorithm performs statistical modeling of moving objects and background, and trains the statistical modeling of moving objects and background, and trains the statistical feature of background with the initial parts of sequence which have no moving objects. Active camera moving objects are segmented by following procedure, an improved order adaptive lattice structured linear predictor is used. The proposed algorithm shows robust object tracking results in the environment of static or active camera. It can be used for the unmanned surveillance system, traffic monitoring system, and autonomous vehicle.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.2
• /
• pp.118-128
• /
• 2012

The goal of this paper is to design the target tracking controller for a quadrotor micro UAV using a vision sensor. First of all, the mathematical model of the quadrotor was estimated through the Prediction Error Method(PEM) using experimental input/output flight data, and then the estimated model was validated via the comparison with new experimental flight data. Next, the target tracking controller was designed using LQR(Linear Quadratic Regulator) method based on the estimated model. The relative distance between an object and the quadrotor was obtained by a vision sensor, and the altitude was obtained by a ultra sonic sensor. Finally, the performance of the designed target tracking controller was evaluated through flight tests.

• Journal of Internet Computing and Services
• /
• v.7 no.1
• /
• pp.65-74
• /
• 2006

Human tracking is a requirement for the advanced human-computer interface (HCI), This paper proposes a method which uses a component-based human model, detects body parts, estimates human postures, and animates an avatar, Each body part consists of color, connection, and location information and it matches to a corresponding component of the human model. For human tracking, the 2D information of human posture is used for body tracking by computing similarities between frames, The depth information is decided by a relative location between components and is transferred to a moving direction to build a 2-1/2D human model. While each body part is modelled by posture and directions, the corresponding component of a 3D avatar is rotated in 3D using the information transferred from the human model. We achieved 90% tracking rate of a test video containing a variety of postures and the rate increased as the proposed system processed more frames.

• Information and Communications Magazine
• /
• v.28 no.4
• /
• pp.35-40
• /
• 2011

본고에서는 지능형 국방 감시시스템에 적용할 수 있는 핵심 기술인 PTZ(Pan-Tilt-Zoom) 네트워크 카메라를 이용한 액티브 객체 추적 및 객체 특성 분석 기법을 소개한다. 본고에서 소개하는 기법은 기존의 적응적 배경 모델링 기반의 객체 검출에서 발생하는 고스트 현상을 제거하고 정지객체를 안정적으로 추적할 수 있는 방법과 PTZ 카메라의 Panning, Tilting, Zooming을 통하여 카메라의 FOV를 지속적으로 추적하기 위한 카메라 이동 위치 예측 알고리즘을 포함하고 있다. 본고에서는 또한, 지능형 감시시스템의 한 종류로서 일반인이 통행할 수 있는 구역에서 출입자의 의상 특성을 분석하여 비인증 출입자를 검출하는 방법과 추적하는 객체가 차량일 경우, 차량의 종류를 자동 분류하는 기법을 소개한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2016.11a
• /
• pp.47-50
• /
• 2016

객체를 추적하는 기술은 컴퓨터 비전 분야에서 활발히 연구되고 있는 분야 중 하나이다. 그 중 고정된 단일 카메라를 이용한 객체 추적 기술은 비디오 감시(Surveillance) 등에서 활용되고 있다. 고정된 카메라 환경에서 객체를 추적하는 방법 중 배경 모델링(Background Modeling)을 이용한 방법은 간단하면서도 널리 사용되는 방법 중 하나이다. 객체의 움직임이나 특징을 분석하여 배경 모델을 생성한 후 배경 정보를 이용하여 전경을 분리하면 쉽게 객체를 추출할 수 있다. 그러나 객체의 움직임이 적은 경우 해당 영역에서의 배경 모델은 정확하게 생성될 수 없다. 배경 모델을 학습하는 동안 객체가 충분이 움직이면 이런 문제를 해결할 수 있으나 객체가 움직이기 전까지는 오류가 지속된다. 이런 문제를 해결하기 위해 본 논문에서는 인페인팅(Inpainting)을 이용하여 움직임이 적은 영역을 보정하여 정확한 배경 모델을 생성하는 방법을 제안한다. 배경 모델을 생성한 후 객체로 식별할 수 있는 후보 영역을 식별한다. 선정된 영역들 중 사용자가 객체로 판단되는 영역을 선택하여 해당 영역에 대해 인페인팅으로 화소값 및 가중치들을 보정한다. 보정된 영상으로 배경 모델링을 수행하면 움직임이 적은 영역에 대해서도 효과적으로 배경 모델을 생성 할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.488-491
• /
• 2012

최근 카메라 센서 및 알고리즘의 발달로 엔터테인먼트 목적의 영상 시스템을 비롯한 공정 기술, 교육 및 의료 등 다양한 목적의 영상 시스템이 개발 되고 있다. 또한 범죄 예방, 사고 상황 인식을 위한 감시 영상 시스템의 연구도 활발히 진행되고 있다. 본 논문에서는 이상 상황 인식을 위한 지능형 교통 시스템에 대해 제안하고자 한다. 제안하는 시스템은 크게 학습 과정과 이상 상황 인식 과정으로 나누어진다. 학습 과정에서는 CCTV와 같은 정적인 카메라에서 촬영된 도로 교통 영상에서 이동 객체의 특징을 추출하고 이를 추적하여 특징 벡터를 구성한다. 구성된 특징 벡터들은 클러스터링 기법을 통해 장면을 모델링하는데 이용되며 최종적으로 이 모델을 이용해 실시간으로 도로 교통 영상에서 이상 상황을 인식할 수 있게 된다. 실험을 통한 성능 평가를 통해 시스템의 우수함을 확인 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.49-52
• /
• 2003

본 논문에서는 실시간 감시 시스템의 응용분야를 위한 백그라운드 모델링과 업데이트 그리고 오브젝트 추출 시스템을 설계 구현한다. 일반적인 감시 시스템은 백그라운드의 모델링(background modeling)과 오브젝트의 검출(object detection), 오브젝트의 추적(tracking)으로 구성된다. 실시간 감시시스템을 가능하게 하기 위해서는 작은 시간 복잡도(low time complexity)로 백그라운드와 오브젝트를 검출할 수 있어야 하고 실외환경(outdoor)의 노이즈(noise)를 반영할 수 있어야 한다. 기존에는 빠른 백그라운드 모델링을 위해 분산, 평균, 최빈값 등을 사용한 연구들이 있었다. 이러한 방법들은 빠른 수행 속도를 보장하지만 노이즈를 오브젝트로 검출하는 문제점이 있다. 또 다른 연구 분야인 메디안(median) 검출 방법은 실외환경에 존재하는 노이즈 반영에 적합한 반면, 정렬(sorting) 연산에 많은 시간이 소요된다. 본 논문은 윈도우(Window) 기반의 러닝 윈도우 리스트(Running Window List)를 이용하여 메디안 정렬 시간을 최소화하고 실시간으로 백그라운드 모델링, 오브젝트 검출, 백그라운드 업데이트를 할 수 있는 방법을 제안한다.