• Spatial Information Research
• /
• v.19 no.1
• /
• pp.93-105
• /
• 2011

In recent years, large and complex three-dimensional building has been constructed by the development of building technology and advanced IT skills, and people have lived there and spent a considerable time so far. Accordingly. in this sophisticatcd three-dimensional space, emergencies services or convenient information services have been in demand. In order to provide these services efficiently, understanding of topological relationships among the complex space should be supported naturally. Not on1y each method of understanding the topological relationships but also its efficiency can be different depending on different topological data models. B-rep based data model is the most widely used for storaging and representing of topological relationships. And from early 2000s, many researches on a network based topological data model have been conducted. The purpose of this study is to verify the efficiency of performance on spatial queries. As a result, Network-based topological data model is more efficient than B-rep based data model for determining the spatial relationship.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.7
• /
• pp.100-114
• /
• 1996

In order to create a solid model more efficiently for a plastic or sheet metal product with a thin and constant thickness, various methods have been proposed up to now. One of the most typical approaches is to create a sheet model initially and then transform it into a solid model automatically for a given thickness. The sheet model as well as the transitive model in sheet modeling procedure is a non-manifold model. However, the previous methods adopted the boundary representations for a solid model as their topological framework. Thus, it is difficult to represent the exact adjacency relationship between topological entities and to implement the topological operations for sheet modeling and the transformation procedure of a sheet into a solid. In this paper, we proposed a sheet modeling system based on a non-manifold topological representation which can represent solids, sheets, wireframes, and their mixture. A set of generalized Euler operators for non-manifold topology as well as the sheet modeling capabilities including adding, bending, and punching functions are provided for easy modeling of sheet objects, and they are perfomed interactively with a two dimensional curve editor. Once a sheet model is completed, it can be transformed into a solid automatically. The transformation procedure is composed of the offset functions and the Boolean operations of sheet models, and it is even more comprehensive and easier to be implemented than the precious methods.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.2 no.1
• /
• pp.83-88
• /
• 2002

We study some properties of smooth uniform spaces. We investigate the relationship between smooth topological spaces and smooth uniform spaces. In particular, we define a subspace of a smooth uniform space and a product of smooth uniform spaces.

• Korean Journal of Computational Design and Engineering
• /
• v.2 no.4
• /
• pp.222-236
• /
• 1997

Conventional solid or surface modeling systems cannot represent both the complete solid model and the abstract model in a unified framework. Recently, non-manifold modeling systems are proposed to solve this problem. This paper describes FlexDesigner, an open kernel system for modeling non-manifold models. It summarizes the data structure for non-manifold models, system design methodology, system modularization, and the typical characteristics of each module in the system. A data structure based on partial-topological elements is adopted to represent the relationship among topological elements. It is efficient in the usage of memory and has topological completeness compared with other published data structures. It can handle many non-manifold situations such as isolate vertices, dangling edges, dangling faces, a mixed dimensional model, and a cellular model. FlexDesigner is modularized hierarchically and designed by the object-oriented methodology for reusability. FlexDesigner is developed using the C++ and OpenGL on both SGI workstation and IBM PC.

• Proceedings of the KIEE Conference
• /
• 1987.11a
• /
• pp.125-128
• /
• 1987

This paper deals with the topological observability analysis and the derivation of a reliability evaluation formula of a measurement system for state estimation. An analogy of the DC power flow method to the DC circuit analysis is introduced, and all the relationship between power flows and phase angles are replaced by the corresponding current-voltage relation. As a result, a set of topological measurement equation expressed in the form of the incidence matrix is derived for the topological analysis, and the observability test is carried out by examining the rank of the measurement matrix. The reliability evaluation formula was derived experimentally by testing the observability of sample systems of IEEE-14, IEEE-3.0, IEEE-57.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.267-280
• /
• 2023

