• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.295-298
• /
• 2010

Linear Temporal Logic synthesis 는 LTL formula 로 표현된 요구 사항으로부터 그것을 만족하는 시스템을 만들어낸다. 이러한 synthesis 과정은 2EXPTIME-complete 이 요구 되지만 GR formula 라는 특수한 형태를 사용함으로써 복잡도를 Polynomial 시간으로 줄일 수 있다. LTL synthesis 는 작업 공간, 로봇이 취하는 센서 정보와 액션의 종류, 상위 수준의 작업 명세를 입력으로 받아 GR formula 형태로 변환하고, 기대되는 작업이 실현 가능하다면 그것을 성취할 수 있는 오토마타를 생성해낸다. Synthesis 알고리즘을 구현한 LTLMoP 라는 도구를 이용하여 LTL synthesis 과정을 보이고 화성 행궁의 미아 찾기 로봇 작업 계획을 구현한다. 마지막으로 시뮬레이션 과정을 통해 기대하는 작업을 성공적으로 성취할 수 있음을 보인다.

• Spatial Information Research
• /
• v.20 no.4
• /
• pp.93-101
• /
• 2012

Due to complexity of indoor space, the demand of Location Based Services (LBS) in indoor space is increasing as well as outdoor. However, it includes privacy problems of exposing personal location. Location K-anonymity technology is a method to solve the privacy problems with cloaking their locations by Anonymized Spatial Region(ASR). It guarantees K users within a region containing the location of a given user. However previous researches have dealt the problems based on Euclidean distance in outdoor space, and cannot be applied in indoor space where there are constraints of movement such as walls. For this reason, we propose in this paper a K-anonymity for cloaking indoor location in consideration of structures and representation of indoor space. The basic concept of our approach is to introduce a hierarchical structure as ASR for including K-1 users for cloaking their locations. We also proposed a cost model by K and attributes of hierarchical structure to analyze the performance of the method.

• Archives of design research
• /
• v.16 no.4
• /
• pp.323-334
• /
• 2003

This study examines the multi-functionality of the cultural facilities and explores the architectural characteristics of cultural facilities in city environment. For this purpose, 1 examine the major cultural facilities in USA and Singapore. Recently, the inter-cultural communication methods have been diversified and the cultural facilities need to be designed to effectively accommodate the public's interests in these activities. It is also necessary to reexamine cultural facilities' functions in terms of how the multi-functionality facilities reflect the surrounding environment. This study also sheds a new light on the meaning of the relationships between cultural activity, and the cultural facility design. For this, I primarily look at the various design categories of cultural buildings and their main functions. Finally, I demonstrate how both cultural activity and cultural facility design elements are embodied in the city environment.

• Journal of Advanced Navigation Technology
• /
• v.14 no.4
• /
• pp.571-577
• /
• 2010

Driving aircraft requires extremely complicated and detailed information processing. Pilots perform their tasks by selecting the information relevant to them. In this processing, spatial information presented simultaneously through crossmodal link is advantageous over the one provided in singular sensory mode. In this paper, probability to apply providing visual spatial information along with auditory information to enemy tracking system in aircraft navigation is empirically investigated. The result shows that auditory spatial information, which is virtually created through HRTF is advantageous to visual spatial information alone in attention processing. The findings suggest auditory spatial information along with visual one can be presented through crossmodal link by utilizing stereophonic sound such as HRTF. which is available in the existing simple stereo system.

• Journal of KIISE:Databases
• /
• v.30 no.3
• /
• pp.273-285
• /
• 2003

Generally, vector spatial data, with richer information than raster spatial data enabledata, enables a mere flexible and effective manipulation of the data sets. However, one of challenges against the publication of vector spatial information on the Internet is the efficient transmission of the big and complex vector spatial datadata, which is both large and complex, across the narrow-bandwidth of the Internet. This paper proposes a new transmission method, namely, the Scale-Dependent Transmission method, with the purpose of improving the efficiency of vector spatial data transmission on the narrow-bandwidthacross the Internet. Simply put, its nam idea is “Transmit what can be seen””. Scale is regarded as a factor naturally associated with spatial features so that not all features are visible to users at a certain scale. With the aid of the Wavelet-Wavelet-based Map Generalization Algorithm, the proposed method filters out invisible features from spatial objects according to the display scale and then to transmit onlytransmits only the visible features as athe final answer for an individual operation. Experiments show that the response times ofan individual operation has been reducedoperations were substantially by the usage of reduced when using the proposed method.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2017.11a
• /
• pp.61-63
• /
• 2017

The urban space has both aspects that the happy space that guarantees opportunity and comfort is an unfortunate space where poverty, exclusion and deportation proceed simultaneously. In other words, growth and decline are simultaneous within the city, and this phenomenon is more evident in modern society, which is getting more complicated. The harbor space is also affected by the growth and decline of the port industry directly or indirectly in the port area. However, since there is no systematic guideline for development and planning of port space in Korea, the phenomenon of the decline of the rear area, which is made up as if the harbor space has been growing and declining from past to present, is getting worse.

