• Spatial Information Research
• /
• v.14 no.4 s.39
• /
• pp.379-389
• /
• 2006

Map databases for CNS (Car Navigation System) can be accessed quickly and compressed efficiently due to that these are usually recorded as in a PSF (Physical Storage Format). However, it is difficult to create and manage data storage based on a file-system. To solve these problems, DBMS needs to be combined with spatial data management. Therefore, we developed an embedded DBMS with which to store data and conduct quick searches in CNS. Spatial data could be easily managed and accessed using the compression method, Multi-Link, spatial index, and spatial division. In the result, the proposed embedded DBMS searched quickly and stably supported data management. If synchronization is applied in DBMS, it is expected to utilize the advantages of an embedded DBMS.

• The Journal of the Korea Contents Association
• /
• v.15 no.1
• /
• pp.379-387
• /
• 2015

Social media have become ubiquitous owing to the well established smart mobile environment and have expanded offline relationship into online relationship. This study investigates the decisive factors for using the popular social media in Korea, KakaoStory, by analyzing its usage patterns and motives. Beside simple reasons, such as the increased awareness and serviceability due to the popular use of KakaoTalk, our research also showed that KakaoStory was used to improve the relationship within a closed group of people they already recognize offline. In addition, fashion consciousness related to collective inclination of Koreans also affected the popular usage of KakaoStory in Korea.

• Journal of the Korean Geographical Society
• /
• v.42 no.3 s.120
• /
• pp.434-452
• /
• 2007

The globalization of the economy has strengthened competition in all industries. Facing an intensely competitive environment, the firm's choice of location is one of the most important strategies in enhancing its competitiveness. This paper aims to examine the locational changes and the spatial restructuring of suppliers firm with regard to modularization and customer diversification which result from the process of assembler's restructuring after the financial crisis. Some experimental findings which have been identified throughout this study can be summarized as follows: First, a number of suppliers has been located in the southern Seoul metropolitan area and northern Chungcheong area. And Hyundai's suppliers has been enlarged in the Seoul metropolitan area and Kia's in the Southeastern area. Second, suppliers who transact with several assemblers(network trade) tend to be more dispersed, but dedicated(exclusive) suppliers are more concentrated on assembly plants. Also it was confirmed that 'JIS(Just In Sequence)' system which is more detailed than 'JIT(Just In Time)'system has been used. Third, it was Prominent that suppliers are internalizing in order to reach economies of scale compare to assemblers are externalizing.

• Spatial Information Research
• /
• v.13 no.3 s.34
• /
• pp.211-220
• /
• 2005

To understand present road state quickly and correctly, The Ministry of Construction and Transportation pushing on with their plan that they offer digital images to user with position information in the HMS(Highway Management System). For that plan, the Korea Institute of Construction Technology developed a highway photologging vehicle which could acquire two high resolution color CCD images with fixed distance on the way to run. In this paper, especially, development of image aquisition S/W and synchronization device are described. And also their performance and trajectory accuracy are investigated together. As a result, it could be hon that the newly developed highway photologging vehicle is suitable to the road image acquisition work far the HMS.

• Spatial Information Research
• /
• v.17 no.1
• /
• pp.67-77
• /
• 2009

Mobile mapping systems with CCD cameras, GPS and IMU etc. can acquire massive photos and geographic informations along by roads. But it is easy to involve many errors or omissions of images and informations about roads and facilities with various files. And there were contained any conflicts or non-consistencies in massive mobile mapping data which were acquired by multiple survey teams in various survey regions. As an image tag standard, Exif helps us to encapsulate the precise GPS times and essential informations in the header of JPEG files and uses with the identification code for consistent managements of massive mobile mapping data in this paper. And Systematic management systems with data synchronization technology manage more consistently massive photos and their information.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.4
• /
• pp.909-916
• /
• 2010

In ubiquitous GIS services is possible to use the spatio-temporal data using a mobile device at anytime. Also, client is transmitted latest spatio-temporal data from server. But traditional systems have a problem that the time of transmitting latest information from server to client takes long time because of collecting data periodically. In this paper, we proposed Two-way Synchronization system supporting field update to solve the existing problem. This system uses mobile device for collecting changed data in the real world and sending collected data to server.

• Journal of Internet Computing and Services
• /
• v.8 no.2
• /
• pp.1-13
• /
• 2007

GPS/GIS and RFID technologies have been changing the paradigm af our society toward ubiquitous era. Especially, geographically distributed mobile agents with transporting objects need to be automatically recognizable and traceable under certain conditions. To do this, fundamental theories and technologies are required to specify and verify spatial and temporal behaviors of agents on geographical space. This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), for this purpose. For specification, CaRDMI defines a map, mobile agents with transporting objects. The movement of on agent is represented by a path on the map, consisting of a list of nodes and a list of edges with spatial and temporal constraints. Interactive constraints among agents are represented by synchronization modes on objects at nodes. These constraints are distinguishable features of CaRDMI from other methods. Especially, many-to-many timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations.

• Proceedings of the KAIS Fall Conference
• /
• 2003.06a
• /
• pp.196-199
• /
• 2003

현재 온라인 서비스에서 사용되는 원서접수 시스템은 공간의 제약 없이 이용하려는 사용자한테 서비스를 제공 못한다는 단점을 갖고 있다. 이러한 문제점으로 인하여 서서히 E-Commerce에서 M-Commerce로 변화되오 있는 추세이다. 본 논문에서는 모바일 DBMS(Database Management System)를 이용하여 무선 원서접수 시스템을 개발했다. 이 시스템은 원서지원자가 공간의 제약 없이 서비스를 제공받을 수가 있고 또한, 동기화 시에만 서버와 접속하기 때문에 네트워크 비용을 절감 시켜준다.

• Journal for History of Mathematics
• /
• v.18 no.4
• /
• pp.113-124
• /
• 2005

For a Tychonoff space X, C(X) is a Riesz-space. It is well known that C(X) is order-Cauchy complete if and only if X is a quasi~F space and that if X is a compact space and QF(X) is a minimal quasi-F cover of X, then the order- Cauchy completion of C(X) is isomorphic to C(QF(X)). In this paper, we investigate motivations and historical backgrounds of the definition for quasi-spaces and the construction for minimal quasi-F covers.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.1
• /
• pp.119-129
• /
• 1995

In this paper, we propose a schedulatility analysis method for real-time programs. Several approaches to anlayzing schedulability have been developed, but since these approaches use a fixed priority scheduling method and/or traverse all possible state spaces, there take place exponential time and space complexity of these methods, Therefore it is necessary to reduce the state space and detect schedulability at earlier time. Our schedulability analysis method uses a minimum unit time taken to terminate synchronization action, a minimum unit time taken to terminate actions after synchronization, and a deadline of processes to detect unschedulability at earlier time and dynamic scheduling scheme to reduce state space. We conclude that our method can detected unschedulability earlier 50 percent unit time than Fredette's method.