lunar-station-coverage (scenariotype)

Scenariotype i motoren v0.40.0, familie Måne og cislunart rom. 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#

Modellert dekning av referansestasjon på månen: et Monte Carlo-sveip av modellen for differensiell PNT på månen over et brukerrutenett ved sørpolen og et døgn av epoker. En differensiell referansestasjon på et kjent sted ved sørpolen korrigerer en oppgitt konstellasjon (illustrativ keplersk eller en tabellert efemeride) med en oppgitt feil i signalet i rommet, oppmålingsfeil, korreksjonsforsinkelse og linkkvantisering; per punkt og over regionen rapporterer den persentilen av korrigert og ukorrigert posisjonsfeil (3D, horisontal, vertikal), tilgjengelighet, dekning mot en oppgitt terskel, DO-229E-beskyttelsesnivåer, dekningsradius per asimut og budsjettet for korreksjonslinken ved stasjonen og ved det verste punktet. Ikke en påstand om ytelsen til noe virkelig system; ikke tilknyttet eller støttet av noe byrå. MODELLED.

Én kjøring av scenarios/lunar-station-coverage.toml oppsummeres slik: lunar-station-coverage | 346 punkter x 144 epoker x 200 forsøk | tilgjengelighet 92,2 % | dekning 76,5 % (p95 <= 20 m) | korrigert p95 3D 15,592 m (ukorrigert 1056,892 m) | HPL maks 480,385 m | MODELLED; ikke en påstand om noe virkelig system

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: 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

Eksempelet scenarios/lunar-station-coverage.toml setter blant annet:

Kjør den#

kshana scenarios/lunar-station-coverage.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:

Resultatetikett (motorens egen): MODELLED

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED Monte Carlo-sveip av modellen for differensiell PNT på månen over et brukerrutenett ved sørpolen og et døgn av epoker (typen lunar-station-coverage): for en differensiell referansestasjon på et kjent sted ved sørpolen, per punkt og over regionen, den Tester: lunar_station_coverage_reference.rs.

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

• 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
• MODELLED Differensiell referansestasjon av NovaMoon-klassen: opphevelse av felles feil + rest som vokser med grunnlinjen + DGNSS-beskyttelsesnivåer. Uavhengig referanse (InternalConsistency): Identitet for differensiell feilopphevelse + gjenbruk av DO-229E SBAS PL-maskineriet; enkeltdifferansen + WLS-løsningen er i tillegg kryssjekket mot RTKLIBs lsq()/matinv() (Takasu, BSD-2-Clause, kompilert C): uavhengig løserkode, men den samme førsteordens LOS-differansealgebraen, så den er fortsatt InternalConsistency
• MODELLED De tre leddene en differensialkorreksjon får mellom epoken den beregnes ved og epoken den brukes ved, hver tidligere latt stå som umodellert rom:. Uavhengig referanse (InternalConsistency): Lukkede identiteter og selvkonsistens: variansen step²/12 til den uniforme kvantisereren, den eksakte kovarianspropagasjonen (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ som kollapser til σ·PDOP for lik σ, overføringen 1:1 for oppmålingsleddet som en følge av û_user ≈ û_ref, og kvadraturlukking ved frakobling. PDOP-kryssjekken mot orbit::dop deler normalmatrisen [−û, 1], så den er en konsistenskontroll og er merket som det i stedet for en
• MODELLED Monte Carlo-sveip av modellen for differensiell PNT på månen over et brukerrutenett ved sørpolen og et døgn av epoker (typen lunar-station-coverage): for en differensiell r. Uavhengig referanse (InternalConsistency): Aritmetikk beregnet på nytt av et uavhengig numpy-skript på eksporterte tilfeller (scripts/gen_lunar_station_ref.py, numpy 2.5.4; forhåndsregistrert i tests/fixtures/lunar_station/PREREGISTRATION.md, innsjekket alene i 9caedf97 før første kjøring): på 20 tilfeller med hvert feilledd påslått er de synlige mengdene og statusen identiske, de rå avstandsfeilene stemmer til 1.4e-14 m, posisjonsfeilvektorene og størrelsene til 1.4e-9 m mot

Begrensninger#

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

• MODELLED (resultat label)
• MODELLED. (typekatalog (kshana kinds --json))
• ÆRLIGHET: MODELLED. Under de oppgitte forutsetningene nedenfor gir modellen disse verdiene. Ikke en påstand om ytelsen til noe virkelig system; ikke tilknyttet eller støttet av noe byrå; ingen påstand om TRL eller heritage. Utelatt: terreng- og horisontmaskering ved polen (den første begrensningen), flerveis, mottakermaskinvare. (kommentar i scenariofilen, linje 15 til 18)
• 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))
• Differensiell PNT på månen er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet; fanger opp avskrivings- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Differensiell PNT på månen, restbudsjett for korreksjonslinken, er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet; fanger opp avskrivings- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Dekning og nøyaktighetskart for referansestasjon på månen er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet; fanger opp avskrivings- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Måne og cislunart rom
• Alle typer: KINDS.md
• Temaside: LUNAR-REFERENCE-STATION.md