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

Kuun VLBI:n asemakoordinaattien kovarianssi: lunar-vlbi-havaintosuureen viiveen osittaisderivaatat kerättynä nimenomaisen AIKATAULUN (peruslinjat x epookit) yli Fisherin informaatiomatriisiksi, käännettynä ja raportoituna asemakoordinaattien kovarianssina ja koordinaattikohtaisena asemasigmana — lasketun moottoritulosteen, ei oletetun isotrooppisen g = 3 -tasajakokertoimen läpi työnnetyn skalaarisen viiveen tarkkuuden. Tila sisältää Maahan KIINNITETYT (ITRS) asemakoordinaatit, joten jakobiaani on inertiaalinen osittaisderivaatta, jota on kierretty kunkin epookin GCRS->ITRS-matriisilla: Maan pyöriminen tekee nämä koordinaatit havaittaviksi, ja raportti MITTAA Maahan kiinnitetyn näkölinjan pyyhkäisyn ja majakan deklinaation eikä oleta niitä. Yksi havainto on yksi (peruslinja, epookki) -pari, jossa MOLEMMAT asemat ovat korkeuskulmamaskin yläpuolella, painotettuna 1/delay_sigma_s^2. Raportoi asteen, datumvajeen, ehtoluvun, koko informaatiospektrin, kovarianssimatriisin, asemakohtaiset akselikohtaiset ja 3D-sigmat sekä vapaan verkon nolla-avaruuden jokaisella ajolla; asteen vajeessa otsikkosigma julkaistaan arvona NULL ja tilatiedolla, eikä sitä koskaan lueta lähes singulaarisesta käänteismatriisista. Tasajakoarvo cdelay_sigma_ssqrt(g/N) SAMALLE aikataululle tuotetaan lasketun arvon viereen suhdeluvun kanssa, yhdessä isotrooppisen jälkirajan sqrt(p/trace(M)) kanssa, jonka AM-HM tekee kovaksi alarajaksi — joten suhdeluku on se anisotropia, jonka oletus hylkäsi. Viiveen sulkeuma tau_ik = tau_ij + tau_jk tekee vain n-1:stä n(n-1)/2:sta peruslinjasta geometrisesti riippumattomia; raportti ilmoittaa molemmat lukumäärät. MODELLED: Kuun keskipisteen efemeridi, asemien kellot, troposfääri ja Maan orientaatioparametrit pidetään KIINTEINÄ ja havaintoja käsitellään riippumattomina, joten kovarianssi on Cramer–Rao-raja pienennetylle parametrijoukolle, ei ennustettu sessiotulos; viiveen sigma, asemakoordinaatit ja aikataulu ovat syötteitä. Osittaisderivaatta, jonka geometrisen viiveen jakobiaani jättää pois (erotettu Shapiro-termi), mitataan differenssillä ja tuotetaan. Ei geodeettinen tuote.

Skenaarion scenarios/lunar-vlbi-fim.toml yksi ajo tiivistyy seuraavasti: lunar-vlbi-fim | 3 asemaa / 3 peruslinjaa x 49 epookkia = 16 havaintoa (maski 10,0 astetta) | datum anchor-first-station | aste 6/6 ehtoluku 2.209e4 | aseman sigma 0,0926 m vs. tasajako g=3 0,0013 m (suhde 71,360)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: 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

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

Aja se#

kshana scenarios/lunar-vlbi-fim.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tuloksen nimike (moottorin oma): MODELLED kuun VLBI:n asemakoordinaattien kovarianssi. Kovarianssi kerätään moottorin omista analyyttisistä viiveen osittaisderivaatoista nimenomaisen peruslinjojen ja epookkien aikataulun yli ja käännetään; sitä EI muunneta skalaarisesta viiveen tarkkuudesta oletetulla geometriakertoimella. Havaintokohtainen viiveen si

Todisteet#

MODELLED 3 · VALIDATED 2: tämän tyypin mainitsevat varmennusmatriisin rivit.

