Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/lunar-infrastructure.md

lunar-infrastructure (scenariotyp)

Scenariotyp i motor v0.40.0, familj Måne och cislunart. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

MODELLED studier av månens bana och yta som infrastruktur för navigering och geodesi, fem studier bakom en enda typ som väljs av study: od-consistency (banbestämning ombord med jordens GNSS i en NRHO eller ELFO mot oberoende radiometrisk banbestämning från marken, bedömd utifrån deras egna kovarianser över en Monte Carlo-körning med frö), carrier-phase (gemensam dubbeldifferentierad bärvågsfas mellan yta och omloppsfarkost och lösning av heltalsosäkerhet med LAMBDA), frame-coestimation (en markstation och omloppsfarkoster som läggs till avståndsmätningen från jordstationer för det lunara referenssystemsdatumet med sju parametrar), space-tie (GNSS, VLBI och laseravståndsmätning på en farkost, precision i referenssystemstien mot felet i lokal tie) och geodesy-sensitivity (Fisher-information för de lunara Love-talen h2, k2, l2 och den fysiska libration från laseravståndsmätning, spårning av omloppsfarkoster, en gravimeter på ytan och en klocka på ytan). En begränsad trekroppsmodell med angivna förenklingar; numeriken kontrolleras mot oberoende program och ingenting jämförs med en mätning av någon lunar storhet.

En körning av scenarios/lunar-infrastructure-space-tie.toml sammanfattas som: lunar-infrastructure space-tie: 4 svepningspunkter på 1 bågar; laser jämfört med GNSS x translationens sigma 1,0363 m vid den registrerade lokala tien

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: study
  • Valfria fält: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

Exemplet scenarios/lunar-infrastructure-space-tie.toml anger bland annat:

Fält Värde Enhet
kind lunar-infrastructure text
orbit.arc_days 6.56 d
orbit.family nrho text
orbit.sample_s 900 s
orbit.vy0 -0.102 inte angivet
orbit.x0 1.022 inte angivet
orbit.z0 -0.18 inte angivet
seed 20261019 inte angivet
study space-tie text
techniques.gnss_sigma_m 10 m
techniques.local_tie_sigma_m 0.001 m
techniques.slr_sigma_m 0.1 m

Kör den#

kshana scenarios/lunar-infrastructure-space-tie.toml

6 medföljande scenarier använder denna kind; de övriga finns i scenarios/.

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
local_tie_sigma_m 0.001 m
study space-tie text
technique_sigma_m.gnss 10 m
technique_sigma_m.slr 0.1 m
technique_sigma_m.vlbi 1 m

Resultatetikett (motorns egen): MODELLED — en begränsad trekroppsmodell (jorden och månen som punktmassor, ingen sol, inga lunara gravitationsharmoniker) med angivna förenklingar och ILLUSTRATIVE indata märkta med sina offentliga källor. Numeriken kontrolleras mot oberoende program; ingenting jämförs med en mätning av en luna

inget diagram: exemplet skriver inget diagram

Evidens#

Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • MODELLED Banbestämning i en nästan rätlinjig halobana (eller en elliptisk fryst bana) utifrån två oberoende datatyper: pseudoavstånd från jordens GNSS mottagna ombord. Oberoende referens (ReferenceImpl): Ett oberoende scipy/numpy-program integrerar samma variationsekvationer (tröskel O1). Ingenting jämförs med en mätning av en lunar bana. Den oberoende referensen kontrollerar numeriken i angivna formler, inte fysiken, så raden förblir MODELLED. Begränsad trekroppsmodell: ingen sol, inga lunara harmoniker, jordens rotationsaxel längs banans normal, ILLUSTRATIVE indata för mottagare och station.
  • MODELLED Enkeldifferentierad bärvågsfas och kod från jordens GNSS mellan mottagare vid en lunar markstation och en omloppsfarkost, där klockdifferensen per epok profileras bort. Oberoende referens (ReferenceImpl): En oberoende numpy-lösning av samma normalekvationer utifrån de exporterade raderna (Q3) och en uttömmande uppräkning av heltal (Q4). Ingen GNSS- eller lunar bärvågsfasmätning jämförs med. MODELLED.
  • MODELLED Fisher-information för det lunara referenssystemsdatumet med sju parametrar från laseravståndsmätning från jordstationer till enbart de fem reflektorerna och med avståndsmätning mellan omloppsfarkost och markstation. Oberoende referens (ReferenceImpl): En oberoende finit differens i numpy av framåtmodellen (F2). Ingenting jämförs med verkliga lösningar för lunara referenssystem. Faktorn är villkorad av den antagna kända banan och avståndssigmat på 1 m. MODELLED.
  • MODELLED Cramer-Rao-precision för translations-, skal- och rotationsförskjutningarna mellan teknikerna i referenssystemen för GNSS, VLBI och laseravståndsmätning när en farkost bär alla. Oberoende referens (ReferenceImpl): Ett oberoende staplat numpy-system där positionsobekanta eliminerats med explicita Schur-komplement (T3). Inga data från GRASP, Genesis eller andra uppdrag jämförs med. MODELLED.

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • MODELLED — en begränsad trekroppsmodell (jorden och månen som punktmassor, ingen sol, inga lunara gravitationsharmoniker) med angivna förenklingar och ILLUSTRATIVE indata märkta med sina offentliga källor. Numeriken kontrolleras mot oberoende program; ingenting jämförs med en mätning av en lunar storhet, och ingenting här är ett påstående om något uppdrag eller system. Inte knutet till eller stött av någon myndighet. Råd (resultat label)
  • MODELLED studier av månens bana och yta som infrastruktur för navigering och geodesi, fem studier bakom en enda typ som väljs av study: od-consistency (banbestämning ombord med jordens GNSS i en NRHO eller ELFO mot oberoende radiometrisk banbestämning från marken, bedömd utifrån deras egna kovarianser över en Monte Carlo-körning med frö), carrier-phase (gemensam dubbeldifferentierad bärvågsfas mellan yta och omloppsfarkost och heltalsosäkerhet (typkatalog (kshana kinds --json))
  • Kshana-scenario för lunar infrastruktur: space-tie. MODELLED; utformningen, indata och trösklarna är fastställda i xval/lunar-infra/PREREGISTRATION.md (incheckad före någon körning). ILLUSTRATIVE indata är märkta med sina offentliga källor där. (kommentar i scenariofilen, rad 1 till 3)
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Lunar banbestämning: jordens GNSS mot radiometri från marken är MODELLED, inte validerad: kontrollerad mot en separat implementation i samma kodbas — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Lunar lösning av bärvågsfasens heltalsosäkerhet: yta och omloppsfarkost är MODELLED, inte validerad: kontrollerad mot en separat implementation i samma kodbas — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Lunar samestimering av referenssystem: stationer på ytan och omloppsfarkoster är MODELLED, inte validerad: kontrollerad mot en separat implementation i samma kodbas — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Precision i space-tie-referenssystemstien: samlokaliserad GNSS, VLBI och laseravståndsmätning är MODELLED, inte validerad: kontrollerad mot en separat implementation i samma kodbas — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#