• Title/Summary/Keyword: Rule specification

Search Result 77, Processing Time 0.025 seconds

설계사양에 부합되는 제어기 설계와 식별 알고리즘 (Controller Design Adaptable to Design Specification and Identification Algorithm)

  • 전규석;서병설
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2002년도 합동 추계학술대회 논문집 정보 및 제어부문
    • /
    • pp.63-66
    • /
    • 2002
  • This paper proposes a new identification method to be able to meet the design specifications. By introducing a controller factor in Pade apporximation of the previous system identification algorithm, relationships between system identification and design specifications are obtained through the Ziegler-Nickels tuning rule.

  • PDF

고속철도 시스템 안전기준(안) 작성에 관한 연구 (A Study on Safety Rules and Regulations for High-Speed Rail System)

  • 왕종배;박찬우;박주남
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2005년도 추계학술대회 논문집
    • /
    • pp.575-580
    • /
    • 2005
  • In this study, safety requirement & criteria for high-speed rail system were developed for safety verification as a national rules and regulations. Safety criteria were presented through analysis of high-speed rail development specification, survey of related regulations for safety requirements. and review of operation compatibility with domestic rail system. Finally, safety rule consist of system safety requirements and safety criteria for technical parts.

  • PDF

시험도로 토압계 계측결과 분석 (An Analysis of Soil Pressure Gauge Result from KHC Test Road)

  • 인병억;김지원;이경하;이광호
    • 한국도로학회논문집
    • /
    • 제8권3호
    • /
    • pp.129-141
    • /
    • 2006
  • 아스팔트 포장은 점탄성재료로서 포장체에 발생되는 토압은 차량하중의 크기와 재하속도, 아스팔트 포장층의 온도와 하부층의 재료구성에 따라 크기와 분포 양상이 다르게 발생된다. 본 연구는 이러한 다양한 조건에 따른 포장체 하부의 토압분포를 분석하고, 기층과 보조기층의 지지력을 평가하는 평판재하시험 기준과 실제 계측된 토압과의 비교를 통해 현재 적용되고 있는 지지력기준에 대한 타당성을 검토하고자 한다. 또한 실제 포장단면을 모사한 유한요소해석을 통해 포장체 하부에 발생되는 토압을 예측하고 계측결과와 비교함으로서 포장체의 거동을 예측할 수 있는 모델을 제안 하고자 한다. 이를 위해서 시험도로의 2004년 8, 9, 11월과 2005년 8월에 계측이 수행된 아스팔트 포장 동적재하시험 결과 중 계측기 상태가 양호한 A5, A7, A14, A15 단면에 대해 계측결과의 분석을 수행하였다. 토압계의 분석은 차량하중의 크기와 속도. 아스팔트 포장의 온도, 포장하부의 재료구성에 따른 토압의 크기 변화와 차량하중으로 인한 포장체 내부의 횡방향과 깊이방향 하중의 영향 범위를 분석하였다. 포장체의 유한요소해석은 ABAQUS 프로그램을 활용하였으며, 실제 포장체의 거동을 모사하기 위해 시험도로 포장단면을 그대로 반영하고 계측이 이루어진 당시의 온도계측 자료를 활용해 아스팔트 포장의 물성을 적용하였다. 토압계의 분석결과 차량의 하중이 크고 저속으로 주행 할 때 토압의 크기는 증가하고 아스팔트층의 온도가 높을수록 하중의 영향반경이 작아지고 최대 토압크기는 증가하였다. 또한 실제 포장단면과 물성을 적용한 해석결과 계측결과와 매우 유사한 형태의 토압분포와 크기를 보였다. 그리고 기존 보조기층 및 동상방지층의 다짐관리 기준은 실측된 토압과 비교해 볼때 상당히 높은 수준으로 나타났다.다양한 요구에 의해 변화하는 조건들을 수용하기 쉽기 때문에 이에 중점을 두고 성능 문제를 해결하는 데 초점을 맞추었다. 데이터베이스 시스템의 일련의 처리 과정에 따라 DBMS를 구성하는 개체들과 속성, 그리고 연관 관계들이 모델링된다. 데이터베이스 시스템은 Application / Query / DBMS Level의 3개 레벨에 따라 구조화되며, 본 논문에서는 개체, 속성, 연관 관계 및 데이터베이스 튜닝에 사용되는 Rule of thumb들을 분석하여 튜닝 원칙을 포함한 지식의 형태로 변환하였다. 튜닝 원칙은 데이터베이스 시스템에서 발생하는 문제를 해결할 수 있게 하는 일종의 황금률로써 지식 도매인의 바탕이 되는 사실(Fact)과 룰(Rule) 로써 표현된다. Fact는 모델링된 시스템을 지식 도매인의 하나의 지식 개체로 표현하는 방식이고, Rule 은 Fact에 기반을 두어 튜닝 원칙을 지식의 형태로 표현한 것이다. Rule은 다시 시스템 모델링을 통해 사전에 정의되는 Rule와 튜닝 원칙을 추론하기 위해 사용되는 Rule의 두 가지 타업으로 나뉘며, 대부분의 Rule은 입력되는 값에 따라 다른 솔루션을 취하게 하는 분기의 역할을 수행한다. 사용자는 제한적으로 자동 생성된 Fact와 Rule을 통해 튜닝 원칙을 추론하여 데이터베이스 시스템에 적용할 수 있으며, 요구나 필요에 따라 GUI를 통해 상황에 맞는 Fact와 Rule을 수동으로 추가할 수도 었다. 지식 도매인에서 튜닝 원칙을 추론하기 위해 JAVA 기반의 추론 엔진인 JESS가 사용된다. JESS는 스크립트 언어를 사용하는 전문가 시스템[7]으로 선언적 룰(Declarative Rule)을 이용하여 지식을 표현 하고 추론을 수행하는 추론 엔진의 한 종류이다. JESS의 지식 표현 방식은 튜닝 원칙을

  • PDF

