lunar-vlbi (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe Kuu ja kuunläheinen avaruus. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Mallinnettu kuun geodeettinen VLBI-viiveen havaintosuure: Maa-peruslinja (kaksi maa-asemaa, GCRS) havaitsee yksisuuntaisen signaalin NovaMoon-luokan kuun pinnalla olevalta majakalta. Tuottaa lähikentän kahden etäisyyden erotuksen viiveen, sen muutosnopeuden ja aaltorintaman kaarevuuden lähikenttäkorjauksen ohituksen yli — ristiintarkistettu saman koodikannan tasoaaltoon perustuvaa Δ-DOR-havaintosuuretta vasten kaukokentän rajalla, differenssillä varmennetuin osittaisderivaatoin. Oletusarvoinen analyyttinen polku on MODELLED ja sisältää koordinaatiston johdonmukaisuuden, napaliikkeen xp=yp=0 ja tasoaalto-vs.-lähikenttä -varaumat. Asetuksilla planetary_kernel_path, earth_orientation_kernel_path ja moon_orientation_kernel_path ajetaan sen sijaan ydinpolku (DE440, MOON_PA_DE440, ITRF93; suppenneet barycentriset valon kulkuajat; lisää epookin majakan ja aseman osittaisderivaatat), jonka newtonilainen viive ja osittaisderivaatat täsmäävät NAIF SPICEn suppenneisiin valon kulkuaikoihin tarkkuudella 0,06 ps ja 7.4e-9. Ei validoitu todellista VLBI-dataa vasten.

Skenaarion scenarios/lunar-vlbi.toml yksi ajo tiivistyy seuraavasti: lunar-vlbi | peruslinja 10727 km | majakan etäisyys 402900 km | viive -10049.126 µs (muutosnopeus 1.312e-6 s/s) | lähikenttä 58,9 µs | 13 näytettä 6,0 h:n aikana

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

Esimerkki scenarios/lunar-vlbi.toml asettaa muun muassa:

Aja se#

kshana scenarios/lunar-vlbi.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Todisteet#

MODELLED 3 · VALIDATED 3: tämän tyypin nimeävät varmennusmatriisin rivit.

• MODELLED Lähikentän VLBI-viive Maa-peruslinjalle, joka havaitsee kuun majakan + osittaisderivaatat
• VALIDATED Lähikentän VLBI-viive Maa-peruslinjalle, joka havaitsee kuun majakan, majakan ja aseman osittaisderivaatoin, ydinpolulla (lunar_vlbi::KernelGeometry): DE440:n Maa ja Kuu, DE440:n kuun pääakselit, ITRF93-Maan orientaatio UT1:llä ja Testit: naif_kernel_reader_check.rs.
• VALIDATED Viiveen osittaisderivaatat kerättynä peruslinjojen × epookkien aikataulun yli Fisherin informaatiomatriisiksi, käännettynä asemakoordinaattien kovarianssiksi ja koordinaattikohtaiseksi asemasigmaksi, korvaten oletetun isotrooppisen tasajakolinkin a
• MODELLED Kolmas datumvalinta, all-stations-fixed, joka pitää jokaisen Maa-aseman kiinteänä ja estimoi pelkästään MAJAKAN Kuuhun kiinnitetyt koordinaatit — kokoonpano, jolle kuun pintapisteen epävarmuus todella ilmoitetaan, koska Maa-aseman koordinaatit
• ja 2 muuta matriisissa.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

• MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
• MODELLED Lähikentän VLBI-viive Maa-peruslinjalle, joka havaitsee kuun majakan + osittaisderivaatat. Oraakkeli (ReferenceImpl): Tasoaalto delta_dor (sama koodikanta) kaukokentän rajalla; differenssillä lasketut osittaisderivaatat. 0,30 ulkoinen vertailu, havainto (pysyy tasolla MODELLED): ANISE:a 0,10 vasten, suppenneet valon kulkuajat DE440:n kautta (75 viivettä 2024-01-01 kolmella DSN-peruslinjalla, tuotettu ilman Kshana-koodia ohjelmalla xval/anise-lunar-od), yksikään viive ei ole 1 ps:n toleranssin sisällä. Suurin ero on 24 µs, analyyttisestä Kuun keskipisteestä (noin 200 km DE:stä

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• Oletusarvoinen analyyttinen polku on MODELLED ja sisältää koordinaatiston johdonmukaisuuden, napaliikkeen xp=yp=0 ja tasoaalto-vs.-lähikenttä -varaumat. (tyyppiluettelo (kshana kinds --json))
• Rehellisyys: MODELLED, EI validoitu todellista VLBI-dataa vasten. Napaliike jätetään pois (xp = yp = 0), joten aseman inertiaalipaikoissa on muutaman metrin koordinaatistovirhe; majakka yhdistää keskimääräisen päivän ekvaattorin Kuu-sarjan ICRF-kappalekiinteään siirtymään (jd_tdb ~ jd_tt), koordinaatiston johdonmukaisuuden epäsuhdan mallin tarkkuuden alapuolella; ei valon kulkuajan iterointia, väliaineita eikä aberraatiota erotetun Shapiro-termin lisäksi. Ei TRL:ää, lentoperintöä eikä viraston (skenaariotiedoston kommentti, rivit 17 - 21)
• Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Kuun geodeettinen VLBI on MODELLED, ei validoitu: sitä on tarkistettu tämän saman koodikannan erillistä toteutusta vastaan, joka on riippumaton testattavasta yksiköstä mutta ei ulkoisesti auktoritatiivinen. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: Kuu ja kuunläheinen avaruus
• Kaikki lajit: KINDS.md