• Journal for History of Mathematics
• /
• v.27 no.4
• /
• pp.271-283
• /
• 2014

This study takes a look at Polya's analysis on Archimedes' "The Method" from a math-historical perspective. We, based on the elaboration of Polya's analysis, investigate the analytic geometric characteristics of Archimedes' "The Method" and discuss the way of using the characteristics in education of school calculus. So this study brings up the educational need of approach of teaching the definite integral by clearly disclosing the transition from length, area, volume etc into the length as an area function under a curve. And this study suggests the approach of teaching both merit and deficiency of the indivisibles method, and the educational necessity of making students realizing that the strength of analytic geometry lies in overcoming deficiency of the indivisibles method by dealing with the relation of variation and rate of change by means of algebraic expression and graph.

• Structural Engineering and Mechanics
• /
• v.50 no.3
• /
• pp.365-382
• /
• 2014

In this article, the force method and Charged System Search (CSS) algorithm are used for the analysis and optimal design of truss structures. The CSS algorithm is employed as the optimization tool and the force method is utilized for analysis. In this paper in addition to member's cross sections, redundant forces, geometry and topology variables are considered as the optimization variables. Minimum complementary energy principle is used directly to analyze the structure. In the presented method, redundant forces are calculated by the CSS in order to minimize the energy function. Combination of the CSS and force method leads to an efficient algorithm in comparison to some of the optimization algorithms.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.624-627
• /
• 2002

A study on machining electrode for LEO(Light Emitted Diode) mold with shaped end-mill is presented. The electrode machining by shaped end-mill has been used for maximizing the productivity in manufacture of semiconductor mold. However, it has not been researched systematically for many difficulties such as the making of shaped end-mill, generation of tool path due to distinctive tool geometry, and so on. Tool path is generated on the shaped end-mill geometry and cutting force to provide accurate and efficient machining of electrode. The verification program can drive enhancement of productivity, selecting cutting conditions from experiment function of cutting force. Also, compensation of tooting and machina error can make the electrode accurate by modifying tool path. Therefore, the research on machining with shaped end-mill can contribute to enhancement of accuracy and productivity in building semiconductor mold.

• Journal of the Korea Society for Simulation
• /
• v.9 no.1
• /
• pp.39-54
• /
• 2000

Presented in this paper is a modeling and simulation methodology for 3 dimensional man-made systems. Based on DEVS(discrete event system specification) formalism[13], we propose GK-DEVS (geometrical and kinematic DEVS) formalism to describe the geometrical and kinematic structure and continuous state dynamics. To represent geometry and kinematics, we add a hierarchical structure to the conventional atomic model. In addition, we employ the "empty event" and its external event function for continuous state changing. In terms of abstract simulation algorithm[13], the simulation method of GK-DEVS, named GK-Simulator, is proposed for combined discrete-continuous simulation. Using GK-DEVS, the simulation of an FMS(flexible manufacturing system) consisting of a luring machine, a 3-axis machine and a RGV-mounted robot has been peformed.en peformed.

• Tribology and Lubricants
• /
• v.24 no.2
• /
• pp.90-95
• /
• 2008

An elastic-plastic contact analysis is developed using a semi-analytical method. The elastic contact is solved within a Hertz theorem. The reciprocal theorem with initial strains is then introduced, to express the surface geometry as a function of contact stress and plastic strains. The irreversible nature of plasticity leads to an incremental formulation of the elastic-plastic contact problem, and an algorithm to solve this problem is set up. Closed form expression, which give residual stresses and surface displacements from plastic strains, are obtained by integration of the reciprocal theorem. The distribution of contact stress, residual stress and plastic strain are obtained by the changed surface geometry.

• Tribology and Lubricants
• /
• v.25 no.3
• /
• pp.141-149
• /
• 2009

The effect of micro-cavities fabricated using laser surface texturing (LST) technique on polyoxymethylene (POM) surface was studied in terms of heat affected zone (HAZ), cavity geometry, surface roughness, deformation of cavity along with sliding cycles, and tribological characteristics. Cavity process parameters were lamp current, process time, and the stream of air used to minimize the flow of molten polymer into cavity. Especially, the deformation of cavity geometry was extensively studied to provide deep insight into morphological analysis of the cavities. Also, this paper presents the behavior of friction and wear of POM specimens as a function of sliding cycles.

• Research in Mathematical Education
• /
• v.5 no.1
• /
• pp.1-12
• /
• 2001

Generating fractal images by graphing calculators such as TI_92 combines several important features, which convey the excitement of a living, changing mathematics appropriate to secondary or post-secondary students. The topic of fractal geometry can be illustrated using natural objects such as snowflakes, leaves and ferns. These complex and natural forms are often striking fantastic and beautiful. The examples highlight the fact that complex, natural behaviors can result from simple mathematical rules such as those embodied in iterated function systems(IFS). The visual splendor beauty of fractals, in concert with their ubiquity in nature, revels the intellectual beauty of nonlinear mathematics in a compelling way. The window is now open for students to experience and explore some of the wonder of fractal geometry.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.7 no.5
• /
• pp.186-193
• /
• 1999

In this paper, a full vehicle model is developed to analyze toe and camber changes due to rack height variation and compliance. The AutoDyn7 program developed in G7 project is used for the computer simulation. Steady state cornering test was done to find the understeer gradient. Imposing a pulse steer input, Frequency Response Function(FRF) of yaw rate and lateral accelerations were evaluated. To verify the stability, the rhombus using four parameters is employed. Steer characteristics were evaluated by changing the rack height and the bushing lateral stiffiness. which installed between the low control arm and the chassis.

• Journal for History of Mathematics
• /
• v.30 no.5
• /
• pp.261-287
• /
• 2017

De Zolt's axiom which is a precise formulation of Euclid's Common Notion 5, "the whole is greater than the part", for the notion of 'content' holds in any Hilbert plane. In this article, we study the history of de Zolt's axiom which has its origin in Euclid's Common Notions, and introduce an example of a plane geometry in which de Zolt's axiom does not hold. We show that there is no area function in this geometry and every square is equidecomposable with a square which is properly contained in the first one. From this we also show that there are two equidecomposable rectangles which have the same base and do not have the same altitude, and there is a rectangle which is equicomplementable with an emptyset.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.05a
• /
• pp.22-22
• /
• 1999

The HELlOS-MASTER code system is verified through the benchmark of the critical experiments that were performed by RRC "Kurchatov Institute" with water-moderated hexagonally pitched lattices of highly enriched Uranium fuel rods (8Ow/o). We also used the same input by using the MCNP code that was described in the evaluation report, and compared our results with those of the evaluation report. HELlOS, developed by Scandpower A/S, is a two-dimensional transport program for the generation of group cross-sections, and MASTER, developed by KAERI, is a three-dimensional nuclear design and analysis code based on the two-group diffusion theory. It solves neutronics model with the AFEN (Analytic Function Expansion Nodal) method for hexagonal geometry. The results show that the HELIOSMASTER code system is fast and accurate enough to be used as nuclear core analysis tool for hexagonal geometry.ometry.