• Spatial Information Research
• /
• v.3 no.2
• /
• pp.191-204
• /
• 1995

The data model is a system model which abstracts the spatial and nonspatial fea¬tures of the real world. A system defines through its data model a framework for the inner rep¬resentation of and connections with the outside world. The spatial query language is one of the most efficent framework for defining connection with outside world in the GIS. Existing GIS uses a spatial data model based on relational data model. Therefore, it has some difficulties in data abstraction and representing complex objects through inheritance. In this paper, we pro-pose an object oriented data model-Topological Object Model(TOM). TOM combines object model in ODMG and the planer topological object. Based on this model, we present an object-oriented spatial query language-OQL/Geo. OQL/Geo extends OQL in ODMG and represents TOM effectively. It also provides several operators such as geometric, topological and visible ope-rators. Moreover, it represents with diverse flexivility the request for complex spatial analysis and presentation of query results.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.5-5
• /
• 2015

현재 우리나라에서 지상관측장비인 AWS(Automatic Weather System)와 ASOS(Automated Synoptic Observing System)기구가 한반도내 668개 지점에서 운영되고 있다. 이러한 장비는 지상관측장비로 하나의 지점에서 측정된 기상변량들이 특정 영역의 대푯값으로 사용되어지고 있다. 기존의 다양한 지점 단위의 수문 모형에서는 지상관측소를 통한 관측값을 적용하기에 어려움 없이 적절한 결과를 도출할 수 있었다. 컴퓨터의 발달로 인하여 복잡한 물리적 현상을 공간적으로 분석할 수 있는 모형의 구동이 가능해짐에 따라서 수문 분야에서도 다양한 분포형 해석 모형이 활발하게 개발 및 적용되고 있다. 지점 관측 자료는 공간적인 연속성을 반영하지 못하는 한계로 인하여 지점 관측자료를 이용한 공간자료의 생성 기법들이 사용되어지고 있지만 자연계에서 나타나는 정확한 공간적 현상을 재현해주지 못하는 문제점이 존재한다. 이러한 지점 관측의 한계를 해결하기 위하여 공간적인 관측이 가능한 레이더와 위성관측과 같은 원격 관측 장비들이 개발되어 공간적으로 연속성을 갖는 기상변량의 취득이 가능하여졌다. TRMM 강우자료는 지구 전체를 0.25도 약 25km 공간해상도를 갖으며 3시간 간격으로 제공되고 있다. 유역단위의 수문모형에 적용하기에 TRMM 강수자료의 공간해상도는 너무 커서 직접적인 적용에 어려움이 있다. 이러한 점에서 TRMM 자료의 상세화 기법을 통하여 수문모형에 적용이 가능한 1km 이하의 고해상도 자료를 생산하는 연구들이 진행되고 있다. 이러한 상세화 방법은 최종적으로 도출하고자 하는 공간해상도를 갖는 대체 변량(지표면 온도, 고도, 식생, 해수면 기압, 상대 습도, 대기온도, 풍향 등)을 이용하여 회귀분석의 형태로 분석이 이루어지고 있다. 그러나 대체 변량을 통해 도출된 상세화된 TRMM 강우는 간접적인 추정으로 인하여 정확한 결과의 도출에는 한계가 있을 것으로 판단된다. 이러한 점에서 본 연구에서는 한반도내 지상 관측값을 공간적 자료로 변환하여 주는데 효과적으로 평가받는 PRISM 모형에 적용하여 기존 SVM 모형을 통한 TRMM 상세화 결과가 갖는 정확성을 평가해 보고 지점 관측자료의 보간 기법의 평가에 TRMM 자료를 활용하는 방안에 대해 평가해 보고자 한다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.11
• /
• pp.2897-2907
• /
• 1998

The production-rule generation from training examples is a hard problem that has large space and many local optimal solutions. Many learning methods are proposed for production-rule generation and genetic algorithms is an alternative learning method. However, traditional genetic algorithms has been known to have an obstacle in converging at the global solution area and show poor efficiency of production-rules generated. In this paper, we propose a production-rule generating method which uses genetic algorithm learning. By analyzing optimal sub-solutions captured by genetic algorithm learning, our method takes advantage of its schema structure and thus generates relatively small rule set.

• Archives of design research
• /
• v.16 no.3
• /
• pp.71-80
• /
• 2003

Virtual Reality fields see the popularization era. Desk-top VR industries are under rapid development, concentrating on various Web VR applications. Performing user navigation in 3D virtual space is a complicate process in which one is looking for a way with understanding logical structures established in a virtual space and noticing established interactions. It is not a process established by a user, but a technical, skillful and conceptual process carefully designed and constructed at the pre-production stage. Therefore, in this paper technical, skillful and conceptual basic theories, related with the interactive navigation in a 3D virtual space, are thoroughly discussed.