• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제3권2호
• /
• pp.131-139
• /
• 1996

Topos is a set-like category. For an axiom of choice in a topos, F. W. Lawvere and A. M. Penk introduced another versions of the axiom of choice. Also it is showed that general axiom of choice and Penk's axiom of choice are weaker than Lawvere's axiom of choice. In this paper we study that weak form of axiom of choice, axiom of choice, Penk's axiom of choice and Lawvere's axiom of choice are all equivalent in a well pointed topos.

• 대한수학회논문집
• /
• 제19권1호
• /
• pp.29-34
• /
• 2004

There are various forms of the axiom of choice and also various weak forms of the axiom of choice in a topos. This paper give equivalent forms of the axiom of choice in a well-pointed topos.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권1호
• /
• pp.85-92
• /
• 2008

In topoi, there are various forms of the axiom of choice such as (ES), (AC) and (WO). And also there are various weak forms of the axiom of choice such as (DES), (IAC) and (ASC). First we investigate the relation between (IAC) and (ASC), and then we study the relation between (AC) and (WO). We get equivalent forms of the axiom of choice in a well-pointed topos.

• 해양환경안전학회지
• /
• 제20권3호
• /
• pp.296-303
• /
• 2014

The Axiom propeller is a unique 3 bladed propeller and it enables to generate the same amount of thrust going ahead as it does going astern because of its 's' type skew-symmetric blade section. A earlier variant of the design (Axiom I propeller) performed a low propeller efficiency, maximum 35 % efficiency, and further blade outline design was carried out to achieve a higher efficiency. The optimized new blade outline (Axiom II propeller) has more conventional Kaplan geometry shape than Axiom I propeller. Model tests of open water performance and propeller cavitation for both propellers were conducted at Emerson Cavitation Tunnel in order to compare their performances. Experiment results revealed that Axiom II propeller provides a maximum 53 % efficiency and provides better efficiency and cavitation performance over the Axiom I propeller under similar conditions.

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

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

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

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

• 대한기계학회논문집A
• /
• 제26권9호
• /
• pp.1727-1735
• /
• 2002

The usage of beam scanning type laser marker is rapidly increasing in the field of semiconductor equipment. A device called ″beam adjuster″ is employed to adjust the visible diode laser, which points the marking position for various setting. The device is very sensitive to manufacturing tolerance and assembly condition. Axiomatic approach has been applied to the design of the device. An existing design is analyzed based on the Independence Axiom. The existing design is found to violate the axiom. Two new designs are proposed to satisfy the Independence Axiom. The Information Axiom is utilized to evaluate the designs. A design is selected to have the minimum information content. The significance of this research is that a full cycle of axiomatic design is applied to a real engineering product.

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

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

• 한국윤활학회:학술대회논문집
• /
• 한국윤활학회 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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제13권4호
• /
• pp.249-254
• /
• 2006

Category Fuz of fuzzy sets has a similar function to the topos Set. But Category Fuz forms a weak topos. We show that supports split weakly(SSW) and with some properties, implicity axiom of choice(IAC) holds in weak topos Fuz. So weak axiom of choice(WAC) holds in weak topos Fuz. Also we show that weak extensionality principle for arrow holds in weak topos Fuz.