영국법상 선하증권에 편입된 용선계약의 특정 (A Specification of Charterparty Incorporated in a Bill of Lading under English Law)

  • 이원정
    • 한국항만경제학회지
    • /
    • 제25권1호
    • /
    • pp.169-190
    • /
    • 2009
  • 용선계약상 특정 조건이 선하증권에 유효하게 편입되었는가를 판단하기 위해서는 우선적으로 선하증권의 편입조항이 언급하고 있는 용선계약을 특정해야 한다. 그러나 선하증권 전면에 용선계약 체결일자가 기재되지 않고, 화물운송에 다수의 용선계약이 관여된 경우에는 용선계약의 특정이 문제된다. 이 문제는 오랫동안 영국법원에서 쟁점으로 다투어져 왔으며, 현재까지도 분쟁의 소지가 되고 있다. 본 연구는 선하증권에 편입된 용선계약의 특정이 쟁점으로 되었던 영국의 주요 판례들을 비교 분석하여, 이에 관한 명확한 해석원칙이 존재하고 있지 않다는 점을 규명하였다. 따라서 본 연구는 용선계약의 특정 문제에 적용될 수 있는 네 가지 해석원칙을 제시하였는 바, 즉 문면강조의 원칙, 주변정황의 고려원칙, 적절성의 원칙, 작성자불이익의 원칙이 그것이다. 특히, 이 중에서 문면 강조의 원칙이 선하증권의 유통성 확보와 거래의 안전을 도모할 수 있다는 점에서 가장 우선적으로 고려되어야 할 해석원칙이 된다.

  • PDF

주문 생산형 반도체 장비를 위한 E-BOM 복제 방법의 구현 (Implementation of an E-BOM Copy Method for an Order-specific Semiconductor Equipment)

  • 박동석;양정삼;유기현;박범
    • 한국CDE학회논문집
    • /
    • 제13권4호
    • /
    • pp.273-285
    • /
    • 2008
  • In this paper we propose an engineering bill of materials (E-BOM) copy method that can be utilized to manage the product information for each equipment during building a product lifecycle management (PLM) system in the order-specific semiconductor equipment manufacturer. The previous works studied on an E-BOM creation and management method for the mass manufacturing and production. The method is difficult to apply to an environment in which many engineering changes occur and the different specification to each equipment is required such as semiconductor equipments and facilities adopting built-to-order instead of built for inventory. Moreover the method is known to be the major drawback to deteriorate the design efficiency. Our E-BOM copy method enables users efficiently to manage the specification of a product and shortens the product development cycle. To implement the E-BOM copy method in the PLM environment, we developed the E-BOM copy system that automatically generates new parts and their numbers according to the numbering rule while copying the E-BOM from existing semiconductor equipments and then can apply the parts for reuse to new semiconductor equipments. This system can duplicate not only 3D CAD data but also technical documents.

