• 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 of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.987-998
• /
• 2023

It is shown that every continuum-wise expansive C¹ generic vector field X on a compact connected smooth manifold M satisfies Axiom A and has no cycles, and every continuum-wise expansive homoclinic class of a C¹ generic vector field X on a compact connected smooth manifold M is hyperbolic. Moreover, every continuum-wise expansive C¹ generic divergence-free vector field X on a compact connected smooth manifold M is Anosov.

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

• Communications of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.257-262
• /
• 2010

Let f be a $C^2$-diffeomorphism on a closed surface which satisfies the Axiom A. Then f is in the $C^2$-interior of the set of all diffeomorphisms having the inverse shadowing property with respect to the class of the continuous methods if and only if f satisfies the strong transversality condition.

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

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.523-535
• /
• 2010

There are different categorifications of the notion of a ring such as Ann-category due to N. T. Quang, ring category due to M. M. Kapranov and V. A. Voevodsky. The main result of this paper is to prove that every axiom in the definition of a ring category, but the axiom $x_0 = y_0$, can be deduced from the axiomatics of an Ann-category.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.2
• /
• pp.235-239
• /
• 2012

Let $f$ be an Axiom A difeomorphism of a closed 2- dimensional smooth manifold M: We show that $f$ has the limit shadowing property if and only if $f$ satisfies the $C^0$ transversality condition.

• The Mathematical Education
• /
• v.22 no.1
• /
• pp.31-33
• /
• 1983

In this paper, we investigate the properties of the semi-continuous functions on the first axiom space, n-th product space, pseudo-metric space, and proximity space. Counterexample is used when the converse of the theorem is not hold.

• Journal of the Korean Society of Industry Convergence
• /
• v.17 no.4
• /
• pp.194-202
• /
• 2014

Bonding Machine is new concept of semi industry. In this study, bonding machine is designed with aximatic design, then manufactured based on it. Axiomatic design offers a scientific base for design in an efficient way. Many application of the independence axiom have been pulished, however, the information axiom has been mainly applied to FR - DP problems except for few case studies.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1028-1033
• /
• 2008

The mount type HVAC control system is a type of an HVAC control system which is installed between a ceiling and ceiling boards of a room to control room temperature. Although the device is quite popular, design is conducted by a conventional way where engineering intuition and experiences are utilized. It is found that the design process is fairly inefficient and time-consuming because there are a lot of feedbacks. The axiomatic approach is used to investigate the design characteristics of the mount type HAVC control system and the Independence Axiom is utilized for the investigation. The Overall hierarchy is established up to the level of parts. It is found that the current design has many coupled and redundant aspects. The hierarchy is reorganized based on the Independence Axiom and a new design process is found. To exploit the new design process in practice, a design manual is made.