OasisMove

OasisMove simulates cardiovascular fluid dynamics in moving domains using the finite element method implemented in FEniCS to model Navier–Stokes flows and fluid–structure interactions.

Key Features:

• Moving domain capability: Employs the arbitrary Lagrangian–Eulerian (ALE) formulation of the Navier–Stokes equations to model moving boundaries and fluid–structure interactions.
• Finite element discretizations: Implements P1/P1 and P2/P1 finite-element spaces with reported spatial accuracy of second order for P1/P1 and third order for P2/P1.
• Temporal accuracy: Demonstrates second-order temporal accuracy.
• Verification with manufactured solutions: Verified using the method of manufactured solutions on a moving 2D vortex problem with L2 error following theoretical convergence rates.
• Validation against benchmarks: Validated through comparisons with high-resolution simulations and laboratory experiments, reproducing lift and drag coefficients within 1% error and capturing vortex patterns in transitional and turbulent-like regimes.
• FEniCS implementation: Implemented using the FEniCS framework to realize the finite element solver.

Scientific Applications:

• Heart valve mechanics: Simulation of heart valve dynamics and associated blood flow in moving geometries.
• Arterial blood flow: Modeling arterial flows with moving boundaries to study hemodynamics under physiological motion.
• Fluid–structure interaction studies: Analysis of coupled fluid and structure behavior in cardiovascular contexts involving moving domains.
• Flow phenotype–disease correlation: Correlating flow phenotypes with disease initiation, progression, and outcomes using patient-specific models.

Methodology:

Uses the finite element method implemented in FEniCS with an ALE formulation of the Navier–Stokes equations; verified via the method of manufactured solutions on a moving 2D vortex (L2 error and theoretical convergence), reports second-order temporal and second-/third-order spatial accuracies for P1/P1 and P2/P1 elements, and validated against high-resolution simulations and laboratory experiments reproducing lift/drag and vortex patterns.