• Title/Summary/Keyword: 공리적 접근 방법

Search Result 13, Processing Time 0.016 seconds

Development of Design Evaluation Method Through Nonlinear Satisfaction Function (비선형 만족도 함수를 이용한 설계평가 방법의 개발)

  • Moon, Y.R.;Cha, S.W.
    • Proceedings of the KSME Conference
    • /
    • 2001.06c
    • /
    • pp.420-425
    • /
    • 2001
  • The information content is determined by establishing the system range for each of the FRs and by determing the overlap between system range and the design range (i.e the designer-specified range). However, conventional information content doesn't include designer's intention sufficiently. In this paper, the satisfaction function is presented to embody designer's intention by calculating information contents. The satisfaction function is created in order to deal with the uncertanties involved in determining the design range and the system range in terms of a given physical parameter. So, the satisfaction function help designer to choose the optimal design among many proposed design.

  • PDF

A Study on the Development of No Spin Differential for an Off-road Vehicle (야지 차량용 No Spin Differential 개발에 관한 연구)

  • 편영식;장영도;이영춘;박정현;여진욱
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.11 no.6
    • /
    • pp.127-133
    • /
    • 2003
  • NSD(No Spin Differential) has been developed fer a military truck. A benchmarking study for USA and Russian NSD has been carried out. Axiomatic approach has been applied for improving the design. A test code for NSB has been developed and applied to the developed sample. In the test results of comparing the developed sample with the USA imported sample, three major characteristics-the noise, mobility and steerability - are in the range of the intended target. A practical process for the evolution design is proposed.

ABox Reasoning with Relational Databases (관계형 데이터베이스 기반 ABox Reasoning)

  • Khandelwal, Ankesh;Bisai, Summit;Kim, Ju-Ri;Lee, Hyun-Chang;Han, Sung-Kook
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2009.05a
    • /
    • pp.353-356
    • /
    • 2009
  • OWL 온톨로지의 확장 가능한(scalable) 추론(reasoning)에 대한 접근 방법으로 SQL로 구축된 논리 규칙을 관계형 데이터베이스에 저장되어있는 개체(individual)에 대한 사실(facts)과 공리(axioms)들에 적용하는 것이다. 예로서 미네르바(Minerva)는 서술 논리 프로그램(Description Logic Program, DLP)을 적용함으로써 ABox 추론을 수행한다. 본 연구에서는 관계형 데이터베이스를 기반으로 추론을 시도하며, 대규모 논리 규칙 집합을 사용한 추론을 시도한다. 뿐만 아니라, 특정 클래스에 속한 익명(anonymous)의 개체들과 개체들의 묵시적(implicit)인 관계성 추론을 시도하며, 필요한 경우 새로운 개체를 생성함으로써 명시화하여 추론을 시도한다. 더욱이, 추론의 논리 패러다임(paradigm)에서부터 데이터베이스 패러다임에 이르기까지 변화 시켜가면서 카디널리티(cardinality) 제약을 만족하는 개체들에 대한 제약적인 추정 추론을 시도하며, 벤치마크 테스트 결과 향상된 추론 능력을 얻을 수 있음을 보인다.

  • PDF