In this article, we show that the family of all 𝓘^𝒦-open subsets in a topological space forms a topology if 𝒦 is a maximal ideal. We introduce the notion of 𝓘^𝒦-covering map and investigate some basic properties. The notion of quotient map is studied in the context of 𝓘^𝒦-convergence and the relationship between 𝓘^𝒦-continuity and 𝓘^𝒦-quotient map is established. We show that for a maximal ideal 𝒦, the properties of continuity and preserving 𝓘^𝒦-convergence of a function defined on X coincide if and only if X is an 𝓘^𝒦-sequential space.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.873-884
• /
• 2003

So far, significant achievements have been studied on the development of models for spatial and spatiotemporal objects with indeterminate boundaries which are found in many applications for geographic analysis and image understanding. Therefore, in this paper we propose the spatiotemporal data model which is applicable for spatial and spatiotemporal objects with uncertainty. Based on this model, we defined topological relationships among the indeterminate spatiotemporal objects and designed the algorithm for the operations. For compatibility with existing spatial models, the proposed model has been designed by extending the spatiotemporal object model which is based on the open GIS specification. We defined indeterminate spatial objects, such as the objects whose position and the shape change discretely over time, and the objects whose shape changes continuously as well as the position. We defined topological relationships among these objects using the extended 9-IM. The proposed model can be efficiently applied to the management systems of natural resource data, westher information, geographic information. and so on.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.3
• /
• pp.242-254
• /
• 2000

This paper describes an efficient solid modeling method for thin-walled plastic or sheet metal parts, based on the non-manifold offsetting operations. Since the previous methods for modeling and converting a sheet into a solid have adopted the boundary representations for solid object as their topological framework, it is difficult to represent the exact adjacency relationship between topological entities of a sheet model and a mixture of wireframe and sheet models that can appear in the meantime of modeling procedure, and it is hard to implement topological operations for sheet modeling and transformation of a sheet into a solid. To solve these problems, we introduce a non-manifold B-rep and propose a sheet conversion method based on a non-manifold offset algorithm. Because the non-manifold offset aigorithm based on mathematical definitions results in an offset solid with tubular and spherical thickness-faces we modify it to generate the ruled or planar thickness-faces that are mostly shown in actual plastic or sheet metal parts. In addition, in order to accelerate the Boolean operations used the offset algorithm, we also develope an efficient face-face intersection algorithm using topological adjacency information.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.30 no.3
• /
• pp.229-240
• /
• 2012

In Korea, u-City has been constructed as IT-based new city with introduction of the ubiquitous concept. However, most currently provided u-services are just monitoring services based on the USN(Ubiquitous Sensor Network) technology, so spatial analysis is insufficient. Especially, buildings have been rapidly constructed and expanded in multi-levels, and people spend a lot of time in indoor space, so indoor spatial analysis is necessary. Therefore, connectivity relationship in indoor space is analyzed using the topological data model. Topological relationships could be redefined due to the dynamic changes of environment in indoor space, and changes could have an effect on analysis results. In this paper, the algorithms of finding isolated zones is developed by analyzing connectivity relationship between space objects in built-environments after changes of environment in indoor space due to specific situation such as fire. And the system that visualizes isolated zones as well as three-dimensional data structure of indoor space is developed to get the analysis result by using the analysis algorithms.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.1
• /
• pp.43-54
• /
• 2001

In this paper we study the use of polyinstantiation for spatial data, for the purpose of solving cover in topology channel in multilevel secure spatial database systems. Spatial database system with topological structure has a number of spatial analysis function using spatial data and neighbored one\`s each other. But. it has problems that information flow is occurred by topological relationship in spatial database systems. Geographic Information System(CIS) must be needed mandatory access control because there ,are many information flow through positioning information And topological relationship between spatial objects. Moreover, most GIS applications also graphe user interface(GUI). In addressing these problems, we design the MLS/SRDM(Multi Level Security/Spatial Relational Data Model) and propose polyinstantiation for spatial data for solving information flow that occurred by toplogical relationship of spatial data.