lunar-station-coverage (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Modelleret dækning af lunar referencestation: et Monte Carlo-sweep af den lunare differentielle PNT-model over et sydpolart brugergitter og et døgn af epoker. En differentiel referencestation på et kendt sted ved sydpolen korrigerer en angivet konstellation (illustrativ Kepler-konstellation eller en tabuleret efemeride) med en angivet signal-in-space-fejl, opmålingsfejl, korrektionsforsinkelse og kvantisering af linket; pr. punkt og over regionen rapporterer den percentilen af korrigeret og ukorrigeret positionsfejl (3D, horisontal, vertikal), tilgængelighed, dækning mod en angivet tærskel, DO-229E-beskyttelsesniveauer, dækningsradius pr. azimut og korrektionslinkets budget ved stationen og ved det værste punkt. Ikke en udtalelse om ydeevnen af noget reelt system; ikke tilknyttet eller støttet af nogen myndighed. MODELLED.

Én kørsel af scenarios/lunar-station-coverage.toml opsummeres som: lunar-station-coverage | 346 points x 144 epochs x 200 trials | availability 92,2 % | coverage 76,5 % (p95 <= 20 m) | corrected p95 3-D 15,592 m (uncorrected 1056,892 m) | HPL max 480,385 m | MODELLED; not a statement about any real system

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

Eksemplet scenarios/lunar-station-coverage.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-station-coverage.toml

3 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatmærkat (motorens egen): MODELLED

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED Monte Carlo-sweep af den lunare differentielle PNT-model over et sydpolart brugergitter og et døgn af epoker (typen lunar-station-coverage): for en differentiel referencestation på et kendt sted ved sydpolen, pr. punkt og over regionen, de Tests: lunar_station_coverage_reference.rs.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED Differentiel referencestation af NovaMoon-klassen: ophævelse af fælles fejl + rest, der vokser med baseline + DGNSS-beskyttelsesniveauer. Uafhængig reference (InternalConsistency): Identitet for differentiel fejlophævelse + genbrug af DO-229E SBAS PL-maskineriet; single-difference + WLS-løsningen er desuden krydskontrolleret mod RTKLIB's lsq()/matinv() (Takasu, BSD-2-Clause, kompileret C) — uafhængig solverkode, men den samme førsteordens LOS-differensalgebra, så den er stadig InternalConsistency
• MODELLED De tre led, som en differentialkorrektion opsamler mellem den epoke, den beregnes ved, og den epoke, den anvendes ved, hver tidligere efterladt som ikke-modelleret spillerum:. Uafhængig reference (InternalConsistency): Identiteter i lukket form og selvkonsistens: kvantiseringens trinvarians step²/12, den præcise kovariansudbredelse (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹, der falder sammen til σ·PDOP ved ens σ, opmålingsleddets overførsel 1:1 som en følge af û_user ≈ û_ref og kvadraturlukning ved frakobling. PDOP-krydskontrollen mod orbit::dop deler normalmatrixen [−û, 1], så den er en konsistenskontrol og er mærket som sådan i stedet for en uafhængig
• MODELLED Monte Carlo-sweep af den lunare differentielle PNT-model over et sydpolart brugergitter og et døgn af epoker (typen lunar-station-coverage): for en differentiel r. Uafhængig reference (InternalConsistency): Aritmetik genberegnet af et uafhængigt numpy-script på eksporterede tilfælde (scripts/gen_lunar_station_ref.py, numpy 2.5.4; præregistreret i tests/fixtures/lunar_station/PREREGISTRATION.md, committet alene i 9caedf97 før første kørsel): på 20 tilfælde med alle fejlled slået til er de synlige mængder og status identiske, de rå afstandsfejl stemmer til 1.4e-14 m, positionsfejlvektorerne og deres størrelser til 1.4e-9 m mod

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED (resultat label)
• MODELLED. (typekatalog (kshana kinds --json))
• ÆRLIGHED: MODELLED. Under de nedenfor angivne antagelser giver modellen disse tal. Ikke en udtalelse om ydeevnen af noget reelt system; ikke tilknyttet eller støttet af nogen myndighed; intet krav om TRL eller heritage. Udeladt: terræn- og horisontmaskering ved polen (den første begrænsning), flervejsudbredelse, modtagerhardware. (kommentar i scenariefilen, linje 15 til 18)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Lunar differentiel PNT er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger afskrivnings- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Lunar differentiel PNT — restbudget for korrektionslinket er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger afskrivnings- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Dækning og nøjagtighedskort for lunar referencestation er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger afskrivnings- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

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