• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.4
• /
• pp.77-87
• /
• 1994

This paper deals with an automated forming sequence design system by which designers can determine desirable operation sequences even if they have little experience in the design of cold forging process. The forming sequence design in the cold forging is very important and requires many kinds of technical and empirical knowledge. They system isproposed, which generates forming sequence plans for the multistage cold forging of axisymmtrical solid products. Since the process of metal forming can be considered as a transformation of geometry, treatment of the geometry of the product is a key in planning process. To recognize the geometry of the product section, section entity representation and primitive geometries were used. Section entity representation can be used for the calculation of maximum diameter, maximum height, and volume. Forming sequence for the part can be determined by means of primitive geometries such as cylinder, cone, convex, and concave. By utilizing this geometrical characteristics (diameter, height, and radius), the product geometry is expressed by a list of the priitive geometries. Accordingly the forming sequence design is formulated as the search problem which starts with a billet geometry and finishes with a given product one. Using the developed system, the sequence drawing with all dimensions, which includes the proper sequence of operations for the part, is generated under the environment of AutoCAD. Based on the results of forming sequence, process variables(strain, punch pressure, die inner pressure, and forming load) are determined.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.2 s.344
• /
• pp.24-33
• /
• 2006

The effective geometry processing IP architecture for mobile SoC that has real time 3D graphics acceleration performance in mobile information system is proposed. Base on the proposed IP architecture, we design the floating point arithmetic unit needed in geometry process and the floating point geometry processor supporting the 3D graphic international standard OpenGL-ES. The geometry processor is implemented by 160k gate area in a Xilinx-Vertex FPGA and we measure the performance of geometry processor using the actual 3D graphic data at 80MHz frequency environment The experiment result shows 1.5M polygons/sec processing performance. The power consumption is measured to 83.6mW at Hynix 0.25um CMOS@50MHz.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.10a
• /
• pp.585-586
• /
• 2006

• Journal of Biosystems Engineering
• /
• v.21 no.3
• /
• pp.343-356
• /
• 1996

The plot geometry of the paddy land is directly related to the performance of machines, especially those having a large size and high speed. The study was to investigate the optimum plot geometry from the standpoint of mechanization. A simulator, Field-Plot-Structure-Evaluation-System(FPSES) was developed for evaluation of the field performance of machines according to the plot geometry. The efficiency and capacity of different sizes of machinery used for rice farming functions were analyzed for a various combination of plot geometry, which could be used as reference for the land reclamation planning and mechanization programming. It is shown that the plot size of about two hectares having a length of 200m and width of loom may be optimum, considering the efficiency and capacity of large sized machinery available currently and in near future.

• Research in Mathematical Education
• /
• v.13 no.3
• /
• pp.217-233
• /
• 2009

The purpose of this study is to describe how dynamic geometry systems can be useful in proof activity; teaching sequences based on the use of dynamic geometry systems and to analyze the possible roles of dynamic geometry systems in both teaching and learning of proof. And also dynamic geometry environments can generate powerful interplay between empirical explorations and formal proofs. The point of this study was to show that how using dynamic geometry software can provide an opportunity to link between empirical and deductive reasoning, and how such software can be utilized to gain insight into a deductive argument.

• Journal for History of Mathematics
• /
• v.20 no.2
• /
• pp.109-126
• /
• 2007

This paper is to study theorems related with congruence of triangles in Lobachevskii's and Hadamard's geometry textbooks, and to compare their proof methods. We find out that Lobachevskii's geometry textbook contains 5 theorems of triangles' congruence, but doesn't explain congruence of right triangles. In Hadamard's geometry textbook description system of the theorems of triangles' congruence is similar with our mathematics textbook. Hadamard's geometry textbook treat 3 theorems of triangles' congruence, and 2 theorems of right triangles' congruence. But in Hadamard's geometry textbook all theorems are proved.

• Journal for History of Mathematics
• /
• v.15 no.2
• /
• pp.15-32
• /
• 2002

The first part of this thesis gives some brief explanation of the theory and history of imaginary elements in analytic geometry in the 19th century. The second part of this thesis discusses the theory of imaginary elements of synthetic geometry in the first half of the 19th century. Then the next part mentions the theory of imaginary elements of geometry in the second half of that same century. Particularly Christian von Staudt's and Felix Klein's theories are handled in this part. Von Staudt, who has completed the system of the synthetic projective geometry, used ‘involution’ in order to introduce a new concept ‘imaginary elements’- imaginary points, imaginary lines and imaginary plane-in synthetic geometry. Klein applied von Staudt's theory as he convey the result of the research in algebraic geometry in a picture. Von Staudt's and Klein's research may be regarded as the top of the effort to investigate possible relationship between real and imaginary structures.

• Journal of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.695-708
• /
• 2003

We study the existence of solutions for overdetermined PDE systems that admit prolongation to a complete system. We reduce the problem to a Pfaffian system on a submanifold of the jet space of unknown functions and then express the integrability conditions in terms of the coefficients of the original system. As possible applications we present some local problems in CR geometry: determining the CR embeddibility into spheres and the existence of infinitesimal CR automorphisms.

• KCI Concrete Journal
• /
• v.14 no.1
• /
• pp.30-35
• /
• 2002

The fractal geometry is a non-Euclidean geometry which describes the naturally irregular or fragmented shapes, so that it can be applied to fracture behavior of materials to investigate the fracture process. Fractal curves have a characteristic that represents a self-similarity as an invariant based on the fractal dimension. This fractal geometry was applied to the crack growth of cementitious composites in order to correlate the fracture behavior to microstructures of cementitious composites. The purpose of this study was to find relationships between fractal dimensions and fracture energy. Fracture test was carried out in order to investigate the fracture behavior of plain and fiber reinforced cement composites. The load-CMOD curve and fracture energy of the beams were observed under the three point loading system. The crack profiles were obtained by the image processing system. Box counting method was used to determine the fractal dimension, D$_{f}$. It was known that the linear correlation exists between fractal dimension and fracture energy of the cement composites. The implications of the fractal nature for the crack growth behavior on the fracture energy, G$_{f}$ is apparent.ent.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.1780-1783
• /
• 2003

Burrs formed in micro drilling with Ø 1.0 and 0.5 are observed. The changes of burr geometry are compared when feed rate and velocity changes. Characteristics of burr formation in 4 different workpiece materials are analyzed. The coefficient of burr geometry, CB is introduced to classify burrs according to burr height and burr types. Finally control charts are produced using the coefficient of burr geometry and burr types in each workpiece material. Data base is constructed to be used for burr expert system.