lunar-orbit-rendezvous (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en safety-of-life-tjeneste. Hver betegnelse her er motorens eller verifikationsmatricens; en type er MODELLED, medmindre matricen angiver andet (hvordan en betegnelse opnås: afsnittet Evidens i README).

Hvad det gør#

MODELLED relativ navigation til en docking i stil med Orion og landingsfartøj i en lav månebane eller en elliptisk polar bane (Artemis-klassen). Et jagerfartøj og et mål flyver i samme bane under cratens månekraftmodel; et fælles batch-Gauss-Newton-estimat med 21 parametre over buen (to køretøjstilstande og vedvarende positionsbiaser i signal i rummet) fusionerer en absolut positionsbestemmelse pr. køretøj fra et ILLUSTRATIVE relæsæt i LCNS-klassen (relæer bag Månen udeladt, fire kræves, fællesmodefejlen i signal i rummet ophæves mellem køretøjerne) og en krydslinkafstand, med afstandsmålingens præcision fra kodesporingsgrænsen på LunaNet AFS-piloten. Rapporterer den formelle og Monte Carlo-baserede relative positions- og hastighedsfejl i målets LVLH-akser, tilgængeligheden af positionsbestemmelser, den gennemsnitlige normaliserede estimeringsfejl i anden mod dens forventede værdi og ethvert forsøg, hvis iteration ikke konvergerede, driften ved at ignorere tyngdeharmonikkerne og den fulde 6x6-kovarians, der gives videre. En lukket Hill/Clohessy-Wiltshire-kontrol gælder for det cirkulære tilfælde. MODELLED: illustrativt relæsæt, fejlbudget og priorer; referencen og estimatoren deler én kraftmodel, så NEES kontrollerer selvkonsistens og ikke modelfejl. Ikke støttet af nogen rumfartsorganisation; vejledende software, ikke certificeret navigationsudstyr.

Én kørsel af scenarios/lunar-orbit-rendezvous.toml opsummeres som: lunar-orbit-rendezvous | llo 100x100 km | afst. 2000 m | positionsbestemmelser 74% | rel. pos. 1-sigma R/A/C 0.03/0.06/0.04 m | gennemsnitlig NEES 6,51 (6 forventet) | konvergeret ved 2000 s (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

Eksemplet scenarios/lunar-orbit-rendezvous.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-orbit-rendezvous.toml

2 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.

Hvad den giver#

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

Resultatetiket (motorens): MODELLED

Evidens#

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

• MODELLED Typen og fasen lunar-orbit-rendezvous: et fælles batch-Gauss-Newton-estimat for to køretøjer over buen (enogtyve parametre: begge tilstande og vedvarende positionsbiaser i signal i rummet, fælles og uafhængige), opbygget over en fjerdedel, en h Tests: mission_thread_lunar_oracles.rs.

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 Typen og fasen lunar-orbit-rendezvous: et fælles batch-Gauss-Newton-estimat for to køretøjer over buen (enogtyve parametre: begge tilstande og vedvarende sig. Uafhængig reference (InternalConsistency): Selvkonsistens under en præregistrering (xval/mission-thread-lunar/PREREGISTRATION.md, resultater og estimatorens historik i RESULTS.md): den gennemsnitlige NEES for den relative tilstand er 5,85 til 5,93 mod båndet 5,2 til 6,8 i fire konfigurationer, MET på det fjerde estimatordesign, efter at tre sekventielle filterdesign missede; referencen og estimatoren deler én kraftmodel, så dette siger intet om modelfejl. Den propagator, den deler, sammenlignes med LRO og CAPSTONE i en række nedenfor
• MODELLED Den propagator, månetyperne deler (GRAIL GL0660B grad og orden 150, Jorden og Solen som tredjelegemer, relativitet, DE440-månorientering), sammenlignet med de offentl. Uafhængig reference (ExternalDataset): JPL Horizons-efemerider for LRO og CAPSTONE mod tærskler præregistreret i xval/mission-thread-lunar/PREREGISTRATION.md (Ændringerne 1 til 6). LRO: MET, 33 m største 3D-forskel og 2,4 m RMS radialt mod 500 m og 60 m. CAPSTONE: NOT MET, en forskel i slutposition på 136,8 km mod 25 km og en forskel i periapsis på 28,4 km mod 10 km, årsagerne ikke isoleret. Rækken er modelleret, fordi CAPSTONE-tærsklen ikke nås

Begrænsninger#

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

• MODELLED (resultat label)
• MODELLED relativ navigation til en docking i stil med Orion og landingsfartøj i en lav månebane eller en elliptisk polar bane (Artemis-klassen). (typekatalog (kshana kinds --json))
• MODELLED: illustrativt relæsæt, fejlbudget og priorer; referencen og estimatoren deler én kraftmodel, så NEES kontrollerer selvkonsistens og ikke modelfejl. (typekatalog (kshana kinds --json))
• ÆRLIGHED: MODELLED. Relæsættet, fejlen i signal i rummet, fællesmodeandelen og priorerne er ILLUSTRATIVE input, ikke målinger; referencen og estimatoren deler kraftmodellen (et indbygget centralled, J2 og C22). Den præregistrerede konsistenskontrol B1 (gennemsnitlig NEES i [5,2, 6,8]) er nået i alle fire konfigurationer på batch-designet: se xval/mission-thread-lunar/RESULTS.md. Ingen overensstemmelse med nogen virkelig (kommentar i scenariefilen, linje 10 til 14)
• 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))
• Relativ navigation til docking i en månebane (lunar-orbit-rendezvous) er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede / analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Propageringen med månekraftmodellen mod offentlige rekonstruerede baner for månesatellitter og cislunare baner er MODELLED, ikke valideret: en delpåstand er kontrolleret eksternt, men hele funktionen sammensætter modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

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