lunar-frame-realisation (scenariotyp)

Scenariotyp i motor v0.40.0, familj Måne och cislunart. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Modellerad realisering av ett lunart referenssystem: en anpassning av ett Helmert-datum (likformighet) med 7 parametrar — 3 translationer, 3 små vinkelrotationer, 1 skala — som knyter en skattad uppsättning MCMF-punktkoordinater härledda ur selenografiska koordinater till ett datum med viktade minsta kvadrater (crate::batch_ls::gauss_newton), plus en enkel orienteringstie som uttrycker den realiserade lilla rotationen kring ICRF-axlarna relativt kroppsorienteringen enligt IAU 2015 WGCCRE. Scenariot injicerar en känd liten transformation (translation ~tiotals m, rotation ~µrad, skala ~1e-7) i ett väl spritt syntetiskt punktnätverk, lägger till gaussiskt brus från ett frö, återvinner datumet och redovisar den återvunna transformationen, återvinningsfelet per parameter mot den injicerade referensen och RMS-residualen efter anpassningen. MODELLED självkonsistens — återvinner en injicerad likformighetstransformation (brusfritt till ~maskinprecision), INTE en realisering mot verkliga spårnings-/VLBI-data; deterministisk (frö); inget TRL, inget flygarv och inget stöd från någon myndighet.

En körning av scenarios/lunar-frame-realisation.toml sammanfattas som: lunar-frame-realisation | 8 punkter | translationsfel 3.125e-1 m, rotationsfel 3.418e-7 rad, skalfel -5.891e2 ppb | rms-residual 0,887 m | konvergerade inte

Indata#

Från schemat (kshana kinds --json):

• Obligatoriska fält: inga
• Valfria fält: 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

Exemplet scenarios/lunar-frame-realisation.toml anger bland annat:

Kör den#

kshana scenarios/lunar-frame-realisation.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Evidens#

Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

• MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
• VALIDATED Anpassning av Helmert-datum med 7 parametrar + ICRF-orienteringstie från ett nätverk av punkter. Oberoende referens (ExternalDataset): Oberoende lösare i sluten form för likformighetstransformation med viktad Umeyama (Horn) (numpy/scipy SVD-baserad; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — en annan algoritm än kshanas iterativa Gauss–Newton-anpassning, som når samma entydigt definierade viktade minsta kvadrat-optimum på byte-identiska punktnätverk

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

• MODELLED självkonsistens — återvinner en injicerad likformighetstransformation (brusfritt till ~maskinprecision), INTE en realisering mot verkliga spårnings-/VLBI-data; deterministisk (frö); inget TRL, inget flygarv och inget stöd från någon myndighet. (typkatalog (kshana kinds --json))
• Ärlighet: MODELLED självkonsistens. Den oberoende referensen är återvinningen av en injicerad likformighetstransformation med 7 parametrar (brusfritt till ~maskinprecision) plus den algebraiska tur-och-retur-identiteten för apply_helmert. Detta är INTE en realisering av det lunara referenssystemet mot verkliga spårnings-/VLBI-data och gör inga anspråk på någon absolut noggrannhet i referenssystemet. Deterministisk (frö). Inget TRL, inget flygarv och inget myndighetsstöd görs gällande. (kommentar i scenariofilen, rad 23 till 27)
• Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#

• Familjesida: Måne och cislunart
• Alla typer: KINDS.md