• 제목/요약/키워드: 상태변수

검색결과 3,110건 처리시간 0.046초

상태 공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태 감소 (State Minimization for Analysis of Real-Time Systems Based on State Space Abstraction)

  • 박지연;박주호;조기환;이문근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
    • /
    • pp.571-573
    • /
    • 2001
  • 본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

  • PDF

칼만 필터와 퍼지로직을 이용한 원자력 발전소 제한제어 알고리즘에 관한 연구

  • 김성헌;이은철;최중인
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1997년도 춘계학술발표회논문집(1)
    • /
    • pp.139-146
    • /
    • 1997
  • 제한 제어 계통은 원자력발전소의 주요계통의 운전상태를 감지하여 운전변수들의 이상 기동이 예상되면 적절한 제한조치를 자동으로 수행하여 원자로 트립이 일어나는 것을 미연에 방지한다. 한 계통의 고장으로 인한 이상상태가 발생하면 국부제어기는 그 국소성 때문에 그 상황을 제대로 다루지 못할 경우가 생긴다. 따라서 고장의 원인을 정확히 파악하고 그에 대한 적절한 대처를 할 수 있는 높은 수준의 지능적 제한 재어 알고리즘이 필요하게 되며 이를 위하여 본 연구에서는 칼만 필터를 이용하여 원전의 상태변수를 추정하고 퍼지로직을 이용하여 고장을 파악하고 적절한 조치를 수행할 수 있는 제한 제어 알고리즘을 개발하였다. 이를 영광 3/4호기 원전의 이상 상태에 대하여 모의 적용함으로써 그 유용성을 보여주었다.

  • PDF

최적제어이론에 의한 원자로 제어봉속도의 설계 (The Control Rod Speed Design for the Nuclear Reactor Power Control Using Optimal Control Theory)

  • Lee, Yoon-Joon
    • Nuclear Engineering and Technology
    • /
    • 제26권4호
    • /
    • pp.536-547
    • /
    • 1994
  • 본 논문에서는 최적제어기법을 이용한 원자로 출력 제어시스템을 다루었다. 시스템 변수들을 상태변수로 표시하면 관측치 뿐만 아니라 시스템 내부의 모든 상태변수를 동시에 다룰 수 있으므로 설계의 자유도가 증가될 수 있다. 따라서 본 논문에서는 원자로의 동특성식과 열수력학적 에너지 평형식을 사용하여 원자로를 모델링한 후 이를 상태변수로 나타내었다. 다음으로는 LQR 및 LQG 시스템을 설계하여 제어봉 및 출력의 거동을 동시에 만족시킬 수 있는 설계조건을 결정하였다. 또한 서보 시스템의 설계를 위해 보통의 휘드백 시스템과 차수를 증가시킨 레귤레이팅 시스템을 만들어 비교하였으며 그 결과 증가차수 레귤레이팅 시스템이 보통의 휘드백 시스템에 비해 우수한 제어 특성이 있음을 알 수 있었다.

  • PDF

인력 포텐셜을 갖는 강체구형 기체에 대한 2-매개변수 상태방정식 (A New Two-Parameter Equation of State for Pure Gases of Hard Spheres with An Attractive Potential)

  • 정해영
    • 대한화학회지
    • /
    • 제56권2호
    • /
    • pp.207-211
    • /
    • 2012
  • 강체구형입자에 대한 Carnahan-Starling식과 인력 포텐셜을 갖는 격자 모델을 이용하여 새로운 2-매개변수 상태식을 유도하였다. 이 식을 이용하여 압축인자를 계산하고 Nelson-Obert 압축인자도표와 비교하여 보았다. 그 결과 이 식은 Redlich-Kwong식과 평균적으로 비슷한 정도로 실험적인 압축인자도표와 일치한다는 것을 알 수 있다. 그런데 새 상태식에서 나타나는 매개변수와 항들은 Redlich-Kwong equation의 경우보다 분명한 물리적 의미를 갖고 있다.

