• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2010.04a
• /
• pp.121-123
• /
• 2010

Currently different local governments and research institutes have established and using DB for each purposes on the heterogeneous database. Normally physical unification method is used in order to unify this geospatial database, but this takes too much time and resources and require periodic renewal and synchronization. Therefore, this research would like to present a logical integrated unification method based on attribute information of heterogeneous database, and a system design and construction method, in order to subjugate inefficiencies from the physical unification method. Through this a system that could supply user customized geospatial database was established and verified the functionality using the road data of an actual region.

• Journal of Cadastre & Land InformatiX
• /
• v.49 no.1
• /
• pp.157-179
• /
• 2019

The Seoul's 2030 Youth-Housing has been regarded as the only option to procure rental housing sites in downtown Seoul. But its supply did not catch up with the initial expectation, and the criticism that it may disrupt the current zoning system of the city has persisted. Consequently, the 2030 Youth-Housing policy has undergone amendments for six times within the last three years, and the significant changes in its guideline also have been made within the last one year. The study, in this context, tries to figure out the tendencies of those changes made in the guidelines so far by analyzing the aspects of the parcels allowable for Youth-Housing as well as the areas allowable for up-zoning. In the process, the propositional logic is to be adopted to draw the scope of the buildable areas for Youth-Housing. For this, the study refines the raw GIS data, inputs the values for each proposition, and proceeds the logical operation to judge every parcel of the city to discern whether it is eligible for a buildable site and/or for up-zoning for Youth-Housing. It is seen that: 1) the buildable sites rather evenly distribute around the peripheral subway-station areas while more concentrating on the quasi-residential and commercial areas; and 2) the areas eligible for up-zoning have the tendency to concentrate more on quasi-residential areas than others.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.5
• /
• pp.2383-2389
• /
• 2011

Ubiquitous applications require hybrid continuous query processing which processes both on-line data stream and spatial data in the disk. In the hybrid continuous spatial query processing, disk access costs for the high-volume spatial data should be minimized. However, previous indexing methods cannot reduce the disk seek time, because it is difficult that the data are stored in contiguity with others. Also, existing methods for the space-filling curve considering data cluster have the problem which does not cluster available data for queries. Therefore, we propose the region storage structure for efficient data access in hybrid continues spatial query processing. This paper shows that there is an obvious improvement of query processing costs through the contiguous data storing method and the group processing for user queries based on the region storage structure.

• Journal of KIISE:Computing Practices and Letters
• /
• v.10 no.1
• /
• pp.99-113
• /
• 2004

A new architecture called SAN(Storage Area Network) was developed in response to the requirements of high availability of data, scalable growth, and system performance. In order to use SAN more efficiently, most of SAN operating softwares support storage virtualization concepts that allow users to view physical storage devices attached to SAN as a large volume virtually h logical volume manager plays a key role in storage virtualization. It realizes the storage virtualization by mapping logical addresses to physical addresses. A logical volume manager also supports a snapshot that preserves a volume image at certain time and on-line reorganization to allow users to add/remove storage devices to/from SAN even while the system is running. To support the snapshot and the on-line reorganization, most logical volume managers have used table based mapping methods. However, it is very difficult to manage mapping table because the mapping table is large in proportion to a storage capacity. In this paper, we design and implement an efficient and flexible hybrid mapping method based on mathematical equations. The mapping method in this paper supports a snapshot and on-line reorganization. The proposed snapshot and on-line reorganization are performed on the reserved area which is separated from data area of a volume. Due to this strategy normal I/O operations are not affected by snapshot and reorganization. Finally, we show the superiority of our proposed mapping method through various experiments.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.12a
• /
• pp.161-164
• /
• 2001

본 연구는 영상 이미지로 가공물을 획득하는 가공기에서 기계적인 충격이나 그 외의 요인으로 인한 가공기의 좌표공간과 CCD(Charge couple Device)카메라 상의 획득영상과의 좌표의 변화가 생기게 된다. 이에 그러한 변화에 둔감하고 유연한 좌표변환 계수를 제어기가 획득하게 함으로써 시스템의 신뢰성을 향상시키는데 그 목적이 있다. 본 논문은 이러한 좌표왜곡에 대한 수정 파라메터를 퍼지 논리에 의해 수정 하도록 하고 이를 어류가공기에 적용하여 그 효과가 나오도록 하는데 초점을 두었다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.159-165
• /
• 1994

실세계에서 발생하는 많은 문제들은 주어진 제약조건들을 만족하는 범위내에서 해를 찾는 제약만족문제(CSP)의 개념으로 설명될 수 있으며, 이러한 문제들의 해결을 위해 인공지능 및 OR 분야에서 활발한 연구가 계속 되어왔다. 본 연구는 대표적 논리언어인 prolog에서 유한이산 도메인 및 수치 제약조건의 해결을 위한 제약해결기에 대한 연구이다. 본 연구에서 구현된 제약해결기에서는 포워드체킹(FC)을 사용하여 조합적 문제를 효과적인 도메인 여과를 통해 탐색공간 및 탐색시간을 축소시키며, 또한 최적화 문제의 해결에 있어서도 그 문제에 주어진 목적함수와 FC의 장점을 조화 시킴으로써 최적해를 더욱 효과적으로 발견한다.

• Journal of the Korean housing association
• /
• v.8 no.3
• /
• pp.163-175
• /
• 1997

This study is aimed at developing the systematic application of logic in composition of architectural space. It is investigated in the logical concept and its development applied to the rule of composition. Applying the method to the architectural composition. it is focused on modeling to the systematic approach in architectural composition. Therefore this study is investigated in the design process on the viewpoint of the systematic approach considering diverse variables. and it is accomplished to logical composition in architectural space. Being more studied. this method is applied to the composition of architect ureal space and practice.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 2005.12a
• /
• pp.398-406
• /
• 2005

현재 인터넷상의 개인미디어로 각광 받고있는 블로그는 개인의 일상적인 정보라는 기본적 기능에서 사용자에게 빠른 속도로 사용이 전파되기 시작하여 그 영역을 확대해 기업 마케팅 채널의 일환으로 시장에 급격하게 수용되고 있다. 본 연구에서는 문헌연구를 통하여 블로그의 개념을 이론적으로 파악한 후 어떤 기술적인 특징을 가지고 마케팅 분야에 활용되는지를 고찰하였다. 이어서 블로그 본연의 개인적인 공간이라는 영역을 최대한 부각시키면서 블로그 상에서 전자상거래를 구현할 수 있는 논리적인 방안을 제시한 다음, 블로그 기반의 Yard-Sale시스템의 데이터베이스와 구성물(Class)의 설계, 이에 기반한 아키텍쳐의 실제적인 구현과 운영을 수행하였다.

• 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.