Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/lunar-frame-realisation.md

lunar-frame-realisation (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kuu ja tsislunaarne ruum. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Modelleeritud Kuu tugisüsteemi realiseerimine: 7-parameetriline Helmerti (sarnasus-) datumi sobitus — 3 translatsiooni, 3 väikese nurga pööret, 1 skaala — mis seob hinnatud selenograafilisest tuletatud MCMF punktikoordinaatide komplekti datumiga kaalutud vähimruutudega (crate::batch_ls::gauss_newton), pluss lihtne orientatsiooniside, mis väljendab realiseeritud väikest pööret ICRF telgede ümber suhtes IAU 2015 WGCCRE keha orientatsiooniga. Stsenaarium süstib teadaoleva väikese teisenduse (translatsioon ~kümned m, pööre ~µrad, skaala ~1e-7) hästi hajutatud sünteetilisse punktivõrku, lisab algväärtusega (seed) Gaussi müra, taastab datumi ning esitab taastatud teisenduse, parameetripõhise taastamisvea süstitud tõe suhtes ja sobitusjärgse RMS jäägi. MODELLED enesekooskõla — taastab süstitud sarnasusteisenduse (müravabalt ~masinatäpsuseni), MITTE realiseerimist päris jälgimis-/VLBI andmete vastu; deterministlik (algväärtusega (seed)); ei ole TRL/pärandi/agentuuri heakskiitu.

Ühe scenarios/lunar-frame-realisation.toml käivituse kokkuvõte: lunar-frame-realisation | 8 punkti | translatsiooni viga 3.125e-1 m, pöörde viga 3.418e-7 rad, skaala viga -5.891e2 ppb | rms jääk 0,887 m | koondunud false

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: 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

Näide scenarios/lunar-frame-realisation.toml määrab muu hulgas:

Väli Väärtus Ühik
epoch_day 1 d
epoch_month 1 ei ole märgitud
epoch_year 2024 ei ole märgitud
kind lunar-frame-realisation tekst
n_points 8 arv
noise_sigma_m 1 m
rot_x_urad 3 ei ole märgitud
rot_y_urad -2 ei ole märgitud
rot_z_urad 5 ei ole märgitud
scale_ppb 100 ppb
seed 42 ei ole märgitud
tx_m 25 m

Käivitamine#

kshana scenarios/lunar-frame-realisation.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
converged false lipp
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
injected.scale_ppb 100 ppb
n_points 8 arv
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
Mootori joonistatud diagramm failile scenarios/lunar-frame-realisation.toml, liik lunar-frame-realisation

Tõendid#

Ükski maatriksirida ei nimeta seda liiki nimepidi; selle tulemuse silt on mootori enda, ülal.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
  • VALIDATED 7-parameetriline Helmerti datumi sobitus + ICRF orientatsiooniside punktivõrgust. Sõltumatu etalon (ExternalDataset): Sõltumatu suletud kujul kaalutud Umeyama (Horn) sarnasusteisenduse lahendaja (numpy/scipy SVD-põhine; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — kshana iteratiivsest Gaussi–Newtoni sobitusest erinev algoritm, mis jõuab samale üheselt määratletud kaalutud vähimruutude optimumile baidiidentsetel punktivõrkudel

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • MODELLED enesekooskõla — taastab süstitud sarnasusteisenduse (müravabalt ~masinatäpsuseni), MITTE realiseerimist päris jälgimis-/VLBI andmete vastu; deterministlik (algväärtusega (seed)); ei ole TRL/pärandi/agentuuri heakskiitu. (liikide kataloog (kshana kinds --json))
  • Ausus: MODELLED enesekooskõla. Sõltumatu etalon on süstitud 7-parameetrilise sarnasusteisenduse taastamine (müravabalt ~masinatäpsuseni) pluss apply_helmert algebraline edasi-tagasi samasus. See EI OLE Kuu tugisüsteemi realiseerimine päris jälgimis- / VLBI andmete vastu ega väida mingit absoluutset tugisüsteemi täpsust. Deterministlik (algväärtusega (seed)). Ei väideta TRL-i, lennupärandit ega agentuuri heakskiitu. (stsenaariumifaili kommentaar, read 23 kuni 27)
  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#