• Journal of Ship and Ocean Technology
• /
• v.9 no.1
• /
• pp.47-63
• /
• 2005

In the present study, we suggest a new method for designing complex ship hull forms with multiple domain B-spline surfaces accounting for their topological arrangement, where all subdomains are fully defined in terms of form parameters, e.g., positional, differential and integral descriptors. For the construction of complex hull forms, free-form elementary models such as forebody, afterbody and bulbs are united by Boolean operation and blending surfaces in compliance with the sectional area curve (SAC) of the whole ship. This new design process in this paper is called Sectional Area Curve-Balanced Parametric Design (SAC-BPD).

• Journal of the Korea Computer Graphics Society
• /
• v.6 no.4
• /
• pp.29-34
• /
• 2000

This paper classifies the structure of the intersection curve between a surface of extrusion and a free-form surface. Our algorithm computes the silhouette curve of the free-form surface with respect to the unique ruling direction of the surface of extrusion. By intersecting the silhouette curve and the base curve of the surface of extrusion, we can classify the topological structure of the intersection curve, and compute all singularities in the intersection curve. Moreover, we can determine which ruling lines of the surface of extrusion intersect the other free-form surface and how many times. This classification provides a robust and efficient method for computing the intersection curve.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.1
• /
• pp.27-33
• /
• 1975

The required minimum size of character diode matrix of Korean letters is estimated from the topological complexity of letter structure. The OR aombination of three letter boards (diode matrice) gives all possible Hangout whole letters in proper traditional combined form with minimum required discernibility. Two forms of first consonants (centre located ones for horizontal vowels and leftward displaced ones for vertical and composed vowels) are switched by only 1 bit of the vowel code. The vowel pattern length is modified by again the last four bits of the code. A new 15bit sized inner code is proposed which permits considerably small sized decoding mechanism.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.3
• /
• pp.431-441
• /
• 2015

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a topology on X and regard ${\tau}(X)$ a topological space. Our purpose of this study is to give new topologies on the family ${\tau}(X)$ of all topologies induced by old one and its ${\theta}$ topology and to compare them.

• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.2
• /
• pp.165-175
• /
• 2017

This paper gives an extensive study of ideal topological space and introduce two new types of set with the help of local function. Several characterizations of these sets will also be discussed through this paper and finally gives new representation of ${\alpha}$-sets and semi-open sets.

• Journal for History of Mathematics
• /
• v.10 no.1
• /
• pp.19-32
• /
• 1997

This paper deals with the relationship between the order structure and topological structure in the historical point of view. We first investigate how the order structure has developed along with the set theory and logic in the second half of the nineteenth century. After the general topology has emerged in the beginning of the twentieth century, two disciplines of the order theory and topology give each other a great deal of effect for their development via various dualities, compactifications by maximal filter spaces and Alexandroff's specialization order, which form eventually a fundamental setting for the development of the category theory or functor theory.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.713-718
• /
• 1994

Voronoi diagrams for closed shapes have many practical applications, ranging from numerical control machining to mesh generation. Shape offset based on Voronoi diagram avoids the topological problems encountered in traditional offsetting algorithms. In this paper, we propose a procedure for generating a Voronoi diagram and an exact offset for planar curve. A planer curve can be defined by free-form curve segements. The procedure consists of three steps : 1) segmentation by minimum curvature, 2) construction of Voronoi diagram, and 2) generation of the exact offset.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.4
• /
• pp.387-396
• /
• 2018

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a fixed topology on X and we will regard ${\tau}(X)$ a topological space. Our purpose of this study is to comparison new topologies on the family ${\tau}(X)$ of all topologies induced old one.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.4
• /
• pp.261-268
• /
• 2009

In this paper we introduce stronger form of the notion of cover so-called p-cover which is more appropriate. According to this cover we introduce and study another type of compactness in L-fuzzy topology so-called $C^*$-compact and study some of its properties with some interrelation.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.4
• /
• pp.743-756
• /
• 2022

We obtained results on upper hemi-continuous and pseudo-monotone type two mappings for sets which are not compact. M.S.R. Chowdhury and K.-K. Tan's improved result on Ky Fan's minimax inequality will be used.