lunar-orbit-rendezvous (scenariosoort)

Scenariosoort van de engine v0.40.0, familie Maan en cislunair. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen safety-of-life-dienst. Elk label hier is dat van de engine of van de verificatiematrix; een soort is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Bewijs van de README).

Wat het doet#

MODELLED relatieve navigatie voor een koppeling in de stijl van Orion en lander in een lage maanbaan of een elliptische poolbaan (Artemis-klasse). Een achtervolger en een doel vliegen dezelfde baan onder het maankrachtenmodel van de crate; een gezamenlijke batch-Gauss-Newton-schatting met 21 parameters over de boog (twee voertuigtoestanden en blijvende biassen van het signaal in de ruimte) voegt een absolute positiebepaling per voertuig uit een ILLUSTRATIVE relaisset van LCNS-klasse (relais achter de maan vervallen, vier nodig, de gemeenschappelijke fout in het signaal in de ruimte heft tussen de voertuigen op) en een crosslink-afstand samen, met afstandsprecisie uit de code-trackinggrens op de LunaNet AFS-piloot. Rapporteert de formele en Monte Carlo-fout in relatieve positie en snelheid in de LVLH-assen van het doel, de beschikbaarheid van positiebepalingen, de gemiddelde genormaliseerde gekwadrateerde schattingsfout tegenover de verwachte waarde, en elke poging waarvan de iteratie niet convergeerde, de drift door het negeren van de zwaartekrachtharmonischen en de volledige doorgegeven 6x6-covariantie. Een Hill/Clohessy-Wiltshire-controle in gesloten vorm geldt voor het cirkelvormige geval. MODELLED: illustratieve relaisset, foutenbudget en priors; de referentie en de schatter delen één krachtenmodel, dus de NEES controleert zelfconsistentie en geen modelfout. Niet door een ruimtevaartorganisatie onderschreven; adviserende software, geen gecertificeerde navigatieapparatuur.

Eén run van scenarios/lunar-orbit-rendezvous.toml vat samen als: lunar-orbit-rendezvous | llo 100x100 km | afstand 2000 m | positiebepalingen 74% | rel. pos. 1-sigma R/A/C 0.03/0.06/0.04 m | gemiddelde NEES 6,51 (6 verwacht) | geconvergeerd bij 2000 s (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

Het voorbeeld scenarios/lunar-orbit-rendezvous.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/lunar-orbit-rendezvous.toml

2 meegeleverde scenario's gebruiken deze soort; de andere staan in scenarios/.

Wat het oplevert#

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

Resultaatlabel (van de engine): MODELLED

Bewijs#

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

• MODELLED De soort en fase lunar-orbit-rendezvous: een gezamenlijke batch-Gauss-Newton-schatting voor twee voertuigen over de boog (eenentwintig parameters: beide toestanden en blijvende positiebiassen in het signaal in de ruimte, gemeenschappelijk en onafhankelijk), opgebouwd over een kwart, een h Tests: mission_thread_lunar_oracles.rs.

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 De soort en fase lunar-orbit-rendezvous: een gezamenlijke batch-Gauss-Newton-schatting voor twee voertuigen over de boog (eenentwintig parameters: beide toestanden en blijvende positiebiassen in het sig. Onafhankelijke referentie (InternalConsistency): Zelfconsistentie onder een preregistratie (xval/mission-thread-lunar/PREREGISTRATION.md, resultaten en de geschiedenis van de schatter in RESULTS.md): de gemiddelde NEES van de relatieve toestand is 5,85 tot 5,93 tegen de band 5,2 tot 6,8 in vier configuraties, MET bij het vierde schatterontwerp nadat drie ontwerpen met een opeenvolgend filter hadden gemist; de referentie en de schatter delen één krachtenmodel, dus dit zegt niets over modelfouten. De p
• MODELLED De propagator die de maansoorten delen (GRAIL GL0660B graad en orde 150, aarde en zon als derde lichamen, relativiteit, DE440-maanoriëntatie) vergeleken met de openb. Onafhankelijke referentie (ExternalDataset): JPL Horizons-ephemeriden van ruimtevaartuigen voor LRO en CAPSTONE, tegen drempels die vooraf zijn vastgelegd in xval/mission-thread-lunar/PREREGISTRATION.md (Amendementen 1 tot 6). LRO: MET, 33 m grootste 3D-verschil en 2,4 m RMS radiaal tegen 500 m en 60 m. CAPSTONE: NOT MET, een eindpositieverschil van 136,8 km tegen 25 km en een periapsisverschil van 28,4 km tegen 10 km, de oorzaken niet afgezonderd. De rij is gemodelleerd omdat de CAPSTON

Beperkingen#

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

• MODELLED (resultaat label)
• MODELLED relatieve navigatie voor een koppeling in de stijl van Orion en lander in een lage maanbaan of een elliptische poolbaan (Artemis-klasse). (soortencatalogus (kshana kinds --json))
• MODELLED: illustratieve relaisset, foutenbudget en priors; de referentie en de schatter delen één krachtenmodel, dus de NEES controleert zelfconsistentie en geen modelfout. (soortencatalogus (kshana kinds --json))
• EERLIJKHEID: MODELLED. De relaisset, de fout in het signaal in de ruimte, de gemeenschappelijke fractie en de priors zijn ILLUSTRATIVE invoer, geen metingen; de referentie en de schatter delen het krachtenmodel (een ingebouwde centrale term, J2 en C22). De vooraf vastgelegde consistentiecontrole B1 (gemiddelde NEES in [5,2, 6,8]) is gehaald in alle vier de configuraties op het batchontwerp: zie xval/mission-thread-lunar/RESULTS.md. Er wordt geen overeenstemming met enig re (commentaar in het scenariobestand, regels 10 tot 14)
• 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))
• Relatieve navigatie tot koppeling in een maanbaan (lunar-orbit-rendezvous) is MODELLED, niet gevalideerd: gecontroleerd tegen zijn eigen identiteit in gesloten vorm of analytisch — vangt transcriptie- en coëfficiëntfouten, maar is geen externe onafhankelijke referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• De voortplanting met het maankrachtenmodel tegen openbare gereconstrueerde trajecten van maanorbiters en cislunaire trajecten is MODELLED, niet gevalideerd: een deelbewering wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md
• Onderwerppagina: MISSION-THREAD-LUNAR.md
• Onderwerppagina: MISSION-THREAD.md