• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 한국GIS학회 2004년도 GIS/RS 공동 춘계학술대회 논문집
• /
• pp.559-564
• /
• 2004

최근들어 광범위한 지역의 삼차원 국토정보 취득을 위한 고해상도 위성영상의 센서모형화 기법에 관한 연구가 활발히 진행되고 있다. IKONOS나 SPOT 5호와 같은 고해상도 위성영상의 모형화에 앞서 본 연구에서는 각종 응용분야에서 광범위하게 활용되고 있는 SPOT 3호 위성영상을 대상으로 지상기준점을 이용하여 경사촬영(off-nadir viewing)각을 추정하는 기법을 개발하였다. 추정된 경사촬영각은 영상좌표를 보정하는데 사용되었으며 2차원 부등각사상변환을 이용하여 기존의 모형화 방법 보다 간결하고 정확도가 향상된 모형화 기법을 제안하였다. 또한, 기존의 엄밀 센서 모형화 방법을 대체하고 있는 위성영상의 센서모형화를 위한 다양한 방법들이 제안되고 있기 때문에, 2차원 부등각사상변환, 직접선형변환(DLT), 자체검정-DLT(SDLT)등의 추상화된 모형화 방법을 SPOT 위성영상에 대해 기준점 수의 변화에 따라 검사점을 이용하여 수평성분, 수직성분으로 나누어 정확도를 비교 분석하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1785-1788
• /
• 2003

자바의 동적 클래스 로딩은 실행 시간에 소프트웨어 컴포넌트를 동적으로 로딩하기 위한 강력한 메커니즘이다. 다른 시스템에서도 동적 료딩과 링킹을 제공하지만 지연 로딩, 타입 안전 링크, 사용자 정의 클래스 로딩 정책, 그리고 나중 이름공간 둥은 자바가 가진 중요한 특징이다. 자바에서 클래스 로딩의 핵심은 타입 안전에 대한 확신이다. 하지만 자바 가상머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고 또 정확성에 대한 접근이 명확하지 않아서 지금까지 많은 버그가 발생되었고 따라서 타입 안전에 문제가 되어왔다. 본 논문은 간단한 자바 소스 코드를 이용하여 동적인 클래스 로더의 동작을 분석하여 도식화하고, 연산적 의미론으로 추상화하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 한국GIS학회 2008년도 공동춘계학술대회
• /
• pp.265-268
• /
• 2008

Lidar(Light Detection and Hanging, Ladar)는 물체에 반사되어 되돌아오는 광학신호를 관측하여 물체와의 거리를 측정하는 센서로 정밀한 3차원 모델 생성 및 도시지역의 변화탐지 등에 효율적으로 적용될 수 있다. 시뮬레이션은 시스템의 동작을 인공적으로 만들어 내고, 이 동작의 실행을 관찰하여 실제 시스템의 특성을 추론하는 일련의 활동으로, 하드웨어의 설계 및 분석, 보완, 성능 평가 등에 효율적으로 이용된다. 본 연구에서는 Lidar 시스템의 원리 및 구조 분석을 통해서 Lidar 데이터를 시뮬레이션하기 위한 소프트웨어를 설계하였다. Lidar의 특성이 시뮬레이션 소프트웨어에 정확하게 구현되도록 하기위해 Lidar 동작과 관련된 내부 및 외부요소를 분석하고 기능에 따라 추상화하여 소프트웨어 모들로 구성하였다. 시스템 내부요소로 송신부 수신부 신호/영상처리부 모델과 외부환경요소로 비행환경 모델, 타겟 모델, 대기 모델을 정의하였다. 또한, Lidar 시스템 실행 중에 발생하는 주요 프로세스를 함수 모듈로 정의함으로서, 모델들 간의 구조적인 관계를 정의하였다. 본 연구의 설계결과는 이후 Lidar시뮬레이션 소프트웨어의 보다 체계적인 구현에 적용될 예정이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.363-367
• /
• 2010

임베디드 시스템 가상화는 PDA, 스마트 폰과 같은 장비에서 다양한 운영체제 및 응용프로그램이 동작하도록 컴퓨팅 자원에 대한 추상화를 제공한다. 반면 한정된 자원을 여러 가상 머신이 분할하여 사용함으로써 자원량의 제한이 더욱 심화된다. 특히, 메모리의 부족은 프로세스 실행에 반드시 필요한 자원으로 반드시 해결되어야 하는 문제이다. 본 논문은 메모리의 부족을 해결하기 위해 불필요한 메모리 공간에 대한 압축을 제안한다. 이는 가상화로 인한 메모리 분할과 프로세스의 메모리 상주 등의 이유로 인한임베디드 시스템 가상화 환경에서의 메모리 부족을 해결할 수 있다. 본 논문은 이 메모리 압축 기법을 기술하고, 실제 가상화된 임베디드 시스템에서 경험한 메모리 부족 문제를 보인다. 이를 통해 메모리 절약 기법의 당위성을 증명하고, 향후 가상 머신 모니터에서의 메모리 압축 기법의 구현과 성능 평가의 기초를 다진다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.774-777
• /
• 2010

