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

Kovarians för stationskoordinater vid lunar VLBI: fördröjningspartialerna för observabeln lunar-vlbi ackumuleras över ett explicit SCHEMA (baslinjer x epoker) till en Fisher-informationsmatris, inverteras och redovisas som kovariansen för stationskoordinaterna och stationssigma per koordinat — ett beräknat motorutdata snarare än en skalär fördröjningsprecision som pressas genom en antagen isotrop ekvipartitionsfaktor g = 3. Tillståndet bär jordfasta (ITRS) stationskoordinater, så jakobianen är den inertiella partialen roterad med varje epoks GCRS->ITRS-matris: jordrotationen är det som gör dessa koordinater observerbara, och rapporten MÄTER det jordfasta svepet av siktlinjen och fyrens deklination i stället för att anta dem. En observation är ett (baslinje, epok)-par där BÅDA stationerna ligger över elevationsmasken, viktat med 1/delay_sigma_s^2. Rapporten anger rang, datumdefekt, konditionstal, hela informationsspektrumet, kovariansmatrisen, sigma per station och axel samt i 3D, och det fria nätverkets nollrum vid varje körning; vid rangbrist publiceras sigma i rubriken som NULL med en status och läses aldrig ur en nästan singulär invers. Ekvipartitionsvärdet cdelay_sigma_ssqrt(g/N) för SAMMA schema redovisas bredvid det beräknade värdet med kvoten, tillsammans med den isotropa spårgränsen sqrt(p/trace(M)) som AM-HM gör till ett hårt golv — så kvoten är den anisotropi som antagandet förkastade. Fördröjningsslutningen tau_ik = tau_ij + tau_jk gör att bara n-1 av de n(n-1)/2 baslinjerna är geometriskt oberoende; rapporten anger båda antalen. MODELLED: månens centrumefemerid, stationsklockor, troposfär och jordorienteringsparametrar hålls FASTA och observationerna behandlas som oberoende, så kovariansen är en Cramer-Rao-gräns för en reducerad parametermängd, inte ett förutsagt sessionsresultat; fördröjningssigma, stationskoordinater och schema är indata. Partialen som den geometriska fördröjningsjakobianen utelämnar (den differentierade Shapiro-termen) mäts med finita differenser och redovisas. Ingen geodetisk produkt.

En körning av scenarios/lunar-vlbi-fim.toml sammanfattas 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)

Indata#

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

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

Exemplet scenarios/lunar-vlbi-fim.toml anger bland annat:

Kör den#

kshana scenarios/lunar-vlbi-fim.toml

Vad den ger#

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

Resultatetikett (motorns egen): MODELLED kovarians för stationskoordinater vid lunar VLBI. Kovariansen ackumuleras från motorns egna analytiska fördröjningspartialer över ett explicit schema av baslinjer och epoker och inverteras; den är INTE omräknad från en skalär fördröjningsprecision med en antagen geometrifaktor. Fördröjningssigma per observation

Evidens#

MODELLED 3 · VALIDATED 2: raderna i verifieringsmatrisen som nämner den här typen.

• VALIDATED Fördröjningspartialer ackumulerade över ett schema av baslinjer × epoker till en Fisher-informationsmatris, inverterad till kovariansen för stationskoordinaterna och stationssigma per koordinat, vilket ersätter en antagen isotrop ekvipartitionslänk från en
• MODELLED Ett tredje datumval, all-stations-fixed, som håller varje jordstation fast och skattar endast FYRENS månfasta koordinater — den konfiguration som en osäkerhet för en punkt på månytan faktiskt anges för, eftersom jordstationernas koordinater
• VALIDATED Kovariansen för fyren med alla stationer fasta i scenariot lunar-vlbi-fim (varje jordstation hålls fast, fyrens månfasta koordinater skattas ensamma) med fyren placerad på JPL DE440-månen som läses av motorns egen kärnläsare
• MODELLED Helmert-datumet med sju parametrar propagerat från en SIMULERAD OBSERVATIONSKAMPANJ i stället för återvunnet från en injicerad transformation.
• och 1 till i matrisen.

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
• VALIDATED Fördröjningspartialer ackumulerade över ett schema av baslinjer × epoker till en Fisher-informationsmatris, inverterad till kovariansen för stationskoordinaterna och stationssigma per koo. Oberoende referens (ExternalDataset): En oberoende väg i repot. Varje jakobianrad härleds på nytt med centrala finita differenser av lunar_vlbi::vlbi_delay_s utvärderad från tillståndets egna jordfasta och månfasta koordinater roterade framåt genom ramkedjan — en väg som inte beräknar någon derivata och inte delar något uttryck med de analytiska partialerna — och informationsmatriserna som de två vägarna bygger ligger inom < 1e-6 av den största diagonalen från varandra. Den
• MODELLED Ett tredje datumval, all-stations-fixed, som håller varje jordstation fast och skattar endast FYRENS månfasta koordinater — den konfiguration som en lu. Oberoende referens (ReferenceImpl): Identiteter i sluten form, utan någon extern oberoende referens som görs gällande eller finns. Hävarmen kontrolleras mot ρ/B och de två ekvipartitionsformerna mot varandra inom 1e-15 — algebraiska identiteter, så de fångar ett kopplingsfel och inget annat, och är märkta som sådana. Det väsentliga resultatet är MEASURED i stället för påstått: en fördröjning från en fast baslinje begränsar fyrens RIKTNING, så siktlinjekomponenten rea

