Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/reentry.md

reentry (scenariosoort)

Scenariotype van de engine v0.40.0, familie Missieanalyse, verbindingen en ruimteoperaties. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen dienst voor het redden van mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een type is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Ballistisch terugkeercorridor volgens Allen-Eggers: piekvertraging (onafhankelijk van de ballistische coëfficiënt, V_e^2 sin|γ|/(2eH)), de snelheid en hoogte bij de piek-g, en de snelheid bij piekverhitting, voor een intreesnelheid/baanhoek/ballistische coëfficiënt door een exponentiële atmosfeer, plus een vlakke puntmassa-integratie van dezelfde ballistische intrede met zwaartekracht, aardkromming en de US Standard Atmosphere 1976 (piekvertraging, snelheid, hoogte en tijd bij de piek). MODELLED ballistische intrede (zonder lift); de verhittingsuitvoer is de SNELHEID bij piekverhitting, geen warmtestroom (geen aerothermisch model/TPS-model).

Eén run van scenarios/reentry.toml vat samen als: terugkeer (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> piek 16,6 g op 49 km, 4731 m/s; verhitting piekt bij 6603 m/s; puntmassa (zwaartekracht, kromming, US76) piek 16,4 g (MODELLED ballistisch, geen aerothermisch model)

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

Het voorbeeld scenarios/reentry.toml stelt onder meer in:

Veld Waarde Eenheid
ballistic_coeff_kg_m2 100 kg/m^2
entry_velocity_m_s 7800 m/s
flight_path_angle_deg 6 deg
kind reentry tekst

Uitvoeren#

kshana scenarios/reentry.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
altitude_at_peak_g_m 48512.90039 m
ballistic_coeff_kg_m2 100 kg/m^2
entry_interface_altitude_m 122000 m
entry_velocity_m_s 7800 m/s
evidence.id_rule de stabiele id van de matrixrij (de ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
flight_path_angle_deg 6 deg
peak_deceleration_g 16.567086 1
peak_deceleration_m_s2 162.467612 m/s^2

Resultaatlabel (van de engine): MODELLED — ballistische intrede volgens Allen–Eggers (zonder lift), exponentiële isotherme atmosfeer, constante baanhoek; piek-g is onafhankelijk van de ballistische coëfficiënt; de verhitting is de SNELHEID bij piekverhitting, GEEN warmtestroom (geen aerothermisch model/TPS-model)

De grafiek die de engine schrijft voor scenarios/reentry.toml, soort reentry

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

  • MODELLED Piekvertraging (onafhankelijk van de ballistische coëfficiënt), snelheid + hoogte bij piek-g en snelheid bij piekverhitting voor een ballistische intrede in een exponentiële atmosfeer. Tests: reentry_point_mass_accelerometer_oracle.rs.
  • MODELLED Vlakke zwaartekrachtbocht-opstijging van een meertrapsvoertuig boven een niet-roterende bolvormige aarde door de US Standard Atmosphere 1976 (dichtheid en druk), met een pitch-kick, stuwkracht verminderd door de tegendruk van het mondstuk, trapburn-outs op exacte s
  • MODELLED De fase entry: de terugvlucht van tli-and-cruise zonder brand, eindigend bij het terugkeerinterface; de baanhoek en zijn sigma uit de volledige covariantie met een eindige-differentiegradiënt; de kans dat de hoek binnen een ver

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • MODELLED Piekvertraging (onafhankelijk van de ballistische coëfficiënt), snelheid + hoogte bij piek-g en snelheid bij piekverhitting voor een ballistische intrede in een exponentiële atmosfeer. R. Onafhankelijke referentie (InternalConsistency): analytische intrede volgens Allen–Eggers in gesloten vorm, aanvullend gecontroleerd tegen een numerieke integratie met scipy 1,18 solve_ivp (DOP853) van dezelfde intrede-ODE met alleen weerstand (tests/ballistic_re_entry_corridor_reference.rs, 36 gevallen, slechtste a_max rel 2.9e-9) — een controle van een numerieke integraal tegen de eigen analytische vorm, dus nog steeds InternalConsistency, GEEN externe validatie. MODELLED ballistisch (zonder lift), geen aerothermisch model/TPS-model — de verhittingsuitvoer is een ve

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • MODELLED — ballistische intrede volgens Allen–Eggers (zonder lift), exponentiële isotherme atmosfeer, constante baanhoek; piek-g is onafhankelijk van de ballistische coëfficiënt; de verhitting is de SNELHEID bij piekverhitting, GEEN warmtestroom (geen aerothermisch model/TPS-model) (resultaat label)
  • MODELLED ballistische intrede (zonder lift); de verhittingsuitvoer is de SNELHEID bij piekverhitting, geen warmtestroom (geen aerothermisch model/TPS-model). (soortencatalogus (kshana kinds --json))
  • EERLIJKE REIKWIJDTE: MODELLED ballistisch (zonder lift), exponentiële isotherme atmosfeer, constante baanhoek. Geen aerothermisch model/TPS-model -- de verhittingsuitvoer is de SNELHEID bij piekverhitting, geen warmtestroom. Geen 3-/6-DoF-traject. Run: kshana scenarios/reentry.toml (opmerking in het scenariobestand, regels 8 tot 11)
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • Het ballistische terugkeercorridor (Allen–Eggers) is MODELLED, niet getoetst: gecontroleerd aan de hand van de eigen gesloten-vormidentiteit of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#