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

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

• 해양환경안전학회지
• /
• 제21권2호
• /
• pp.207-214
• /
• 2015

본 연구에서는 공리적 설계 방법론에서 중요한 2가지 공리 중 독립공리를 시스템 개발에서 설계 기준으로 적용하였다. 기능 요구사항과 대응하는 설계 파라메터는 설계행렬을 구성하고 이를 이용하여 독립공리에 부합하는 설계 파라메터의 순서를 정한 후 블록 레벨링 시스템에서의 독립적 구성요소를 판별하였다. 이러한 공리적 설계의 결과로서 설계 순서에 맞는 블록 레벨링 시스템 구성을 도출하였다. 도출된 블록 레벨링 시스템 구성의 검증과 확인을 위해 블록 조립 현장에서 사용하고 있는 3차원 좌표 측정기인 토털 스테이션을 사용하여 실제 조립이 완료된 블록에 대하여 구현된 블록 레벨링 시스템을 적용하여 데이터를 비교하는 시험을 수행하였다. 토털 스테이션의 측정 데이터와 블록 레벨링 시스템의 수신 데이터를 비교하여 1 mm 이내의 정밀도로 블록 레벨링 시스템이 동작함을 검증하고 확인하였다.

• 논리연구
• /
• 제5권2호
• /
• pp.39-66
• /
• 2002

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

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

• 한국해양공학회지
• /
• 제18권4호
• /
• 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.

• 한국정밀공학회지
• /
• 제21권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.

• 한국해양학회지:바다
• /
• 제13권3호
• /
• pp.246-251
• /
• 2008

심해저 망간단괴 집광시스템(이하, 집광시스템)의 개념설계가 공리적 설계(Axiomatic Design)의 관점에서 평가되었다. 또한 이미 수행된 집광시스템의 개념설계에 대해 기능적 영역의 기능요구와 물리적 영역의 설계파라미터가 구체화되었다. 기능요구와 설계파라미터의 상호관계는 첫 번째 수준 계층에서 하위 수준 계층으로 순차적으로 분석되었다. 이러한 상호관계는 설계행렬의 형태로 표현되었고 기능요구와 설계파라미터 사이의 독립성을 판단하기 위한 지표로 사용되었다. 설계행렬의 분석결과 본 집광시스템은 설계파라미터간에 연성이 되지 않는 비연성화된 설계임이 확인되었다. 결과적으로, 본 집광시스템은 독립공리(Independence Axiom)를 만족하는 잘된 설계임이 개념적으로 입증되었다.

• 한국자동차공학회논문집
• /
• 제13권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.

• 대한기계학회논문집A
• /
• 제26권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.

• 대한기계학회논문집A
• /
• 제31권1호
• /
• 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.