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

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 추계학술대회 논문집
• /
• pp.82-86
• /
• 2004

To cope with the challenge from global market characterized by frequent changes in requirements, manufacturing enterprise should be able to promptly adjust its manufacturing system accordingly. Therefore, it is important to provide manufacturing system designer with an appropriate methodology to (re-)design a manufacturing system subject to requirements change. Axiomatic design theory focuses design activity mainly on functional consideration rather than physical, and has been known as effective especially in the conceptual design phase. This paper introduces an approach to apply the axiomatic design principle to manufacturing system design. It is shown that a new design solution can be reached quickly by finding design parameters for the added or revised functional requirements and thus achieving a set of functional requirements as well as design parameters that satisfy the independence axiom. Some illustrative examples are also given.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.555-560
• /
• 2002

This paper addresses the methodologies for manufacturing systems design. While a number of design methods are used in product or part design, methods for manufacturing systems design are rarely known. Two approaches, simulation and axiomatic design theory, are discussed with respective case examples. The usual purpose of using simulation is to identify the bottleneck of a manufacturing system or to evaluate its performance with the aim of configuring the manufacturing system. The simulation typically proceeds in steps such as problem definition, model building, numerical experimentation, analysis and evaluation. The axiomatic design method transforms customer attributes into functional requirements and repeats mapping processes between functional domain and physical one until a satisfactory level of refinement of the functional requirements and the design parameters is reached. Possible design alternatives are evaluated by applying the independence axiom as well as the information axiom.

• 대한기계학회논문집A
• /
• 제20권4호
• /
• pp.1333-1346
• /
• 1996

As the automation system in manufacturing field works more efficientely, the automation scheme is applied to many areas. In order to reduce the entire manufacturing, cost the design process must be automated. However, design process is so complicated, it is very difficult to construct the design automation system. The axiomatic approach to design provides a general theoretical framework for all design fields, including mechanical design. The key concepts of axiomatic design are : the existence of domains, the characteristic vectors within the domains that can be decomposed into hierarchies through zigzagging between the domains, and the design axioms. Using this approach, the glass bulb design process was analyzed and the design automation software was developed. Through menu display, a user can select or furnish the design input and generate the drawing with ease.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제32권2호
• /
• pp.207-223
• /
• 2018

이 연구에서는 범우 김치영(1916.12.24. ~ 1995. 4.22) 선생이 남긴 에세이 가운데 대표적인 3편을 선정하고, 이들을 한글 자연어 분석 패키지 KoNLP를 사용하여 언어적으로 분석하였다. 범우선생의 문장 가운데 약 80%는 5 이상 30 미만의 어절 수로 이루어졌다. 그의 글은 해를 거듭할수록 보다 명료해졌다. 이것은 한 문장 안에 들어있는 어절의 수에 대한 평균과 표준편차가 줄고 있다는 것으로 확인할 수 있다. 범우선생은 수학의 구조를 강조하였으며, 현대수학의 특징으로 위상화, category 등을 언급하였다. 특히, '수학', '공리', '구조', 'Euclid', '공리계', '집합' 등과 이들 사이의 관계가 범우선생의 화두였음을 알 수 있다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2008년도 추계학술대회A
• /
• pp.695-700
• /
• 2008

Artificial neural network (ANN) has been extensively used in areas of nonlinear system modeling, analysis and design applications. Basically, ANN has its distinct capabilities of implementing system identification and/or function approximation using a number of input/output patterns that can be obtained via numerical and/or experimental manners. The paper describes a role of ANN, especially a back-propagation neural network (BPN) in the context of engineering analysis, design and optimization. Fundamental mechanism of BPN is briefly summarized in terms of training procedure and function approximation. The BPN based causality analysis (CA) is further discussed to realize the problem decomposition in the context of multidisciplinary design optimization. Such CA is also applied to quantitatively evaluate the uncoupled or decoupled design matrix in the context of axiomatic design with the independence axiom.

• 한국수학사학회지
• /
• 제17권1호
• /
• pp.53-60
• /
• 2004

In this paper, we analyse several number theoretical proofs of the irrationality of $\sqrt{2}$ and reveal that these proofs are implied by The Completeness Axiom of the real number system.

• East Asian mathematical journal
• /
• 제28권2호
• /
• pp.159-172
• /
• 2012

In all Mathematics I Textbooks(Kim, S. H., 2010; Kim, H. K., 2010; Yang, S. K., 2010; Woo, M. H., 2010; Woo, J. H., 2010; You, H. C., 2010; Youn, J. H., 2010; Lee, K. S., 2010; Lee, D. W., 2010; Lee, M. K., 2010; Lee, J. Y., 2010; Jung, S. K., 2010; Choi, Y. J., 2010; Huang, S. K., 2010; Huang, S. W., 2010) in high schools in Korea these days, it is written and taught that for a positive real number $a$, $a^{\frac{m}{n}}$ is defined as $a^{\frac{m}{n}}={^n}\sqrt{a^m}$, where $m{\in}\mathbb{Z}$ and $n{\in}\mathbb{N}$ have common prime factors. For that situation, the author shows his opinion that the definition is not well-defined and $a^{\frac{m}{n}}$ must be defined as $a^{\frac{m}{n}}=({^n}\sqrt{a})^m$, whenever $^n\sqrt{a}$ is defined, based on the field axiom of the real number system including rational number system and natural number system. And he shows that the following laws of exponents for reals: $$\{a^{r+s}=a^r{\cdot}a^s\\(a^r)^s=a^{rs}\\(ab)^r=a^rb^r$$ for $a$, $b$>0 and $s{\in}\mathbb{R}$ hold by the completeness axiom of the real number system and the laws of exponents for natural numbers, integers, rational numbers and real numbers are logically equivalent.

• 대한지리학회지
• /
• 제44권3호
• /
• pp.372-394
• /
• 2009

본 연구는 온톨로지 기반 시민참여형 GIS를 연구하였다. 최근에 온톨로지 기반 GIS는 의미적 의사소통을 위한 지리적 변수의 폭넓은 활용성과 유용한 지리적 지식을 추천하기 위한 수요에 따라 주목받고 있다. 그래서 이 연구는 시민참여형 GIS를 위한 실험적 시스템의 설계와 구현에 초점을 맞추었다. 실험적 시스템의 적용 가능성은 경기도 구리시의 역사관광을 대상으로 실험을 통해 확인하였다. 방법론 측면에서 지역상황과 사용자 인식에 연관된 생명주기모형은 공리를 통해 지리적 지식발견을 추천하고, 이는 주요한 사전절차단계(명세화, 개념화, 정규화, 통합과 구현)를 통해 가능하다. 이 연구의 온톨로지는 실용적 측면에서 추론을 통한 지리적 지식을 추천하였다. 더불어, 이 연구의 온톨로지 기반 시민참여형 GIS는 인식론적 접근과 존재론적 접근의 통합을 보여주고, 의미론적 의사소통과 연계된 지표를 제공하였다는 것에 의미가 있다. 실험적 시스템의 결과는 연구지역에서 시나리오의 형태로 적용하고, 이 모델은 인간 활동의 의미에서 논리적인 제약요소의 공리를 활용하였다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집C
• /
• pp.548-553
• /
• 2001

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 protects the system from the external impact loads. Various space grids have been proposed and new designs are also being created. In this research, a new 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.