• Honam Mathematical Journal
• /
• v.32 no.3
• /
• pp.375-387
• /
• 2010

The paper studies an existence problem of a (generalized) universal covering space over a digital wedge with a compatible adjacency. In algebraic topology it is well-known that a connected, locally path connected, semilocally simply connected space has a universal covering space. Unlike this property, in digital covering theory we need to investigate its digital version which remains open.

• Honam Mathematical Journal
• /
• v.25 no.1
• /
• pp.153-162
• /
• 2003

Recently, the generalized digital $(k_{0},\;k_{1})$-continuity and its properties are investigated. Furthermore, the k-type digital fundamental group for digital image has been studies with the generalized k-adjacencies. The main goal of this paper is to find some properties of the k-type digital fundamental group of Boxer and to investigate some properties of minimal simple closed k-curves with relation to their embedding into some spaces in ${\mathbb{Z}}^n(2{\leq}n{\leq}3)$.

• The Pure and Applied Mathematics
• /
• v.18 no.2
• /
• pp.141-155
• /
• 2011

We compute zeta functions of 1-solenoids. When our 1-solenoid is nonorientable, we compute Artin-Mazur zeta function and Lefschetz zeta function of the 1-solenoid and its orientable double cover explicitly in terms of adjacency matrices and branch points. And we show that Artin-Mazur zeta function of orientable double cover is a rational function and a quotient of Artin-Mazur zeta function and Lefschetz zeta function of the 1-solenoid.

• Honam Mathematical Journal
• /
• v.30 no.4
• /
• pp.589-602
• /
• 2008

As a survey-type article, the paper reviews various digital topological utilities from digital covering theory. Digital covering theory has strongly contributed to the calculation of the digital k-fundamental group of both a digital space(a set with k-adjacency or digital k-graph) and a digital product. Furthermore, it has been used in classifying digital spaces, establishing almost Van Kampen theory which is the digital version of van Kampen theorem in algebrate topology, developing the generalized universal covering property, and so forth. Finally, we remark on the digital k-surface structure of a Cartesian product of two simple closed $k_i$-curves in ${\mathbf{Z}}^n$, $i{\in}{1,2}$.

• Journal of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.841-857
• /
• 2009

In this paper, we give and study the notion of computer topological function space between computer topological spaces with $k_i$ adjacency, i $\in$ {0, 1}. Using this notion, we study various properties of topologies of a computer topological function space.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.505-512
• /
• 2005

In this paper, we introduce another statement of a digital $(k_{0}, k_{1})-homeomorphism$ which is suitable for an approach to write an efficient algorithm for discriminating digital images with respect to the digital $(k_{0}, k_{1})-homeomorphism$.

• The Korean Journal of Applied Statistics
• /
• v.33 no.2
• /
• pp.115-122
• /
• 2020

K-means clustering uses a spherical or elliptical metric to group data points; however, it does not work well for non-convex data such as the concentric circles. Spectral clustering, based on graph theory, is a generalized and robust technique to deal with non-standard type of data such as non-convex data. Results obtained by spectral clustering often outperform traditional clustering such as K-means. In this paper, we review spectral clustering and show important issues in spectral clustering such as determining the number of clusters K, estimation of scale parameter in the adjacency of two points, and the dimension reduction technique in clustering high-dimensional data.

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.1
• /
• pp.1-19
• /
• 1996

Non-manifold topological representations can provide a single unified representation for mixed dimensional models or cellular models and thus have a great potential to be applied in many application areas. Various boundary representations for non-manifold topology have been proposed in recent years. These representations are mainly interested in describing the sufficient adjacency relationships and too redundant as a result. A model stored in these representations occupies too much storage space and is hard to be manipulated. In this paper, we proposed a compact hierarchical non-manifold boundary representation that is extended from the half-edge data structure for solid models by introducing the partial topological entities to represent some non-manifold conditions around a vertex, edge or face. This representation allows to reduce the redundancy of the existing schemes while full topological adjacencies are still derived without the loss of efficiency. To verify the statement above, the storage size requirement of the representation is compared with other existing representations and present some main procedures for querying and traversing the representation. We have also implemented a set of the generalized Euler operators that satisfy the Euler-Poincare formula for non-manifold geometric models.

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