• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2009년도 학술대회
• /
• pp.502-507
• /
• 2009

본 논문에서는 실시간 포토 모자이크 생성을 위한 이미지 집합 최적화 기법을 소개한다. 포토 모자이크 기법은 작은 포토 이미지를 사용하여 한 장의 큰 사진을 완성하는 기법으로 이미지를 일정한 영역의 셀로 분할한 후 각 셀 영역을 색상, 모양, 무늬 등에서 적합한 이미지로 대체한다. 큰 사진을 구성하는 이미지에 필요한 다양한 패턴을 얻기 위해서는 많은 양의 포토 타일 이미지가 필요하게 된다. 많은 양의 포토 이미지는 이미지 패턴 검색 시간을 오래 걸리게 하고, 이미지 저장을 위해 많은 리소스를 필요로 한다. 이러한 제약은 실시간 처리나 리소스의 제한이 있는 휴대용 기기에서의 포토 모자이크의 적용을 힘들게 한다. 본 논문에서는 패턴 검색 시간 향상과 메모리 요구 최소화를 위해 유전 알고리즘 활용하여 전체 이미지 데이터베이스에서 가장 특징이 있는 이미지를 선별하여 작은 이미지 집합을 구축한다.

• 한국컴퓨터정보학회논문지
• /
• 제23권2호
• /
• pp.9-16
• /
• 2018

Recently, as various IP set-top boxes based on Android OS have been widely used in general households and public facilities, complaints about services and set-top boxes have continued to increase as much as other smart devices. In order to reduce this problem, the manufacturer performs the testing work before the product is commercialized. However, the testing can reduce potential defects in the product, but it can not prove that the product is free of defects. Therefore, the quality of the product can vary depending on how effective testing techniques are introduced. In this paper, we propose a new exploratory testing method that minimizes test case creation time and makes it easier to plan and execute test while simultaneously learning how to run the product under test. Using the first proposed method, the test time is reduced by about 16.7 hours and the defect detection rate is 25.4% higher than the formal specification-based testing method. Informally, the test time was shortened by about 4.7 hours and the defect detection rate was 13% higher than the informal experience-based testing method.

• 한국컴퓨터산업학회논문지
• /
• 제2권7호
• /
• pp.923-932
• /
• 2001

본 논문에서는 멀티미디어 데이터들로 구성된 부정확한 실시간 태스크 집합들을 여러 가지 인자들을 사용하여 생성하고 생성된 부정확한 실시간 태스크 집합의 스케줄가능성을 이 태스크 집합의 실행 이전에 분석할 수 있는 알고리즘을 제안하였다. 또한 태스크 집합의 생성 시 사용된 인자들의 값의 변화에 따른 태스크 집합의 스케줄가능성도 살펴보았다. 실험결과에 의하면 태스크들의 필수적 부분들의 실행요구시간이 커질수록 그리고, 임의의 시점에서 스케줄 될 수 있는 태스크들의 개수가 많아질수록 태스크집합의 스케줄가능성은 희박해진다는 것이 입증되었다. 본 논문에서 제시된 스케줄가능성 분석 알고리즘은 멀티미디어 데이터들의 005 서비스에서 유용하게 활용될 것으로 기대된다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제23권4호
• /
• pp.339-345
• /
• 2016

The set of priors in the representation of Choquet expectation is expressed as the one of equivalent martingale measures under some conditions. We show that the set of priors, $\mathcal{Q}_c$ in (1.1) is the same set of $\mathcal{Q}^{\theta}$ in (1.3).

• 융합정보논문지
• /
• 제8권1호
• /
• pp.173-177
• /
• 2018

본 연구는 완전 몰입형 가상현실 게임을 통하여 완전 몰입형 가상현실 동작과 실제 동작에서의 근수축 개시시간을 비교 하여 보고자 한다. 정상성인 30명을 대상으로 가상현실 동작(펀치, 활쏘기)과 실제 동작(펀치, 활쏘기)에서의 근수축 개시시간을 비교하여 보았다. 본 연구 결과 가상현실 동작과 실제 동작에서의 근수축 개시시간에는 유의한 차이가 없었다(p>0.05). 본 연구를 통하여 물리치료와 완전 몰입형 가상현실을 융합하여 새로운 완전 몰입형 가상현실 콘텐츠를 개발 하여 물리치료에 적용 할 수 있을 것으로 생각되며, 다양한 치료 방법이 개발 될 것으로 보인다. 또한 추후 연구에서 뇌졸중 환자를 대상으로 완전 몰입형 가상현실을 적용하여 치료에 적용 할 수 있을지 알아볼 필요가 있다.

