• Korean Chemical Engineering Research
• /
• 제45권1호
• /
• pp.67-72
• /
• 2007

부분 최소자승회귀, 균형 잡힌 realization, 균형 잡힌 truncation을 결합함으로써, MIMO 상태공간 모델의 모델인식을 위한 효과적인 방법이 개발되었다. 개발된 방법에서 MIMO 시스템은 고차 ARX 모델로 표현되는 다중 MISO 시스템으로 분해된다. 이 때, ARX 모델의 파라미터는 부분 최소자승회귀에 의해 추정된다. 그 후, realization을 통해 각각의 MISO ARX 전달함수에 대한 MISO 상태공간 모델이 만들어지며, MIMO 상태공간 모델로 결합된다. 최종적으로, 균형 잡힌 realization과 균형 잡힌 truncation을 통해 최소의 균형 잡힌 MIMO 상태공간 모델이 얻어진다. 제안된 방법은 고압 $CO_2$ 용해도 측정 실험 장치의 온도제어를 위한 모델 예측 제어의 설계에 적용되었다.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.111-116
• /
• 2006

주어진 상태가 도달 가능한지를 판정하는 작업은 모델 체킹과 같은 유한 상태 모델의 분석에서 필수적이다 만일 모델의 크기가 작다면 상태 공간을 전부 조사해서 판정할 수 있지만, 크기가 큰 경우에는 전체 상태 공간을 조사하는 것이 어렵거나 불가능할 수 있다. 이런 경우, 도달성 여부를 조사하기 전에 추상화를 통해서 모델을 축소해야 하며 이때 사용된 추상화는 false positive 오류를 허용하지 않는다. 본 논문에서는 이러한 추상화를 고안하여 네모라이즈 게임 풀이에 적용하였다. 그 결과, 상태 폭발 문제로 풀 수 없었던 큰 규모의 문제를 추상화를 통해서 해결할 수 있었다.

• 한국지능시스템학회논문지
• /
• 제16권2호
• /
• pp.144-149
• /
• 2006

이 연구는 T-S 퍼지 접근법을 이용하여 불확실한 비선형 시스템의 균형화된 모델 차수 축소 방법을 제시한다. 일반화된 가제어성, 가관측성 그래미안을 정의하고 이들을 이용하여 균형화된 상태공간 모델을 얻는다. 균형화된 상태공간 모델로부터 상태변수 뿐만 아니라 불확실한 요소를 절삭하여 간략화된 모델을 얻는 기법을 제시하고 모델오차의 상한치를 제시한다. 균형화된 상해공간은 선형행렬 부등식의 해를 구하여 구현할 수 있으며 제시한 방법의 효용성을 보여주기 위하여 수치 예를 보여준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.367-369
• /
• 2005

모델 체킹에서 모델의 크기가 커질수록 검사해야 할 상태 공간이 지수적으로 증가하는 것을 상태폭발문제라고 부르며, 이 문제를 해결하기 위해 추상화 기법이 사용된다. 본 논문에서는 네모라이즈 게임을 대상으로 추상화 기법을 적용하여 게임 모델의 상태 공간을 줄설 기존 방법으로 풀지 못했던 게임을 풀었다. 이 게임은 한붓그리기처럼 출발지부터 이동가능한 모든 지점을 한번만 거쳐, 목적지까지 가는 경로를 찾아내는 도달성 게임이다. 이 게임은 Esterel 언어로 모델링 되었다. Esterel은 동기적 언어로써 게임을 유한상태모델로 모델링하고 관련 모델 체커인 Xeve를 사용하여 모델을 검사한다. Xeve는 모델 체킹 후 특정 출력신호를 방출하기 위한 입력신호들의 시퀀스를 생성해준다. 이 시퀀스가 게임의 해답인 경로가 되는데 Xes라는 시뮬레이터를 통해 실제 정확한 해답인지를 확인한다.

• 한국전산구조공학회논문집
• /
• 제37권2호
• /
• pp.85-93
• /
• 2024

