Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/lunar-frame-realisation.md

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

Modelovaná realizace lunárního referenčního rámce: fit 7parametrového Helmertova (podobnostního) datumu — 3 translace, 3 rotace malého úhlu, 1 měřítko — který váženými nejmenšími čtverci (crate::batch_ls::gauss_newton) váže odhadovanou množinu souřadnic bodů MCMF odvozených ze selenografických na datum, plus jednoduchou vazbu orientace vyjadřující realizovanou malou rotaci kolem os ICRF vzhledem k orientaci tělesa IAU 2015 WGCCRE. Scénář vloží známou malou transformaci (translace ~desítky m, rotace ~µrad, měřítko ~1e-7) do dobře rozprostřené syntetické sítě bodů, přidá seedovaný gaussovský šum, obnoví datum a uvádí obnovenou transformaci, chybu obnovy každého parametru vůči vložené pravdě a zbytkové RMS po fitu. MODELLED vnitřní konzistence — obnovuje vloženou podobnostní transformaci (bez šumu přibližně na strojovou přesnost), NENÍ to realizace vůči reálným datům sledování/VLBI; deterministické (seedované); bez TRL/heritage/podpory agentury.

Jeden běh scenarios/lunar-frame-realisation.toml se shrne takto: lunar-frame-realisation | 8 bodů | chyba translace 3.125e-1 m, chyba rotace 3.418e-7 rad, chyba měřítka -5.891e2 ppb | rms reziduum 0,887 m | converged false

Vstupy#

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

  • Povinná pole: žádná
  • Volitelná pole: n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day

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

Pole Hodnota Jednotka
epoch_day 1 d
epoch_month 1 neuvedeno
epoch_year 2024 neuvedeno
kind lunar-frame-realisation text
n_points 8 počet
noise_sigma_m 1 m
rot_x_urad 3 neuvedeno
rot_y_urad -2 neuvedeno
rot_z_urad 5 neuvedeno
scale_ppb 100 ppb
seed 42 neuvedeno
tx_m 25 m

Spusťte jej#

kshana scenarios/lunar-frame-realisation.toml

Co poskytuje#

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

Výsledek Hodnota Jednotka
converged false příznak
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
injected.scale_ppb 100 ppb
n_points 8 počet
recovered.scale_ppb -489.119839 ppb
rms_residual_m 0.887327 m
rot_err_norm_rad 3.4182e-7 rad
scale_err_ppb -589.119839 ppb
Graf, který engine zapisuje pro scenarios/lunar-frame-realisation.toml, druh lunar-frame-realisation

Důkazy#

Žádný řádek matice tento druh nejmenuje; označení jeho výsledku je vlastní označení enginu uvedené výše.

Řá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ů

Omezení#

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

  • MODELLED vnitřní konzistence — obnovuje vloženou podobnostní transformaci (bez šumu přibližně na strojovou přesnost), NENÍ to realizace vůči reálným datům sledování/VLBI; deterministické (seedované); bez TRL/heritage/podpory agentury. (katalog druhů (kshana kinds --json))
  • Čestnost: MODELLED vnitřní konzistence. Orákulum je obnova vložené 7parametrové podobnostní transformace (bez šumu přibližně na strojovou přesnost) plus algebraická identita zpětné cesty apply_helmert. NENÍ to realizace lunárního referenčního rámce vůči reálným datům sledování / VLBI a netvrdí žádnou absolutní přesnost rámce. Deterministické (seedované). Netvrdí se žádné TRL, letové heritage ani podpora agentury. (komentář v souboru scénáře, řádky 23 až 27)
  • 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))

Viz také#