제한적 시스템을 위한 강인한 일단계 이동구간 제어 (Robust One-step Receding Horizon Control for Constrained Systems)

  • 박병건;권욱현;이재원
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1998년도 추계학술대회 논문집 학회본부 B
    • /
    • pp.469-471
    • /
    • 1998
  • 이논문은 입력과 상태변수에 제한조건이 있는 이산형 불확실 선형 시스템을 위한 강인한 이동구간 제어기를 제시한다. 모델 변수는 콘벡스 집합에 속하는 불확실성 성질을 갖는다. 제안된 이동구간 제어기는 터미널 가중치 행렬들과 입력과 상태변수의 제한조건을 가지는 최악의 일단계 목적함수의 최소화에 기초한다. 제안된 이동구간 제어기는 위의 불확실한 시스템을 일정한 터미널 가중치 행렬에 대한 행렬 부등식 조건하에서 안정화 시킬수 있다는 것을 보인다. 이 강인 이동구간 제어기는 기존의 무한 구간 강인 이동구간 제어기보다 같은 설계 조건하에서 보다 더 일반적인 구조와 더 큰 간으한 초기 상태 영역을 갖는다. 이 제시된 이동구간 제어기는 반한정 프로그래밍을 이용하여 얻어진다.

  • PDF

피치각 변화가 큰 궤적에서의 INS/GNSS 통합항법 시스템 가관측성 분석 (Observability Analysis of INS/GNSS System for Vehicles Moving with a Large Pitch Angle Change)

  • 김현석;백승준;김형수;조민수
    • 한국항행학회논문지
    • /
    • 제22권3호
    • /
    • pp.220-227
    • /
    • 2018
  • INS/GNSS 결합시스템을 구성하기 위해서 일반적으로 널리 사용되는 방법이 칼만필터를 이용한 통합항법 시스템을 구성하는 것이다. 하지만, 궤적에 따라 칼만필터의 상태변수들 중에서 가관측하지 않은 상태변수가 발생할 수도 있으며, 이 경우 해당 상태 변수들은 오차가 추정되지 않는다. 이런 문제를 해결하기 위해서는 일반적으로 통합항법 시스템을 구성한 이후에 가관측성 분석을 수행한다. 본 논문에서는 피치각 변화가 큰 궤적으로 움직이는 항체의 INS/GNSS 통합항법 시스템을 설계하기 위해서 24차의 위치 정합 칼만필터를 정의하였다. 설계에 적용된 오차 상태 변수들의 적절성을 검증하기 위해서 가관측성 분석을 수행하였다. 궤적을 5개의 segment로 구분하고 각 구간에서는 PWCS로 가정하여 가관측성을 해석적으로 분석했으며, 그 결과를 시뮬레이션을 통해서 검증하였다. 가관측성 해석 결과 및 시뮬레이션 결과를 통해서 칼만필터의 오차 상태 변수가 가관측하도록 잘 설계되었음을 확인 하였다.

降雨-流出模型을 이용한 實時間 洪水豫測: II. 流域의 適用 (Real-Time Flood Forecasting Using Rainfall-Runoff Model: II. Application)

  • 정동국
    • 물과 미래
    • /
    • 제29권1호
    • /
    • pp.151-161
    • /
    • 1996
  • 비선형 계열저수지모형을 적용한 홍수추적모형을 변수추정모형과 결합하여 확대 상태-공간 모형으로 구성하고, Extended Kalman Filter를 이용하여 상태 및 변수를 동시 추정하도록 하였다. 민감도 분석을 통하여 추정변수의 상대적인 중요성을 조사하여 민감도가 낮은 변수는 상수화하고 상관성이 높은 변수들은 결합하여 모형을 단순화하였다. 그리고 제안된 실시간 홍수예측모형을 다목적댐들의 홍수량 유입예측에 적용하여 상태 및 변수의 동시추정에 의한 수문곡선과 실측유입수문곡선이 잘 일치함을 확인하였다. 또한 홍수가 진행함에 따라 추정변수중, 저류계수는 거의 일정한 값을 나타내지만, 지수는 수문곡선의 변화와 함께 시간적으로 변화하는 것으로 확인하였다.

  • PDF

