• Journal of Internet Computing and Services
• /
• v.24 no.1
• /
• pp.27-37
• /
• 2023

In this paper, we define a new Lucas-Padoovan sequence using the Padovan sequence, and a new topological interconnection network is constructed using it. Coding nonnegative integers using subsequences of the Lucas-Padovan sequence, and using this to construct a new Lucas-Padovan cubes to deal with topological properties.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.5
• /
• pp.577-583
• /
• 2007

Simultaneous Localization and Mapping (SLAM) is the process of building a map of an unknown environment and simultaneously localizing a robot relative to this map. SLAM is very important for the indoor navigation of a mobile robot and much research has been conducted on this subject. Although feature-based SLAM using an Extended Kalman Filter (EKF) is widely used, it has shortcomings in that the computational complexity grows in proportion to the square of the number of features. This prohibits EKF-SLAM from operating in real time and makes it unfeasible in large environments where many features exist. This paper presents an algorithm which reduces the computational complexity of EKF-SLAM by using topological information (TI) extracted through a thinning process. The global map can be divided into local areas using the nodes of a thinning-based topological map. SLAM is then performed in local instead of global areas. Experimental results for various environments show that the performance and efficiency of the proposed EKF-SLAM/TI scheme are excellent.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10d
• /
• pp.135-139
• /
• 2006

Today's social networking services have tens of millions of users, and are growing fast. Their sheer size poses a significant challenge in capturing and analyzing their topological characteristics. Snowball sampling is a popular method to crawl and sample network topologies, but requires a high sampling ratio for accurate estimation of certain metrics. In this work, we evaluate how close topological characteristics of snowball sampled networks are to the complete network. Instead of using a synthetically generated topology, we use the complete topology of Cyworld ilchon network. The goal of this work is to determine sampling ratios for accurate estimation of key topological characteristics, such as the degree distribution, the degree correlation, the assortativity, and the clustering coefficient.

• Journal of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.221-228
• /
• 2008

In this paper, we study the complexity of semigroup actions using complexity functions of open covers. The main results are as follows: (1) A dynamical system is equicontinuous if and only if any open cover has bounded complexity; (2) Weak-mixing implies scattering; (3) We get a criterion for the scattering property.

• The Journal of Korea Robotics Society
• /
• v.7 no.4
• /
• pp.252-258
• /
• 2012

This paper describes hierarchical semantic map building using the classified area information in home environments. The hierarchical semantic map consists of a grid, CAIG (Classified Area Information in Grid), and topological map. The grid and CAIG maps are used for navigation and motion selection, respectively. The topological map provides the intuitive information on the environment, which can be used for the communication between robots and users. The proposed semantic map building algorithm can greatly improve the capabilities of a mobile robot in various domains, including localization, path-planning and HRI (Human-Robot Interaction). In the home environment, a door can be used to divide an area into various sections, such as a room, a kitchen, and so on. Therefore, we used not only the grid map of the home environment, but also the door information as a main clue to classify the area and to build the hierarchical semantic map. The proposed method was verified through various experiments and it was found that the algorithm guarantees autonomous map building in the home environment.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2004.10a
• /
• pp.382-387
• /
• 2004

As the increasing needs in the industrial filed, many studies for the 3D CAD system are carried out. There are two types of 3D CAD system. One is manifold modeler, the other is non-manifold modeler. In the manifold modeler only 3D objects can be modeled. In the non-manifold modeler 3D, 2D, 1D, and 0D objects can be modeled in a unified data structure. Recently there are many studies on the non-manifold modeler. Most of them are focused on finding unknown topological entities and representing all kinds of topological entities found. In this paper, efficient data structure is selected. The boundary information on a face and an edge is included in this data structure. The boundary information on a vertex is excluded considering the frequency of usage. Because the disk cycle information is not required in most case of modeling. It is compact. It stores essential non-manifold information such as loop cycle and radial cycle. A suitable Euler-Poincare equation is studied and selected. Using the efficient data structure and the selected Euler-Poincare equation, 18 basic Euler operators are implemented. Several 3D models are created using the implemented modeler. A non-manifold modeling can be carried out using the implemented 3D CAD system. The results of this paper could be used in the further studies such as an implementation of Boolean operators, and a translation of 2D CAD drawings to 3D models.

• Korean Institute of Interior Design Journal
• /
• v.19 no.4
• /
• pp.22-30
• /
• 2010

Light has primary function to enlighten the darkness. However, as development and progresses in media has caused big change in our life, the range of usage and application of light is broadened. And these days, light is actively used as a communication tool in a space. This thesis is based on an idea that a new prospect of light is required and at the same time the theoretical foundation should be established to take active advantage of light. In Chapter two, analysis criteria are established to verify study hypothesis. The applied methodology is to analysis the contents based on literature review. Key words related light in space design are extracted and the frequency of those key words are quantitatively measured. Taking advantage of the result, the characteristics of light are divided into three categories, 'light as symbolic information', 'light as communication medium' and 'light as topological form'. In chapter three, analysis of cases is performed. The cases are selected based on space analyzing criteria established in Chapter two. Qualitative analysis is performed on the cases categorized into natural light and artificial light. Basic analysis elements are evaluated for each case. And each case is allocated to one of three categories, 'light as symbolic information', 'light as communication medium' and 'light as topological form'. Through this analysis, it is found that light in space has prevailing characteristics of 'light as symbolic information' and 'light as communication medium'.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.4
• /
• pp.841-850
• /
• 1999

Many commercial database systems maintain histograms to summarize the contents of relations, permit efficient estimation of query result sizes, and access plan costs. In spatial database systems, most query predicates consist of topological relationship between spatial objects, and ti is ver important to estimate the selectivity of those predicates for spatial query optimizer. In this paper, we propose a selectivity estimation scheme for spatial topological predicates based on the multi-dimensional histogram and the transformation scheme. Proposed scheme applies two partition strategies on transformed object space to generate spatial histogram, and estimates the selectivity of topological predicates based on the topological characteristic of transformed space. Proposed scheme provides a way for estimating the selectivity without too much memory space usage and additional I/Os in spatial query optimizer.

• Journal of the Society of Naval Architects of Korea
• /
• v.43 no.2 s.146
• /
• pp.246-257
• /
• 2006

In the ship building industry, the generation of a structural analysis model, that is, a finite element model of a hull structure, has been manually performed by a designer and thus has required lots of time as compared with that of a mechanical part, because of many constraints, the complexity, and the huge size of the hull structure. To make this task automatic, a generation method of the structural analysis model is proposed through the reconstruction of the topological information of a hull structural model in this study. The applicability of the proposed method is demonstrated by applying it to the generation of the structural analysis model of a deadweight 300,000ton VLCC(Very Large Crude oil Carrier).

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.267-271
• /
• 2000

A part definition must not only provide shape information of a nominal part but also contain non-shape information such as tolerances, surface roughness and material attributes. Although machining features are useful for suitable shape information for process reasoning in the CAPP, they need to be integrated with tolerance information for effective process planning. We develop the tolerance modeler that efficiently integrates machining features with tolerance information for feature-based CAPP It is based on the association of machining features, tolerance features. and tolerances Tolerance features, where tolerances are assigned, are classified into two types; one is the face that is a topological entity on a solid model and the other is the functional geometry that is not referenced to topological entities. The functional geometry is represented by using machining features All the data for representing tolerance information with machining features are stored completely and unambiguously in the independent tolerance structure. The developed tolerance modeler is implemented as a module of a comprehensive feature-based CAPP system.