• 한국수학교육학회지시리즈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.

• 해양환경안전학회지
• /
• 제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.

• 한국수학교육학회지시리즈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.

• 대한기계학회논문집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.

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

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

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제2권1호
• /
• pp.25-29
• /
• 1995

The topos constructed in [6] is a set-like category that includes among its axioms an axiom of infinity and an axiom of choice. In its final form a topos is free from any such axioms. Set$\^$G/ is a topos whose object are G-set Ψ$\sub$s/:G${\times}$S\longrightarrowS and morphism f:S \longrightarrowT is an equivariants map. We already known that Set$\^$G/ satisfies the weak form of the axiom of choice but it does not satisfies the axiom of the choice.(omitted)

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

• 한국수학사학회지
• /
• 제30권5호
• /
• pp.261-287
• /
• 2017

De Zolt's axiom which is a precise formulation of Euclid's Common Notion 5, "the whole is greater than the part", for the notion of 'content' holds in any Hilbert plane. In this article, we study the history of de Zolt's axiom which has its origin in Euclid's Common Notions, and introduce an example of a plane geometry in which de Zolt's axiom does not hold. We show that there is no area function in this geometry and every square is equidecomposable with a square which is properly contained in the first one. From this we also show that there are two equidecomposable rectangles which have the same base and do not have the same altitude, and there is a rectangle which is equicomplementable with an emptyset.