lunar-differential-pnt (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 lunar DIFFERENTIEL PNT (en lunar DGNSS/SBAS-analog): en referencestation af NovaMoon-klassen på et KENDT selenografisk sted beregner differentialkorrektioner pr. satellit ud fra en ILLUSTRATIVE konstellation af Moonlight/LCNS-klassen fra offentlige kilder (NovaMoon omtales kun som en SYSTEMKLASSE, ikke tilknyttet ESA), og en bruger, der er forskudt med baseline_km, anvender dem, så de FÆLLES orbit- og urfejl ophæves. Urleddet ophæves PRÆCIST (en algebraisk identitet); orbitleddet efterlader kun projektionen af sigtelinjeforskellen, som → 0, når baseline → 0 (gulvet for rumlig dekorrelation), og vokser ≈ lineært med baseline. Rapporterer brugerens 3D-positionsfejl MED og UDEN korrektioner, reduktionsfaktoren, kurven for fejl mod baseline og et brugerbeskyttelsesniveau, der GENBRUGER DO-229E SBAS-maskineriet (crate::sbas) med differentialresten σ. MODELLED — præcis ophævelsesidentitet + førsteordens dekorrelationsmodel; ikke valideret med reelle data; ingen TRL-, heritage- eller myndighedsstøtte. Deterministisk, hvis seedet.

Én kørsel af scenarios/lunar-differential-pnt.toml opsummeres som: lunar-differential-pnt | 8 sats (illustrative LCNS-class, not affiliated) | baseline 50 km | user error 24,46 m → 0,0077 m (3186× reduction) | HPL 23,1 m (σ_resid 5,0 m) | MODELLED

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits

Eksemplet scenarios/lunar-differential-pnt.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-differential-pnt.toml

Hvad den giver#

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

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

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

Begrænsninger#

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

• MODELLED — præcis ophævelsesidentitet + førsteordens dekorrelationsmodel; ikke valideret med reelle data; ingen TRL-, heritage- eller myndighedsstøtte. (kategori-katalog (kshana kinds --json))
• ÆRLIGHED: MODELLED. Ophævelsen af fælles fejl er en PRÆCIS algebraisk identitet; resten fra rumlig dekorrelation er en FØRSTEORDENS geometrisk model (projektionen af sigtelinjeforskellen for en tilført orbitfejl), ikke en tilpasset dekorrelationsmodel ud fra reel lunar sporing. Brugerens beskyttelsesniveau GENBRUGER DO-229E SBAS-maskineriet for beskyttelsesniveauer (crate::sbas) med differentialrestens sigma som fejl pr. satellit (kommentar i scenariefilen, linje 23 til 28)
• ── KORREKTIONSLINKET ────────────────────────────────────────────────────────────── Identiteten ovenfor forudsætter en PERFEKT korrektion: beregnet af en station, der ved præcis, hvor den står, leveret øjeblikkeligt, med uendelig opløsning. Ingen af de tre forudsætninger holder, og de tre input nedenfor modellerer, hvad hver af dem koster. De indgår KUN i blokken correction_link i resultatdokumentet -- med alle tre ved de værdier, der er skrevet h (kommentar i scenariefilen, linje 57 til 62)
• 1. OPMÅLINGSFEJL. Stationen danner sin korrektion mod den koordinat, den TROR på. En fejl dér følger med på hver korrektion, den udsender, og når brugeren som -delta . u_ref -- som slet ikke indeholder nogen brugergeometri, så i modsætning til orbitleddet forsvinder den hverken ved nul baseline eller vokser med baseline, og den overføres cirka én til én til brugerens position. Standardværdien 0,30 m er cratens egen lunare reference (kommentar i scenariefilen, linje 64 til 70)
• 2. KORREKTIONENS ALDER. En korrektion, der er beregnet ved t og anvendt ved t+tau, er forældet på to måder. Orbit: satellitten har BEVÆGET sig, så den frosne orbitfejlvektor nu projiceres på en drejet sigtelinje; rotationen kommer fra denne crates egen propagator, så der antages ingen orbitfejlrate nogen steder. Ur: satellituret har drevet med c*sigma_y(tau)*tau for den fulde RAFS-potenslov i crate::clock_specs, kalibreret (kommentar i scenariefilen, linje 73 til 79)
• 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))

Se også#

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