lunar-vlbi-fim (scenariotype)

Scenariotype i motoren v0.40.0, familie Måne og cislunart rom. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Kovarians for stasjonskoordinater med lunar VLBI: delay-partialene til lunar-vlbi-observabelen akkumulert over en eksplisitt TIDSPLAN (grunnlinjer x epoker) til en Fisher-informasjonsmatrise, invertert og rapportert som kovariansen for stasjonskoordinatene og sigma per koordinat for stasjonen — en beregnet motorutdata i stedet for en skalar delay-presisjon skjøvet gjennom en antatt isotrop ekvipartisjonsfaktor g = 3. Tilstanden bærer JORDFASTE (ITRS) stasjonskoordinater, så Jacobi-matrisen er den inertiale partialen rotert med hver epokes GCRS->ITRS-matrise: Jordens rotasjon er det som gjør disse koordinatene observerbare, og rapporten MÅLER sveipet av siktlinjen i jordfast system og bakens deklinasjon i stedet for å anta dem. Én observasjon er ett par (grunnlinje, epoke) med BEGGE stasjoner over høydemasken, vektet 1/delay_sigma_s^2. Rapporterer rang, datumdefekt, kondisjonstall, hele informasjonsspekteret, kovariansmatrisen, sigma per stasjon per akse og i 3D, og nullrommet for det frie nettverket ved hver kjøring; ved rangmangel publiseres hovedsigmaen som NULL med en status, aldri lest ut av en nesten singulær invers. Ekvipartisjonsverdien cdelay_sigma_ssqrt(g/N) for SAMME tidsplan gis ut ved siden av den beregnede verdien med forholdstallet, sammen med den isotrope sporgrensen sqrt(p/trace(M)) som AM-HM gjør til et hardt gulv — så forholdstallet er anisotropien antakelsen forkastet. Delay-lukkingen tau_ik = tau_ij + tau_jk gjør bare n-1 av de n(n-1)/2 grunnlinjene geometrisk uavhengige; rapporten oppgir begge antallene. MODELLED: månesentrumsefemeriden, stasjonsklokkene, troposfæren og jordorienteringsparameterne holdes FASTE og observasjonene behandles som uavhengige, så kovariansen er en Cramer-Rao-grense for et redusert parametersett, ikke et forutsagt øktresultat; delay-sigma, stasjonskoordinatene og tidsplanen er inngangsverdier. Partialen som geometrisk-delay-Jacobi-matrisen utelater (det differensierte Shapiro-leddet) måles med finite differanse og gis ut. Ikke et geodetisk produkt.

Én kjøring av scenarios/lunar-vlbi-fim.toml oppsummeres slik: lunar-vlbi-fim | 3 stasjoner / 3 grunnlinjer x 49 epoker = 16 obs (maske 10,0 deg) | datum anchor-first-station | rang 6/6 cond 2.209e4 | stasjonssigma 0,0926 m mot ekvipartisjon g=3 0,0013 m (forhold 71,360)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: 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

Eksempelet scenarios/lunar-vlbi-fim.toml setter blant annet:

Kjør den#

kshana scenarios/lunar-vlbi-fim.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens egen): MODELLED kovarians for stasjonskoordinater med lunar VLBI. Kovariansen akkumuleres fra motorens egne analytiske delay-partialer over en eksplisitt tidsplan av grunnlinjer og epoker og inverteres; den er IKKE omregnet fra en skalar delay-presisjon med en antatt geometrifaktor. Delay-sigma per observasjon

Evidens#

MODELLED 3 · VALIDATED 2: radene i verifikasjonsmatrisen som nevner denne typen.