• 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
• VALIDATED Skenaarion lunar-vlbi-fim kaikki-asemat-kiinteinä -majakkakovarianssi (jokainen Maa-asema pidetään kiinteänä, majakan Kuuhun kiinnitetyt koordinaatit estimoidaan yksin), majakka sijoitettuna JPL DE440 -Kuuhun, jonka moottorin oma ydinlukija lukee
• MODELLED Seitsenparametrinen Helmert-datum, joka etenee SIMULOIDUSTA HAVAINTOKAMPANJASTA eikä palaudu lisätystä muunnoksesta.
• ja 1 muu 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
• VALIDATED Viiveen osittaisderivaatat kerättynä peruslinjojen × epookkien aikataulun yli Fisherin informaatiomatriisiksi, käännettynä asemakoordinaattien kovarianssiksi ja koordinaattikohtaiseksi asemasigmaksi. Oraakkeli (ExternalDataset): Riippumaton repon sisäinen reitti. Jokainen jakobiaanirivi johdetaan uudelleen funktion lunar_vlbi::vlbi_delay_s keskeisellä differenssillä, joka lasketaan tilan omista Maahan kiinnitetyistä ja Kuuhun kiinnitetyistä koordinaateista, kierrettyinä eteenpäin koordinaatistoketjun läpi — polku, joka ei laske derivaattaa eikä jaa lauseketta analyyttisten osittaisderivaattojen kanssa — ja kummankin reitin rakentamat informaatiomatriisit täsmäävät tarkkuuteen < 1e-6 suurimmasta lävistäjäalkiosta.
• 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. Oraakkeli (ReferenceImpl): Suljetun muodon identiteetit, ilman ulkoista oraakkelia, jota väitettäisiin tai joka olisi saatavilla. Vipuvarsi tarkistetaan suhdetta ρ/B vasten ja kaksi tasajakomuotoa toisiaan vasten tarkkuuteen 1e-15 — algebrallisia identiteettejä, joten ne paljastavat johdotusvirheen eivätkä muuta, ja ne on merkitty sellaisiksi. Olennainen tulos on MEASURED eikä väitetty: kiinteän peruslinjan viive rajoittaa majakan SUUNTAA, joten näkölinjan komponentti

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• MODELLED kuun VLBI:n asemakoordinaattien kovarianssi. Kovarianssi kerätään moottorin omista analyyttisistä viiveen osittaisderivaatoista nimenomaisen peruslinjojen ja epookkien aikataulun yli ja käännetään; sitä EI muunneta skalaarisesta viiveen tarkkuudesta oletetulla geometriakertoimella. Havaintokohtainen viiveen sigma, asemakoordinaatit, majakan paikka ja aikataulu ovat syötteitä. Kuun keskipisteen efemeridi, asemien kellot (tulos label)
• Kuun VLBI:n asemakoordinaattien kovarianssi: lunar-vlbi-havaintosuureen viiveen osittaisderivaatat kerättynä nimenomaisen AIKATAULUN (peruslinjat x epookit) yli Fisherin informaatiomatriisiksi, käännettynä ja raportoituna asemakoordinaattien kovarianssina ja koordinaattikohtaisena asemasigmana — lasketun moottoritulosteen, ei oletetun isotrooppisen g = 3 -tasajakokertoimen läpi työnnetyn skalaarisen viiveen tarkkuuden. (tyyppiluettelo (kshana kinds --json))
• Tila sisältää Maahan KIINNITETYT (ITRS) asemakoordinaatit, joten jakobiaani on inertiaalinen osittaisderivaatta, jota on kierretty kunkin epookin GCRS->ITRS-matriisilla: Maan pyöriminen tekee nämä koordinaatit havaittaviksi, ja raportti MITTAA Maahan kiinnitetyn näkölinjan pyyhkäisyn ja majakan deklinaation eikä oleta niitä. (tyyppiluettelo (kshana kinds --json))
• Tasajakoarvo cdelay_sigma_ssqrt(g/N) SAMALLE aikataululle tuotetaan lasketun arvon viereen suhdeluvun kanssa, yhdessä isotrooppisen jälkirajan sqrt(p/trace(M)) kanssa, jonka AM-HM tekee kovaksi alarajaksi — joten suhdeluku on se anisotropia, jonka oletus hylkäsi. (tyyppiluettelo (kshana kinds --json))
• MODELLED: Kuun keskipisteen efemeridi, asemien kellot, troposfääri ja Maan orientaatioparametrit pidetään KIINTEINÄ ja havaintoja käsitellään riippumattomina, joten kovarianssi on Cramer–Rao-raja pienennetylle parametrijoukolle, ei ennustettu sessiotulos; viiveen sigma, asemakoordinaatit ja aikataulu ovat syötteitä. (tyyppiluettelo (kshana kinds --json))
• D3:n julkaistu ketju etenee havaintokohtaisesta viiveen tarkkuudesta aseman koordinaattiepävarmuuteen oletetun ISOTROOPPISEN tasajakokertoimen g = 3 kautta. Tuo askel on se, jota artikkelin oma tiivistelmä kutsuu mallinnetuksi eikä mitatuksi. Tämä skenaario poistaa sen: kuun VLBI:n viiveen osittaisderivaatat kerätään todellisen (peruslinja x epookki) -parien aikataulun yli Fisherin informaatiomatriisiksi, käännetään ja raportoidaan (skenaariotiedoston kommentti, rivit 3 - 8)
• Tila sisältää Maahan KIINNITETYT (ITRS) koordinaatit, joten jakobiaani on inertiaalinen osittaisderivaatta, jota on kierretty kunkin epookin GCRS->ITRS-matriisilla: Maan pyöriminen tekee nämä koordinaatit ylipäätään havaittaviksi, ja raportti MITTAA Maahan kiinnitetyn näkölinjan pyyhkäisyn ja majakan deklinaation eikä oleta niitä. Yksi havainto on yksi (peruslinja, epookki) -pari, jossa MOLEMMAT asemat ovat korkeuskulmamaskin yläpuolella, painotettuna 1/delay (skenaariotiedoston kommentti, rivit 10 - 14)
• Mitä raportista luetaan * asemakohtaiset akselikohtaiset ja 3D-sigmat — laskettu vastaus; * tasajakoarvo cdelay_sigma_ssqrt(g/N) SAMALLE aikataululle, tulostettuna sen viereen suhdeluvun kanssa. Tuo suhdeluku ON se anisotropia, jonka oletus hylkäsi, ja isotrooppinen jälkiraja sqrt(p/trace(M)) tekee AM-HM:stä kovan alarajan, joten oletus voi vain aliarvioida; * aste, datumvaje, ehtoluku, koko sp (skenaariotiedoston kommentti, rivit 16 - 26)

Katso myös#

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