• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.6 s.171
• /
• pp.183-191
• /
• 2005

Axiomatic design offers a scientific base for design in an efficient way. It is well known that it has two axioms: the Independence Axiom and the Information Axiom. Many applications of the Independence Axiom have been published, however, the Information Axiom has been mainly applied to IFR (functional requirement) - 1DP (design parameter) problems except fer a few case studies. This research presents various methods for calculation of information content. Generally, the information content is evaluated by the probability of success. The probability of success is calculated in two ranges: the FR range and the DP range. In the FR range, the graphical method is utilized with uniform distribution of the DP. In the FP range, the integration method is employed. It is noted that any distribution function of the DP can be accommodated in the integration method. The developed method can be applied to a decoupled design with multiple FRs and DPs. The developed method is extended to a coupled design and a design with a hierarchical structure of axiomatic design.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.10
• /
• pp.2073-2081
• /
• 2002

In product design and manufacturing, axiomatic design provides a systematic approach for the decision-making process. Two axioms have been defined such as the Independence Axiom and the Information Axiom. The Information Axiom states that the best design among those that satisfy the independence axiom is the one with the least information content. In other words, the best design is the one that has the highest probability of success. On the other hand, the Taguchi robust design is used in the two-step process; one is "reduce variability," and the other is "adjust the mean on the target." The two-step can be interpreted as a problem that has two FRs (functional requirements). Therefore, the Taguchi method should be used based on the satisfaction of the Independence Axiom. Common aspects exist between the Taguchi method and Axiomatic Design in that a robust design is induced. However, different characteristics are found as well. The Taguchi method does not have the design range, and the probability of success may not be enough to express robustness. Our purpose is to find the one that has the highest probability of success and the smallest variation. A new index is proposed to satisfy these conditions. The index is defined by multiplication of the robustness weight function and the probability density function. The robustness weight function has the maximum at the target value and zero at the boundary of the design range. The validity of the index is proved through various examples.gh various examples.

• Journal of Educational Research in Mathematics
• /
• v.11 no.2
• /
• pp.403-419
• /
• 2001

The axiomatic geometry unit of the space figure in Mathematics II in the expository book of high school math curriculum (published by Ministry of Education, June 20, 1995) suggests some teaching points to bear in mind, so as not to make use of the system of axiom. However, it doesn't take the axiom about the space geometry as a starting point of argument, and so many textbooks can be found, in which intuitively true propositions are proved acceptable by the logical ambiguous statements. Thus, this study analyzes the contents of axiomatic geometry in high school math II textbooks and draws their problems. As an alternative improvement, 3 kinds of axiom on the space geometry and some important propositions, which are basic to proofs of proposition, will be presented here in this paper.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.3
• /
• pp.269-275
• /
• 2009

This paper represents a study on the conceptual design of new automatic bicycle transmission. The gear change in a commercial bicycle is carried out by moving the chain between sprockets. By the use of a multiple sprocket for speed change the power loss and transmission shock may occur. To solve the problem of bicycle transmission, the improved solution was derived by the technical contradiction matrix of TRIZ. The conceptual solution is one sprocket which replaces the function of multiple sprockets and adapts actively to the pitch of chain. And it was confirmed to be an adequate design through the Independence Axiom of design axiom.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1022-1027
• /
• 2008

This paper represents a study on the conceptual design of new automatic bicycle transmission. The gear change in a commercial bicycle is carried out by moving the chain between sprockets. By the use of a multiple sprocket for speed change the power loss and transmission shock may occur. To solve the problem of bicycle transmission, the improved solution was derived by the technical contradiction matrix of TRIZ. The conceptual solution is one sprocket which replaces the function of multiple sprockets and adapts actively to the pitch of chain. And it was confirmed to be an adequate design through the Independence Axiom of design axiom.

• Journal for History of Mathematics
• /
• v.29 no.3
• /
• pp.191-216
• /
• 2016

Moulton plane is the plane where all the plane axioms of Hilbert except the side-angle-side axiom hold true, and enables us to understand the importance and significance of the side-angle-side axiom. In this article, we start with the definitions of the Moulton lines, distance, angle, and then introduce many theorems of the Moulton geometry, with many intuitive proofs or explanations of our own with appropriate examples. In particular, we provide our independent study of the tangent lines to the Moulton circles and the rigid motions of the Moulton plane.

• East Asian mathematical journal
• /
• v.26 no.4
• /
• pp.581-597
• /
• 2010

In this paper, the author focuses on the teaching-level and learning-level of the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics, which is usually introduced in the class of real analysis of university mathematics. Firstly the author considers the properties of the completeness axiom and its 19 equivalent theorems, next he deals with its importances in the school mathematics and finally he suggests the teaching and learning of the concepts on the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics.

• Journal of Ocean Engineering and Technology
• /
• v.18 no.4 s.59
• /
• pp.59-64
• /
• 2004

Functional requirements and design parameters were not clarified in the early design process. Design axiom shows some difficulty for larger system designs, such as the butterfly valve, which is basically carried out by an incremental and iterative process. A numerical analysis was carried out on fluid flows in a butterfly valve, by using ANSYS-FLOTRAN. Characteristics of the butterfly flows at different valve disk opening angles, with a uniform incoming velocity, were investigated. The entire analysis is decomposed to satisfy the independence axiom. This paper resolves the problems associated with the establishment of a systematic design process.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2013.08a
• /
• pp.113-117
• /
• 2013

팀 버너스 리에 의해 '시멘틱 웹'은 1998년 제안되었으나 현재 새롭게 생성되고 있는 데이터 혹은 자연어 형식의 데이터를 시멘틱 검색을 위해 활용하기에는 아직까지 온톨로지 데이터베이스가 따라가지 못하고 있다. 이를 위해 온톨로지 구축의 구성요소인 공리(axiom)를 공공을 위한 데이터로 개발하여 시멘틱 검색에 활용하는 개념적 모델을 제안한다. 공리 데이터베이스는 단일 도메인에서 벗어난 시멘틱 검색을 위한 데이터베이스로서 도메인 온톨로지 구축에 기본적인 요소들을 제공하고, 이용자들이 시멘틱 검색을 통해 보다 만족한 정보검색을 할 수 있도록 한다. 또한 온톨로지 데이터를 확보하기 위해 정보생산자로부터 사전어휘에 대한 온톨로지 트리플을 생성하는 실험을 하였다. 온톨로지 자동구축에 대한 연구와 개발이 활발하지만 보편적 시멘틱 검색을 위해 정보생산자와 정보관리자가 많은 부분 데이터를 생성하고 검증해야할 필요가 있다.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.385-392
• /
• 1996

Smale [16] posed the following question; is having an attracting periodic orbit a generic property for diffeomorphisms of two-sphere $S^2\ulcorner$(A generic property of $f \in Diff(M)$ is one that is true for a Baire set in Diff(M)). Mane[5] and Plykin[13] had an positive answer for Axiom A diffeomorphisms of $S^2$. To explain our theorem, we begin by briefly recalling stability conjecture posed by palis and smale.