• 논리연구
• /
• 제18권2호
• /
• pp.197-215
• /
• 2015

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.1205-1211
• /
• 2003

Having information is most important at the present age. Internet is main source of obtaining information and mobile telecommunication let people communicate each other without any time and space limitation. Recently, advanced technology in telecommunication makes two-way service possible. So, the mobile internet service combined internet with mobile telecommunication is widely and rapidly promoted. Therefore user can transmit and receive a lot of information without time and space restriction using various application technologies. This paper deals with machinery that makes human do office work conveniently in vehicle using mobile internet service. Namely, it tries to design mobile internet machinery combining of wireless payment, GPS module, mobile internet, and mobile office etc. And that can transmit and receive e-mail or documents etc. This machinery has various objects, and design process has complexity. To reduce trial error and processing complexity, Axiomatic Design Method is used to design the machinery.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.1240-1247
• /
• 2003

Water jet nozzle for LCD has been used as a wet cleaning process in many industries. It is necessary for the nozzle to consider cleaning effect and flux. In this paper, we applied the bubble dynamic theory(Rayleight-Plesset equation) to improve the cleaning efficiency. Generally, Rayleigh-Plesset equations for cavitation bubbles are used in analyzing computer simulation for caviting flows. Burst of bubbles causes potential energies and we can use these energies to remove organic and inorganic compounds on the LCD. Therefore, it is necessary to analyze the bubble generations and axiomatic design by computational fluid dynamics(CFD). By comparing the weight matrix of neural networks to the design matrix of axiomatic design, we propose methods to verify designs objectively. The optimal solution could be deduced by the regression analysis using the design parameters.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.719-722
• /
• 2001

Paraglider has been used for a good air sports instrument by many people in the world though its short history. And manufacturers have improved it continuously. It has the great growth from the first model like parachute to the latest model that has the extreme speed, but we can improve it in more parts. In this paper, we will show the method which can improve its performance by using Axiomatic Approach.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 추계학술대회 논문집
• /
• pp.595-599
• /
• 2000

This paper describes an Axiomatic Design Process enhanced by the Combinative Index that represents combinative strength between function requirements and design parameters. This method combines the advantages of these two methods : 1) Combinative Index that represents combinative strength between function requirements and design parameters so that we clearly understand these information. 2) engineering specifications are categorized into strategies, constraints and Functional Requirements. In this paper, relationship of FR's and DP's is regarded as one in which uncertainty of information are fundamentally involved. In the reduction of problem with uncertainty, we propose an enhanced Axiomatic Design Process using Combinative Index.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• pp.684-688
• /
• 1997

The human species has been able to fly for about a century - with the help of aircraft of various kinds. Recently. air vehicles which are like an insect or a bird with flapping wings have been appeared, although many of them are experimental flight vehicle. However, the rubber-powered flapping vehicle is put to practical use such as toy, which flies for some seconds. In this paper, we analyze and evaluate above the rubber-powered flight vehicle using axiomatic design and will present new four flapping wing model.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1414-1417
• /
• 2003

In chemical forming process, mixed materials of LDPE, EVA and forming agent are used. However mechanical properties has been dropping remarkably through this forming process. In this study, Above materials(LDPE, EVA) were used in microcellular foaming injection process. And various effective factors in this process were selected by Axiomatic approach and systematically estimated by DOE(Design of Experiments). As a results, injection type and rate of mixing resins have more influence on forming rate than other factors.

• 대한기계학회논문집A
• /
• 제24권10호
• /
• pp.2438-2450
• /
• 2000

The Design Axioms provide a general framework for design methodologies. The axiomatic design framework has been successfully applied to various design tasks. However, the axiomatic design has been rarely utilized in the detailed design process of structures where the optimization technology is generally carried out. The relationship between the axiomatic design and the optimization is investigated and Logical Decomposition method is developed for a systematic structural optimization. The entire optimization process is decomposed to satisfy the Independence Axiom. In the decomposition process, design variables are grouped according to sensitivities. The sensitivities are evaluated by the Analysis of Variance(ANOVA) to avoid considering only local values. The developed method is verified through examples such as the twenty -five members transmission tower and the two -bay-six-story frame.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2001년도 춘계학술대회논문집
• /
• pp.504-509
• /
• 2001

CD-ROM drive is improved in rotation speed up to 10,000 rpm. But Vibration and Noise are also increased simultaneously more and more. So many attempts are tried to reduce the unexpected effects. Most attempts are not enough to cover the increasement of Noise and Vibration. Merely availed tries are accumulated in many part and it makes the structure complicated. The Axiomatic approach could arrange the order of design and estimate the optimum design in good oder. In Axiomatic Approach, the composition is divided by Customer Requirement, Functional Requirement, Design Parameter and Design Matrix in large portion. This method also could show more effective way to design before making a prototype.

• 대한기계학회논문집A
• /
• 제33권3호
• /
• pp.269-275
• /
• 2009

This paper represents a study on the conceptual design of new automatic bicycle transmission. The gear change in a commercial bicycle is carried out by moving the chain between sprockets. By the use of a multiple sprocket for speed change the power loss and transmission shock may occur. To solve the problem of bicycle transmission, the improved solution was derived by the technical contradiction matrix of TRIZ. The conceptual solution is one sprocket which replaces the function of multiple sprockets and adapts actively to the pitch of chain. And it was confirmed to be an adequate design through the Independence Axiom of design axiom.