• VALIDATED Delay-partialer akkumulert over en tidsplan av grunnlinjer × epoker til en Fisher-informasjonsmatrise, invertert til kovariansen for stasjonskoordinatene og sigma per koordinat for stasjonen, og erstatter en antatt isotrop ekvipartisjonslink fra en
• MODELLED Et tredje datumvalg, all-stations-fixed, som holder hver jordstasjon fast og estimerer BAKENS månefaste koordinater alene — konfigurasjonen en usikkerhet for et overflatepunkt på månen faktisk oppgis for, siden koordinater for jordstasjoner
• VALIDATED Kovariansen for bake med alle stasjoner faste i scenarioet lunar-vlbi-fim (hver jordstasjon holdt fast, bakens månefaste koordinater estimert alene) med bakken plassert på JPL DE440-Månen lest av motorens egen kjernelser
• MODELLED Helmert-datumet med sju parametere propagert fra en SIMULERT OBSERVASJONSKAMPANJE i stedet for gjenfunnet fra en injisert transformasjon.
• og 1 til i matrisen.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• VALIDATED Delay-partialer akkumulert over en tidsplan av grunnlinjer × epoker til en Fisher-informasjonsmatrise, invertert til kovariansen for stasjonskoordinatene og sigma per koordinat for stasjonen. Uavhengig referanse (ExternalDataset): En uavhengig vei i samme repo. Hver Jacobi-rad utledes på nytt ved sentral finite differanse av lunar_vlbi::vlbi_delay_s evaluert fra tilstandens egne jordfaste og månefaste koordinater rotert fremover gjennom referansesystemkjeden — en vei som ikke beregner noen derivert og ikke deler noe uttrykk med de analytiske partialene — og informasjonsmatrisene de to veiene bygger stemmer til < 1e-6 av den største diagonalen. Den
• MODELLED Et tredje datumvalg, all-stations-fixed, som holder hver jordstasjon fast og estimerer BAKENS månefaste koordinater alene — konfigurasjonen en lu. Uavhengig referanse (ReferenceImpl): Lukkede identiteter, uten at noen ekstern uavhengig referanse hevdes eller finnes. Spaken kontrolleres mot ρ/B og de to ekvipartisjonsformene mot hverandre til 1e-15 — algebraiske identiteter, så de fanger en koblingsfeil og ingenting annet, og er merket som det. Det vesentlige resultatet er MEASURED i stedet for påstått: en delay fra en fast grunnlinje begrenser bakens RETNING, så siktlinjekomponenten rea

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• MODELLED kovarians for stasjonskoordinater med lunar VLBI. Kovariansen akkumuleres fra motorens egne analytiske delay-partialer over en eksplisitt tidsplan av grunnlinjer og epoker og inverteres; den er IKKE omregnet fra en skalar delay-presisjon med en antatt geometrifaktor. Delay-sigma per observasjon, stasjonskoordinatene, bakestedet og tidsplanen er inngangsverdier. Månesentrumsefemeriden, stasjonsklokkene (resultat label)
• Kovarians for stasjonskoordinater med lunar VLBI: delay-partialene til lunar-vlbi-observabelen akkumulert over en eksplisitt TIDSPLAN (grunnlinjer x epoker) til en Fisher-informasjonsmatrise, invertert og rapportert som kovariansen for stasjonskoordinatene og sigma per koordinat for stasjonen — en beregnet motorutdata i stedet for en skalar delay-presisjon skjøvet gjennom en antatt isotrop ekvipartisjonsfaktor g = 3. (typekatalog (kshana kinds --json))
• Tilstanden bærer JORDFASTE (ITRS) stasjonskoordinater, så Jacobi-matrisen er den inertiale partialen rotert med hver epokes GCRS->ITRS-matrise: Jordens rotasjon er det som gjør disse koordinatene observerbare, og rapporten MÅLER sveipet av siktlinjen i jordfast system og bakens deklinasjon i stedet for å anta dem. (typekatalog (kshana kinds --json))
• Ekvipartisjonsverdien cdelay_sigma_ssqrt(g/N) for SAMME tidsplan gis ut ved siden av den beregnede verdien med forholdstallet, sammen med den isotrope sporgrensen sqrt(p/trace(M)) som AM-HM gjør til et hardt gulv — så forholdstallet er anisotropien antakelsen forkastet. (typekatalog (kshana kinds --json))
• MODELLED: månesentrumsefemeriden, stasjonsklokkene, troposfæren og jordorienteringsparameterne holdes FASTE og observasjonene behandles som uavhengige, så kovariansen er en Cramer-Rao-grense for et redusert parametersett, ikke et forutsagt øktresultat; delay-sigma, stasjonskoordinatene og tidsplanen er inngangsverdier. (typekatalog (kshana kinds --json))
• D3s publiserte kjede går fra en delay-presisjon per observasjon til en usikkerhet i stasjonskoordinater gjennom en antatt ISOTROP ekvipartisjonsfaktor g = 3. Det steget er det artikkelens eget sammendrag kaller modellert i stedet for målt. Dette scenarioet fjerner det: delay-partialene til lunar VLBI akkumuleres over en virkelig tidsplan av (grunnlinje x epoke)-par til en Fisher-informasjonsmatrise, inverteres og rapporteres som (kommentar i scenariofilen, linje 3 til 8)
• Tilstanden bærer JORDFASTE (ITRS) koordinater, så Jacobi-matrisen er den inertiale partialen rotert med hver epokes GCRS->ITRS-matrise: Jordens rotasjon er det som gjør disse koordinatene observerbare i det hele tatt, og rapporten MÅLER sveipet av siktlinjen i jordfast system og bakens deklinasjon i stedet for å anta dem. Én observasjon er ett par (grunnlinje, epoke) med BEGGE stasjoner over høydemasken, vektet 1/delay (kommentar i scenariofilen, linje 10 til 14)
• Hva du bør lese i rapporten * sigma per stasjon per akse og i 3D — det beregnede svaret; * ekvipartisjonsverdien cdelay_sigma_ssqrt(g/N) for SAMME tidsplan, skrevet ut ved siden av med forholdstallet. Det forholdstallet ER anisotropien antakelsen forkastet, og den isotrope sporgrensen sqrt(p/trace(M)) gjør AM-HM til et hardt gulv, så antakelsen alltid bare kan undervurdere; * rang, datumdefekt, kondisjonstall, hele sp (kommentar i scenariofilen, linje 16 til 26)

Se også#

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