• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.6
• /
• pp.90-101
• /
• 1996

Determination of assembly sequence of components is a key issue in assembly operation. Although a number of articles dealing with assembly sequence determination have appeared, an efficient and general methodology for complex products has yet to appear. The objective of this paper is to present the problems and models used to generate assembly sequence from design data. An essential idea of this research is to acquire a finite number of voxels from any complex geometric entity, such as 3D planar polygons, hollow spheres, cylinders. cones, tori, etc. In order to find a feasible assembly sequence, the following four steps are needed: (1) The components composing of an assembly product are identified and then the geometric entities of each component are extracted. (2) The geometric entities extracted in the first step are translated into a number of voxels. (3) All the mating or coupling relations between components are found by considering relations between voxels. (4) The components to be disassembled are determined using CCGs (Component Coupling Graph).

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.1
• /
• pp.107-116
• /
• 1999

대칭성(symmetry)은 그래프의 구조와 특성을 시각적으로 표현할 때 중요한 미적 기준 중의 하나이다. 또한 대칭성을 보여주는 드로잉은 전체 그래프가 크기가 작은 부그래트들로부터 반복적으로 구성됨을 보여줌으로써 전체 그래프에 대한 이해를 쉽게 푸는 해주는 장점이 있다. 하지만 일반적인 그래프에서 기하하적 대칭성(geometric symmetry)을 탐지하는 문제는 이미 NP-complete 임이 증명되었으므로 이에 대한 연구는 평면 그래프(planar graph)의 극히 제한적인 부분집합인 트리, 외부 평면 그래프, 임베딩된 (embedded) 평면 그래프 등에 초점이 맞추어져 왔다. 본 논문에서는 평면 그래프에서의 기하학적 대칭성 문제를 연구하였다. 평면 그래프를 이중 연결 성분들로 분할한 다음 이를 각각 다시 삼중 연결 성분들로 분할하여 트리를 구성하고 축소(reduction)개념을 도입함으로써 기하학적 대칭성을 탐지하는 O(n2)시간 알고리즘을 제시하였다. 여기서 n은 그래프의 정점의 개수이다. 이 알고리즘은 평면 그래프를 최대한 대칭적으로 드로잉하는 알고리즘 개발에 이용될 수 있다.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.5
• /
• pp.113-120
• /
• 2013

This paper proposes an algorithm that proves an NP-complete 4-color theorem by employing a linear time complexity where $O(n)$. The proposed algorithm accurately halves the vertex set V of the graph $G=(V_1,E_1)$ into the Maximum Independent Set (MIS) $\bar{C_1}$ and the Minimum Vertex Cover Set $C_1$. It then assigns the first color to $\bar{C_1}$ and the second to $\bar{C_2}$, which, along with $C_2$, is halved from the connected graph $G=(V_2,E_2)$, a reduced set of the remaining vertices. Subsequently, the third color is assigned to $\bar{C_3}$, which, along with $C_3$, is halved from the connected graph $G=(V_3,E_3)$, a further reduced set of the remaining vertices. Lastly, denoting $C_3$ as $\bar{C_4}$, the algorithm assigns the forth color to $\bar{C_4}$. The algorithm has successfully obtained the chromatic number ${\chi}(G)=4$ with 100% probability, when applied to two actual map and two planar graphs. The proposed "four color algorithm", therefore, could be employed as a general algorithm to determine four-color for planar graphs.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.21-38
• /
• 2006

Programmed grammars, one of the most important and well investigated classes of grammars with context-free rules and a mechanism controlling the application of the rules, can be described by graphs. We investigate whether or not the restriction to special classes of graphs restricts the generative power of programmed grammars with erasing rules and without appearance checking, too. We obtain that Eulerian, Hamiltonian, planar and bipartite graphs and regular graphs of degree at least three are pr-universal in that sense that any language which can be generated by programmed grammars (with erasing rules and without appearance checking) can be obtained by programmed grammars where the underlying graph belongs to the given special class of graphs, whereas complete graphs, regular graphs of degree 2 and backbone graphs lead to proper subfamilies of the family of programmed languages.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.1235-1242
• /
• 2013

We give area and height estimates for cmc-graphs over a bounded planar $C^{2,{\alpha}}$ domain ${\Omega}{\subset}\mathbb{R}^3$. For a constant H satisfying $H^2{\mid}{\Omega}{\mid}{\leq}9{\pi}/16$, we show that the height $h$ of H-graphs over ${\Omega}$ with vanishing boundary satisfies ${\mid}h{\mid}$ < $(\tilde{r}/2{\pi})H{\mid}{\Omega}{\mid}$, where $\tilde{r}$ is the middle zero of $(x-1)(H^2{\mid}{\Omega}{\mid}(x+2)^2-9{\pi}(x-1))$. We use this height estimate to prove the following existence result for cmc H-graphs: for a constant H satisfying $H^2{\mid}{\Omega}{\mid}$ < $(\sqrt{297}-13){\pi}/8$, there exists an H-graph with vanishing boundary.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.6
• /
• pp.1330-1341
• /
• 1993

The kinematic synthesis deals with the systematic design of mechanisms for a given performance. The area of synthesis may be grouped into two categories to determine the type and to size the dimensions of a mechanism for a specified task. In this paper, using a database of mechanisms a designer can determine the type of mechanism conveniently and design equations are automatically generated for a given input performance. The solving method of design equations utilizes an optimization routine to obtain roots effectively. The linkages of 4, 6, and 8bars with revolute joints are considered in this study but may be extended to linkages of more bars.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.2
• /
• pp.401-407
• /
• 2016

We can consider the following problems for two given points p and q in a simple polygon P. (1) Compute the set of points of P which are visible from both p and q. (2) Compute the set of points of P which are visible from either p or q. They are corresponding to the problems which are to compute the intersection and the union of two visibility polygons. In this paper, we consider algorithms for solving these problems on a reconfigurable mesh(in short, RMESH). The algorithm in [1] can compute the intersection of two general polygons in constant time on an RMESH with size O($n^3$), where n is the total number of vertices of two polygons. In this paper, we construct the planar subdivision graph in constant time on an RMESH with size O($n^2$) using the properties of the visibility polygon for preprocessing. Then we present O($log^2n$) time algorithms for computing the union as well as the intersection of two visibility polygons, which improve the processor-time product from O($n^3$) to O($n^2log^2n$).