• 한국윤활학회:학술대회논문집
• /
• 한국윤활학회 2000년도 제31회 춘계학술대회
• /
• 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.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권2호
• /
• pp.135-148
• /
• 2011

우리나라 중학교 수학 2에서는 공리의 역할을 하는 명제를 공리라는 명시 없이, 실험에 의해 확인한 옳은 결과로만 받아들여 증명에 사용한다. 그러나 공리 개념은 경험적 입증과 연역적 증명, 직관기하와 논증기하, 증명과 증명이 아닌 것의 차이를 이해하는데 매우 중요한 것이다. 본 연구의 교과서 분석과 영재학생들을 대상으로 한 인식조사 결과는, 공리와 증명의 취급에 대하여 우리나라 교과서가 가진 한계와 문제점을 보여주고 있다.

• 대한조선학회논문집
• /
• 제36권3호
• /
• pp.107-114
• /
• 1999

설계공리는 독립공리와 정보공리로 이루어졌는데, 독립공리를 이용하면 개념설계 단계에서 기능과 구조의 관계를 고려하여 설계의 기본적인 개요을 잡는데 유용하며, 구조가 결정이 된 후에 기능요구를 잘 만족시키기 위한 설계변수들의 결정과정에서, 설계의 정보량을 최소화하는 입장에서 정보공리를 이용함으로서 설계 시에 설계공리의 적용이 가능하리라 본다. 본 연구에서는 조선분야의 설계문제에 설계공리를 적용하여 봄으로써 설계공리의 응용 가능성을 고찰하였다. Thruster의 개념설계 예제에서는 독립공리를 사용하여 기능요구와 설계변수의 분석이 어떻게 이루어지는가를 보였고, 주기관 선정 예제에서는 대안들을 선택하는 방법으로 정보공리가 효과적으로 이용될 수 있음을 보였다. 또 설계변수의 선택과 변경량이 중요한 상사설계에서도 바지선의 예를 통하여 설계공리가 유용하게 쓰일 수 있음을 보였다. 그러나 초기에 제한조건과 기능요구를 모두 파악하기 어려워 점진적이며 반복적인 설계과정을 거치는 선박과 같은 대형 구조물인 경우에는 설계공리의 적용에 한계가 있음도 파악하였다.

• 한국기계가공학회지
• /
• 제9권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.

• 대한수학회보
• /
• 제38권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.

• 논리연구
• /
• 제8권1호
• /
• pp.23-46
• /
• 2005

이 글의 목적은 포퍼의 초기의 확률론, 즉 $\ll$탐구의 논리$\gg$에서 제시된 상관 빈도 이론에 대해서 살펴보고 평가하는 것이다. 이를 위해서 우선 빈도 이론을 가장 체계적으로 제시한 폰 미제스의 빈도 이론에 대 해서 자세하게 논의한다. 빈도 이론에 대한 일반적인 비판은 유한한 경험적 집산이 어떻게 무한 계열인 수학적 집산으로 표상되는가와 무작위성의 공리가 어떻게 수학적으로 정식화하는가의 문제이다. 폰 미제스는 이러한 비판에 답하면서 빈도이론을 발전시켜나간다. 그러나 그의 빈도 이론에는 무작위성의 공리와 수렴성의 공리가 양립가능하지 많은 것처럼 보인다는 문제가 있다. 객관주의 확률론의 옹호자로서 포퍼는 이와 같은 문제가 해 결된 빈도 이론을 제시하고자 했다. 포퍼는 대담하게 수렴성의 공리를 완전히 포기하고 무작위성의 공리를 개선함으로써 이 문제를 해결할 수 있다고 주장한다. 그는 서수선택과 이웃선택이라는 위치선택 개념을 통해서 무 작위성의 공리를 보다 약화된 조건으로 수정하고 그 공리로부터 베르누이의 정리를 연역해 냄으로써 수렴성의 공리가 불필요함을 보인다. 결국 포퍼는 폰 미제스의 빈도이론의 치명적인 문제라고 여겨졌던 두 공리 사이의 비일관성 문제를 해결했다고 할 수 있다. 그럼에도 불구하고 포퍼의 수정된 빈도이론은 빈도이론의 기초가 된다고 생각되는 수렴성의 공리를 포기하는 반직관적인 이론이라는 비판을 피할 길이 없어 보이고, 그런 이유 때문에 포퍼의 빈도이론은 별로 주목을 받지 못한 것이다. 보다 직관적으로 설득력 있는 빈도 이론은 무작위성의 공리를 수렴성 공리와 일관성을 갖도록 정식화하여 제시하는 이론이다.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.115-128
• /
• 2009

본 논문에서 von Neumann의 공리계를 수정하여 새로운 DVN공리계를 소개한다. 그리고 DVN공리계에서 불가지 류의 존재성을 조사하고, 불가지류와 선택공리의 관계를 논한다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2008년도 추계학술대회A
• /
• 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.

• 대한수학교육학회지:학교수학
• /
• 제9권4호
• /
• pp.523-533
• /
• 2007

이 논문에서는 피타고라스 정리에 대한 피타고라스와 유클리드의 증명의 의미를 역사적, 수학적 관점에서 고찰하였다. 피타고라스의 닮음비에 의한 증명 방법은 통약성이라는 수에 대한 가정에 근거한 것이라고 볼 수 있다. 반면 유클리드는 통약성이 필요 없는 분해 합동이라는 순수한 기하학적 방법으로 다시 증명하였다. 피타고라스 정리의 증명에서 엿볼 수 있는 피타고라스와 유클리드의 기하에 대한 다른 접근 방식을 현 학교 기하의 바탕이 되는 Birkhoff와 Hither 공리계와 연관하여 논의하였다. Birkhoff는 엄밀하게 정의된 실수 개념을 상식으로 수용하여 현대수학적인 평면 기하 공리계를 제안하였으며, Hilbert는 실수 개념에 의존하지 않는 순수한 기하학을 추구했던 유클리드적 정신을 계승하였다. 따라서 피타고라스 정리에 대한 닮음비와 분해합동을 이용한 증명, 또 넓이에 의한 증명과 넓이가 같음에 의한 증명의 차이는 전통적인 유클리드의 종합기하적 전개와 현대수학적 전개사이의 갈등이라는 기하 교육에서 아직도 완전히 해결되지 않은 논점과 관련이 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제11권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.