Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/mars-pnt.md

mars-pnt (scenariotype)

Scenariotype i motoren v0.40.0, familie Konstellasjoner, dekning og geometri. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

PNT for Mars i dypt rom: en simulert MARCONI-relékonstellasjon (areostasjonære + inklinerte releer som sender énveis + videresender toveis til en stasjon i dypt rom) navigerer en referansebruker (transfer | lmo | surface) gjennom den felles estimatoren for énveis/toveis radiometrisk fusjon. Rapporterer geometri/synlighet per epoke, oppnådd RMS mot referansen og den formelle kovariansen (1σ / 3σ posisjon) — et ærlig simulert kvalitetsmål, IKKE et sertifisert beskyttelsesnivå.

Én kjøring av scenarios/mars-pnt-lmo.toml oppsummeres slik: mars-pnt 5aad87fcc94a | lmo-bruker, uso-klokke | 5 releer (gjennomsnittlig 3,1 i sikte) | konvergert pos-RMS 0,25 m, formell 1σ 0,31 m (3σ 0,93 m — kovarians-kvalitetsmål, ikke et sertifisert PL) | klokkefrekvens-σ 3.71e-13 | cov-PD true

Inndata#

Fra skjemaet (kshana kinds --json):

  • Påkrevde felt: ingen
  • Valgfrie felt: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

Eksempelet scenarios/mars-pnt-lmo.toml setter blant annet:

Felt Verdi Enhet
clock_class uso tekst
doppler_sigma_mps 1.0000e-4 m/s
duration_s 7200 s
dynamic_tightness 0.1 ikke oppgitt
kind mars-pnt tekst
nmax 4 ikke oppgitt
range_sigma_m 1 m
seed 331514052 ikke oppgitt
step_s 60 s
two_way_period_s 1800 s
user lmo tekst

Kjør den#

kshana scenarios/mars-pnt-lmo.toml

3 medfølgende scenarioer bruker denne typen; de andre står i scenarios/.

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
areostationary_radius_m 2.0428e7 m
clock_class uso tekst
evidence.id_rule den stabile id-en til matriseraden (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 flagg
fom.epochs 120 antall
Diagrammet motoren skriver for scenarios/mars-pnt-lmo.toml, type mars-pnt

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

  • MODELLED Typen body-pnt: en orbiter eller en landingsfarkost på overflaten rundt et legeme valgt ved navn navigerer med enveis pseudoavstander fra en Walker-navigasjonskonstellasjon rundt legemet (todelslegeme-baner med legemets sekulære J2-drift, en ukjent bruker-c

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • VALIDATED Gjenfinn en epoketilstand [r,v] fra avstander fra bakkestasjoner via en batch-differensialkorrektor med Gauss–Newton og et sekvensielt filter, over en kraftmodell med to legemer + J2. Uavhengig referanse (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) BatchLSEstimator (Levenberg–Marquardt) + KalmanEstimator (EKF) — et uavhengig estimeringsbibliotek fra tredjepart på en tilsvarende kraftmodell; gjenfunnet epoketilstand + RMS for residualer etter tilpasningen stemmer til <1e-3 m uten støy og <3 m ved et støygulv på 5 m
  • MODELLED 3-tilstands (fase/frekvens/drift) van Loan-Kalman-klokke, Joseph-stabilisert. Uavhengig referanse (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), med F via scipy.linalg.expm og Q via Van-Loan-blokkmatrisen 1978 — en uavhengig referanseimplementering som gjengir hele banen til Kshanas filter. Konsistens på tvers av implementeringer: klokkefysikken / Allan-kalibreringen er ikke eksternt validert, så dette forblir MODELLED. 0,30 ekstern sammenligning, et funn (forblir MODELLED): på IGS final 30 s-klokker fra 11 GPS Blo
  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • Tilstandsestimering for klokken om bord er MODELLED, ikke validert: kontrollert mot en separat implementering i denne samme kodebasen — uavhengig av enheten som testes, men ikke eksternt autoritativ. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#