• 제목/요약/키워드: First-Order Logic

검색결과 176건 처리시간 0.031초

표면 부착형 영구자석 동기전동기의 퍼지 속도제어 (Fuzzy Logic Speed Control of a Surface-Mounted Permanent Magnet Synchronous Motor)

  • 정진우;최영식;유동녕
    • 조명전기설비학회논문지
    • /
    • 제24권12호
    • /
    • pp.184-192
    • /
    • 2010
  • This paper proposes a new fuzzy speed controller to precisely regulate the speed of a surface-mounted permanent magnet synchronous motor(SPMSM). The proposed fuzzy controller needs the knowledge of the load torque to realize its robust and accurate control, thus the first-order load torque observer is adopted to estimate it. It is analytically confirmed that the overall control system containing the fuzzy speed controller and the load torque observer is exponentially stable. To prove the validity of the proposed fuzzy speed controller, the simulation and experimental results are shown. It is concluded that the proposed control scheme can be employed to accurately control the speed of a SPMSM motor.

퍼지 제어기를 이용한 이동 로봇의 재점착 제어 (Re-adhesion Control for Wheeled Robot Using Fuzzy Logic)

  • 권선구;허욱렬;김학일
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 하계학술대회 논문집 D
    • /
    • pp.2423-2425
    • /
    • 2004
  • Mobility of an indoor wheeled robot is affected by adhesion force that is related to various floor conditions. When the adhesion force between driving wheels and the floor decreases suddenly, the robot has slip state. First of all, this paper models adhesion characteristics and slip in wheeled robot. Secondly, the paper proposes estimation method of adhesion force coefficient(AFC) according to slip velocity. In order to overcome this slip problem, optimal slip velocity must be decided for stable movement of wheeled robot. The paper proposes an anti-slip control system based on an ordinary disturbance observer, that is, the re-adhesion control is achieved by reducing the driving torque enough to give maximum adhesion force coefficient. fuzzy logic controller(FLC) is petty useful with slip through that compare fuzzy with PI control for the controller performance. These procedure is implemented using a Pioneer 2-DXE parameter.

  • PDF

퍼지이동 슬라이딩모드 제어기를 이용한 1/4차량의 ER현가장치 진동제어 (Vibration Control of Quarter Vehicle ER Suspension System Using Fuzzy Moving Sliding Mode Controller)

  • 성금길;조재완;최승복
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 2006년도 춘계학술대회논문집
    • /
    • pp.644-649
    • /
    • 2006
  • This paper presents a robust and superior control performance of a quarter-vehicle electrorheological (ER) suspension system. In order to achieve this goal, a moving sliding mode control algorithm is adopted, and its moving strategy is tuned by fuzzy logic. As a first step, ER damper is designed and manufactured for a passenger vehicle suspension system, and its field-dependent damping force is experimentally evaluated. After formulating the governing equation of motion for the quarter-vehicle ER suspension system, a stable sliding surface and moving algorithm based on fuzzy logic are formulated. The fuzzy moving sliding mode controller is then constructed and experimentally implemented. Control performances of the ER suspension system are evaluated in both time and frequency domains.

  • PDF

퍼지 Pr/T 네트를 기반으로 하는 술어논리 수준의 지식표현과 퍼지추론 (Knowledge Representation and Fuzzy Reasoning in the Level of Predicate Logic based on Fuzzy Pr/T Nets)

  • 조상엽;이동은
    • 인터넷정보학회논문지
    • /
    • 제2권2호
    • /
    • pp.117-126
    • /
    • 2001
  • 본 논문에서는 지식기반 시스템의 퍼지 생성규칙을 술어논리 수준에서 표현할 수 있는 퍼지 Pr/T 네트를 제안한다. 퍼지 Pr/T 네트는 Pr/T 네트의 퍼지 확장이다. 퍼지 Pr/T 네트를 기반으로 퍼지추론 알고리즘을 제안한다. 퍼지추론 알고리즘은 퍼지 생성규칙에서 퍼지개념에 따라 적절한 믿음 값 함수를 사용하므로 다른 방법보다 더 사람의 직관과 추론에 가깝다.

  • PDF

CTR 기반 자원할당 제약조건 하에서의 비즈니스 프로세스를 위한 논리적 변환규칙 (A Logical Transformation Rules for Business Process Under Resource Allocation Constraint based CTR)

  • 안형근;고재진
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
    • /
    • pp.205-207
    • /
    • 2005
  • 최근 수많은 정보를 통해서 증명 되듯이 비즈니스 프로세스 관리(Business Process Management, BPM)는 기업의 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리는 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고 하기위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 핵심적인 정보시스템 역할을 수행하는 워크플로우(Workflow)에서의 스케줄링은 정확한 업무 순서를 명세하기 위한 시간적인 제약들에 집중되어 있다. 워크플로우와 BPM과 같은 비즈니스 프로세스에서의 또 하나의 중요한 측면은 자원할당관리이다. 현재 대부분 다양한 자원들을 모델링하는데 초점을 맞추어 왔으며 자원들과 연관된 제약에서의 스케줄링에 대한 관심은 많지 않은 편이었다. 본 논문에서는 First Order Logic 기반의 CTR(Concurrent Transaction Logic)을 이용하여 각 비즈니스 프로세스 스케줄링을 위한 자원할당에 따른 제약들을 논리적인 모형으로 구체화하고, 모형에 필요한 변환 규칙을 소개하고자 한다.

  • PDF

