DeepCausalityCFD

Worked examples

Four worked examples

Ordered by the solver and DSL surface each example requires. Figures are quoted from committed output.txt files, except where an entry states otherwise.

  1. 01

    Flight envelope placard

    Feed a Mach–altitude test matrix in, get a gated placard table out.

    A parameter sweep over a closed-form body, gated against stated limits. No grid, no march and no solver state.

    sweepGatesread_table / write_tableFittedNormalShock
    well under a second
  2. 02

    Nozzle operating map

    Sweep back-pressure over a converging–diverging nozzle and get the operating map.

    Six back-pressure ratios through a 1-D compressible duct march, producing exit Mach, shock station and thrust coefficient per row, checked against the analytic critical ratios.

    duct_marchsweepGatesparallel fan-out
    under a second
  3. 03

    VIV resonance margin

    Sweep airspeed over a circular member and get the shedding-frequency margin table.

    Four concurrent Navier–Stokes wake marches, Strouhal extracted from a wake probe, and a resonance margin gated against a structural mode.

    DEC marchsweepGatesStrouhal extraction
    about two and a half minutes
  4. 04

    Forecast horizon under precision

    How far ahead can a chaotic flow be forecast before roundoff destroys it?

    One Lorenz rate field written over the scalar bound and instantiated at f32, f64 and Float106, measuring the forecast horizon each precision supports. No flow solver is involved.

    Arrow calculus (Rk4)causal monadprecision as a type parameter
    secondsNo committed output

Source for all of these:examples/avionics_examples/cfd/