lunar-station-coverage (scenariosoort)

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

Wat het doet#

Gemodelleerde dekking van een referentiestation op de maan: een Monte Carlo-sweep van het differentiële PNT-model voor de maan over een gebruikersraster bij de zuidpool en een dag aan epochs. Een differentieel referentiestation op een bekende locatie bij de zuidpool corrigeert een vermelde constellatie (illustratief met keplerbanen of een getabelleerde efemeride) met een vermelde signal-in-space-fout, opmetingsfout, correctielatentie en kwantisatie van de link; per punt en over de regio rapporteert het de percentielen van de gecorrigeerde en niet-gecorrigeerde positiefout (3D, horizontaal, verticaal), beschikbaarheid, dekking ten opzichte van een vermelde drempel, beschermingsniveaus volgens DO-229E, de dekkingsstraal per azimut en het linkbudget van de correctielink bij het station en bij het ongunstigste punt. Geen uitspraak over de prestaties van enig echt systeem; niet gelieerd aan of onderschreven door enige organisatie. MODELLED.

Eén run van scenarios/lunar-station-coverage.toml vat zich samen als: lunar-station-coverage | 346 punten x 144 epochs x 200 proeven | beschikbaarheid 92,2 % | dekking 76,5 % (p95 <= 20 m) | gecorrigeerd p95 3D 15,592 m (niet gecorrigeerd 1056,892 m) | HPL max 480,385 m | MODELLED; geen uitspraak over enig echt systeem

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

Het voorbeeld scenarios/lunar-station-coverage.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/lunar-station-coverage.toml

3 meegeleverde scenario's gebruiken dit kind; de overige staan in scenarios/.

Wat het oplevert#

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

Resultaatlabel (dat van de engine): MODELLED

Bewijs#

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

• MODELLED Monte Carlo-sweep van het differentiële PNT-model voor de maan over een gebruikersraster bij de zuidpool en een dag aan epochs (de soort lunar-station-coverage): voor een differentieel referentiestation op een bekende locatie bij de zuidpool, per punt en over de regio, de Tests: lunar_station_coverage_reference.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 Differentieel referentiestation van het type NovaMoon: wegvallen van gemeenschappelijke fouten + met de basislijn groeiend residu + DGNSS-beschermingsniveaus. Onafhankelijke referentie (InternalConsistency): Identiteit voor het wegvallen van differentiële fouten + hergebruik van de SBAS-PL-machinerie van DO-229E; de oplossing met enkelvoudig verschil + WLS wordt daarnaast gecontroleerd aan lsq()/matinv() van RTKLIB (Takasu, BSD-2-Clause, gecompileerde C) — onafhankelijke solvercode, maar dezelfde eerste-orde-algebra van het LOS-verschil, dus nog steeds InternalConsistency
• MODELLED De drie termen die een differentiële correctie oploopt tussen de epoch waarop ze wordt berekend en de epoch waarop ze wordt gebruikt, elk eerder als ongemodelleerde marge gelaten:. Onafhankelijke referentie (InternalConsistency): Identiteiten in gesloten vorm en zelfconsistentie: de variantie step²/12 van de uniforme kwantisator, de exacte voortplanting van de covariantie (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ die voor gelijke σ terugvalt op σ·PDOP, de overdracht 1:1 van de opmetingsterm als gevolg van û_user ≈ û_ref, en sluiting van de kwadratuur bij uitschakeling. De PDOP-controle ten opzichte van orbit::dop deelt de normaalmatrix [−û, 1], dus het is een consistentiecontrole en wordt ook als zodanig benoemd in plaats van als een on
• MODELLED Monte Carlo-sweep van het differentiële PNT-model voor de maan over een gebruikersraster bij de zuidpool en een dag aan epochs (de soort lunar-station-coverage): voor een differentieel r. Onafhankelijke referentie (InternalConsistency): Rekenwerk opnieuw berekend door een onafhankelijk numpy-script op geëxporteerde gevallen (scripts/gen_lunar_station_ref.py, numpy 2.5.4; preregistratie in tests/fixtures/lunar_station/PREREGISTRATION.md, afzonderlijk vastgelegd in 9caedf97 vóór de eerste run): bij 20 gevallen met elke foutterm aan zijn de zichtbare verzamelingen en de status identiek, komen de ruwe afstandsfouten overeen tot 1.4e-14 m, de positiefoutvectoren en -groottes tot 1.4e-9 m ten opzichte van

Beperkingen#

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

• MODELLED (resultaat label)
• MODELLED. (kindcatalogus (kshana kinds --json))
• EERLIJKHEID: MODELLED. Onder de hieronder vermelde aannames geeft het model deze cijfers. Geen uitspraak over de prestaties van enig echt systeem; niet gelieerd aan of onderschreven door enige organisatie; geen claim over TRL of heritage. Weggelaten: terrein- en horizonafscherming bij de pool (de eerste beperking), multipad, ontvangerhardware. (commentaar in het scenariobestand, regels 15 tot 18)
• 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))
• Differentiële PNT op de maan is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan de hand van de eigen gesloten-vorm- of analytische identiteit; dit vangt transcriptie- en coëfficiëntfouten op, maar is geen externe onafhankelijke referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Differentiële PNT op de maan — residubudget van de correctielink is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan de hand van de eigen gesloten-vorm- of analytische identiteit; dit vangt transcriptie- en coëfficiëntfouten op, maar is geen externe onafhankelijke referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• De dekkings- en nauwkeurigheidskaart van een referentiestation op de maan is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd aan de hand van de eigen gesloten-vorm- of analytische identiteit; dit vangt transcriptie- en coëfficiëntfouten op, maar is geen externe onafhankelijke referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md
• Onderwerppagina: LUNAR-REFERENCE-STATION.md