• 논리연구
• /
• 제20권2호
• /
• pp.273-292
• /
• 2017

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

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

When we use various multimedia programs such as 3D-game, visual conference, dial-pad phone by internet service, we make use of headset generally. As internet system is magnified more and more, a demand of headset will be increasing continuously. Because microphone was fixed by headset, it has many inconveniences for using headset. For these reasons, new concept headset is needed nowadays. Main idea of development of headset is very the automatic operation system of microphone. There are many process variables in appling new technology to the conventional headset. They can be solved by using axiomatic approach method which is very useful design method for designing new products. Its main character is scientific and analytical. The goal of this research is to design and manufacture a new headset model with axiomatic design method. In this paper, a new concept headset was presented by mapping the relation between functional requirements and design parameters.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.848-854
• /
• 2005

In mechanical design part, though many design methodologies have been developed, most of them are applicable for detailed design. Therefore, when people had to do conceptual design, they relied on their individual creativity. To improve this phenomenon, some methodologies are developed such as TRIZ and axiomatic design. In this paper, both TRIZ and axiomatic design methodologies will be reviewed. In addition, some papers which contain conceptual design case study will be also dealt with. These case studies are results of application both axiomatic design and TRIZ methodology.

• 한국정밀공학회지
• /
• 제21권8호
• /
• pp.106-111
• /
• 2004

Micro-stereolithography technology has made it possible to fabricate any form of three-dimensional microstructures. It makes a 3D structure by dividing the shape into many slices of relevant thickness along horizontal surface, hardening each layer of slice with a laser, and stacking them up to a desired shape. Until now, however, the micro-stereolithography device was not designed systematically because the key factors governing the device were not considered. In this paper, we designed micro-stereolithography device using axiomatic approach. This paper contains an overview and an analysis of a new proposed system for development of micro-stereolithegraphy device, and detailed descriptions of the activities in this system. The newly designed system offers reduced machine size by minimizing of optical components and decoupled design matrix.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
• /
• pp.559-561
• /
• 2003

최근 차세대 Web 기술로서 Semantic Web이 주목 받고 있다. Semantic Web에서는 Web상에 존재하는 문서에 Web Resource들에 대한 Ontology를 기반으로 Semantic Annotation을 하고 Ontology 추론 Agent를 통하여 의미 기반으로 Web을 검색할 수 있도록 해준다. 이와 같은 Semantic Web 기술의 핵심 요소는 Web Ontology이며 W3C에서는 이를 표현 할 수 있는 표준 언어로서 RDF기반의 OWL(Web Ontology Language) 명세를 제정하고 있다. 따라서 표준 Web Ontology 언어인 OWL을 위한 추론 시스템은 Semantic Web 검색 Agent의 구현을 위한 필수적인 기반 기술이라 할 수 있으나 아직 그 개발이 미비한 상태이다. OWL 추론 시스템을 구현하기 위해서는 OWL의 이론적인 기반을 제공하는 DL(Description Logic)을 추론할 수 있는 엔진을 사용하는 것이 한가지 방법이 될 수 있으나 OWL이 Rule과 같은 DL의 범주를 벗어나는 Vocabulary를 지원하는 언어로 확장되는 경우에 이를 처리하기가 어렵다. 또 다른 방법으로서 Logic Programming을 통하여 OWL 언어의 Semantic을 기술하고 정리 증명(Theorem Proving)을 통하여 Ontology를 추론하는 공리화(Axiomatisation) 기법이 있는데 이러한 방법의 장점은 기반이 되는 Logic의 범주 내에서 새로운 언어를 위한 Vocabulary의 확장이 용이하다는 점이다. 본 논문에서는 Axiomatisation 방법을 이용하여 OWL로 기술된 Ontology를 추론할 수 있는 시스템의 설계 및 구현에 대해 설명하기로 한다.

• 한국정밀공학회지
• /
• 제18권4호
• /
• pp.197-202
• /
• 2001

This paper proposes a design method for improving the disassembly by using the axiomatic approach. A product developer must design disassembly as well as assembly when designing the structure of a product. Axiomatic approach is a design tool that optimizes design. In this paper design evaluation method using information axiom sets impact variables and value function. As a result, examining the relationship between the functional requirements and evaluating the information can optimize designs.

• 한국자동차공학회논문집
• /
• 제7권6호
• /
• pp.106-114
• /
• 1999

Today, one of the most important objective in automobile development is to reduce the weight of automobile . The eventual depletion of petroleum and environmental regulations brought considerable emphasis to this area on increasing fuel efficiency. Conventional intake air-fuel system is very heavy because it is composed of numerous parts. The bulky size caused increase in the amount of metal being used to build automobile chassis and this became a serious weight problem. The size also caused difficulties in optimization of fuel supply system which in turn decreased engine efficiency. Currently , there are efforts to integrate several intake system modules into one. The purpose of this paper is to evaluate the directions of such development.

• 한국수학사학회지
• /
• 제23권1호
• /
• pp.79-88
• /
• 2010

괴델에 의하면, 모든 긍정성을 가진 존재를 신으로 정의할 때 신의 존재에 대한 수학적 증명은 가능하다. 신의 정의를 만족하는 대상이 존재가능하다면, 그 대상은 필연적으로 존재한다. 이를 위해서 그는 세 개의 정의와 다섯 개의 공리와 두개의 정리를 남겼고, 2차 양상논리 시스템 $S_5$과 공리 ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$를 사용했다.

• 논리연구
• /
• 제20권3호
• /
• pp.313-333
• /
• 2017

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