[논문 리뷰] Index reduction of differential algebraic equations by differential algebraic elimination

Xiaolin Qin, Yang Lu외 3명|arXiv (Cornell University)|2015. 04. 20.

Modeling and Simulation Systems참고 문헌 20인용 수 4

한 줄 요약

이 논문은 다항식 비선형 DAE에 대해 미분 대수적 제거를 이용하고 디킨슨 결과를 활용하여 미분 대수 방정식(DAE)의 인덱스를 감소시키는 새로운 방법을 제안한다. 변수 펜슬 기법과 여분의 인수를 제거하기 위한 휴리스틱 기법을 도입함으로써, 인덱스 감소 과정에서 구조적 성질을 유지하면서도 기존 방법보다 효율적으로 DAE의 인덱스를 감소시킨다. 벤치마크 예제에서 기존 기법들을 능가한다.

ABSTRACT

High index differential algebraic equations (DAEs) are ordinary differential equations (ODEs) with constraints and arise frequently from many mathematical models of physical phenomenons and engineering fields. In this paper, we generalize the idea of differential elimination with Dixon resultant to polynomially nonlinear DAEs. We propose a new algorithm for index reduction of DAEs and establish the notion of differential algebraic elimination, which can provide the differential algebraic resultant of the enlarged system of original equations. To make use of structure of DAEs, variable pencil technique is given to determine the termination of differentiation. Moreover, we also provide a heuristics method for removing the extraneous factors from differential algebraic resultant. The experimentation shows that the proposed algorithm outperforms existing ones for many examples taken from the literature.

연구 동기 및 목표

• 물리적 및 공학적 모델에서 발생하는 고인덱스 DAE 문제를 다루기 위해, 인덱스에 기인한 경직성과 불안정성으로 인해 수치적으로 해결하기 어려운 문제를 해결한다.
• 디킨슨 결과를 활용한 미분 제거 기법을 다항식 비선형 DAE로 일반화하여 체계적인 인덱스 감소를 가능하게 한다.
• 원래 DAE의 구조적 성질을 유지하면서 미분 과정을 수행하는 체계적인 알고리즘을 개발한다.
• 최적의 미분 종료 지점을 결정하기 위해 변수 펜슬 기법을 도입하여 불필요한 복잡성을 방지한다.
• 디킨슨 결과에서 유도된 여분의 인수를 효과적으로 제거하기 위한 휴리스틱 방법을 제공한다.

제안 방법

• 이 방법은 원래 DAE에서 새로운 방정식 시스템을 체계적으로 생성하기 위해 미분 대수적 제거를 활용하며, 확장된 시스템의 미분 대수 결과를 계산하기 위해 디킨슨 결과를 사용한다.
• 차분 과정을 안내하고 최적의 지점에서 종료함으로써 계산 오버헤드를 줄이기 위해 변수 펜슬 기법을 도입한다.
• 유도된 변수를 새로운 변수로 간주함으로써 도함수를 다항식으로 다룰 수 있도록 확장된 시스템을 다루는 방식으로, 미분 대수 결과를 계산한다.
• 결과에서 여분의 인수를 식별하고 제거하기 위해 휴리스틱 전략을 적용함으로써, 감소된 시스템의 신뢰성을 향상시킨다.
• 원래 DAE의 구조적 성질(예: 희박성, 다항식 비선형성 등)을 유지하도록 설계되어 있다.
• 기존 문헌의 벤치마크 DAE 예제를 대상으로 성능과 견고성을 평가하기 위해 구현 및 평가가 수행되었다.

실험 결과

연구 질문

• RQ1 어떻게 하면 다항식 비선형 DAE를 효과적으로 다루기 위해 미분 제거 기법을 일반화할 수 있는가?
• RQ2 과도한 미분을 방지하기 위해 최적의 미분 횟수를 결정하는 기준은 무엇인가?
• RQ3 결과 계산 과정에서 유도된 여분의 인수를 효과적으로 식별하고 제거하는 방법은 무엇인가?
• RQ4 제안된 방법이 표준 DAE 테스트 케이스에서 기존 인덱스 감소 기법보다 더 나은 성능을 보일 수 있는가?
• RQ5 변수 펜슬 기법이 인덱스 감소 과정의 효율성과 안정성에 얼마나 기여하는가?

주요 결과

• 제안된 알고리즘은 디킨슨 결과를 활용한 체계적인 미분 대수적 제거를 통해 고인덱스 DAE의 인덱스 감소를 성공적으로 수행한다.
• 변수 펜슬 기법은 미분의 종료 지점을 효과적으로 결정하여 불필요한 복잡성을 방지하고 계산 효율성을 향상시킨다.
• 여분의 인수를 제거하기 위한 휴리스틱 방법은 감소된 시스템의 정확성과 신뢰성을 크게 향상시킨다.
• 실험 결과, 제안된 방법은 문헌에 기재된 다양한 벤치마크 DAE 예제에서 기존 기법들을 능가하는 성능을 보였다.
• 이 방법은 원래 DAE의 구조적 성질(예: 희박성, 다항식 형태 등)을 유지하므로 효율성과 견고성에 기여한다.