유한 요소 방법의 확장 가능한 프로그램적 명세화

요약

ElementForge는 도메인 특화 언어(DSL)를 사용하여 유한 요소 방법(FEMs)의 수학적 명세를 처리하는 시스템입니다. 이 컴파일러는 기본 원리로부터 텐서 공간과 기저를 추론하여 복잡했던 유한 요소를 자동으로 구현합니다. 이를 통해 다양한 공학 문제를 일반적이고 효율적으로 시뮬레이션할 수 있음을 입증했습니다.

핵심 포인트

• ElementForge는 DSL 기반으로 FEM의 수학적 명세를 처리하는 시스템입니다.
• 컴파일러가 기본 원리로부터 텐서 공간 및 기저를 자동 도출합니다.
• 텐서장, 메시 위상 등 복잡한 개념을 최소 결합하여 완전한 유한 요소 시스템을 생성합니다.
• Morley, Bell 등의 요소를 50줄 미만의 코드로 단일 시뮬레이션에 적용 가능합니다.