• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.2
• /
• pp.201-205
• /
• 2015

We show that if a regular map belongs to the $C^1$-interior of the set of all Kupka-Smale differentiable maps then it satisfis Axiom A and the strong transverality condition.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.191-195
• /
• 2001

In this paper, a simple axiom system of lattice implication algebras is presented, it is convenient for verifying whether an algebra of type (2,2,2,1,0,0) becomes a lattice implication algebra.

• Journal of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.473-490
• /
• 2000

Removal independence is a translation of Arrow's axiom of independence of irrelevant alternatives for social welfare functions to an axiom about consensus functions involving n-trees. It is shown that a consensus function is removal independent if and only if it is expressible as th union of three types of functions.

• 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.

• Kyungpook Mathematical Journal
• /
• v.19 no.2
• /
• pp.159-163
• /
• 1979

In this paper $T_0$-identification spaces are used to prove that the semi-$R_1$ separation axiom is not a generalization of the $R_1$ separation axiom and to determine conditions, which together with $R_1$, do and do not imply semi-$R_1$.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.06a
• /
• pp.593-594
• /
• 2007

• Journal of the Korean Society for Library and Information Science
• /
• v.46 no.2
• /
• pp.157-174
• /
• 2012

This study tries to describe personal name access point control ontology for the American novelist Mark Twain using RDF/OWL axiom to control access point based on the ontology. The Axiom used in this study are disjoint with class, domain and range, property cardinality, inverse functional property, individual and literal data property. As a result, in the ontology environment we can accept various access points as equal access points exclusive of authority heading and heading concept. It can successfully describe Mark Twain's personal name access point control ontology and display using the OntoGraf.

• 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.

• 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.