분산형 PLC 시스템에서의 고장 허용 제어 (A Fault Tolerant Control for Distributed Programmable Logic Controller System)

  • 정석권;정영미
    • 동력기계공학회지
    • /
    • 제8권1호
    • /
    • pp.62-68
    • /
    • 2004
  • This paper describes a fault tolerant control in distributed PLC(Programmable Logic Controller) system to ensure reliability of controllers which have some faults simultaneously. First, the behavior of PLC is modeled as discrete expressions using Galois field. Then, we design the control laws for additional spare controllers to generate parity code with two dimensions. Finally, the algorithm for estimating normal output instead of abnormal output from the controllers with fault is suggested. Comparing to the traditional duplication method, the suggested method can reduce the number of spare controllers significantly to ensure control reliability. This method will be applied to an automatic system in order to increase reliability. Also, it can improve cost performance of the system.

  • PDF

퍼지이동 슬라이딩모드 제어기를 이용한 1/4차량의 ER현가장치 진동제어 (Vibration Control of Quarter Vehicle ER Suspension System Using Fuzzy Moving Sliding Mode Controller)

  • 성금길;조재완;최승복
    • 한국소음진동공학회논문집
    • /
    • 제16권8호
    • /
    • pp.822-829
    • /
    • 2006
  • This paper presents a robust and superior control performance of a quarter-vehicle electrorheological (ER) suspension system. In order to achieve this goal, a moving sliding mode control algorithm is adopted, and its moving strategy is tuned by fuzzy logic. As a first step, ER damper is designed and manufactured for a passenger vehicle suspension system, and its field-dependent damping force is experimentally evaluated. After formulating the governing equation of motion for the quarter-vehicle ER suspension system, a stable sliding surface and moving algorithm based on fuzzy logic are formulated. The fuzzy moving sliding mode controller is then constructed and experimentally implemented. Control performances of the ER suspension system are evaluated in both time and frequency domains.

다중 레이어 기반 제품 지식 모델 (MULTI-LAYERED PRODUCT KNOWLEDGE MODEL)

  • 이재현;서효원
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2005년도 춘계학술대회 논문집
    • /
    • pp.65-70
    • /
    • 2005
  • This paper introduces an approach to multi-layered product knowledge model for collaborative engineering environment. The participants in collaborative engineering want to share and reason product knowledge through internet without any heterogeneity and ambiguity. However the previous knowledge models are limited in providing those aspects. In this paper, the collaborative engineering domain is analyzed and then the product knowledge is organized into four levels such as product context model, product specific model, product design model and product manufacturing model. The four levels are represented by first-order logic in layered fashion. The concepts and the instances of a formal ontology are used for recursive representation of the four levels. The instances of the concepts of an upper level like product context model are considered as the concepts of an adjacent lower level like product specific model, and this mechanism is applied to the other levels. These logic representations are integrated with the schema and the instances of a relational database. OWL representation of the four levels is defined through the integration of the logic representation and OWL primitives. The four product knowledge models have their major representation according to the characteristics of each model. This approach enables engineer to share product knowledge through internet without any ambiguity and utilize it as basis for additional reasoning.

  • PDF

반응표면분석법을 이용한 퍼지제어기 설계 (Design of a Fuzzy Logic Controller Using Response Surface Methodology)

  • 이세헌
    • 한국지능시스템학회논문지
    • /
    • 제9권6호
    • /
    • pp.591-597
    • /
    • 1999
  • 플랜트 모델이나 경허에 근거하여 설계된 퍼지제어기를 실제 플랜트에 적용할 경우 무델링 오차와 플랜트에 대한 관련지식의 부족으로 만족할 만한 제어결과를 나타내지 못할 경우가 있다. 이 경우 제어성능을 향상시키기 위해 제어기의 제어인자를 다시 조정하여야 하고 이조정과정은 시행착오방법으로 수행되기 때문에 많은 시간과 비용을 필요로한다. 이런문제점을 해결하기 위해 본연구에서는 반응표면분석법을 이용하여 퍼지제어기를 설계한, 체계적이고 효과적인 방법을 제안한다. 첫단계에서는 모델링 모차를 포함하고 있는 기준 플랜트 모델에 대해 최적화 알고리즘을 이용하여 제어인자의 초기 최적조건을 결정한다. 다음 단계에선 반응표면분석법을 이용하여 제어인자의 최종 최적조건을 결정한다. 제안된 방법의 타당성을 보이기 위해 모의실험을 수행하였다.

  • PDF

안전띠 착용 유무에 근거한 두 단계의 충돌 가혹도 수준을 갖는 충돌 판별 알고리즘 (Crash Discrimination Algorithm with Two Crash Severity Levels Based on Seat-belt Status)

  • 박서욱;이재협
    • 한국자동차공학회논문집
    • /
    • 제11권2호
    • /
    • pp.148-156
    • /
    • 2003
  • Many car manufacturers have frequently adopted an aggressive inflator and a lower threshold speed for airbag deployment in order to meet an injury requirement for unbolted occupant at high speed crash test. Consequently, today's occupant safety restraint system has a weakness due to an airbag induced injury at low speed crash event. This paper proposes a new crash algorithm to improve the weakness by suppressing airbag deployment at low speed crash event in case of belted condition. The proposed algorithm consists of two major blocks-crash severity algorithm and deployment logic block. The first block decides crash severity with two levels by means of velocity and crash energy calculation from acceleration signal. The second block implemented by simple AND/OR logic combines the crash severity level and seat belt status information to generate firing commands for airbag and belt pretensioner. Furthermore, it can be extended to adopt additional sensor information from passenger presence detection sensor and safing sensor. A simulation using real crash data for a 1,800cc passenger vehicle has been conducted to verify the performance of proposed algorithm.