[논문 리뷰] Unified Form Language: A domain-specific language for weak formulations of partial differential equations

Martin Sandve Alnæs, Anders Logg외 3명|arXiv (Cornell University)|2012. 11. 16.

Advanced Numerical Methods in Computational Mathematics인용 수 52

한 줄 요약

유니티드 포름 언어(UFL)는 파이썬 내에 구현된 도메인 특화 내장 언어(DSEL)로서, 편미분방정식(PDE)의 약한 형태를 수학적 표기와 유사하게 기술할 수 있도록 한다. UFL은 변분 형태, 자동 미분, 복잡한 함수 공간, 텐서 대수를 지원하여 FFC 및 SFC와 같은 형식 컴파일러를 통해 간결하고 가독성 있으며 정확한 유한요소 코드 생성을 가능하게 한다.

ABSTRACT

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies for multi-field problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted.

연구 동기 및 목표

• 수학적 표기와 유사하게 약한 형태의 PDE를 기술할 수 있는 고수준의 도메인 특화 언어를 제공하는 것.
• 고수준의 변분 형태에서 효율적이고 정확한 저수준 코드를 자동 생성할 수 있도록 하는 것.
• 임의의 함수 공간 계층과 일반적인 미분 연산자를 포함한 복잡한 다중장 PDE 시스템을 지원하는 것.
• 색인, 형상, 형식 구조에 대한 정적 검사를 통해 정확성을 확보하고 구현 오류를 줄이는 것.
• 고수준 수학적 명세와 저수준 유한요소 코드 컴파일러 사이의 이식성 있고 확장 가능한 인터페이스로 기능하는 것.

제안 방법

• UFL은 파이썬의 문법과 파싱 기능을 활용하여 표현력 있고 가독성이 높은 입력을 제공하는 도메인 특화 내장 언어(DSEL)로 구현된다.
• 변분 형태, 함수형, 임의의 텐서 대수(암시적 합산, 아인슈타인 표기법) 및 색인 표기법을 네이티브로 지원한다.
• 형식과 표현식의 자동 미분을 내장 지원하여 효율적인 도함수 계산을 가능하게 한다.
• 텐서 형상, 색인 범위, 통합된 표현에서의 자유 색인 일관성에 대한 정적 검사를 통해 정확성을 강제한다.
• 변분 문제의 추상 구문 트리(_AST_)를 생성하며, 이는 FFC, SFC, Manycore Form Compiler와 같은 형식 컴파일러에 의해 저수준 C++ 또는 기타 목표 코드로 변환된다.
• 이 AST는 DOLFIN과 같은 라이브러리에서 유한요소 시스템을 조립하고 해소하는 데 사용되어, 수학적 기술에서 해답까지의 완전한 자동화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 약한 형태의 PDE를 인간이 읽기 쉽게 하고 기계가 처리할 수 있도록 하는 도메인 특화 언어를 설계할 수 있는가?
• RQ2 다중 장, 텐서 대수, 미분 연산자가 포함된 복잡한 유한요소 형태에서 정확성을 확보하기 위해 어떤 메커니즘이 필요한가?
• RQ3 유한요소 방법을 위한 고수준 언어에 자동 미분을 원활하게 통합하려면 어떻게 해야 하는가?
• RQ4 색인, 형상, 형식 구조에 대한 정적 검사가 유한요소 코드의 구현 오류를 얼마나 줄이는 데 기여하는가?
• RQ5 UFL과 같은 고수준 언어가 복잡하고 결합된 PDE 시스템에 대해 얼마나 자동화 및 코드 생성을 가능하게 할 수 있는가?

주요 결과

• UFL은 수학적 표기와 유사하게 복잡한 다중장 PDE 시스템을 기술할 수 있어 코드의 가독성과 유지보수성을 크게 향상시킨다.
• 언어가 제공하는 자동 미분 지원은 특히 복잡한 약한 형태의 경우 개발자의 부담을 줄여준다.
• UFL의 정적 검사는 컴파일 이전에 색인 불일치, 형상 불일치, 잘못된 자유 색인 사용과 같은 오류를 포착한다.
• UFL의 추상 구문 트리(_AST_) 표현은 FFC, SFC 등 여러 형식 컴파일러에 의해 성공적으로 소비되어 상호 운용 가능한 코드 생성을 가능하게 한다.
• UFL은 FEniCS 프로젝트 내에서 3년 이상 생산 환경에서 사용되어 실세계 응용에서의 견고성과 확장성을 입증했다.
• DOLFIN 및 UFC와의 통합을 통해 UFL 입력에서 시스템 조립과 해답 도출까지의 완전한 자동화를 실현하였으며, 종합적인 유한요소 소프트웨어 스택을 형성한다.