• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.273-292
• /
• 2017

In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics $P_nIMICAL$ and $FP_nIMICAL$ are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for $FP_nIMICAL$ using construction in the style of Jenei-Montagna.

• Proceedings of the KSME Conference
• /
• 2001.06c
• /
• 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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• 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.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• 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를 추론할 수 있는 시스템의 설계 및 구현에 대해 설명하기로 한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.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.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.7 no.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.

• Journal for History of Mathematics
• /
• v.23 no.1
• /
• pp.79-88
• /
• 2010

G$\ddot{o}$del's proof attempts to establish the existence of God by the definition that God is a being having all positive properties. The proof uses here second order modal logic system $S_5$ with the axiom ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$. We review the G$\ddot{o}$del's own version and prove his ontological theorems.

• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.313-333
• /
• 2017

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.