분산 멀티미디어 응용을 위한 실시간 동기화 메카니즘 (A Real-Time Synchronization Mechanism for Distributed Multimedia Applications)

  • 박영숙;이승원;정기동
    • 한국정보처리학회논문지
    • /
    • 제7권12호
    • /
    • pp.3785-3793
    • /
    • 2000
  • 분산 멀티미디어 시스템에서는 미디어들 간에 존재하는 시간 관계성을 정확하게 표현하면서 네트워크의 가변적인 지연으로 인해 유발되는 비동기 문제를 해결할 수 있는 동기화 메카니즘이 필요하다. 본 논문에서는 실시간 분산 환경의 멀티미디어 응용을 지원하기 위해 Petri Net에 기반한 RTPN(Real-Time Petri Net) 동기화 명세 모델을 제안한다. 제한하는 모델은 미디어의 지연관계나 중요도에 의해 주요 키 미디어와 상대 키 미디어를 정의하여 다양한 미디어 객체간의 시간 관계를 유연하게 명세 한다. 그리고 점화 규칙은 비동기 허용율에 기반한 점화 함수에 의해 즉시 발생 되어 미디어 내 및 미디어간 실시간 동기화를 지원한다. 한편 프리젠테이션 레벨의 재동기를 위한 비동기 제어 알고리즘은 보다 효율적인 QoS 보장이 가능하다.

  • PDF

퍼지 객체 추론 모델의 정형화 (A Formal Specification of Fuzzy Object Inference Model)

  • 양재동;양형정
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제27권2호
    • /
    • pp.141-150
    • /
    • 2000
  • 기존의 퍼지 규칙 기반 전문가 시스템 언어에는 크게 세 가지 단점들이 있다. 첫째, 복합 객체 추론 기능이 없으며, 둘째, 의미적으로 이해하기 쉽고 개념적으로 사용하기 용이한 퍼지 추론을 지원하지 못할 뿐 아니라, 세째, 지식 표현과 추론 방식이 기존의 데이터베이스 모텔과 구문이나 의미에서 현격 한 차이를 보이고 있기 때문에 서로 통합되기 어렵다. 본 논문에서는 이 세가지 단점들을 해결하기 위한 퍼지 객체 추론 모델의 정형화를 보이고, GIS 응용을 예로 들어 제시하는 모델이 데이타베이스내 GIS 복합 객체들을 자연스럽게 모델링하고, 이들 사이의 퍼지 추론을 성공적으로 수행함을 보인다.

  • PDF

Automated Assessment System for Train Simulators

  • Schmitz, Marcus;Maag, Christian
    • International Journal of Railway
    • /
    • 제2권2호
    • /
    • pp.50-59
    • /
    • 2009
  • Numerous train operating companies provide training by means of driving simulators. A detailed analysis in the course of the rail research project 2TRAIN has shown that the simulation technology, the purposes of training and the overall concept of simulator-based training are rather diverse (Schmitz & Maag, 2008). A joint factor however are weak assessment capabilities and the fact that the simulator training is often not embedded into the overall competence management. This fact hinders an optimal use of the simulators. Therefore, 2TRAIN aims at the development of enhanced training and assessment tools. Taking into account that several simulators are already in use, the focus lays on the extension of existing simulation technology instead of developing entirely new systems. This extension comprises (1) a common data simulation interface (CDSI), (2) a rule-based expert system (ExSys), (3) a virtual instructor (VI), and (4) an _assessment database (AssDB). The foundation of this technical development is an assessment concept (PERMA concept) that is based on performance markers. The first part of the paper presents this assessment concept and a process model for the two major steps of driver performance assessment, i.e. (1) the specification of exercise and assessment and (2) the assessment algorithm and execution of the assessment. The second part describes the rationale and the functionalities of the simulator add-on tools. Finally, recommendations for further technical improvement and appropriate usage are given. based on the results of a pilot study.

  • PDF

상호점검규칙에 의한 UML 다이어그램의 일관성 개선 (Improvement of Consistency for UML Diagrams with Cross Checking Rules)

  • 하일규
    • 한국정보통신학회논문지
    • /
    • 제16권6호
    • /
    • pp.1291-1299
    • /
    • 2012
  • UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

URC 로봇 소프트웨어 시험 평가 방법 및 사례 연구 (A Testing Method for URC Robot Software)

  • 황선명;정연구
    • 정보처리학회논문지D
    • /
    • 제14D권6호
    • /
    • pp.657-664
    • /
    • 2007
  • URC(Ubiquitous Robotic Companion)이라는 개념은 로봇은 다양한 서비스를 어느 곳에서나 어느 때나 사용자가 제공 받을 수 있도록 네트워크 기반으로한 로봇 시스템을 일컫는다. 이는 로봇에 네트워크를 활용하여 로봇이 제공할 수 있는 응용서비스를 확장하고 로봇이 모든 기능을 자체적으로 가짐으로써 안게 되는 기술적, 비용적 문제를 네트워크를 통해 기능을 분담하는 것이다. URC 소프트웨어 컴포넌트는 크게 HRI, 로봇액션 등으로 구분되는데 본 논문에서는 URC 컴포넌트의 시험평가를 위하여 품질모델 분석과 컴포넌트 시험 성능 평가 기준서를 설계한다. 또한 품질 프로세스 정의, 테스트케이스 설계 및 URC 컴포넌트 테스팅과 평가 사례를 제안한다.