reentry (scenariotype)

Scenariotype i motoren v0.40.0, familien Oppdragsanalyse, linker og romoperasjoner. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en tjeneste der liv og sikkerhet står på spill. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

Ballistisk gjeninntrengingskorridor etter Allen-Eggers: maksimal retardasjon (uavhengig av ballistisk koeffisient, V_e^2 sin|γ|/(2eH)), hastigheten og høyden ved maksimal g, og hastigheten ved maksimal oppvarming, for en inntrengingshastighet, banevinkel og ballistisk koeffisient gjennom en eksponentiell atmosfære, pluss en plan punktmasseintegrasjon av den samme ballistiske inntrengingen med tyngdekraft, jordkrumning og US Standard Atmosphere 1976 (maksimal retardasjon, fart, høyde og tid ved maksimum). MODELLED ballistisk inntrenging (uten løft); oppvarmingsutdataene er HASTIGHETEN ved maksimal oppvarming, ikke en varmefluks (ingen aerotermisk modell eller TPS-modell).

En kjøring av scenarios/reentry.toml oppsummeres slik: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> peak 16,6 g at 49 km, 4731 m/s; heating peaks at 6603 m/s; point mass (gravity, curvature, US76) peak 16,4 g (MODELLED ballistic, no aerothermal)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

Eksempelet scenarios/reentry.toml angir blant annet:

Kjør den#

kshana scenarios/reentry.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens): MODELLED — ballistisk inntrenging (uten løft) etter Allen–Eggers, eksponentiell isoterm atmosfære, konstant banevinkel; maksimal g er uavhengig av ballistisk koeffisient; oppvarmingen er HASTIGHETEN ved maksimal oppvarming, IKKE en varmefluks (ingen aerotermisk modell eller TPS-modell)

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED Maksimal retardasjon (uavhengig av ballistisk koeffisient), hastighet + høyde ved maksimal g og hastighet ved maksimal oppvarming for en ballistisk inntrenging i eksponentiell atmosfære. Tester: reentry_point_mass_accelerometer_oracle.rs.
• MODELLED Plan gravitasjonssving-oppskyting av et flertrinns fartøy over en ikke-roterende, sfærisk jord gjennom US Standard Atmosphere 1976 (tetthet og trykk), med en pitch-spark, skyv redusert av dysens mottrykk, trinnenes brenntid slutt ved eksakt s
• MODELLED Fasen entry: returferden til tli-and-cruise uten brenn, som ender ved gjeninntredensgrensesnittet; banevinkelen og dens sigma fra den fulle kovariansen med en endelig-differanse-gradient; sannsynligheten for at vinkelen ligger innenfor en opp

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• MODELLED Maksimal retardasjon (uavhengig av ballistisk koeffisient), hastighet + høyde ved maksimal g og hastighet ved maksimal oppvarming for en ballistisk inntrenging i eksponentiell atmosfære. R. Uavhengig referanse (InternalConsistency): lukket analytisk inntrenging etter Allen–Eggers, i tillegg kontrollert mot en numerisk integrasjon med scipy 1,18 solve_ivp (DOP853) av den SAMME differensialligningen for inntrenging med kun luftmotstand (tests/ballistic_re_entry_corridor_reference.rs, 36 tilfeller, verste a_max rel 2.9e-9): en kontroll av numerisk integral mot egen analytisk form, så fortsatt InternalConsistency, IKKE en ekstern validering. MODELLED ballistisk (uten løft), ingen aerotermisk modell eller TPS-modell: oppvarmingsutdataene er en ve

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• MODELLED — ballistisk inntrenging (uten løft) etter Allen–Eggers, eksponentiell isoterm atmosfære, konstant banevinkel; maksimal g er uavhengig av ballistisk koeffisient; oppvarmingen er HASTIGHETEN ved maksimal oppvarming, IKKE en varmefluks (ingen aerotermisk modell eller TPS-modell) (resultat label)
• MODELLED ballistisk inntrenging (uten løft); oppvarmingsutdataene er HASTIGHETEN ved maksimal oppvarming, ikke en varmefluks (ingen aerotermisk modell eller TPS-modell). (typekatalog (kshana kinds --json))
• ÆRLIG AVGRENSNING: MODELLED ballistisk (uten løft), eksponentiell isoterm atmosfære, konstant banevinkel. Ingen aerotermisk modell eller TPS-modell: oppvarmingsutdataene er HASTIGHETEN ved maksimal oppvarming, ikke en varmefluks. Ikke en bane med 3 eller 6 frihetsgrader. Kjør: kshana scenarios/reentry.toml (kommentar i scenariofilen, linje 8 til 11)
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Ballistisk gjeninntrengingskorridor (Allen–Eggers) er MODELLED, ikke validert: kontrollert mot sin egen lukkede eller analytiske identitet, som fanger opp transkripsjons- og koeffisientfeil, men ikke er en ekstern uavhengig referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Oppdragsanalyse, linker og romoperasjoner
• Alle typer: KINDS.md
• Temaside: ENTRY-EO-ASCENT.md