Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/reentry.md

reentry (skenaariolaji)

Moottorin v0.40.0 skenaariolaji, perhe Tehtäväanalyysi, linkit ja avaruusoperaatiot. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Allen–Eggers-tyyppinen ballistinen ilmakehään paluun käytävä: huippuhidastuvuus (ballistisesta kertoimesta riippumaton, V_e^2 sin|γ|/(2eH)), nopeus ja korkeus huippu-g:n kohdalla sekä huippulämmityksen nopeus, kun annetaan paluunopeus, lentoratakulma ja ballistinen kerroin eksponentiaalisen ilmakehän läpi, sekä saman ballistisen paluun tasomainen pistemassaintegrointi, jossa on mukana painovoima, Maan kaarevuus ja US Standard Atmosphere 1976 (huippuhidastuvuus, nopeus, korkeus ja aika huipun kohdalla). MODELLED ballistinen (nostoton) paluu; lämmitystuloste on huippulämmityksen NOPEUS, ei lämpövuo (ei aerotermistä eikä TPS-mallia).

Yksi ajo, jossa on scenarios/reentry.toml, tiivistyy seuraavasti: 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)

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: ei yhtään
  • Valinnaiset kentät: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

Esimerkki scenarios/reentry.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
ballistic_coeff_kg_m2 100 kg/m^2
entry_velocity_m_s 7800 m/s
flight_path_angle_deg 6 deg
kind reentry teksti

Aja se#

kshana scenarios/reentry.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
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 matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
flight_path_angle_deg 6 deg
peak_deceleration_g 16.567086 1
peak_deceleration_m_s2 162.467612 m/s^2

Tuloksen tunniste (moottorin oma): MODELLED — Allen–Eggers-tyyppinen ballistinen (nostoton) paluu, eksponentiaalinen isoterminen ilmakehä, vakio lentoratakulma; huippu-g ei riipu ballistisesta kertoimesta; lämmitys on huippulämmityksen NOPEUS, EI lämpövuo (ei aerotermistä eikä TPS-mallia)

Moottorin kirjoittama kaavio skenaariolle scenarios/reentry.toml, laji reentry

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • MODELLED Huippuhidastuvuus (ballistisesta kertoimesta riippumaton), nopeus ja korkeus huippu-g:n kohdalla sekä huippulämmityksen nopeus eksponentiaalisen ilmakehän ballistiselle paluulle. Testit: reentry_point_mass_accelerometer_oracle.rs.
  • MODELLED Monivaiheisen kantoraketin tasomainen painovoimakäännöksellä tehty nousu pyörimättömän pallomaisen Maan yllä US Standard Atmosphere 1976 -ilmakehän läpi (tiheys ja paine), pitch-potkulla, suuttimen vastapaineen vähentämällä työntövoimalla, vaiheiden polttoloput täsmällisillä s
  • MODELLED Vaihe entry: lajin tli-and-cruise paluurannikko ilman polttoa, päättyen ilmakehän tulorajapintaan; lentoratakulma ja sen sigma täydestä kovarianssista differenssigradientilla; todennäköisyys, että kulma on määritellyn

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • MODELLED Huippuhidastuvuus (ballistisesta kertoimesta riippumaton), nopeus ja korkeus huippu-g:n kohdalla sekä huippulämmityksen nopeus eksponentiaalisen ilmakehän ballistiselle paluulle. R. Oraakkeli (InternalConsistency): Suljetun muodon Allen–Eggers-analyyttinen paluu, lisäksi ristiintarkistettu scipy 1,18 solve_ivp (DOP853) -numeerista integrointia vastaan SAMASTA vain vastusta sisältävästä paluun differentiaaliyhtälöstä (tests/ballistic_re_entry_corridor_reference.rs, 36 tapausta, pahin a_max rel 2.9e-9) — tarkistus numeerinen integraali vastaan oma analyyttinen muoto, joten edelleen InternalConsistency, EI ulkoinen validointi. MODELLED ballistinen (ei nostoa), ei aerotermistä/TPS-mallia — lämmitystuloste on nopeu

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED — Allen–Eggers-tyyppinen ballistinen (nostoton) paluu, eksponentiaalinen isoterminen ilmakehä, vakio lentoratakulma; huippu-g ei riipu ballistisesta kertoimesta; lämmitys on huippulämmityksen NOPEUS, EI lämpövuo (ei aerotermistä eikä TPS-mallia) (tulos label)
  • MODELLED ballistinen (nostoton) paluu; lämmitystuloste on huippulämmityksen NOPEUS, ei lämpövuo (ei aerotermistä eikä TPS-mallia). (lajiluettelo (kshana kinds --json))
  • REHELLINEN RAJAUS: MODELLED ballistinen (nostoton), eksponentiaalinen isoterminen ilmakehä, vakio lentoratakulma. Ei aerotermistä eikä TPS-mallia -- lämmitystuloste on huippulämmityksen NOPEUS, ei lämpövuo. Ei 3-/6-vapausasteen lentorataa. Ajo: kshana scenarios/reentry.toml (skenaariotiedoston kommentti, rivit 8–11)
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • Ballistinen paluukäytävä (Allen–Eggers) on MODELLED, ei validoitu: tarkistettu omaa suljetun muodon eli analyyttistä identiteettiään vastaan — se paljastaa kirjoitus- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#