lunar-frame-campaign (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#

Seitsenparametrinen Helmertin (similariteetti)koordinaatiston datum, jota ohjaa SIMULOITU HAVAINTOKAMPANJA eikä lisätty muunnos. Maa-asemien verkko havainnoi Kuun pinnan majakoiden luetteloa nimenomaisen aikataulun mukaan; Kuun VLBI-viiveen osittaisderivaatat kertyvät tuon aikataulun yli majakkakoordinaattien Fisherin informaatiomatriisiksi täsmälleen kuten lunar-vlbi-fim tekee; ja tuo informaatio välitetään Helmert-suunnittelumatriisin A = [I3 | [p]_x | p] kautta luettelopisteissä datumin kovarianssiksi H = A^T M_b A, jonka diagnosoi crate::fim::crlb. MITÄÄN muunnosta EI lisätä eikä mitään palauteta istutetusta vastauksesta, joten raportoitu datumin tarkkuus johtuu havaintoohjelmasta: viiveen sigman puolittaminen puolittaa sen täsmälleen, ja kaaren pidentäminen parantaa sitä, koska libraatio, jonka raportti MITTAA (sub_earth_direction_sweep_deg), erottaa näköyhteyden suuntaisen majakkakoordinaatin taivaan tason suuntaisista. Aste, datumin vajaus, ehtoluku, koko spektri, havaitsemattomat suunnat SEITSENPARAMETRISESSA KANNASSA, heikoin suunta täydelläkin asteella ja kunkin parametrin osuus siitä raportoidaan jokaisella ajolla; parametri, jota kampanja ei rajoita, julkaistaan arvona NULL ja tilatiedolla, ei koskaan lähes singulaarisen käänteismatriisin lukemana. Majakkavirheiden korrelaatio on mitattu, ei oletettu: kun asemat pidetään kiinteinä, mikään havainto ei kosketa kahta majakkaa, joten informaatiomatriisi on täsmälleen lohkodiagonaalinen (offblock_fraction 0), ja kun asemat estimoidaan, Schur-marginalisoitu lohko on kytketty, indusoitu korrelaatio tulostetaan ja koko eteneminen ajetaan uudelleen sen ollessa hylättynä, jotta riippumattomuusoletuksen hinta on luku. Sama eteneminen isotrooppisella koordinaattikohtaisella sigmalla ja palautusvirhe, jonka skenaario lunar-frame-realisation raportoi, ajetaan molemmat tässä ja tulostetaan kampanja-arvon rinnalle suhdelukuineen. MODELLED: majakkaluettelo on lähteistetty mutta KAMPANJA on simuloitu — asemaverkko ja viiveen sigma ovat havainnollistavia syötteitä, yksittäisiä viivehavaintoja käsitellään riippumattomina, ja Kuun keskipisteen efemeridi, asemakellot, troposfääri ja Maan orientaatioparametrit pidetään KIINTEINÄ, joten datumin kovarianssi on Cramer-Rao-raja supistetulle parametrijoukolle. Ei ole geodeettinen tuote.

Yksi tiedoston scenarios/lunar-frame-campaign.toml ajo tiivistyy seuraavasti: lunar-frame-campaign | 4 majakkaa x 3 baselinea x 49 epookkia = 64 havaintoa (viiveen sigma 1.000e-11 s) | aseman datum kiinteä | Helmert-aste 7/7 ehto 3.798e5 | datumin translaation sigma 6,397500 m vs lisätyn muunnoksen palautusvirhe 0,3125 m (suhde 0,049)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

Esimerkki scenarios/lunar-frame-campaign.toml asettaa muun muassa seuraavat:

Aja se#

kshana scenarios/lunar-frame-campaign.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tuloksen nimike (moottorin oma): MODELLED kampanjaohjattu Kuun koordinaatiston datum. Seitsenparametrinen Helmert-kovarianssi etenee majakkakoordinaattien informaatiomatriisista, joka on kertynyt moottorin omista Kuun VLBI-viiveen osittaisderivaatoista majakoiden, baselinejen ja epookkien nimenomaisen aikataulun yli; MITÄÄN similariteettimuunnosta EI lisätä ja

Todisteet#

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

• MODELLED Seitsenparametrinen Helmert-datum, joka etenee SIMULOIDUSTA HAVAINTOKAMPANJASTA eikä palaudu lisätystä muunnoksesta.
• VALIDATED Seitsenparametrisen Helmert-datumin kovarianssi, jossa sen kaksi simuloitua syötettä on korvattu mitatuilla: aikataulu on 337 arkistoidun ILRS Kuun laseretäisyysmittauksen normaalipisteen maalähetysepookit (2015-04-08 – 2015-06-27, Grasse MeO 7 Testit: lunar_llr_real_data.rs.
• MODELLED Valinnaiset syötteet extra_reflectors ja extra_beacons skenaariossa lunar-llr-datum lisäävät station_geodesy-lohkon: viiden taulukon Helmert-informaation arkistoidusta Kuun laseretäisyysmittauksen otteesta plus informaation, jonka lisätty retroheijastin (ran Testit: lunar_station_geodesy.rs.
• VALIDATED Skenaarion lunar-frame-campaign seitsenparametrisen Helmert-datumin kovarianssi Maa-asemat estimoituina (asema 1 ankkuroituna), kuten lunar_frame_campaign laskee sen binary64-tarkkuudella: yhteinen asema- ja majakka-Fisher-informaatio kertyy Testit: lunar_frame_campaign_mpmath_oracle.rs.
• 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 7-parametrinen Helmert-datumin sovitus + ICRF-orientaatiositominen pisteverkosta. Oraakkeli (ExternalDataset): Riippumaton suljetun muodon painotettu Umeyama (Horn) -similariteettimuunnosratkaisija (numpy/scipy SVD-pohjainen; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — eri algoritmi kuin kshanan iteratiivinen Gauss–Newton-sovitus, joka saavuttaa saman yksikäsitteisesti määritellyn painotetun pienimmän neliösumman optimin tavutarkasti identtisillä pisteverkoilla
• MODELLED Seitsenparametrinen Helmert-datum, joka etenee SIMULOIDUSTA HAVAINTOKAMPANJASTA eikä palaudu lisätystä muunnoksesta. Maa-asemat havainnoivat lähteis. Oraakkeli (ReferenceImpl): Suljetun muodon identiteetit ja riippumaton reitti repon sisällä, ilman väitettyä ulkoista oraakkelia. Helmert-suunnittelumatriisi — moduulin ainoa uusi derivaatta — johdetaan uudelleen funktion lunar_frame_realise::apply_helmert keskeisellä äärellisellä differenssillä, polulla, joka ei jaa lauseketta analyyttisen muodon kanssa. Sen kokoama kertymä on lunar-vlbi-fim:n, jonka Jakobiaani differoidaan äärellisillä differensseillä funktiota lunar_vlbi::vlbi_delay_s vastaan siellä, ja joka

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• MODELLED kampanjaohjattu Kuun koordinaatiston datum. Seitsenparametrinen Helmert-kovarianssi etenee majakkakoordinaattien informaatiomatriisista, joka on kertynyt moottorin omista Kuun VLBI-viiveen osittaisderivaatoista majakoiden, baselinejen ja epookkien nimenomaisen aikataulun yli; MITÄÄN similariteettimuunnosta EI lisätä eikä mitään palauteta istutetusta vastauksesta. Majakkaluettelo on paketin lähteistetty nimettyjen paikkojen taulukko, mutta KAMPA (tulos label)
• Majakkavirheiden korrelaatio on mitattu, ei oletettu: kun asemat pidetään kiinteinä, mikään havainto ei kosketa kahta majakkaa, joten informaatiomatriisi on täsmälleen lohkodiagonaalinen (offblock_fraction 0), ja kun asemat estimoidaan, Schur-marginalisoitu lohko on kytketty, indusoitu korrelaatio tulostetaan ja koko eteneminen ajetaan uudelleen sen ollessa hylättynä, jotta riippumattomuusoletuksen hinta on luku. (tyyppiluettelo (kshana kinds --json))
• MODELLED: majakkaluettelo on lähteistetty mutta KAMPANJA on simuloitu — asemaverkko ja viiveen sigma ovat havainnollistavia syötteitä, yksittäisiä viivehavaintoja käsitellään riippumattomina, ja Kuun keskipisteen efemeridi, asemakellot, troposfääri ja Maan orientaatioparametrit pidetään KIINTEINÄ, joten datumin kovarianssi on Cramer-Rao-raja supistetulle parametrijoukolle. (tyyppiluettelo (kshana kinds --json))
• Majakkavirheiden korrelaatio on MEASURED (mitattu), ei oletettu. Kun asemat pidetään kiinteinä, mikään havainto ei kosketa kahta majakkaa, joten informaatiomatriisi on täsmälleen lohkodiagonaalinen (offblock_fraction 0); kun asemat estimoidaan, Schur-marginalisoitu lohko on kytketty, indusoitu korrelaatio tulostetaan ja koko eteneminen ajetaan uudelleen sen ollessa hylättynä, jotta riippumattomuusoletuksen hinta on luku eikä c (skenaariotiedoston kommentti, rivit 17–21)
• MODELLED: majakkaluettelo on lähteistetty mutta KAMPANJA on simuloitu — asemaverkko ja viiveen sigma ovat havainnollistavia syötteitä, yksittäisiä viivehavaintoja käsitellään riippumattomina, ja Kuun keskipisteen efemeridi, asemakellot, troposfääri ja Maan orientaatioparametrit pidetään KIINTEINÄ. Ei ole geodeettinen tuote. (skenaariotiedoston kommentti, rivit 27–30)
• 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 koordinaatiston datum havaintokampanjasta on MODELLED, ei validoitu: tarkistettu tämän saman koodikannan erillistä toteutusta vastaan: 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