• Transactions of the Korean Society of Mechanical Engineers
• /
• v.9 no.5
• /
• pp.647-654
• /
• 1985

A computer aided design package is developed that can perform such functions as computer aided inputing/drafting/modifying/outputing, automatic determination of volumetric properties, finite element analysis and post processing for the design of axisymmetric shell with slight asymmetry. In order to make the design modification easy and to accelerate the computation time for analysis, developed is a new finite element analysis which utilizes an approximate solution method and a conical ring eleement with slight asymmetry. Also proposed is a computer aided process planning algorithm which is based on the axiomatic approach.

• Journal for History of Mathematics
• /
• v.19 no.1
• /
• pp.55-64
• /
• 2006

The thesis is about the development of mathematics starting from the old Greece and the old Babylonia. The modem mathematics has been developed, based on the set theory in the axiomatic method since the 19th century. The primary impetus of this thesis will be to summary the development of topology.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.123-126
• /
• 2005

We develop the evaluation method of functional requirements for excavator design. The functional requirement of the product can be deduced from voice of customer. QFD method is used in order to convert customer requirement to functional requirement. The measure of information index is used to evaluate quantitatively the product quality characteristics. The correlation score between customer requirements and functional requirements and benchmarking score of competitors are basic data for the measure of information.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.19 no.7
• /
• pp.736-745
• /
• 2009

Fuel cells convert a fuel together with oxygen in a highly efficient electrochemical reaction to electricity and water. Since the electrochemical reaction in the fuel cell stack dose not generate any noise, Fuel cell systems are expected to operated much quieter than combustion engines. However, the tonal noise and the broad band noise caused by a centrifugal compressor and an electric motor cause which is required to feed the ambient air to the cathode of the fuel cell stack with high pressure. In this study, the multi-camber perforated muffler is used to reduce noise. We propose optimized muffler model using an axiomatic design method that optimizes the parameters of perforated muffler while keeping the volume of muffler minimized.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.7 no.2
• /
• pp.8-15
• /
• 2008

Current trend of design technologies shows engineers to objectify or automate the given decision-making process. The numerical optimization is an example of such technologies. However, in numerical optimization, the uncertainties are uncontrollable to efficiently objectify or automate the process. To better manage these uncertainties, Taguchi method, reliability-based optimization and robust optimization are being used. Based on the independence axiom of axiomatic design theory that illustrates the relationship between desired specifications and design parameters, the designs can be classified into three types: uncoupled, decoupled and coupled. To best approach the target performance with the maximum robustness is one of the main functional requirements of a mechanical system. Most engineering designs are pertaining to either coupled or decoupled ones, but these designs cannot currently accomplish a real robustness thus a trade-off between performance and robustness has to be made. In this research, the game theory will be applied to optimize the trade-off.

• School Mathematics
• /
• v.4 no.1
• /
• pp.15-27
• /
• 2002

The purpose of this thesis is, through analysing the characteristics of the definitions in Korean school mathematics textbooks, to explore the levels of them. Definitions use din academic mathematics are rigorous. But they should be transformed into various types, which are presented in school mathematics textbooks, with didactical purposes. In this thesis we investigated such types of transformation. With the result of this investigation we tried to identify the levels of the definitions in school mathematics textbooks. We tried to construct, with consideration about methods of definition, frame for analysing the types of the definitions in school mathematics. Methods of definition are classified as connotative method, denotative method, and synonymous method. Especially we identified that connotative method contains logical definition, genetic definition, relational definition, operational definition, and axiomatic definition. With these analyses we made a frame for investigating the characteristics of the definitions in school mathematics textbooks. With this frame we identified concrete types of transformations of methods of definition. We tried to analyse this result with van Hieles' theory about let·els of geometry learning and the mathematical language levels described by Freudenthal, and identify the levels of definitions in school mathematics. We showed the levels of definitions in the geometry area of the Korean school mathematics.

• Proceedings of the KSME Conference
• /
• 2001.06c
• /
• pp.420-425
• /
• 2001

The information content is determined by establishing the system range for each of the FRs and by determing the overlap between system range and the design range (i.e the designer-specified range). However, conventional information content doesn't include designer's intention sufficiently. In this paper, the satisfaction function is presented to embody designer's intention by calculating information contents. The satisfaction function is created in order to deal with the uncertanties involved in determining the design range and the system range in terms of a given physical parameter. So, the satisfaction function help designer to choose the optimal design among many proposed design.

• School Mathematics
• /
• v.4 no.3
• /
• pp.463-481
• /
• 2002

In this paper, I review the historical background of "the principle of the permanence of equivalent forms" and sum- marize properties of "the principle of the permanence of equivalent forms" as a kind of heuristic. 1 think that "the principle of the permanence of equivalent forms" can be used effectively for student's discovery of the algebraic structure. There are three ways of using "the principle of the permanence of equivalent forms" in extending number system - an extension on the base of set theory(SMSC), the formal or axiomatic extrapolation and the inductive-extrapolatory method. All those three methods are mixed up and being used potentially at various levels in current Korean text books. "The principle of the permanence of equivalent forms" is used most effectively in the subject of the exponent. 1 try to present a situation that makes the students find more general definition and cultivate their desirable attitudes for the mathematics in the process of extending the exponent through summarizing the debate between Goel & Robillard(1997) and Tirosh S, Even(1997).

• Journal of the Korean School Mathematics Society
• /
• v.18 no.4
• /
• pp.371-385
• /
• 2015

In this paper we investigate the axioms defining area and volume so that revisit area formula for triangle, volume formula for triangular pyramid, and related contents in school mathematics from the view point of axiomatic method and Hilbert's third problem.

• Proceedings of the KSME Conference
• /
• 2003.11a
• /
• pp.1763-1768
• /
• 2003

Current trend of design technologies shows engineers to objectify or automate the given decision-making process. The numerical optimization is an example of such technologies. However, in numerical optimization, the uncertainties are uncontrollable to efficiently objectify or automate the process. To better manage these uncertainties, Taguchi method, reliability-based optimization and robust optimization are being used. Based on the independence axiom of axiomatic design theory that illustrates the relationship between desired specifications and design parameters, the designs can be classified into three types: uncoupled, decoupled and coupled. To best approach the target performance with the maximum robustness is one of the main functional requirements of a mechanical system. Most engineering designs are pertaining to either coupled or decoupled ones, but these designs cannot currently accomplish a real robustness thus a trade-off between performance and robustness has to be made. In this research, the game theory will be applied to optimize the trade-off.