lunar-orbit-rendezvous (scenariotype)

Scenariotype i motoren v0.40.0, familie Måne og cislunart rom. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

MODELLED relativ navigasjon for en dokking i stil med Orion og landingsfartøy i en lav månebane eller en elliptisk polarbane (Artemis-class). Et jagerfartøy og et målfartøy flyr i samme bane under crate-ens månekraftmodell; et felles batch Gauss-Newton-estimat med 21 parametere over buen (to fartøytilstander og vedvarende signal-i-rommet-biaser) slår sammen én absolutt posisjonsbestemmelse per fartøy fra et ILLUSTRATIVE relésett av LCNS-klasse (reléer bak Månen utelatt, fire kreves, og den felles signal-i-rommet-feilen opphever seg mellom fartøyene) og en tverrlinkavstand, med avstandspresisjon fra kodesporingsgrensen på LunaNet AFS-pilotsignalet. Rapporterer den formelle og Monte Carlo-baserte relative posisjons- og hastighetsfeilen i målfartøyets LVLH-akser, tilgjengeligheten av posisjonsbestemmelser, den midlere normaliserte estimeringsfeilen i annen potens (NEES) mot forventet verdi, og enhver prøve der iterasjonen ikke konvergerte, driften ved å se bort fra gravitasjonsharmoniske og den fulle 6x6-kovariansen som føres videre. En lukket Hill/Clohessy-Wiltshire-kontroll gjelder for det sirkulære tilfellet. MODELLED: illustrativt relésett, feilbudsjett og priorer; referansen og estimatoren deler én kraftmodell, så NEES kontrollerer selvkonsistens og ikke modellfeil. Ikke godkjent av noe romfartsbyrå; veiledende programvare, ikke sertifisert navigasjonsutstyr.

Én kjøring av scenarios/lunar-orbit-rendezvous.toml oppsummeres slik: lunar-orbit-rendezvous | llo 100x100 km | sep 2000 m | posisjonsbestemmelser 74% | rel. pos. 1-sigma R/A/C 0.03/0.06/0.04 m | middel-NEES 6,51 (6 forventet) | konvergert ved 2000 s (MODELLED)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree

Eksempelet scenarios/lunar-orbit-rendezvous.toml setter blant annet:

Kjør den#

kshana scenarios/lunar-orbit-rendezvous.toml

2 medfølgende scenarioer bruker denne typen; de andre står i scenarios/.

Hva den gir#

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

Resultatetikett (motorens egen): MODELLED

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED Typen og fasen lunar-orbit-rendezvous: et felles batch Gauss-Newton-estimat for to fartøy over buen (tjueen parametere: begge tilstandene og vedvarende signal-i-rommet-posisjonsbiaser, felles og uavhengige), vokst over en kvart, en h Tester: mission_thread_lunar_oracles.rs.

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 Typen og fasen lunar-orbit-rendezvous: et felles batch Gauss-Newton-estimat for to fartøy over buen (tjueen parametere: begge tilstandene og vedvarende sig. Uavhengig referanse (InternalConsistency): Selvkonsistens under en forhåndsregistrering (xval/mission-thread-lunar/PREREGISTRATION.md, resultater og estimatorhistorikken i RESULTS.md): middel-NEES for den relative tilstanden er 5,85 til 5,93 mot båndet 5,2 til 6,8 i fire konfigurasjoner, MET på den fjerde estimatorutformingen etter at tre utforminger med sekvensielt filter bommet; referansen og estimatoren deler én kraftmodell, så dette sier ingenting om modellfeil. Den p
• MODELLED Propagatoren de lunare typene deler (GRAIL GL0660B grad og orden 150, Jorden og Solen som tredje legemer, relativitet, DE440-månorientering) sammenlignet med de offentl. Uavhengig referanse (ExternalDataset): JPL Horizons-efemerider for romfartøy for LRO og CAPSTONE, mot terskler forhåndsregistrert i xval/mission-thread-lunar/PREREGISTRATION.md (endringene 1 til 6). LRO: MET, 33 m største 3D-forskjell og 2,4 m RMS radialt mot 500 m og 60 m. CAPSTONE: NOT MET, en forskjell i sluttposisjon på 136,8 km mot 25 km og en forskjell i periapsis på 28,4 km mot 10 km, årsakene er ikke isolert. Raden er Modellert fordi CAPSTON

Begrensninger#

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

• MODELLED (resultat label)
• MODELLED relativ navigasjon for en dokking i stil med Orion og landingsfartøy i en lav månebane eller en elliptisk polarbane (Artemis-class). (typekatalog (kshana kinds --json))
• MODELLED: illustrativt relésett, feilbudsjett og priorer; referansen og estimatoren deler én kraftmodell, så NEES kontrollerer selvkonsistens og ikke modellfeil. (typekatalog (kshana kinds --json))
• ÆRLIGHET: MODELLED. Relésettet, signal-i-rommet-feilen, den felles andelen og priorene er ILLUSTRATIVE inndata, ikke målinger; referansen og estimatoren deler kraftmodellen (et innebygd sentralledd, J2 og C22). Den forhåndsregistrerte konsistenskontrollen B1 (middel-NEES i [5,2, 6,8]) er oppfylt i alle fire konfigurasjoner på batch-utformingen: se xval/mission-thread-lunar/RESULTS.md. Ingen samsvar med noen re (kommentar i scenariofilen, linje 10 til 14)
• 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))
• Relativ navigasjon til dokking i en månebane (lunar-orbit-rendezvous) er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Propageringen med månens kraftmodell mot offentlige rekonstruerte baner for månesatellitter og cislunare baner 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))

Se også#

• Familieside: Måne og cislunart rom
• Alle typer: KINDS.md
• Temaside: MISSION-THREAD-LUNAR.md
• Temaside: MISSION-THREAD.md