• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.1
• /
• pp.31-35
• /
• 2007

In dealing with transformation group, topological approach is very natural. But, it is not sufficient to investigate geometric properties of transformation group and we need geometric method. Frankel-McDuff Conjecture is very interesting in the point that it shows struggling between topological method and geometric method. In this paper, the author suggest generalized Frankel-McDuff conjecture as a topological version of the conjecture and construct a counterexample for the generalized version, and from this we assert that topological method does not work for Frankel-McDuff Conjecture.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.31-49
• /
• 2002

An R$^{n}$ -geometry (P$^{n}$ , L) is a generalization of the Euclidean geometry on R$^{n}$ (see Def. 1.1). We can consider some topologies (see Def. 2.2) on the line set L such that the join operation V : P$^{n}$ $\times$ P$^{n}$ \ $\Delta$ longrightarrow L is continuous. It is a notable fact that in the case n = 2 the introduced topologies on L are same and the join operation V : P$^2$ $\times$ P$^2$ \ $\Delta$ longrightarrow L is continuous and open [10, 11]. It is a fundamental topological property of plane geometry, but in the cases n $\geq$ 3, it is no longer true. There are counter examples [2]. Hence, it is a fundamental problem to find suitable topologies on the line set L in an R$^{n}$ -geometry (P$^{n}$ , L) such that these topologies are compatible with the incidence structure of (P$^{n}$ , L). Therefore, we need to study the topologies of the line set L in an R$^{n}$ -geometry (P$^{n}$ , L). In this paper, the relations of such topologies on the line set L are studied.

• Journal for History of Mathematics
• /
• v.9 no.1
• /
• pp.42-49
• /
• 1996

• Communications of the Korean Mathematical Society
• /
• v.17 no.4
• /
• pp.647-673
• /
• 2002

There are many models to study topological $R^2$-planes. Unlike topological $R^2$-planes, it is difficult to find models to study topological R$^3$)-spaces. If an 4-dimensional affine plane intersects with R$^3$, we are able to get a geometrical structure on R$^3$ which is similar to R$^3$-space, and called $R^2$-divisible R$^3$-space. Such spatial geometric models is useful to study topological R$^3$-spaces. Hence, we introduce some classes of topological $R^2$-divisible R$^3$-spaces which are induced from 4-dimensional anne planes.

• East Asian mathematical journal
• /
• v.34 no.4
• /
• pp.487-509
• /
• 2018

We analyse the map of the west capital Pyongyangbu of Old Korea(AD 920) by topological method and geometrical method and compare it with the map of North Korea Pyongyang. By the analyse of the map we find the real place of the old map. The analysing and finding the real place of the old map is a very good example of geometry education. Many Koreans had learned and recognized that Old Korea(AD 920) was a small country located in the south part of Ablok river. But, after reading this paper they change their old recognitions and they take prides in Great Old Korea.

• Korean Journal of Computational Design and Engineering
• /
• v.4 no.2
• /
• pp.162-171
• /
• 1999

Plane sweep plays an important role in computational geometry. This paper shows that an extension of topological plane sweep to three-dimensional space can calculate the volume swept by rotating a solid polyhedral object about a fixed axis. Analyzing the characteristics of rotational swept volumes, we present an incremental algorithm based on the three-dimensional topological sweep technique. Our solution shows the time bound of O(n²·2?+T?), where n is the number of vertices in the original object and T? is time for handling face cycles. Here, α(n) is the inverse of Ackermann's function.

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

• Journal of Computational Design and Engineering
• /
• v.3 no.2
• /
• pp.161-177
• /
• 2016

In history based parametric CAD modeling systems, persistent identification of the topological entities after design modification is mandatory to keep the design intent by recording model creation history and modification history. Persistent identification of geometric and topological entities is necessary in the product design phase as well as in the re-evaluation stage. For the identification, entities should be named first according to the methodology which will be applicable for all the entities unconditionally. After successive feature operations on a part body, topology based persistent identification mechanism generates ambiguity problem that usually stems from topology splitting and topology merging. Solving the ambiguity problem needs a complex method which is a combination of topology and geometry. Topology is used to assign the basic name to the entities. And geometry is used for the ambiguity solving between the entities. In the macro parametrics approach of iCAD lab of KAIST a topology based persistent identification mechanism is applied which will solve the ambiguity problem arising from topology splitting and also in case of topology merging. Here, a method is proposed where no geometry comparison is necessary for topology merging. The present research is focused on the enhancement of the persistent identification schema for the support of ambiguity problem especially of topology splitting problem and topology merging problem. It also focused on basic naming of pattern features.

• Honam Mathematical Journal
• /
• v.30 no.2
• /
• pp.207-217
• /
• 2008

Digital geometry has strongly contributed to the study of a discrete topological space $X{\subset}{\mathbf{Z}}^n$ with k-adjacency of ${\mathbf{Z}}^n$. As a survey-type article, we review various utilities of digital geometry.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.391-396
• /
• 2008

A level set based topological shape optimization using extended B-spline basis functions is developed for steady state heat conduction problems. The only inside of complicated domain is identified by the level set functions and taken into account in computation. The solution of Hamilton-Jacobi equation leads to an optimal shape according to the normal velocity field determined from the sensitivity analysis, minimizing a thermal compliance while satisfying a volume constraint. To obtain exact shape sensitivity, the precise normal and curvature of geometry need to be determined using the level set and B-spline basis functions. The nucleation of holes is possible whenever and wherever necessary during the optimization using a topological derivative concept.