키로깅(Keylogging) 방지를 위한 입력방식은 무작위로 배열된 숫자나 문자를 마우스로 선택하는 가상 키보드가 주로 사용되고 있다. 그런데 무작위로 배열된 숫자나 문자는 순차적인 배열에 비해 가시성이 떨어지므로 사용자의 입력시간이 지연되어 사용하기 불편하다는 단점이 있다. 이에 본 논문에서는 숫자나 문자를 순차적으로 배열하여 사용자가 쉽게 인식할 수 있는 시각적 추상화 방법을 기반으로 하는 회전형 가상키보드 시스템(Rotary-type Virtual Keyboard System; R-VKS)을 제안한다. 제안하는 R-VKS는 기술적 측면에서 키로깅이나 마우스 커서 위치추적 등의 악성코드로부터 안전한 특성을 갖고, 공간 지각적 측면에서 사용자의 가시성을 높여 입력시간을 단축하는 효과가 있다.

• Journal of Korean Society for Geospatial Information Science
• /
• 제21권4호
• /
• pp.143-150
• /
• 2013

The purpose of this study is to suggest the methodology to develop variable-scale network model, which is able to induce large-scale road network in detailed level corresponding to small-scale linear objects with various abstraction in higher level. For this purpose, the definition of terms, the benefits and the specific procedures related with a variable-scale model were examined. Second, representation level and the components of layer to design the variable-scale map were presented. In addition, rule-based data generating method and indexing structure for higher LoD were defined. Finally, the implementation and verification of the model were performed to road network in study area (Jeju -do) so that the proposed algorithm can be practical. That is, generated variable scale road network were saved and managed in spatial database (Oracle Spatial) and performance analysis were carried out for the effectiveness and feasibility of the model.

• Journal of Internet Computing and Services
• /
• 제1권1호
• /
• pp.47-62
• /
• 2000

Geographic Information System(GIS) deal with data which can potentially be useful for a wida range of applications. However, the information needs of each application usually vary, specially in resolution, detail level, and representation style, as defined in the modeling phase of the geographic database design. To be able to deal with such diverse needs, the GIS must after features that allow multiple representations for each geographic entity of phenomenon. This paper addresses the problem of formal definition of the objects and their relationships on geographical information systems. The geographical data is divided in two main classes: geo-objects and geo-fields, which describe discrete and continuous representations of spatial reality. I will study the classes and the roles of relationships over geo-fields, geo-objects and nongeo-objects. Therefore, this paper will contribute the efficient design of geographical class hierarchy schema by means of formalizing attribute-domains of classes.

• KIPS Transactions on Computer and Communication Systems
• /
• 제8권3호
• /
• pp.57-64
• /
• 2019

In this paper, an efficient prediction-based parallel simulation method using spatially partial simulation strategy is proposed for improving both the performance of the event-driven gate-level timing simulation and the debugging efficiency. The proposed method quickly generates the prediction data on-the-fly, but still accurately for the input values and output values of parallel event-driven local simulations by applying the strategy to the simulation at the higher abstraction level. For those six designs which had used for the performance evaluation of the proposed strategy, our method had shown about 3.7x improvement over the most general sequential event-driven gate-level timing simulation, 9.7x improvement over the commercial multi-core based parallel event-driven gate-level timing simulation, and 2.7x improvement over the best of previous prediction-based parallel simulation results, on average.

• Journal of Korea Game Society
• /
• 제4권1호
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.155-157
• /
• 2012

최근 클라우드 컴퓨팅의 핵심 기술로서 가상화 기술이 대두되고 있다. 가상화는 컴퓨터 자원의 물리적인 특징을 추상화하여 사용자에게는 논리적 자원을 제공하고 이를 통해 기술적 및 관리적 이점을 제공한다. Xen 가상화 환경에서 가상머신에 디스크 공간을 할당하는 한 가지 방식으로 하나의 하드디스크 파티션을 가상머신에 할당하는 방식이 있다. 위와 같은 환경에서는 같은 하드디스크에 존재하는 가상머신들임에도 불구하고 데이터에 접근하는 물리적 특성으로 인해 읽기/쓰기 성능 불균형이 발생하고, 가상머신의 수가 증가함에 따라 파티션 간의 최단 탐색거리 증가로 인해 동시적 읽기/쓰기의 성능이 저하되는 문제점이 발생한다. 본 논문은 이러한 문제점을 해결하기 위해 새로운 파티션 구조인 Onion 파티션 구조를 제안한다. Xen버전 4.1의 환경에서 Domain-0 커널버전 2.6.32를 수정하여 구현 및 실험을 하였다. 실험 결과, 각 가상머신의 독립적 읽기/쓰기 성능 편차가 기존대비 8%, 10%수준으로 개선되었으며, 가상머신들의 동시적 읽기/쓰기 성능은 기존대비 156.76%, 119.01%의 성능 향상을 보였다.