SciML/ModelingToolkit.jl

해결하는 문제

ModelingToolkit.jl은 복잡한 과학적 모델에 대한 고성능 수치 시뮬레이션을 구축하는 어려움을 해결합니다. 고수준 수학적 설명과 빠른 실행을 위해 필요한 최적화된 저수준 코드 사이의 격차를 메우며, 특히 과학적 기계학습과 과학적 계산에 특화되어 있습니다.

작동 방식

이 프레임워크는 기호적-수치적 계산을 사용하여 모델을 사전 처리합니다. 사용자는 시스템의 고수준 설명(예: 미분방정식)을 제공하고, 툴킷은 자동으로 변환 및 최적화합니다. 이 과정에는 자동으로 자코비안과 헤시안에 대한 빠른 함수를 생성하고, 계산을 희소화하며, 작업을 병렬화하고, 인덱스 축소와 같은 변환을 적용하여 모델을 수치 해법기와 더 잘 호환되게 만드는 것이 포함됩니다.

대상 사용자

복잡한 방정식 기반 모델을 효율적으로 구축, 조합, 해석해야 하는 과학적 계산 및 과학적 기계학습 분야의 연구자와 엔지니어를 위한 것입니다.

주요 특징

• 기호적 사전 처리: 수치 실행 전에 모델을 자동으로 분석하고 개선합니다.
• 자동 코드 생성: 자코비안과 헤시안과 같은 핵심 구성 요소를 위한 최적화된 함수를 생성합니다.
• 조합 가능한 시스템: 여러 하위 시스템(예: 상호작용하는 ODE 시스템)을 하나의 큰 모델로 연결할 수 있습니다.
• 성능 최적화: 자동 희소화 및 병렬화를 통해 계산 속도를 향상시킵니다.