이 논문에서는 파랑 하중을 받는 부유식 구조체의 운동 해석에 있어서 시스템 식별 방법을 이용한 상태공간방정식 모델을 수립하고 해석하는 방법을 제안하였다. 상태공간방정식 모델의 수립 방법으로는 주파수영역에서 하중-변위 입출력 관계에 대한 목표 전달함수를 구하고 이에 가장 근접하는 상태공간방정식을 구하는 절차를 제시하였다. 전통적으로 부유식 구조체 운동의 시간영역 해석은 지연함수의 합성곱적분을 포함하는 Cummins 방정식을 시간적분하여 이루어진다. 상태공간방정식 모델은 이러한 시간영역해석을 효과적으로 수행하기 위한 방법의 하나로서 연구되어 왔다. 제안하는 방법에서는 시스템 식별방법인 N4SID 와 전달함수의 분모 및 분자 다항식의 계수를 설계변수로 하는 최적화방법을 사용하여 목표 전달함수에 상응하는 상태공간방정식을 구한다. 제안하는 방법의 적용성을 보이는 예제로서 단자유도 수치모델 및 6자유도 바지의 운동을 해석하였다. 제시하는 상태공간방정식 모델은 주파수영역 및 시간영역에서 모두 기존의 해석결과와 잘 일치하고 시간영역해석에서는 계산의 정확도를 확보하면서 계산 시간을 크게 줄일 수 있음을 확인하였다.

• 전자공학회논문지SC
• /
• 제41권2호
• /
• pp.29-36
• /
• 2004

본 논문에서는 시변 시간지연을 갖는 선형시스템의 분수 모델 간략화를 다룬다. 이를 위해 선형 시간지연 시스템의 축소된 소인수 분해를 정의하고 선형 행렬부등식의 해를 이용하여 구한다. 축소된 소인수의 일반화 가제어성, 가관측성 그래미안을 이용하여 시스템의 균형화된 상태공간 모델을 구현한다. 모델 차수축소는 균형화된 상태공간 모델의 일부 상태변수를 절삭하여 얻어지며 모델 오차의 상한치를 제시한다. 제안된 방법의 효용성을 수치 예를 통하여 입증한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 추계 학술대회 학술발표 논문집
• /
• pp.173-176
• /
• 2003

본 논문은 기존의 다치오토마타 모델을 적용하여 개성과 감성상태 모델을 제안한다. 기존 다치오토마타 모델을 2개의 오토마타로 분리하여 하나는 감성상태, 다른 하나는 개성을 모델링하는데 이용하였다. 사용자의 내부 감성과 개성은 Valence-Arousal 공간으로 정의된 감성상태를 바탕으로 구성하였고, 2개로 분리된 다치오토마타의 관계를 정의에 따라 구성하여 감성상태와 개성이 동시에 한 개의 오토마타 모델로 모델링 될 수 있는 가능성을 제시하였다.

• 정보처리학회논문지D
• /
• 제10D권5호
• /
• pp.813-820
• /
• 2003

모델 검사는 모델이 속성을 만족하는지를 판정하기 위해서 모델의 상태 공간을 철저하게 조사한다. NuSMV는 모델 검사를 자동으로 수행하는 도구로서 본 논문에서는 이와 같은 NuSMV를 이용하여 푸쉬 푸쉬 게임을 해결한다. 모델이 속성을 만족하지 않는 경우 NuSMV는 그 이유를 설명하는 반례를 생성하게 되는데 NuSMV에 구현되어 있는 반례 생성 방식은 상태 공간을 2번 탐색하기 때문에 게임 풀이에 비효율적이다. 본 논문에서는 반례 생성시 상태 공간을 한 번만 탐색하도록 NuSMV를 재 구현 하였다. 그 결과 게임 풀이에 있어서 원래 NuSMV 보다 약 62%의 시간 절감과 11%의 공간 절감이 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.325-327
• /
• 2005

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.