reentry (stsenaariumi liik)
Mootori v0.40.0 stsenaariumi liik, perekond Missioonianalüüs, lingid ja kosmoseoperatsioonid. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne märgis on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas märgis teenitakse: README jaotis Evidence).
Mida see teeb#
Allen-Eggersi ballistilise atmosfääri sisenemise koridor: maksimaalne aeglustus (ballistilisest koefitsiendist sõltumatu, V_e^2 sin|γ|/(2eH)), kiirus ja kõrgus maksimaalse g juures ning maksimaalse kuumenemise kiirus sisenemiskiiruse/lennutrajektoori nurga/ballistilise koefitsiendi korral eksponentsiaalse atmosfääri kaudu, pluss sama ballistilise sisenemise tasapinnaline punktmassi integreerimine raskusjõu, Maa kõveruse ja USA standardatmosfääriga 1976 (maksimaalne aeglustus, kiirus, kõrgus ja aeg maksimumil). MODELLED ballistiline (tõstejõuta) sisenemine; kuumenemise väljund on maksimaalse kuumenemise KIIRUS, mitte soojusvoog (aerotermilist/TPS-i mudelit ei ole).
Ühe scenarios/reentry.toml käivituse kokkuvõte: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> tipp 16,6 g kõrgusel 49 km, 4731 m/s; kuumenemine tipneb kiirusel 6603 m/s; punktmass (raskusjõud, kõverus, US76) tipp 16,4 g (MODELLED ballistiline, aerotermiat ei ole)
Sisendid#
Skeemist (kshana kinds --json):
- Nõutavad väljad: puuduvad
- Valikulised väljad:
entry_velocity_m_s,flight_path_angle_deg,ballistic_coeff_kg_m2,scale_height_m,rho0_kg_m3,entry_interface_altitude_m
Näide scenarios/reentry.toml määrab muu hulgas:
| Väli | Väärtus | Ühik |
|---|---|---|
ballistic_coeff_kg_m2 |
100 | kg/m^2 |
entry_velocity_m_s |
7800 | m/s |
flight_path_angle_deg |
6 | deg |
kind |
reentry | tekst |
Käivitamine#
kshana scenarios/reentry.toml
Mida see annab#
Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:
| Tulemus | Väärtus | Ühik |
|---|---|---|
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 |
maatriksi rea stabiilne id (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 |
Tulemuse silt (mootori oma): MODELLED — Allen–Eggersi ballistiline (tõstejõuta) sisenemine, eksponentsiaalne isotermiline atmosfäär, konstantne lennutrajektoori nurk; maksimaalne g on ballistilisest koefitsiendist sõltumatu; kuumenemine on maksimaalse kuumenemise KIIRUS, MITTE soojusvoog (aerotermilist/TPS-i mudelit ei ole)
Tõendid#
MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.
- MODELLED Maksimaalne aeglustus (ballistilisest koefitsiendist sõltumatu), kiirus + kõrgus maksimaalse g juures ning maksimaalse kuumenemise kiirus eksponentsiaalse atmosfääriga ballistilise sisenemise korral. Testid: reentry_point_mass_accelerometer_oracle.rs.
- MODELLED Mitmeastmelise kanderaketi tasapinnaline gravitatsioonipööre mitte pöörleva sfäärilise Maa kohal läbi USA standardatmosfääri 1976 (tihedus ja rõhk), tõusunurga lööbega, otsiku vasturõhu võrra vähendatud tõukejõuga, astmete põlemise lõpuga täpsetel s
- MODELLED Faas
entry: liigitli-and-cruisetagasirand ilma impulsita, lõppedes sisenemispiiril; trajektoori kaldenurk ja selle sigma täielikust kovariatsioonist lõplike vahede gradiendiga; tõenäosus, et nurk jääb nimetatud
Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):
- MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
- MODELLED Maksimaalne aeglustus (ballistilisest koefitsiendist sõltumatu), kiirus + kõrgus maksimaalse g juures ning maksimaalse kuumenemise kiirus eksponentsiaalse atmosfääriga ballistilise sisenemise korral. R. Sõltumatu etalon (sisemine kooskõla; InternalConsistency): kinnise kuju Allen–Eggersi analüütiline sisenemine, lisaks ristkontrollitud scipy 1,18 solve_ivp (DOP853) arvulise integreerimisega SAMA ainult takistusega sisenemise ODE-st (tests/ballistic_re_entry_corridor_reference.rs, 36 juhtu, halvim a_max suhteline 2.9e-9) — arvintegraali-vs-oma-analüütilise-kuju kontroll, seega ikkagi InternalConsistency, MITTE väline valideerimine. MODELLED ballistiline (tõstejõuta), aerotermiat/TPS-i ei ole — kuumenemise väljund on ve
Piirangud#
Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:
- MODELLED — Allen–Eggersi ballistiline (tõstejõuta) sisenemine, eksponentsiaalne isotermiline atmosfäär, konstantne lennutrajektoori nurk; maksimaalne g on ballistilisest koefitsiendist sõltumatu; kuumenemine on maksimaalse kuumenemise KIIRUS, MITTE soojusvoog (aerotermilist/TPS-i mudelit ei ole) (tulemus
label) - MODELLED ballistiline (tõstejõuta) sisenemine; kuumenemise väljund on maksimaalse kuumenemise KIIRUS, mitte soojusvoog (aerotermilist/TPS-i mudelit ei ole). (liikide kataloog (
kshana kinds --json)) - AUS ULATUS: MODELLED ballistiline (tõstejõuta), eksponentsiaalne isotermiline atmosfäär, konstantne lennutrajektoori nurk. Aerotermilist/TPS-i mudelit ei ole -- kuumenemise väljund on maksimaalse kuumenemise KIIRUS, mitte soojusvoog. Mitte 3-/6-DoF trajektoor. Käivitamine: kshana scenarios/reentry.toml (stsenaariumifaili kommentaar, read 8–11)
- Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
- Ballistilise atmosfääri sisenemise koridor (Allen–Eggers) on MODELLED, mitte valideeritud: kontrollitud oma kinnise kuju / analüütilise samasuse vastu — tabab ärakirjutus- ja koefitsiendivigu, kuid ei ole väline etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
Vt ka#
- Perekonna leht: Missioonianalüüs, lingid ja kosmoseoperatsioonid
- Kõik liigid: KINDS.md
- Teemaleht: ENTRY-EO-ASCENT.md