• 정보처리학회논문지D
• /
• 제11D권7호
• /
• pp.1349-1356
• /
• 2004

데이터 마이닝을 요구하는 전자상거래, 전자정부와 관련된 문서 처리 시스템 등에서 XML 문서의 버전 관리에 대한 관심이 높아지고 있다. 본 논문에서는 대량의 XML 문서를 장기적으로 유지하면서 XML 문서의 이력 정보를 효율적으로 관리하기 위하여, XML 버전을 생성하는 변경 집합을 정의하고 변경 집합을 이용한 XML 문서의 저장 방법을 제안한다. 변경 집합은 변경 연산집합과 시간지원 차원을 포함하고 있으며, 변경 연산 집합은 스키마 변경 연산과 데이터 변경 연산으로 구성된다. 변경 집합을 이용한 세가지 XML 문서의 저장 방법을 제안한다. 세가지 저장 방법은, (1) 변경 집합을 모두 저장하는 방법, (2)변경 집합과 버전을 주기적으로 저장 방법, 그리고 (3) 저장 적합 시점에 변경 집합 모음과 버전을 저장하는 방법이 있다. 또한, 기존의 저장 방법과 제안한 저장 방법들 사이에 성능을 비교한다. 성능 평가를 통하여 저장 적합 시점에 변경 집합모음과 버전을 저장하는 방법의 성능이 다른 저장 방법보다 우수함을 보인다.

• 대한전자공학회논문지SD
• /
• 제40권4호
• /
• pp.1-12
• /
• 2003

본 논문에서는 과도상태 회로 시뮬레이션에서 각각의 단일전자 트랜지스터 (Single electron transistor: SET)가 독립적으로 다루어질 수 있는 영역을 체계적으로 조사했다. Interconnection 정전용량이 충분히 큰 회로의 과도상태 시뮬레이션에서도 정상상태 경우와 마찬가지로 각각의 SET가 독립적으로 다뤄질 수 있음을 찾았다. 그러나, 각각의 SET들이 서로 독립적으로 다뤄질 수 있는 interconnection의 부하정전용량은 정상상태보다 약 10배 정도 크다. 이런 조건에서 SPICE에 적용 가능한 단일전자 트랜지스터 (Single electron transistor: SET)의 과도상태 compact 모델을 제시한다. 이 모델은 SPICE main routine의 admittance 행렬과 전류 행렬 구성 요소를 효율적으로 만들기 위해 새롭게 개발된 등가회로 접근방식에 기초한다. 과도상태 모델은 전자우물 안의 전자 개수를 정확히 계산하기 위해서 시변 master 방정식 solver를 각각 포함한다. 이 모델을 이용해서 단일전자 회로 및 단일전자 소자/회로와 CMOS 회로가 결합한 SET/CMOS hybrid 회로를 성공적으로 계산했다. SPICE에 적용된 기존의 시뮬레이터의 결과와 비교해서 상당히 일치하며 CPU 계산 시간도 더 짧아짐을 보인다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1770-1773
• /
• 1997

In this paper, a linear discrete time system subject to the input saturatioin is shown to be exponentially stabilizable on any compact subset of the constrained asymptotically stabilizable set by a linear periodic variable structure controller. We also establish tat any neutrally stable system subject to the input saturation can be globally asymptotically stabilizable via linear feedback.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.2548-2551
• /
• 2005

In this paper, a robust receding horizon finite impulse response(FIR) filter is proposed for a class of linear discrete time systems with uncertainty satisfying an integral quadratic constraint. The robust state estimation problem involves constructing the set of all possible states at the current time consistent with given system input, output measurements and the integral quadratic constraint.

• 한국경영과학회지
• /
• 제20권2호
• /
• pp.139-158
• /
• 1995

A temporal database systems provides timing information and maintains history of data compared to the conventional database system. In this paper, we present a temporal relational database which use an interval-stamping method for instant-based events and for interval-based states. A set of temporal algebraic operators are developed on an instance of time and interval of time so that we can manipulate events and states at a same time. The set of operation is the basis for creating a relational algebra that is closed for temporal relations. And temporal SQL is also suggested as a temporal query relational language for our algebraic operations on temporal relations.