• Journal of Korean Society for Geospatial Information Science
• /
• v.18 no.4
• /
• pp.131-139
• /
• 2010

Recent spread of GIS and the increasing demand of spatial data have brought about the development of web GIS. In addition to sharing and mapping spatial data, web GIS is also required to provide spatial analytic functions on the web. The FOSS(free and open source software) can play an important role in developing such a system for web GIS. In this paper, we proposed a web-based system for raster data analysis using map algebra. We employed GRASS as an open source software and implemented the GRASS functionalities on the web using java methods for invocation of server-side commands. Map algebra and AHP were combined for the raster data analysis in our system. For a feasibility test, the landslide susceptibility in South Korea was calculated using rainfall, elevation, slope angle, slope aspect, and soil layers. It is anticipated that our system will be extensible to other web GIS for raster data analysis with GRASS.

• Proceedings of the KSRS Conference
• /
• 2002.10a
• /
• pp.138-143
• /
• 2002

This paper describes a framework for extending GIS databases to support moving object data type and query language. The rapid progress of wireless communications, positioning systems, and mobile computing devices have led location-aware applications to be essential components for commercial and industrial systems. Location-aware applications require GIS databases system to represent moving objects and to support querying on the motion properties of objects. For example, fleet management applications may require storage of information about moving vehicles. Also, advanced CRM(Customer Relationship Management) applications may require to store and query the trajectories of mobile phone users. In this trend, maintaining consistent information about the location of continuously moving objects and processing motion-specific queries is challenging problem. We formally define a data model and query language for mobile objects that includes complex evolving spatial structure, and propose core algebra to process the moving object query language. Main profit of proposed moving objects query language and algebra is that proposed model can be constructed on the top of GIS databases.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.17 no.2
• /
• pp.177-187
• /
• 1999

Up to date, in many application fields of GSIS, we usually have used vector-based spatial overlay or grid-based spatial algebra for extraction and analysis of spatial data. But, because these methods are based on traditional crisp set, concept which is used these methods. shows that many kinds of spatial data are partitioned with sharp boundary. That is not agree with spatial distribution pattern of data in the real world. Therefore, it has a error that a region or object is restricted within only one attribution (One-Entity-one-value). In this study, for improving previous methods that deal with spatial data based on crisp set, we are suggested to apply into spatial overlay process the concept of fuzzy set which is good for expressing the boundary vagueness or ambiguity of spatial data. two methods be given. First method is a fuzzy interval partition by fuzzy subsets in case of spatially continuous data, and second method is fuzzy boundary set applied on categorical data. with a case study to get a land suitability map for the development site selection of new town, we compared results between Boolean analysis method and fuzzy spatial overlay method. And as a result, we could find out that suitability map using fuzzy spatial overlay method provide more reasonable information about development site of new town, and is more adequate type in the aspect of presentation.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.1
• /
• pp.11-20
• /
• 1999

Because conventional spatial databases process the spatial information that is valid at current time, it is difficult to manage historical information efficiently which has been changed from the past to current. Recently, there are rapid increasing of interest to solve this problem so that makes databases to support historical information as well as spatial management at the same time. It can be eventually used in a various application areas. The formal semantics in a database is used to represent database structures and operations in order to prove the correctiveness of them in terms or mathematics. It also plays an important role in database to design a database and database management system. So in this paper, we suggest spatiotemporal domain, object, data, and spatiotemporal geometric/topological operations. And we not only formalize relational algebra/calculus using formal semantics for a spatiotemporal data model, but also show the example of real orld with them.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.5
• /
• pp.543-552
• /
• 1999

The iterator technique which is used for implementing physical operators of the query executor is known for its efficiency and extensibility. The most widely used technique for processing an operator on spatial objects is to process by dividing it into the filter step and the refinement step. Recently, there was a research for an optimizer which can generate more efficient query execution plans than those of traditional methods by separating a spatial operator into filter and refinement steps in the level of the object algebra. But, traditional query executors were not designed considering such query execution plans. So they have no function of transmitting the result of the filter operation between operators. We propose two methods, the probe technique and the tag technique, which transmit the result of the filter operator when using the iterator in the query execution plan in which operators are separated by filter/refinement steps and other operators can be allowed between the steps. Whereas the probe technique extends the state record within an operator, the tag technique stores the result of a filter step in an intermediate result in the form of the tag. Based on the comparison of these methods, we design and implement a query executor using the tag technique that is superior in extensibility. The implemented query executor can execute operations defined in the Spatial Object Algebra(SOA) to process an extended OQL for spatial queries.

