lunar-frame-campaign (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Lunární a cislunární. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Sedmiparametrový Helmertův (podobnostní) datum rámce řízený SIMULOVANOU POZOROVACÍ KAMPANÍ, nikoli vloženou transformací. Síť pozemních stanic pozoruje katalog lunárních povrchových majáků podle explicitního plánu; parciální derivace zpoždění lunárního VLBI jsou za tento plán akumulovány do Fisherovy informační matice souřadnic majáků přesně tak, jako to dělá lunar-vlbi-fim; a tato informace je přes Helmertovu návrhovou matici A = [I3 | [p]_x | p] v bodech katalogu propagována do kovariance datumu H = A^T M_b A, diagnostikované pomocí crate::fim::crlb. ŽÁDNÁ transformace není vložena a nic se neobnovuje ze zasazené odpovědi, takže uváděná přesnost datumu vychází z pozorovacího programu: poloviční sigma zpoždění ji přesně zpolovičí a prodloužení oblouku ji zlepšuje, protože librace, kterou zpráva MĚŘÍ (sub_earth_direction_sweep_deg), odděluje souřadnici majáku ve směru přímé viditelnosti od souřadnic v rovině oblohy. Hodnost, defekt datumu, číslo podmíněnosti, celé spektrum, nepozorovatelné směry V SEDMIPARAMETROVÉ BÁZI, nejslabší směr i při plné hodnosti a podíl každého parametru na něm se vydávají při každém běhu; parametr, který kampaň neomezuje, se publikuje jako NULL se stavem, nikdy se nevyčte z téměř singulární inverze. Korelace chyb majáků je měřena, nepředpokládána: při pevných stanicích se žádné pozorování nedotýká dvou majáků, takže informační matice je přesně blokově diagonální (offblock_fraction 0), a při odhadovaných stanicích je Schurem marginalizovaný blok svázán, přičemž se vypíše indukovaná korelace a celá propagace se znovu spustí s jejím vypuštěním, takže cena předpokladu nezávislosti je číslo. Stejná propagace při izotropní sigma na souřadnici a chyba obnovy, kterou uvádí scénář lunar-frame-realisation, se zde obě spouštějí a vypisují vedle hodnoty kampaně i s jejich poměry. MODELLED: katalog majáků je ze zdrojů, ale KAMPAŇ je simulovaná — síť stanic a sigma zpoždění jsou ilustrativní vstupy, jednotlivá pozorování zpoždění se pokládají za nezávislá a efemeridy středu Měsíce, hodiny stanic, troposféra a parametry orientace Země jsou drženy PEVNĚ, takže kovariance datumu je Cramerova–Raova mez pro zredukovanou množinu parametrů. Nejde o geodetický produkt.

Jeden běh scenarios/lunar-frame-campaign.toml se shrne takto: lunar-frame-campaign | 4 majáky x 3 základny x 49 epoch = 64 obs (sigma zpoždění 1.000e-11 s) | datum stanic pevné | Helmert hodnost 7/7 cond 3.798e5 | sigma translace datumu 6,397500 m oproti chybě obnovy vložené transformace 0,3125 m (poměr 0,049)

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: 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

Příklad scenarios/lunar-frame-campaign.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/lunar-frame-campaign.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Popisek výsledku (od enginu): MODELLED datum lunárního rámce řízené kampaní. Sedmiparametrová Helmertova kovariance je propagována z informační matice souřadnic majáků akumulované z vlastních parciálních derivací zpoždění lunárního VLBI v enginu přes explicitní plán majáků, základen a epoch; ŽÁDNÁ podobnostní transformace není vložena a

Důkazy#

MODELLED 2 · VALIDATED 3: řádky verifikační matice, které tento druh uvádějí.

• MODELLED Sedmiparametrový Helmertův datum propagovaný ze SIMULOVANÉ POZOROVACÍ KAMPANĚ místo obnovy z vložené transformace.
• VALIDATED Kovariance sedmiparametrového Helmertova datumu, jejíž dva simulované vstupy jsou nahrazeny naměřenými: plán tvoří epochy pozemního vysílání 337 archivovaných normálních bodů lunárního laserového měření vzdálenosti ILRS (2015-04-08 až 2015-06-27, Grasse MeO 7 Testy: lunar_llr_real_data.rs.
• MODELLED Volitelné vstupy extra_reflectors a extra_beacons ve scénáři lunar-llr-datum přidávají blok station_geodesy: Helmertovu informaci z pětipolového archivovaného řezu lunárního laserového měření vzdálenosti plus informaci, kterou přidává přidaný retroreflektor (ran Testy: lunar_station_geodesy.rs.
• VALIDATED Kovariance sedmiparametrového Helmertova datumu scénáře lunar-frame-campaign s odhadovanými pozemními stanicemi (stanice 1 ukotvena), jak ji lunar_frame_campaign počítá v binary64: společná Fisherova informace stanic a majáků akum Testy: lunar_frame_campaign_mpmath_oracle.rs.
• a 1 dalších v matici.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• VALIDATED Fit 7parametrového Helmertova datumu + vazba orientace ICRF ze sítě bodů. Orákulum (ExternalDataset): Nezávislý řešič podobnostní transformace váženou metodou Umeyama (Horn) v uzavřeném tvaru (založený na SVD v numpy/scipy; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — jiný algoritmus než iterativní Gaussův–Newtonův fit v kshana, který dosahuje téhož jednoznačně definovaného optima vážených nejmenších čtverců na bajtově shodných sítích bodů
• MODELLED Sedmiparametrový Helmertův datum propagovaný ze SIMULOVANÉ POZOROVACÍ KAMPANĚ místo obnovy z vložené transformace. Pozemní stanice pozorují zdroj. Orákulum (ReferenceImpl): Identity v uzavřeném tvaru a nezávislá cesta v repozitáři, bez uplatňovaného vnějšího orákula. Helmertova návrhová matice — jediná nová derivace v modulu — je odvozena znovu centrální konečnou diferencí lunar_frame_realise::apply_helmert, cestou, která s analytickým tvarem nesdílí žádný výraz. Akumulace, kterou skládá, je z lunar-vlbi-fim, jejíž Jacobián je tam konečnou diferencí porovnán s lunar_vlbi::vlbi_delay_s, a kte

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• MODELLED datum lunárního rámce řízené kampaní. Sedmiparametrová Helmertova kovariance je propagována z informační matice souřadnic majáků akumulované z vlastních parciálních derivací zpoždění lunárního VLBI v enginu přes explicitní plán majáků, základen a epoch; ŽÁDNÁ podobnostní transformace není vložena a nic se neobnovuje ze zasazené odpovědi. Katalog majáků je tabulka pojmenovaných míst s uvedeným zdrojem v balíku, ale KAMPA (výsledek label)
• Korelace chyb majáků je měřena, nepředpokládána: při pevných stanicích se žádné pozorování nedotýká dvou majáků, takže informační matice je přesně blokově diagonální (offblock_fraction 0), a při odhadovaných stanicích je Schurem marginalizovaný blok svázán, přičemž se vypíše indukovaná korelace a celá propagace se znovu spustí s jejím vypuštěním, takže cena předpokladu nezávislosti je číslo. (katalog druhů (kshana kinds --json))
• MODELLED: katalog majáků je ze zdrojů, ale KAMPAŇ je simulovaná — síť stanic a sigma zpoždění jsou ilustrativní vstupy, jednotlivá pozorování zpoždění se pokládají za nezávislá a efemeridy středu Měsíce, hodiny stanic, troposféra a parametry orientace Země jsou drženy PEVNĚ, takže kovariance datumu je Cramerova–Raova mez pro zredukovanou množinu parametrů. (katalog druhů (kshana kinds --json))
• Korelace chyb majáků je MEASURED, nepředpokládána. Při pevných stanicích se žádné pozorování nedotýká dvou majáků, takže informační matice je přesně blokově diagonální (offblock_fraction 0); při odhadovaných stanicích je Schurem marginalizovaný blok svázán, indukovaná korelace se vypíše a celá propagace se znovu spustí s jejím vypuštěním, takže cena předpokladu nezávislosti je číslo, nikoli c (komentář v souboru scénáře, řádky 17 až 21)
• MODELLED: katalog majáků je ze zdrojů, ale KAMPAŇ je simulovaná — síť stanic a sigma zpoždění jsou ilustrativní vstupy, jednotlivá pozorování zpoždění se pokládají za nezávislá a efemeridy středu Měsíce, hodiny stanic, troposféra a parametry orientace Země jsou drženy PEVNĚ. Nejde o geodetický produkt. (komentář v souboru scénáře, řádky 27 až 30)
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Datum lunárního rámce z pozorovací kampaně je MODELLED, nikoli ověřené: je kontrolováno proti samostatné implementaci ve stejné kódové základně — nezávislé na testované jednotce, ale není externě autoritativní. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Lunární a cislunární
• Všechny druhy: KINDS.md