Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/mars-pnt.md

mars-pnt (scenariosoort)

Scenariokind van de engine v0.40.0, familie Constellaties, dekking en geometrie. 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#

PNT op Mars in de diepe ruimte: een gesimuleerde MARCONI-relayconstellatie (areostationaire + hellende relays die eenrichting uitzenden + tweerichting doorgeven aan een station in de diepe ruimte) navigeert een referentiegebruiker (transfer | lmo | surface) via de gezamenlijke radiometrische fusieschatter voor eenrichting en tweerichting. Rapporteert per epoch geometrie en zichtbaarheid, de behaalde RMS ten opzichte van de referentie en de formele covariantie (1σ / 3σ positie) — een eerlijke gesimuleerde kwaliteitsmaat, GEEN gecertificeerd beschermingsniveau.

Eén run van scenarios/mars-pnt-lmo.toml vat zich samen als: mars-pnt 5aad87fcc94a | lmo-gebruiker, uso-klok | 5 relays (gemiddeld 3,1 in zicht) | geconvergeerde pos-RMS 0,25 m, formele 1σ 0,31 m (3σ 0,93 m — covariantie-kwaliteitsmaat, geen gecertificeerd PL) | klokfrequentie-σ 3.71e-13 | cov-PD true

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

Het voorbeeld scenarios/mars-pnt-lmo.toml stelt onder meer in:

Veld Waarde Eenheid
clock_class uso tekst
doppler_sigma_mps 1.0000e-4 m/s
duration_s 7200 s
dynamic_tightness 0.1 niet vermeld
kind mars-pnt tekst
nmax 4 niet vermeld
range_sigma_m 1 m
seed 331514052 niet vermeld
step_s 60 s
two_way_period_s 1800 s
user lmo tekst

Uitvoeren#

kshana scenarios/mars-pnt-lmo.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:

Resultaat Waarde Eenheid
areostationary_radius_m 2.0428e7 m
clock_class uso tekst
evidence.id_rule de stabiele id van de matrixrij (de ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.converged_pos_3sigma_m 0.927387 m
fom.converged_pos_rms_m 0.245604 m
fom.converged_pos_sigma_m 0.309129 m
fom.covariance_pd_throughout true vlag
fom.epochs 120 aantal
De grafiek die de engine schrijft voor scenarios/mars-pnt-lmo.toml, soort mars-pnt

Bewijs#

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

  • MODELLED Het kind body-pnt: een orbiter of een lander op het oppervlak rond een bij naam gekozen lichaam navigeert met eenweg-pseudoafstanden van een Walker-navigatieconstellatie rond het lichaam (tweelichamenbanen met de seculaire J2-drift van het lichaam, een onbekende gebruikersk

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • VALIDATED Herstel van een epochtoestand [r,v] uit afstanden van grondstations via een Gauss–Newton-batchcorrector voor differentiële correctie en een sequentieel filter, over een tweelichamen+J2-krachtmodel. Onafhankelijke referentie (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) BatchLSEstimator (Levenberg–Marquardt) + KalmanEstimator (EKF) — een onafhankelijke schattingsbibliotheek van een derde partij op een afgestemd krachtmodel; herstelde epochtoestand + RMS van het residu na de fit komen overeen tot <1e-3 m zonder ruis en <3 m bij een ruisvloer van 5 m
  • MODELLED 3-toestanden (fase/frequentie/drift) van-Loan-Kalmanklok, Joseph-gestabiliseerd. Onafhankelijke referentie (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), met F via scipy.linalg.expm en Q via de Van-Loan-blokmatrix van 1978 — een onafhankelijke referentie-implementatie die het volledige filtertraject van kshana reproduceert. Consistentie tussen implementaties: de klokfysica en de Allan-kalibratie zijn niet extern getoetst, dus dit blijft MODELLED. 0,30 externe vergelijking, een bevinding (blijft MODELLED): op IGS final 30 s-klokken van 11 GPS Blo
  • 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

Beperkingen#

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

  • Schatting van de toestand van de boordklok is MODELLED, niet extern getoetst: gecontroleerd tegen een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • 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))

Zie ook#