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

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.21 no.2
• /
• pp.207-214
• /
• 2015

In this paper the independence axiom, one of two principal axioms of axiomatic design theory, is applied to the leveling system development as an design criteria. After functional requirements and corresponding design parameters constitute an initial design matrix for the leveling system, sequence, which is compatible with the independence axiom, of the design parameters of the design matrix is determined and independent components of block leveling system are revealed. As a result of axiomatic design, system configuration related to the design sequence is developed. In order to verify and validate the developed block leveling system, test with real hull block leveling work in site by using total station which is used to acquire three dimensional coordinate of target point is performed. Comparison with measured data and output data from the block leveling system shows the system accuracy is under 1 mm so that the developed system is verified and validated to be used in site.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

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

• Journal of Ocean Engineering and Technology
• /
• v.18 no.4 s.59
• /
• pp.59-64
• /
• 2004

Functional requirements and design parameters were not clarified in the early design process. Design axiom shows some difficulty for larger system designs, such as the butterfly valve, which is basically carried out by an incremental and iterative process. A numerical analysis was carried out on fluid flows in a butterfly valve, by using ANSYS-FLOTRAN. Characteristics of the butterfly flows at different valve disk opening angles, with a uniform incoming velocity, were investigated. The entire analysis is decomposed to satisfy the independence axiom. This paper resolves the problems associated with the establishment of a systematic design process.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.5
• /
• pp.166-173
• /
• 2004

Axiomatic Design has been developed as a general design framework during past two decades and TRIZ has been developed for a design tool over 50 years. Axiomatic design is quite excellent in that the design should be decoupled. When a design matrix is established, the characteristics of the design are identified concerning the coupling properties. If the design is coupled, a decoupling process should be found. However, axiomatic design does not specifically indicate how to decouple. In this paper, a design method is developed to use TRIZ in the decoupling process. The decoupling ideas are extracted from the substance field analysis and various methods in TRIZ. The mettled is applied applied to the conceptual design of a beam splitter for the laser marker and the results are analyzed.

• The Sea:JOURNAL OF THE KOREAN SOCIETY OF OCEANOGRAPHY
• /
• v.13 no.3
• /
• pp.246-251
• /
• 2008

The conceptual design evaluation of Deep-Sea Manganese Nodule Miner(DSNM) based on Axiomatic Design was preformed. Functional Requirements(FRs) in functional domain and Design Parameters(DPs) in physical domain were embodied for the given concept design of DSNM. Interactions between FRs and DPs were sequentially analyzed from the first level hierarchy to the lower level hierarchy. The interactions were expressed as design matrices which showed the dependence or independence between FRs and DPs. The results showed that the design of DSNM was not a coupled one, but a decoupled. Finally, it was conceptually verified that DSNM was a good design satisfying the independence axiom of the Axiomatic Design.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.13 no.3
• /
• pp.24-34
• /
• 2005

The automobile seat must satisfy various safety regulations for the passenger's safety. In many design practices, each component is independently designed by concentrating on a single related regulation. However, since multiple regulations can be involved in a seat component, there may be design confliction among the various safety regulations. Therefore, a new design methodology is required to effectively design an automobile seat. The axiomatic approach is employed for considering multiple regulations. The Independence Axiom is used to define the overall flow of the seat design. Functional requirements (FRs) are defined by safety regulations and components of the seat are classified into groups which yield design Parameters (DPs). The classification is carried out to have independence in the FR-DP relationship. Components in a DP group are determined by using orthogonal away of the design of experiments (DOE). Numerical analyses are utilized to evaluate the safety levels by using a commercial software system for nonlinear transient finite element analysis.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.8
• /
• pp.1623-1630
• /
• 2002

Recently, much attention is imposed on the design of the fuel assemblies in the Pressurized Light Water Reactor (PWR). Spacer grid is one of the main structural components in a fuel assembly. It supports fuel rods, guides cooling water, and maintains a coolable geometry from the external impact loads. In this research, a new shape of the spacer grid is designed by the axiomatic approach. The Independence axiom is utilized for the design. For conceptual design, functional requirements (FRs) are defined and corresponding design parameters (DPs) are found to satisfy FRs in sequence. Overall configuration and shapes are determined in this process. Detail design is carried out based on the result of the axiomatic design. For the detail design, the system performances are evaluated by using linear and nonlinear finite element analysis. The dimensions are determined by optimization. Some commercial codes are utilized for the analysis and design.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.1 s.256
• /
• pp.77-88
• /
• 2007

Axiomatic Design has been developed as a general design framework during past two decades and TRIZ has been developed for a design tool over 50 years. Axiomatic design is quite excellent in that design should be decoupled. When a design matrix is established, the characteristics of the design are identified according to the coupling properties. If the design is coupled, a decoupling process should be found. However, axiomatic design does not specifically indicate how to decouple a coupled design. In this research, the coupling manner is classified into six patterns. Each pattern could be solved by an appropriate TRIZ module. A table, which matches the coupling pattern and a TRIZ module, is proposed for effective application of the two design theories. The decoupling ideas are proposed by using TRIZ modules. When the number of decoupled designs is more than one, the engineer should select the final idea. The proposed method is applied to practical cases such as a tape feeder and a beam adjuster of the laser marker.