Begränsningar#

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

• MODELLED kovarians för stationskoordinater vid lunar VLBI. Kovariansen ackumuleras från motorns egna analytiska fördröjningspartialer över ett explicit schema av baslinjer och epoker och inverteras; den är INTE omräknad från en skalär fördröjningsprecision med en antagen geometrifaktor. Fördröjningssigma per observation, stationskoordinaterna, fyrens plats och schemat är indata. Månens centrumefemerid, stationsklockorna (resultat label)
• Kovarians för stationskoordinater vid lunar VLBI: fördröjningspartialerna för observabeln lunar-vlbi ackumuleras över ett explicit SCHEMA (baslinjer x epoker) till en Fisher-informationsmatris, inverteras och redovisas som kovariansen för stationskoordinaterna och stationssigma per koordinat — ett beräknat motorutdata snarare än en skalär fördröjningsprecision som pressas genom en antagen isotrop ekvipartitionsfaktor g = 3. (typkatalog (kshana kinds --json))
• Tillståndet bär jordfasta (ITRS) stationskoordinater, så jakobianen är den inertiella partialen roterad med varje epoks GCRS->ITRS-matris: jordrotationen är det som gör dessa koordinater observerbara, och rapporten MÄTER det jordfasta svepet av siktlinjen och fyrens deklination i stället för att anta dem. (typkatalog (kshana kinds --json))
• Ekvipartitionsvärdet cdelay_sigma_ssqrt(g/N) för SAMMA schema redovisas bredvid det beräknade värdet med kvoten, tillsammans med den isotropa spårgränsen sqrt(p/trace(M)) som AM-HM gör till ett hårt golv — så kvoten är den anisotropi som antagandet förkastade. (typkatalog (kshana kinds --json))
• MODELLED: månens centrumefemerid, stationsklockor, troposfär och jordorienteringsparametrar hålls FASTA och observationerna behandlas som oberoende, så kovariansen är en Cramer-Rao-gräns för en reducerad parametermängd, inte ett förutsagt sessionsresultat; fördröjningssigma, stationskoordinater och schema är indata. (typkatalog (kshana kinds --json))
• D3:s publicerade kedja går från en fördröjningsprecision per observation till en osäkerhet för stationskoordinaterna genom en antagen ISOTROP ekvipartitionsfaktor g = 3. Det steget är det som artikelns eget sammandrag kallar modellerat snarare än mätt. Detta scenario tar bort det: fördröjningspartialerna för lunar VLBI ackumuleras över ett verkligt schema av (baslinje x epok)-par till en Fisher-informationsmatris, inverteras och redovisas a (kommentar i scenariofilen, rad 3 till 8)
• Tillståndet bär jordfasta (ITRS) koordinater, så jakobianen är den inertiella partialen roterad med varje epoks GCRS->ITRS-matris: jordrotationen är det som över huvud taget gör dessa koordinater observerbara, och rapporten MÄTER det jordfasta svepet av siktlinjen och fyrens deklination i stället för att anta dem. En observation är ett (baslinje, epok)-par där BÅDA stationerna ligger över elevationsmasken, viktat med 1/delay (kommentar i scenariofilen, rad 10 till 14)
• Vad du ska läsa i rapporten * sigma per station och axel samt i 3D — det beräknade svaret; * ekvipartitionsvärdet cdelay_sigma_ssqrt(g/N) för SAMMA schema, utskrivet bredvid det med kvoten. Den kvoten ÄR den anisotropi som antagandet förkastade, och den isotropa spårgränsen sqrt(p/trace(M)) gör AM-HM till ett hårt golv, så antagandet kan bara någonsin underskatta; * rang, datumdefekt, konditionstal, hela sp (kommentar i scenariofilen, rad 16 till 26)

Se även#

• Familjesida: Måne och cislunart
• Alla typer: KINDS.md