lunar-vlbi-fim (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#

Kovarians for stationskoordinater ved lunar VLBI: delay-partialerne for observablen lunar-vlbi akkumuleret over en eksplicit PLAN (baselines x epoker) til en Fisher-informationsmatrix, inverteret og rapporteret som kovariansen for stationskoordinaterne og sigma pr. koordinat for stationen — et beregnet motoroutput frem for en skalar delay-præcision skubbet gennem en antaget isotrop equipartition-faktor g = 3. Tilstanden bærer JORDFASTE (ITRS) stationskoordinater, så Jacobi-matricen er det inertiale partial roteret med hver epokes GCRS->ITRS-matrix: Jordens rotation er det, der gør disse koordinater observerbare, og rapporten MÅLER det jordfaste sweep af sigtelinjen og fyrets deklination i stedet for at antage dem. Én observation er ét par (baseline, epoke), hvor BEGGE stationer er over elevationsmasken, vægtet 1/delay_sigma_s^2. Rapporterer rang, datumdefekt, konditionstal, hele informationsspektret, kovariansmatrixen, sigma pr. station pr. akse og i 3D samt nulrummet for det frie net ved hver kørsel; ved rangdefekt offentliggøres hovedsigma som NULL med en status, aldrig aflæst fra en næsten singulær invers. Equipartition-værdien cdelay_sigma_ssqrt(g/N) for SAMME plan udsendes ved siden af den beregnede værdi med forholdet, sammen med den isotrope sporgrænse sqrt(p/trace(M)), som AM-HM gør til et hårdt gulv — så forholdet er den anisotropi, som antagelsen kasserede. Delay-lukningen tau_ik = tau_ij + tau_jk gør kun n-1 af de n(n-1)/2 baselines geometrisk uafhængige; rapporten angiver begge antal. MODELLED: Måne-centrets efemeride, stationsure, troposfære og jordorienteringsparametre holdes FASTE, og observationer behandles som uafhængige, så kovariansen er en Cramer-Rao-grænse for et reduceret parametersæt, ikke et forudsagt sessionsresultat; delay-sigma, stationskoordinater og plan er input. Partialet, som Jacobi-matricen for den geometriske delay udelader (det differentierede Shapiro-led), måles ved differenskvotient og udsendes. Ikke et geodætisk produkt.

Én kørsel af scenarios/lunar-vlbi-fim.toml opsummeres som: lunar-vlbi-fim | 3 stations / 3 baselines x 49 epochs = 16 obs (mask 10,0 deg) | datum anchor-first-station | rank 6/6 cond 2.209e4 | station sigma 0,0926 m vs equipartition g=3 0,0013 m (ratio 71,360)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

Eksemplet scenarios/lunar-vlbi-fim.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-vlbi-fim.toml

Hvad den giver#

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

Resultatmærkat (motorens egen): MODELLED kovarians for stationskoordinater ved lunar VLBI. Kovariansen akkumuleres fra motorens egne analytiske delay-partialer over en eksplicit plan af baselines og epoker og inverteres; den er IKKE omregnet fra en skalar delay-præcision med en antaget geometrifaktor. Delay-sigma pr. observation

Evidens#

MODELLED 3 · VALIDATED 2: rækkerne i verifikationsmatrixen, der nævner denne type.

• VALIDATED Delay-partialer akkumuleret over en plan af baselines × epoker til en Fisher-informationsmatrix, inverteret til kovariansen for stationskoordinaterne og sigma pr. koordinat for stationen, i stedet for et antaget isotropt equipartition-led fra en
• MODELLED Et tredje valg af datum, all-stations-fixed, der holder hver jordstation fast og estimerer KUN FYRETs Måne-legemsfaste koordinater — den konfiguration, som usikkerheden for et punkt på månens overflade faktisk angives for, da jordstationernes koordinater
• VALIDATED Kovariansen for fyret med alle stationer fastholdt i scenariet lunar-vlbi-fim (hver jordstation holdt fast, fyrets Måne-legemsfaste koordinater estimeret alene) med fyret placeret på JPL DE440-Månen læst af motorens egen kernelæser
• MODELLED Helmert-referencesystemet med syv parametre udbredt fra en SIMULERET OBSERVATIONSKAMPAGNE i stedet for gendannet fra en tilført transformation.
• og 1 flere i matrixen.

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 Delay-partialer akkumuleret over en plan af baselines × epoker til en Fisher-informationsmatrix, inverteret til kovariansen for stationskoordinaterne og sigma pr. koordinat for sta. Uafhængig reference (ExternalDataset): En uafhængig vej i selve repositoriet. Hver Jacobi-række udledes igen ved central differenskvotient af lunar_vlbi::vlbi_delay_s, evalueret ud fra tilstandens egne jordfaste og Måne-legemsfaste koordinater roteret fremad gennem kæden af referencesystemer — en vej, der ikke beregner nogen afledet og ikke deler noget udtryk med de analytiske partialer — og informationsmatricerne, som de to veje opbygger, stemmer til < 1e-6 af den største diagonal. De
• MODELLED Et tredje valg af datum, all-stations-fixed, der holder hver jordstation fast og estimerer KUN FYRETs Måne-legemsfaste koordinater — den konfiguration, som en lu. Uafhængig reference (ReferenceImpl): Identiteter i lukket form, uden at nogen ekstern uafhængig reference gøres gældende eller findes. Løftearmen kontrolleres mod ρ/B og de to equipartition-former mod hinanden til 1e-15 — algebraiske identiteter, så de fanger en ledningsfejl og intet andet og er mærket som sådan. Det væsentlige resultat er MEASURED frem for postuleret: en delay fra en fast baseline begrænser fyrets RETNING, så sigtelinjekomponenten rea

Begrænsninger#

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

• MODELLED kovarians for stationskoordinater ved lunar VLBI. Kovariansen akkumuleres fra motorens egne analytiske delay-partialer over en eksplicit plan af baselines og epoker og inverteres; den er IKKE omregnet fra en skalar delay-præcision med en antaget geometrifaktor. Delay-sigma pr. observation, stationskoordinaterne, fyrets sted og planen er input. Måne-centrets efemeride, stationsurene (resultat label)
• Kovarians for stationskoordinater ved lunar VLBI: delay-partialerne for observablen lunar-vlbi akkumuleret over en eksplicit PLAN (baselines x epoker) til en Fisher-informationsmatrix, inverteret og rapporteret som kovariansen for stationskoordinaterne og sigma pr. koordinat for stationen — et beregnet motoroutput frem for en skalar delay-præcision skubbet gennem en antaget isotrop equipartition-faktor g = 3. (kategori-katalog (kshana kinds --json))
• Tilstanden bærer JORDFASTE (ITRS) stationskoordinater, så Jacobi-matricen er det inertiale partial roteret med hver epokes GCRS->ITRS-matrix: Jordens rotation er det, der gør disse koordinater observerbare, og rapporten MÅLER det jordfaste sweep af sigtelinjen og fyrets deklination i stedet for at antage dem. (kategori-katalog (kshana kinds --json))
• Equipartition-værdien cdelay_sigma_ssqrt(g/N) for SAMME plan udsendes ved siden af den beregnede værdi med forholdet, sammen med den isotrope sporgrænse sqrt(p/trace(M)), som AM-HM gør til et hårdt gulv — så forholdet er den anisotropi, som antagelsen kasserede. (kategori-katalog (kshana kinds --json))
• MODELLED: Måne-centrets efemeride, stationsure, troposfære og jordorienteringsparametre holdes FASTE, og observationer behandles som uafhængige, så kovariansen er en Cramer-Rao-grænse for et reduceret parametersæt, ikke et forudsagt sessionsresultat; delay-sigma, stationskoordinater og plan er input. (kategori-katalog (kshana kinds --json))
• D3's offentliggjorte kæde går fra en delay-præcision pr. observation til en usikkerhed på stationskoordinaterne gennem en antaget ISOTROP equipartition-faktor g = 3. Det trin er det, som artiklens eget abstract kalder modelleret frem for målt. Dette scenarie fjerner det: lunar-VLBI-delay-partialerne akkumuleres over en reel plan af (baseline x epoke)-par til en Fisher-informationsmatrix, inverteres og rapporteres som (kommentar i scenariefilen, linje 3 til 8)
• Tilstanden bærer JORDFASTE (ITRS) koordinater, så Jacobi-matricen er det inertiale partial roteret med hver epokes GCRS->ITRS-matrix: Jordens rotation er det, der overhovedet gør disse koordinater observerbare, og rapporten MÅLER det jordfaste sweep af sigtelinjen og fyrets deklination i stedet for at antage dem. Én observation er ét par (baseline, epoke), hvor BEGGE stationer er over elevationsmasken, vægtet 1/delay (kommentar i scenariefilen, linje 10 til 14)
• Hvad du skal læse i rapporten * sigma pr. station pr. akse og i 3D — det beregnede svar; * equipartition-værdien cdelay_sigma_ssqrt(g/N) for SAMME plan, udskrevet ved siden af med forholdet. Det forhold ER den anisotropi, som antagelsen kasserede, og den isotrope sporgrænse sqrt(p/trace(M)) gør AM-HM til et hårdt gulv, så antagelsen kun kan undervurdere; * rang, datumdefekt, konditionstal, hele sp (kommentar i scenariefilen, linje 16 til 26)

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md