lunar-joint-od-clock (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 fælles lunar estimator i flere teknikker til banebestemmelse + ur i batch på et SIMULERET net: en Gauss-Newton-tilpasning af et øjebliksbillede, der fusionerer geodætiske VLBI-delays på jordbaselines, lunar-lokale afstande mellem station og satellit og afstande mellem satellitter for sammen at gendanne en lunar overfladestations 3D-position, en lille konstellations positioner og hvert aktivs urforskydning ud fra en tilført reference. Det centrale ærlige resultat — VLBI gør stationens fulde 3D-position observerbar, hvor lunar-lokal afstandsmåling alene efterlader en svagt observeret retning — rapporteres som kontrasten i stationsfejl med og uden VLBI. MODELLED simuleret lukket-sløjfe-gendannelse (referencen deler observationsmodellen), deterministisk (seedet), IKKE valideret med reelle data; ingen kraftmodelpropagering inde i solveren; ingen TRL-, heritage- eller myndighedsstøtte.

Én kørsel af scenarios/lunar-joint-od-clock.toml opsummeres som: lunar-joint-od-clock | 3 sats, 6 Earth stations | station 3-D err with VLBI 3,54 m vs range-only 2184,02 m (617,5× sharper) | sat pos RMS 2,20 m | station clk err 2.87e-10 s | obs 40/16 params

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day

Eksemplet scenarios/lunar-joint-od-clock.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-joint-od-clock.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
• VALIDATED Batchfusion af VLBI + lunar-lokal afstand + afstand mellem satellitter til gendannelse af positioner og ure for station og konstellation. Uafhængig reference (ExternalDataset): P2: numpy 2.4.6 (numpy.linalg.lstsq med LAPACK gelsd, numpy.linalg.inv; BSD-3) genberegner hvert Gauss-Newton-trin, den konvergerede vægtede mindste kvadraters løsning, de formelle sigmaer og stationsfejlen på de committede Jacobi-matricer og observationer for seks simulerede net, præregistreret (5094bc31) ved max(1e-8, 100 kappa eps) relativt. Første kørsel mislykkedes for nettet uden VLBI (6.1e-7 mod 1e-8, en normalligning
• VALIDATED Fisher-information M=HᵀWH, Cramér–Rao-nedre grænse, observerbarhedsrang / nulrum for datumdefekt (Moore–Penrose-pseudoinvers) og D/A/E/T-optimal eksperimentud. Uafhængig reference (ExternalDataset): NumPy 2.4.1 (numpy.linalg.eigh / .inv; BSD-3-Clause, LAPACK-baseret) — en uafhængig tredjepartsautoritet, der beregner de samme entydigt definerede egenværdier, σ²(XᵀX)⁻¹ Cramér–Rao-kovariansen og GNSS-faktorerne for præcisionsfortynding med en anden algoritme (LAPACK divide-and-conquer + LU) end Kshanas cykliske Jacobi-sweep og spektrale pseudoinvers; stemmer til 1e-9. Den samme klasse af eksterne biblioteker validerer allerede D
• MODELLED Fisher-information om observerbarheden i den fælles lunare løsning: uden jordbaselines ligger det absolutte referencesystems datum i nulrummet for HᵀWH (stationens position uno. Uafhængig reference (InternalConsistency): Analytisk struktur for datumdefekten — den uobserverbare tilstand i det absolutte referencesystem ligger i nulrummet for Fisher-informationen (lukket form), rangtærsklen svarer til den offentliggjorte begrundelse for et design med 3 stationer, og estimatoren når den resulterende CRLB i Monte Carlo. Selve den lunare geometri er et repræsentativt net (ikke en fløjet efemeride), så rækken forbliver MODELLED; den underliggende FIM/CRLB-motor er kontrolleret mod

Begrænsninger#

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

• MODELLED simuleret lukket-sløjfe-gendannelse (referencen deler observationsmodellen), deterministisk (seedet), IKKE valideret med reelle data; ingen kraftmodelpropagering inde i solveren; ingen TRL-, heritage- eller myndighedsstøtte. (kategori-katalog (kshana kinds --json))
• Ærlighed: MODELLED simuleret lukket-sløjfe-gendannelse. En tilført reference afbildes på syntetiske observabler gennem SAMME geometrimodel, som solveren inverterer, seedet gaussisk støj tilføjes, og estimatoren gendanner den tilførte reference inden for støjen. Den uafhængige reference er intern konsistens (gendannelse af referencen + realisme i NEES-kovariansen), IKKE validering med reelle data. Der er ingen kraftmodelpropagering inde i solveren — sate (kommentar i scenariefilen, linje 24 til 29)
• 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 observerbarhed af absolut station (datumdefekt) 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