• 제목/요약/키워드: 공리적 접근 방법

검색결과 13건 처리시간 0.017초

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

  • 문용락;차성운
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2001년도 춘계학술대회논문집C
    • /
    • 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

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

  • 편영식;장영도;이영춘;박정현;여진욱
    • 한국자동차공학회논문집
    • /
    • 제11권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 (ABox Reasoning with Relational Databases)

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

  • PDF