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

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.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.

• The Pure and Applied Mathematics
• /
• v.15 no.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.

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

• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.6 s.171
• /
• 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.

• Journal of KIISE:Software and Applications
• /
• v.35 no.6
• /
• pp.366-373
• /
• 2008

The web ontology language(OWL) has been used by ontology designers to construct ontology. In order to derive hidden information(concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. But most reasoners simply report these information without process for any arbitrary entailment and unsatisfiable concept derived from a OWL ontologies. In this paper, we propose Minimum Expression Axiom Set(MEXS) detection and storing for debugging unsatisfiable concepts in ontology. In order to detect MEXS, we need to find axiom to cause inconsistency in ontology. Therefore, our work focused on two key aspects: given a inconsistency ontology, identifying the roots of axioms to occur unsatisfiable and derived axioms from among them; and extracting MEXS. Our results can be applicable to all application, which is at the basis of the description logic.

• Communications of the Korean Mathematical Society
• /
• v.21 no.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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.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.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2013.08a
• /
• pp.113-117
• /
• 2013

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

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