• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.764-773
• /
• 2008

W3C는 시맨틱 웹 환경에서 온톨로지를 저작하고 공유하기 위해 온톨로지 구축 언어인 OWL을 발표하였다. 현재 OWL 온톨로지의 논리적 정당성을 검사하기 위해서, OWL 추론 엔진들이 소개되고 있다. 그러나 대부분의 추론 엔진들은 정당하지 못한 개념의 탐지 과정 없이 결과만을 보여준다. 본 논문에서는 온톨로지내의 정당하지 못한 개념을 디버깅하기 위해 종속 부호 기반 비논리적 공리(CIA-Causing Inconsistency Axiom) 탐색 기법을 제안한다. 비논리적 공리는 정당하지 못한 개념들을 유발하는 공리들의 집합이다. 비논리적 공리를 탐지하기 위해서는 온톨로지 내에서 비 일관성을 유발하는 공리를 찾아내야 한다. 온톨로지 저작 도구에 정확한 비논리적 공리가 제공된다면, 온톨로지 저작 도구는 온톨로지 내에서의 정당하지 못한 내용을 수정할 수 있도록 수정될 일부 내용만을 보여줄 것이다. 따라서 본 논문은 두 부분에 초점을 맞추었다. 첫 번째, 정당하지 못한 내용을 가진 온톨로지가 주어졌을 때 비 정당성을 유발하는 공리들을 도출하고, 이들의 근원을 식별한다. 두 번째 비 정당성을 유발하는 공리가 탐지되었을 때 이들만을 추출하여, 온톨로지 설계자에게 보여주는 것이다. 따라서 먼저 기존에 발표되었던 테이블로 알고리즘 기반의 결정 모듈을 소개하고, 이보다 향상된 기법인 종속 부호 기반 비논리적 공리 탐지 기법을 제안한다. 본 논문의 결과물은 현재 온톨로지 언어의 기본이 되는 SHOIN 서술 논리 응용시스템에 적용가능하다.

• East Asian mathematical journal
• /
• 제7권2호
• /
• pp.165-170
• /
• 1992

• Kyungpook Mathematical Journal
• /
• 제33권2호
• /
• pp.189-198
• /
• 1993

• Kyungpook Mathematical Journal
• /
• 제33권1호
• /
• pp.111-114
• /
• 1993

• 대한수학회지
• /
• 제55권5호
• /
• pp.1131-1142
• /
• 2018

A notion of measure expansivity for homeomorphisms was introduced by Morales recently as a generalization of expansivity, and he obtained many interesting dynamic results of measure expansive homeomorphisms in [8]. In this paper, we introduce a concept of weak measure expansivity for homeomorphisms which is really weaker than that of measure expansivity, and show that a diffeomorphism f on a compact smooth manifold is $C^1$-stably weak measure expansive if and only if it is ${\Omega}$-stable. Moreover we show that $C^1$-generically, if f is weak measure expansive, then f satisfies both Axiom A and the no cycle condition.

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

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

• 호남수학학술지
• /
• 제35권4호
• /
• pp.707-716
• /
• 2013

The present paper consists of two parts. Since the recent paper [4] proved that an Alexandroff $T_0$-space is a semi-$T_{\frac{1}{2}}$-space, the first part studies semi-open and semi-closed structures of the Khalimsky nD space. The second one focuses on the study of a relation between the LS-property of ($SC^{n_1,l_1}_{k_1}{\times}SC^{n_2,l_2}_{k_2}$, k) relative to the simple closed $k_i$-curves $SC^{n_i,l_i}_{k_i}$, $i{\in}\{1,2\}$ and its normal k-adjacency. In addition, the present paper points out that the main theorems of Boxer and Karaca's paper [3] such as Theorems 4.4 and 4.7 of [3] cannot be new assertions. Indeed, instead they should be attributed to Theorems 4.3 and 4.5, and Example 4.6 of [10].

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

• 호남수학학술지
• /
• 제35권1호
• /
• pp.101-107
• /
• 2013

The Gamma function ${\Gamma}$ which was first introduced b Euler in 1730 has played a very important role in many branches of mathematics, especially, in the theory of special functions, and has been introduced in most of calculus textbooks. In this note, our major aim is to explain the convergence of the Euler's Gamma function expressed as an improper integral by using some elementary properties and a fundamental axiom holding on the set of real numbers $\mathbb{R}$, in a detailed and instructive manner. A brief history and origin of the Gamma function is also considered.