• Journal of the Optical Society of Korea
• /
• v.9 no.3
• /
• pp.111-118
• /
• 2005

In this paper, a new optical parallel binary arithmetic processor (OPBAP) capable of computing arbitrary n-bit look-ahead carry full-addition is proposed and implemented. The conventional Boolean algebra is considered to implement OPBAP by using two schemes of optical logic processor. One is space-variant optical logic gate processor (SVOLGP), the other is shadow-casting optical logic array processor (SCOLAP). SVOLGP can process logical AND and OR operations different in space simultaneously by using free-space interconnection logic filters, while SCOLAP can perform any possible 16 Boolean logic function by using spatial instruction-control filter. A dual-rail encoding method is adopted because the complement of an input is needed in arithmetic process. Experiment on OPBAP for an 8-bit look-ahead carry full addition is performed. The experimental results have shown that the proposed OPBAP has a capability of optical look-ahead carry full-addition with high computing speed regardless of the data length.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.202-216
• /
• 2006

A number of process algebras are not well suitable for real-time navigation/delivery systems due to the following reasons: 1) lack of representation of process distributivity over some geographical space and 2) the indistinction of representation of process mobility from process distributivity over the space. To make the process algebra suitable to the systems, it seems to be necessary to separate the space representation from the mobility representation. This paper presents a formal method for this purpose, namely, Calculus of Abstract Real-Time Distribution, Mobility, and Interaction (CARDMI). For analysis and verification of behavioral properties, CARDMI defines a set of the spatial, temporal and the interactive deduction rules and a set of equivalence relations. The rules and equivalences can be abstracted hierarchically due to the spatial abstraction, too. CARDMI can be applied to virtual navigation/delivery system for contents, too.

• Journal of the Korean association of regional geographers
• /
• v.13 no.2
• /
• pp.143-155
• /
• 2007

There are many conflicts or interests among various stakeholders on the development of the coastal area. The integrated methodology, which is reflective of physical conditions, socio-economic circumstances, and people's sense of values, is thus needed to solve the problems. In this study, geographical information systems(GIS) and analytic hierarchy process(AHP) that arc one of multi-criteria analysis methodologies are loosely coupled to develop better analytic procedures for coastal assessment. Socio-economic and environmental parameters of the study area, Hampyung Bay area, are converted to a GIS system-applicable format, while AHP is used to assess the relative importance level of each parameter by calculating weighting factors. After standardizing and rasterizing spatial data from various sources. the weighting factors are applied to produce the layers for each parameter. Map algebra and overlay analyses are used to create the final layer according to the decision making logic or model proposed here. Cell values of that layer could be considered as spatial alternatives. In addition to this finding, the flexibility with the weighing factors enable decision-makers to understand the procedures and alternatives in relevance with selective strategies for coastal management.

• Journal of Korean Society of Forest Science
• /
• v.90 no.4
• /
• pp.535-542
• /
• 2001

The objective of this study is to develop a spatial analysis modeling technique to evaluate the functional suitability of forest lands for land slide prevention. The functional suitability is classified into 3 categories of high, medium and low according to the potential of land slide on forest lands. The potential of land slide hazards is estimated using the measurements of 7 major site factors : slope, bed rock, soil depth, shape of slope, forest type and D.B.H. class of trees. The analytic hierarchical process is applied to determining the relative weight of site factors in estimating the potential of land slides. The spatial analysis modeling starts building base layers for the 7 major site factors by $25m{\times}25m$ grid analysis or TIN analysis, reclassifies them and produces new layers containing standardized attribute values, needed in estimating land slide potential. To these attributes, applied is the weight for the corresponding site factor to build the suitability classification map by map algebra analysis. Then, finally, cell-grouping operations convert the suitability classification map to the land unit function map. The whole procedures of the spatial analysis modeling are presented in this paper.