• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 2000.06a
• /
• pp.3-10
• /
• 2000

The undesired situation of development of tribology and its reason is analyzed. The problem comes from insufficient study on the concept system and method system, which can match the name, definition and nature of tribology. The existence of three axioms in tribology is discussed. They are axiom of system dependent, axiom of time dependent and axiom of coupling of behaviors of multi-discipline. A series of lemmas has been deduced from three axioms. It is expected that they can be a foundation to establish the concept system and method system.

• Journal of Educational Research in Mathematics
• /
• v.21 no.2
• /
• pp.135-148
• /
• 2011

Middle school mathematics treats axiom as mere fact verified by experiment or observation and doesn't mention it axiom. But axiom is very important to understand the difference between empirical verification and mathematical proof, intuitive geometry and deductive geometry, proof and nonproof. This study analysed textbooks and surveyed gifted students' conception of axiom. The results showed the problem and limitation of middle school mathematics on the treatment of axiom and proof.

• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.3
• /
• pp.107-114
• /
• 1999

Design Axiom proposed by N. P. Such consists of Independence Axiom & Information Axiom. Based on the Independence Axiom, it is very useful specially for early design stage such as conceptual design to generate the design alternatives by considering both functions and structures of product. Since the Information Axiom shows that the design solution should have a least information to be the best one among the many alternatives, this axiom can be used for the best selection purpose during the preliminary design stage. In this paper, the possibility of Design Axiom in marine design application is checked by carrying out three examples of marine design. In the conceptual design of thruster, it is proven to use the Independence Axiom very effective by relating directly functional requirements with design parameters, one by one. In main engine selection example, Information Axiom is used to select best solution among alternatives by choosing the one having the minimum information quantity. For similarity based design in which the selection of changing design variables and the amount of those are important, it is proved that design axiom applied to Barge design case would be very effective and useful. As functional requirements and constrains were not clarified in early design stage, design axiom shows some difficulty for larger system design like ship which is basically carried out by an incremental and iterative process.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.9 no.5
• /
• pp.7-13
• /
• 2010

Main starting valve is one of the main parts in the control system of diesel engines, purposed for starting main engines. It is composed of ball valve, check valve, actuator, etc. The design axioms provide a general framework for design methodology. Two axioms are independence axiom and information axiom. These axioms can be applied to all design process in a general way. The first axiom is introduced to analyze and evaluate the design of a main starting valve. The design parameters(DPS) are determined sequentially by considering the independence axiom. For the structural design of a main starting valve, the strength is calculated by using finite element method. In addition, the strength of its actuator piston is evaluated.

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

• Korean Journal of Logic
• /
• v.8 no.1
• /
• pp.23-46
• /
• 2005

The purpose of the paper Is to discuss and estimate early Popper's theory of probability, which is presented in his book, The Logic of of Scientific Discovery. For this, Von Mises' frequency theory shall be discussed in detail, which is regarded as the most systematic and sophisticated frequency theory among others. Von Mises developed his theory to response to various critical questions such as how finite and empirical collectives can be represented in terms of infinite and mathematical collectives, and how the axiom of randomness can be mathematically formulated. But his theory still has another difficulty, which is concerned with the inconsistency between the axiom of convergence and the axiom of randomness. Defending the objective theory of probability, Popper tries to present his own frequency theory, solving the difficulty. He suggests that the axiom of convergence be given up and that the axiom of randomness be modified to solve Von Mises' problem. That is, Popper introduces the notion of ordinal selection and neighborhood selection to modify the axiom of randomness. He then shows that Bernoulli's theorem is derived from the modified axiom. Consequently, it can be said that Popper solves the problem of inconsistency which is regarded as crucial to Von Mises' theory. However, Popper's suggestion has not drawn much attention. I think it is because his theory seems anti-intuitive in the sense that it gives up the axiom of convergence which is the basis of the frequency theory So for more persuasive frequency theory, it is necessary to formulate the axiom of randomness to be consistent with the axiom of convergence.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.115-128
• /
• 2009

In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.

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

• School Mathematics
• /
• v.9 no.4
• /
• pp.523-533
• /
• 2007

This article focused the meaning of Pythagoras' and Euclid's proof about the Pythagorean theorem in a historical and mathematical perspective. Pythagoras' proof using similarity is based on the arithmetic assumption about commensurability. However, Euclid proved the Pythagorean theorem again only using the concept of dissection-rearrangement that is purely geometric so that it does not need commensurability. Pythagoras' and Euclid's different approaches to geometry have to do with Birkhoff's axiom system and Hilbert's axiom system in the school geometry Birkhoff proposed the new axioms for plane geometry accepting real number that is strictly defined. Thus Birkhoff's metrical approach can be defined as a Pythagorean approach that developed geometry based on number. On the other hand, Hilbert succeeded Euclid who had pursued pure geometry that did not depend on number. The difference between the proof using similarity and dissection-rearrangement is related to the unsolved problem in the geometry curriculum that is conflict of Euclid's conventional synthetical approach and modern mathematical approach to geometry.

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