슬라이딩 모드 관측기 기반의 정밀 스테이지 위치 제어 (Ultra-precision Position Control Based on Sliding Mode observer)

  • 최승옥;최인성;유관호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
    • /
    • pp.223-224
    • /
    • 2007
  • 초정밀 위치 제어 시스템에서 미지의 상태변수를 관측하는 경우, 파라미터의 불확실성은 관측기 설계에 많은 어려움을 주게 된다. 슬라이딩 모드 관측기는 불확실성과 외란이 존재하는 시스템의 상태변수를 관측가능하게 하며 강인한 성능을 보여준다. 본 논문에서는 불확실성이 존재하는 시스템의 관측기를 설계하고 최적제어를 통하여 정밀 스테이지의 위치를 제어하며, 시뮬레이션을 통해 개선된 성능을 입증한다.

  • PDF

이질적 버스트 입력 트래픽 환경에서 패킷 교환기의 연속 시간 큐잉 모델과 근사 계산 알고리즘 ((Continuous-Time Queuing Model and Approximation Algorithm of a Packet Switch under Heterogeneous Bursty Traffic))

  • 홍석원
    • 한국정보과학회논문지:정보통신
    • /
    • 제30권3호
    • /
    • pp.416-423
    • /
    • 2003
  • 본 논문에서는 버퍼를 공유하는 패킷 교환기의 연속 시간 큐잉 모델을 제시하고 큐 길이 확률 분포를 구하는 근사 계산 알고리즘을 제안한다. N 개의 입력 프로세스는 상호 이질적인 버스트 특성을 갖는다. 입력 프로세스는 계차-2 콕시안 분포로서 모형화하며 서버의 서비스 시간은 계차-r 얼랑 분포로서 모형화한다. 근사 알고리즘은 통합된 상태 변수를 사용하여 큐잉 시스템을 표현한다. 먼저 N개의 입력프로세스는 하나의 통합된 상태 변수로 나타내며 큐잉 시스템은 서브 시스템으로 분해하고 이것을 통합된 상태 변수로 나타낸다. 그리고 이러한 통합된 상태 변수를 사용하여 반복적인 방법에 의해서 상태 방정식의 해를 유도한다. 근사 알고리즘의 타당성은 시뮬레이션을 통해서 검증한다.

확장 칼만 필터를 활용한 Z-R 관계식의 매개변수 실시간 결정 (Using Extended Kalman Filter for Real-time Decision of Parameters of Z-R Relationship)

  • 김정호;유철상
    • 한국수자원학회논문집
    • /
    • 제47권2호
    • /
    • pp.119-133
    • /
    • 2014
  • 본 연구에서는 Z-R 관계식의 매개변수를 안정적인 값으로 실시간 예측하고자 확장 칼만 필터기법을 적용하였다. 이를 위해 Z-R 관계식의 비선형을 고려하여 확장 칼만필터로 매개변수 결정모형을 구축하였다. 상태-공간모형은Adamowski and Muir (1989)의 연구를 기반으로 구축하였다. 상태-공간 모형의 상태변수는 Z-R 관계식의 두 매개변수로 설정하였다. 결과적으로 칼만이득과 상태변수가 발산하지 않는 안정적인 모형을 구축하였다. 주목할 점으로는 기존 방법으로 추정된 과대 혹은 과소한 매개변수가 필터링 되어 일부 제거되었다는 것이다. 부적절한 매개변수의 적용은 물리적으로 비현실적인 강우강도 추정 결과를 불러일으키는 원인이기 때문에 이러한 결과는 정량적 강수량 추정측면에서 효과가 크다고 할 수 있다. 또한 확장 칼만 필터로 예측한 매개변수로 레이더 강우를 추정한 결과, 편의보정계수가 1.0에 근사하게 나타나 편의보정과정 없이도 지상 강우강도와의 평균적인 차이는 근소한 것으로 나타났다. 또한 기존 방법으로 레이더 강우를 추정한 결과보다 전반적으로 정확도 높은 강우 추정이 가능한 것으로 나타났다.