lunar-vlbi-fim (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kuu ja tsislunaarne ruum. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Kuu-VLBI jaamakoordinaatide kovariatsioon: lunar-vlbi vaadeldava viivituse osatuletised, mis on koondatud selgesõnalise AJAKAVA (baseline-id x epohhid) üle Fisheri informatsioonimaatriksiks, pööratud ja esitatud jaamakoordinaatide kovariatsioonina ning koordinaadipõhise jaamasigmana — arvutatud mootori väljund, mitte skalaarne viivituse täpsus, mis on surutud läbi eeldatud isotroopse g = 3 võrdjaotustegurist. Olek kannab Maaga FIKSEERITUD (ITRS) jaamakoordinaate, nii et Jacobi maatriks on inertsiaalne osatuletis, mida on pööratud iga epohhi GCRS->ITRS maatriksiga: Maa pöörlemine on see, mis teeb need koordinaadid vaadeldavaks, ja aruanne MÕÕDAB Maaga fikseeritud vaatejoone pühkimist ja majaka deklinatsiooni, mitte ei eelda neid. Üks vaatlus on üks (baseline, epohh) paar, kus MÕLEMAD jaamad on elevatsioonimaskist kõrgemal, kaalutud 1/delay_sigma_s^2. Esitab auastme, datumi defekti, tingimuslikkuse arvu, täieliku informatsioonispektri, kovariatsioonimaatriksi, jaamapõhised telgede kaupa ja 3-D sigmad ning vaba võrgu nullruumi igal käivitusel; auastmepuuduse korral avaldatakse peamine sigma väärtusega NULL ja olekuga, mitte kunagi ei loeta seda peaaegu singulaarsest pöördmaatriksist. Võrdjaotusväärtus cdelay_sigma_ssqrt(g/N) SAMA ajakava jaoks väljastatakse arvutatud väärtuse kõrval suhtega, koos isotroopse jäljepiiriga sqrt(p/trace(M)), mille AM-HM teeb kõvaks põhjaks — nii et suhe on anisotroopia, mille eeldus kõrvale jättis. Viivituse sulgumine tau_ik = tau_ij + tau_jk teeb geomeetriliselt sõltumatuks ainult n-1 baseline-i n(n-1)/2-st; aruanne esitab mõlemad arvud. MODELLED: Kuu keskpunkti efemeriid, jaamakellad, troposfäär ja Maa orientatsiooni parameetrid on hoitud FIKSEERITUD ja vaatlusi käsitletakse sõltumatutena, nii et kovariatsioon on Cramer-Rao piir vähendatud parameetrikomplekti jaoks, mitte ennustatud seansi tulemus; viivituse sigma, jaamakoordinaadid ja ajakava on sisendid. Osatuletis, mille geomeetrilise viivituse Jacobi maatriks välja jätab (diferentseeritud Shapiro liige), mõõdetakse lõpliku erinevusega ja väljastatakse. Mitte geodeetiline toode.

Ühe scenarios/lunar-vlbi-fim.toml käivituse kokkuvõte: lunar-vlbi-fim | 3 jaama / 3 baseline-i x 49 epohhi = 16 vaatlust (mask 10,0 kraadi) | datum anchor-first-station | auaste 6/6 cond 2.209e4 | jaama sigma 0,0926 m vs võrdjaotus g=3 0,0013 m (suhe 71,360)

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: 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

Näide scenarios/lunar-vlbi-fim.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/lunar-vlbi-fim.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemuse silt (mootori oma): MODELLED Kuu-VLBI jaamakoordinaatide kovariatsioon. Kovariatsioon koondatakse mootori enda analüütilistest viivituse osatuletistest baseline-ide ja epohhide selgesõnalise ajakava üle ja pööratakse; seda EI teisendata skalaarsest viivituse täpsusest eeldatud geomeetriateguriga. Vaatluspõhine viivituse si

Tõendid#

MODELLED 3 · VALIDATED 2: kontrollimaatriksi read, mis nimetavad seda liiki.

• VALIDATED Viivituse osatuletised koondatud baseline-ide × epohhide ajakava üle Fisheri informatsioonimaatriksiks, pööratud jaamakoordinaatide kovariatsiooniks ja koordinaadipõhiseks jaamasigmaks, asendades eeldatud isotroopse võrdjaotuslingi a
• MODELLED Kolmas datumi valik, all-stations-fixed, mis hoiab iga Maa jaama paigal ja hindab ainult MAJAKA Kuuga fikseeritud koordinaate — konfiguratsioon, mille jaoks Kuu pinnapunkti määramatust tegelikult esitatakse, kuna Maa jaama koordinaat
• VALIDATED Stsenaariumi lunar-vlbi-fim kõigi-jaamade-fikseeritud majaka kovariatsioon (iga Maa jaam paigal, majaka Kuuga fikseeritud koordinaadid hinnatud ainult) majakaga, mis on paigutatud JPL DE440 Kuule, mille loeb mootori enda tuumalugeja
• MODELLED Seitsmeparameetriline Helmerti datum, mis on levitatud SIMULEERITUD VAATLUSKAMPAANIAST, mitte taastatud süstitud teisendusest.
• ja veel 1 maatriksis.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
• VALIDATED Viivituse osatuletised koondatud baseline-ide × epohhide ajakava üle Fisheri informatsioonimaatriksiks, pööratud jaamakoordinaatide kovariatsiooniks ja koordinaadipõhiseks jaama. Sõltumatu etalon (ExternalDataset): Sõltumatu hoidlasisene tee. Iga Jacobi maatriksi rida tuletatakse uuesti lunar_vlbi::vlbi_delay_s tsentraalse lõpliku erinevusega, hinnatuna oleku enda Maaga fikseeritud ja Kuuga fikseeritud koordinaatidest, mis on pööratud edasi läbi tugisüsteemide ahela — tee, mis ei arvuta tuletist ega jaga analüütiliste osatuletistega ühtegi avaldist — ja informatsioonimaatriksid, mille kaks teed ehitavad, ühtivad täpsusega < 1e-6 suurimast diagonaalist. See
• MODELLED Kolmas datumi valik, all-stations-fixed, mis hoiab iga Maa jaama paigal ja hindab ainult MAJAKA Kuuga fikseeritud koordinaate — konfiguratsioon, mille jaoks Kuu. Sõltumatu etalon (ReferenceImpl): Suletud kujuga samasused, välist sõltumatut etaloni ei väideta ega ole saadaval. Hoobakätt kontrollitakse ρ/B vastu ja kaht võrdjaotusvormi omavahel täpsusega 1e-15 — algebralised samasused, seega tabavad need juhtmestusvea ja mitte midagi muud ning on nii märgitud. Sisuline tulemus on MEASURED, mitte väidetud: fikseeritud baseline-i viivitus piirab majaka SUUNDA, nii et vaatejoone komponent rea

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

• MODELLED Kuu-VLBI jaamakoordinaatide kovariatsioon. Kovariatsioon koondatakse mootori enda analüütilistest viivituse osatuletistest baseline-ide ja epohhide selgesõnalise ajakava üle ja pööratakse; seda EI teisendata skalaarsest viivituse täpsusest eeldatud geomeetriateguriga. Vaatluspõhine viivituse sigma, jaamakoordinaadid, majaka asukoht ja ajakava on sisendid. Kuu keskpunkti efemeriid, jaamakellad (tulemus label)
• Kuu-VLBI jaamakoordinaatide kovariatsioon: lunar-vlbi vaadeldava viivituse osatuletised, mis on koondatud selgesõnalise AJAKAVA (baseline-id x epohhid) üle Fisheri informatsioonimaatriksiks, pööratud ja esitatud jaamakoordinaatide kovariatsioonina ning koordinaadipõhise jaamasigmana — arvutatud mootori väljund, mitte skalaarne viivituse täpsus, mis on surutud läbi eeldatud isotroopse g = 3 võrdjaotustegurist. (liikide kataloog (kshana kinds --json))
• Olek kannab Maaga FIKSEERITUD (ITRS) jaamakoordinaate, nii et Jacobi maatriks on inertsiaalne osatuletis, mida on pööratud iga epohhi GCRS->ITRS maatriksiga: Maa pöörlemine on see, mis teeb need koordinaadid vaadeldavaks, ja aruanne MÕÕDAB Maaga fikseeritud vaatejoone pühkimist ja majaka deklinatsiooni, mitte ei eelda neid. (liikide kataloog (kshana kinds --json))
• Võrdjaotusväärtus cdelay_sigma_ssqrt(g/N) SAMA ajakava jaoks väljastatakse arvutatud väärtuse kõrval suhtega, koos isotroopse jäljepiiriga sqrt(p/trace(M)), mille AM-HM teeb kõvaks põhjaks — nii et suhe on anisotroopia, mille eeldus kõrvale jättis. (liikide kataloog (kshana kinds --json))
• MODELLED: Kuu keskpunkti efemeriid, jaamakellad, troposfäär ja Maa orientatsiooni parameetrid on hoitud FIKSEERITUD ja vaatlusi käsitletakse sõltumatutena, nii et kovariatsioon on Cramer-Rao piir vähendatud parameetrikomplekti jaoks, mitte ennustatud seansi tulemus; viivituse sigma, jaamakoordinaadid ja ajakava on sisendid. (liikide kataloog (kshana kinds --json))
• D3 avaldatud ahel läheb vaatluspõhisest viivituse täpsusest jaamakoordinaadi määramatuseni läbi eeldatud ISOTROOPSE võrdjaotusteguri g = 3. See samm on see, mida artikli enda kokkuvõte nimetab modelleeritud, mitte mõõdetud. See stsenaarium eemaldab selle: Kuu-VLBI viivituse osatuletised koondatakse päris (baseline x epohh) paaride ajakava üle Fisheri informatsioonimaatriksiks, pööratakse ja esitatakse a (stsenaariumifaili kommentaar, read 3 kuni 8)
• Olek kannab Maaga FIKSEERITUD (ITRS) koordinaate, nii et Jacobi maatriks on inertsiaalne osatuletis, mida on pööratud iga epohhi GCRS->ITRS maatriksiga: Maa pöörlemine on see, mis teeb need koordinaadid üldse vaadeldavaks, ja aruanne MÕÕDAB Maaga fikseeritud vaatejoone pühkimist ja majaka deklinatsiooni, mitte ei eelda neid. Üks vaatlus on üks (baseline, epohh) paar, kus MÕLEMAD jaamad on elevatsioonimaskist kõrgemal, kaalutud 1/delay (stsenaariumifaili kommentaar, read 10 kuni 14)
• Mida aruandes lugeda * jaamapõhised telgede kaupa ja 3-D sigmad — arvutatud vastus; * võrdjaotusväärtus cdelay_sigma_ssqrt(g/N) SAMA ajakava jaoks, trükitud selle kõrvale suhtega. See suhe ON anisotroopia, mille eeldus kõrvale jättis, ja isotroopne jäljepiir sqrt(p/trace(M)) teeb AM-HM kõvaks põhjaks, nii et eeldus võib alati ainult alahinnata; * auaste, datumi defekt, tingimuslikkuse arv, täielik sp (stsenaariumifaili kommentaar, read 16 kuni 26)

Vt ka#

• Perekonna leht: Kuu ja tsislunaarne ruum
• Kõik liigid: KINDS.md