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 |
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#
- Perekonna leht: Kuu ja tsislunaarne ruum
- Kõik liigid: KINDS.md