lunar-station-coverage (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#

Modellerad täckning för lunar referensstation: en Monte Carlo-svepning av den lunara differentiella PNT-modellen över ett användarrutnät vid sydpolen och ett dygn av epoker. En differentiell referensstation på en känd plats vid sydpolen korrigerar en angiven konstellation (illustrativ keplersk eller en tabellerad efemerid) med ett angivet fel för signal i rymden, inmätningsfel, korrektionslatens och länkkvantisering; per punkt och över regionen redovisar den percentilen för korrigerat och okorrigerat positionsfel (3D, horisontellt, vertikalt), tillgänglighet, täckning mot en angiven tröskel, skyddsnivåer enligt DO-229E, täckningsradien per azimut och korrektionslänkens budget vid stationen och vid den sämsta punkten. Inget påstående om prestandan hos något verkligt system; inte knutet till eller stött av någon myndighet. MODELLED.

En körning av scenarios/lunar-station-coverage.toml sammanfattas som: lunar-station-coverage | 346 punkter x 144 epoker x 200 försök | tillgänglighet 92,2 % | täckning 76,5 % (p95 <= 20 m) | korrigerat p95 3D 15,592 m (okorrigerat 1056,892 m) | HPL max 480,385 m | MODELLED; inget påstående om något verkligt system

Indata#

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

• Obligatoriska fält: inga
• Valfria fält: 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

Exemplet scenarios/lunar-station-coverage.toml anger bland annat:

Kör den#

kshana scenarios/lunar-station-coverage.toml

3 medföljande scenarier använder den här typen; de övriga finns i scenarios/.

Vad den ger#

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

Resultatetikett (motorns egen): MODELLED

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

• MODELLED Monte Carlo-svep av den lunara differentiella PNT-modellen över ett användarrutnät vid sydpolen och ett dygns epoker (typen lunar-station-coverage): för en differentiell referensstation på en känd plats vid sydpolen, per punkt och över regionen, de Tester: lunar_station_coverage_reference.rs.

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 Differentiell referensstation av NovaMoon-klass: bortagande av gemensamt läge + residual som växer med baslinjen + DGNSS-skyddsnivåer. Oberoende referens (InternalConsistency): Identitet för differentiellt felbortagande + återanvändning av PL-maskineriet i DO-229E SBAS; lösningen med enkeldifferens + WLS korskontrolleras dessutom mot RTKLIB:s lsq()/matinv() (Takasu, BSD-2-Clause, kompilerad C) — oberoende lösarkod, men samma första ordningens algebra för skillnaden i siktlinje, så fortfarande InternalConsistency
• MODELLED De tre termer som en differentiell korrektion får mellan den epok den beräknas vid och den epok den används vid, var och en tidigare lämnad som omodellerat utrymme:. Oberoende referens (InternalConsistency): Slutna identiteter och självkonsistens: kvantiseringsvariansen step²/12 för likformig kvantiserare, den exakta kovarianspropageringen (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ som kollapsar till σ·PDOP för lika σ, inmätningstermens överföring 1:1 som en följd av û_user ≈ û_ref, samt slutning av kvadraturen vid bortkoppling. Korskontrollen av PDOP mot orbit::dop delar normalmatrisen [−û, 1], så den är en konsistenskontroll och är märkt som en sådan i stället för som en
• MODELLED Monte Carlo-svep av den lunara differentiella PNT-modellen över ett användarrutnät vid sydpolen och ett dygns epoker (typen lunar-station-coverage): för en differentiell r. Oberoende referens (InternalConsistency): Aritmetik omräknad av ett oberoende numpy-skript på exporterade fall (scripts/gen_lunar_station_ref.py, numpy 2.5.4; förhandsregistrerad i tests/fixtures/lunar_station/PREREGISTRATION.md, incheckad ensam i 9caedf97 före den första körningen): för 20 fall med alla felkällor aktiverade är de synliga mängderna och statusen identiska, de råa avståndsfelen ligger inom 1.4e-14 m från varandra, positionsfelsvektorerna och deras belopp inom 1.4e-9 m mot

Begränsningar#

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

• MODELLED (resultat label)
• MODELLED. (typkatalog (kshana kinds --json))
• ÄRLIGHET: MODELLED. Under de antaganden som anges nedan ger modellen dessa värden. Det är inget påstående om prestandan hos något verkligt system; inte knutet till eller stött av någon myndighet; inga påståenden om TRL eller flygerfarenhet. Utelämnat: terräng- och horisontmaskering vid polen (den första begränsningen), flervägsutbredning, mottagarhårdvara. (kommentar i scenariofilen, rad 15 till 18)
• 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 differentiell PNT är MODELLED, inte validerad: kontrollerad mot sin egen slutna eller analytiska identitet — fångar avskrivnings- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• Lunar differentiell PNT — residualbudget för korrektionslänken är MODELLED, inte validerad: kontrollerad mot sin egen slutna eller analytiska identitet — fångar avskrivnings- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• Täcknings- och noggrannhetskartan för en lunar referensstation är MODELLED, inte validerad: kontrollerad mot sin egen slutna analytiska identitet. Det fångar överförings- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#

• Familjesida: Måne och cislunart
• Alla typer: KINDS.md
• Ämnessida: LUNAR-REFERENCE-STATION.md