Verification gallery#
Runnable examples that drive femorph-solver’s validation framework to reproduce canonical FEA problems against published reference values.
Each example instantiates one
BenchmarkProblem subclass,
runs validate() (or a multi-refinement
ConvergenceStudy), prints
the computed-vs-published comparison, and renders a figure of
the solved model.
The reference values in this gallery are traceable to a
textbook, paper, or handbook — not to any other solver’s
output. Every example is also a regression-guarded test under
tests/validation/, so a gallery failure surfaces as a CI
failure before it can drift silently in the rendered docs.
Hooke’s law + Poisson contraction on a unit hex. Machine-precision check (Hughes 2000 §2.7).
Constant-strain patch test — the canonical consistency check (Irons & Razzaque 1972).
\(\\delta = P L^3 / (3 E I)\) — Euler-Bernoulli closed form (Timoshenko 1955 §5.4).
First bending frequency (Rao 2017 §8.5 Table 8.1).
Single-hex uniaxial tension — Hooke’s law + Poisson check
Cantilever tip deflection — Euler-Bernoulli closed form
Clamped square plate under uniform pressure (NAFEMS LE5)
Cantilever under uniformly distributed load — Euler–Bernoulli closed form
Clamped-clamped beam — first three bending natural frequencies
Cantilever Saint-Venant torsion — rectangular cross-section
Simply-supported plate — first transverse bending mode
Plate with a circular hole — Kirsch stress concentration
Simply-supported plate under uniform pressure (Navier series)
Shear-locking demonstration — HEX8 integration variants
Propped cantilever under uniformly-distributed load
Mesh-refinement convergence — cantilever Euler-Bernoulli
Lamé thick-walled cylinder under internal pressure
Continuous beam over three supports — Clapeyron’s three-moment theorem
Cook’s membrane — mesh-distortion benchmark (1974)