reentry (scenarietype)

Scenarietype i motoren v0.40.0, familien Missionsanalyse, forbindelser og rumoperationer. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke typegodkendt navigationsudstyr og ikke en tjeneste til beskyttelse af menneskeliv. Hver etiket her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en etiket optjenes: afsnittet Evidence i README'en).

Hvad det gør#

Korridor for ballistisk generindtræden efter Allen-Eggers: maksimal deceleration (uafhængig af ballistisk koefficient, V_e^2 sin|γ|/(2eH)), hastighed og højde ved maksimal g og hastigheden ved maksimal opvarmning, for en indtrædenshastighed, banevinkel og ballistisk koefficient gennem en eksponentiel atmosfære, plus en plan integration af et punktmassesystem af den samme ballistiske indtræden med tyngdekraft, jordens krumning og US Standard Atmosphere 1976 (maksimal deceleration, hastighed, højde og tid ved maksimum). MODELLED ballistisk indtræden (uden løft); opvarmningen er HASTIGHEDEN ved maksimal opvarmning, ikke en varmeflux (ingen model for aerotermi eller varmeskjold).

Én kørsel af scenarios/reentry.toml opsummeres som: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> maksimum 16,6 g ved 49 km, 4731 m/s; opvarmningen topper ved 6603 m/s; punktmasse (tyngdekraft, krumning, US76) maksimum 16,4 g (MODELLED ballistisk, ingen aerotermi)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

Eksemplet scenarios/reentry.toml angiver blandt andet:

Kør den#

kshana scenarios/reentry.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatetiket (motorens egen): MODELLED — ballistisk indtræden efter Allen–Eggers (uden løft), eksponentiel isoterm atmosfære, konstant banevinkel; maksimal g er uafhængig af den ballistiske koefficient; opvarmningen er HASTIGHEDEN ved maksimal opvarmning, IKKE en varmeflux (ingen model for aerotermi eller varmeskjold)

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED Maksimal deceleration (uafhængig af ballistisk koefficient), hastighed + højde ved maksimal g og hastighed ved maksimal opvarmning for en ballistisk indtræden i en eksponentiel atmosfære. Tests: reentry_point_mass_accelerometer_oracle.rs.
• MODELLED Plan opstigning med tyngdekraftsdrejning for et flertrinskøretøj over en ikke-roterende kugleformet Jord gennem US Standard Atmosphere 1976 (massefylde og tryk), med et pitch-kick, thrust reduceret af dysens modtryk, trinbrændud ved præcis s
• MODELLED Fasen entry: returkysten for tli-and-cruise uden brænding, der ender ved indflyvningsgrænsefladen; flyvebaneafvigelsen og dens sigma fra den fulde kovarians ved en gradient med endelig differens; sandsynligheden for, at vinklen ligger inden for en ang

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED Maksimal deceleration (uafhængig af ballistisk koefficient), hastighed + højde ved maksimal g og hastighed ved maksimal opvarmning for en ballistisk indtræden i en eksponentiel atmosfære. R. Uafhængig reference (InternalConsistency): analytisk indtræden efter Allen–Eggers i lukket form, desuden krydskontrolleret mod en numerisk integration med scipy 1,18 solve_ivp (DOP853) af den SAMME ODE for indtræden med kun luftmodstand (tests/ballistic_re_entry_corridor_reference.rs, 36 tilfælde, værste a_max relativt 2.9e-9) — en kontrol af numerisk integral mod egen analytisk form, så stadig InternalConsistency, IKKE en ekstern validering. MODELLED ballistisk (uden løft), ingen aerotermi eller varmeskjold — opvarmningen er en hastighed

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED — ballistisk indtræden efter Allen–Eggers (uden løft), eksponentiel isoterm atmosfære, konstant banevinkel; maksimal g er uafhængig af den ballistiske koefficient; opvarmningen er HASTIGHEDEN ved maksimal opvarmning, IKKE en varmeflux (ingen model for aerotermi eller varmeskjold) (resultat label)
• MODELLED ballistisk indtræden (uden løft); opvarmningen er HASTIGHEDEN ved maksimal opvarmning, ikke en varmeflux (ingen model for aerotermi eller varmeskjold). (typekatalog (kshana kinds --json))
• ÆRLIG AFGRÆNSNING: MODELLED ballistisk (uden løft), eksponentiel isoterm atmosfære, konstant banevinkel. Ingen model for aerotermi eller varmeskjold -- opvarmningen er HASTIGHEDEN ved maksimal opvarmning, ikke en varmeflux. Ikke en 3-/6-DoF-bane. Kør: kshana scenarios/reentry.toml (kommentar i scenariefilen, linje 8 til 11)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Korridor for ballistisk generindtræden (Allen–Eggers) er MODELLED, ikke valideret: kontrolleret mod dens egen identitet i lukket/analytisk form — det fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Missionsanalyse, links og rumoperationer
• Alle typer: KINDS.md
• Emneside: ENTRY-EO-ASCENT.md