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

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

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

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

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

• 한국정밀공학회지
• /
• 제22권6호
• /
• pp.183-191
• /
• 2005

Axiomatic design offers a scientific base for design in an efficient way. It is well known that it has two axioms: the Independence Axiom and the Information Axiom. Many applications of the Independence Axiom have been published, however, the Information Axiom has been mainly applied to IFR (functional requirement) - 1DP (design parameter) problems except fer a few case studies. This research presents various methods for calculation of information content. Generally, the information content is evaluated by the probability of success. The probability of success is calculated in two ranges: the FR range and the DP range. In the FR range, the graphical method is utilized with uniform distribution of the DP. In the FP range, the integration method is employed. It is noted that any distribution function of the DP can be accommodated in the integration method. The developed method can be applied to a decoupled design with multiple FRs and DPs. The developed method is extended to a coupled design and a design with a hierarchical structure of axiomatic design.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권6호
• /
• pp.366-373
• /
• 2008

현재 온톨로지를 구축하는데 있어 OWL을 온톨로지 표현 언어로 많이 사용하는 추세이다. OWL 온톨로지의 내제된 정보(클래스간의 계층구조, 인스턴스의 정확한 타입)를 추론하기 위해, 현재 많은 온톨로지 추론엔진이 개발되어지고 있다. 그러나 대부분의 온톨로지 추론 엔진들은 단순히 추론 결과만 명시할 뿐, 그 과정을 표현하지는 않는다. 따라서 본 논문에서는 논리적으로 정당하지 못한 은톨로지를 디버깅 하기위한 MEXS(Minimum Expression Axiom Set) 추출과 저장에 대한 기법을 제안한다. MEXS를 추출하기 위해서는 온톨로지 내에서 논리적인 오류를 유발하는 Axiom들을 찾아내는 방법은 매우 중요하다고 할 수 있다. 이에 본 논문은 두 가지 부분에 초점을 맞추어 연구를 진행하였다. 첫 번째, 논리적으로 정당하지 못한 온톨로지가 주어졌을 때, 논리적 오류를 유발하는 핵심 Axiom을 찾아내고, 이와 연관이 되는 Axiom들을 찾아낸다. 두 번째, 논리적으로 정당하지 못한 온톨로지를 디버깅하기 위한 MEXS를 구성한다. 본 연구 결과는 서술 논리에 기반을 둔 모든 어플리케이션에 적용이 가능하다.

• 대한수학회논문집
• /
• 제21권2호
• /
• pp.211-217
• /
• 2006

Topos is a set-like category. In topos, the axiom of choice can be expressed as (AC1), (AC2) and (AC3). Category Fuz of fuzzy sets has a similar function to the topos Set and it forms weak topos. But Fuz does not satisfy (AC1), (AC2) and (AC3). So we define (WAC1), (WAC2) and (WAC3) in weak topos Fuz. And we show that they are equivalent in Fuz.

• 대한기계학회논문집A
• /
• 제26권10호
• /
• pp.2073-2081
• /
• 2002

In product design and manufacturing, axiomatic design provides a systematic approach for the decision-making process. Two axioms have been defined such as the Independence Axiom and the Information Axiom. The Information Axiom states that the best design among those that satisfy the independence axiom is the one with the least information content. In other words, the best design is the one that has the highest probability of success. On the other hand, the Taguchi robust design is used in the two-step process; one is "reduce variability," and the other is "adjust the mean on the target." The two-step can be interpreted as a problem that has two FRs (functional requirements). Therefore, the Taguchi method should be used based on the satisfaction of the Independence Axiom. Common aspects exist between the Taguchi method and Axiomatic Design in that a robust design is induced. However, different characteristics are found as well. The Taguchi method does not have the design range, and the probability of success may not be enough to express robustness. Our purpose is to find the one that has the highest probability of success and the smallest variation. A new index is proposed to satisfy these conditions. The index is defined by multiplication of the robustness weight function and the probability density function. The robustness weight function has the maximum at the target value and zero at the boundary of the design range. The validity of the index is proved through various examples.gh various examples.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 2013년도 제20회 학술대회 논문집
• /
• pp.113-117
• /
• 2013

팀 버너스 리에 의해 '시멘틱 웹'은 1998년 제안되었으나 현재 새롭게 생성되고 있는 데이터 혹은 자연어 형식의 데이터를 시멘틱 검색을 위해 활용하기에는 아직까지 온톨로지 데이터베이스가 따라가지 못하고 있다. 이를 위해 온톨로지 구축의 구성요소인 공리(axiom)를 공공을 위한 데이터로 개발하여 시멘틱 검색에 활용하는 개념적 모델을 제안한다. 공리 데이터베이스는 단일 도메인에서 벗어난 시멘틱 검색을 위한 데이터베이스로서 도메인 온톨로지 구축에 기본적인 요소들을 제공하고, 이용자들이 시멘틱 검색을 통해 보다 만족한 정보검색을 할 수 있도록 한다. 또한 온톨로지 데이터를 확보하기 위해 정보생산자로부터 사전어휘에 대한 온톨로지 트리플을 생성하는 실험을 하였다. 온톨로지 자동구축에 대한 연구와 개발이 활발하지만 보편적 시멘틱 검색을 위해 정보생산자와 정보관리자가 많은 부분 데이터를 생성하고 검증해야할 필요가 있다.

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

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