lunar-frame-realisation (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Modelleret realisering af lunart referencesystem: en tilpasning af et Helmert-referencesystem (similaritet) med 7 parametre — 3 translation, 3 rotation med små vinkler, 1 skala — der knytter et estimeret sæt af selenografisk afledte MCMF-punktkoordinater til et referencesystem ved vægtet mindste kvadraters metode (crate::batch_ls::gauss_newton), plus en simpel orienteringsforbindelse, der udtrykker den realiserede lille rotation om ICRF-akserne i forhold til IAU 2015 WGCCRE-modellen for legemets orientering. Scenariet tilfører en kendt lille transformation (translation ~titusinder m, rotation ~µrad, skala ~1e-7) i et veludbredt syntetisk punktnet, tilføjer seedet gaussisk støj, gendanner referencesystemet og rapporterer den gendannede transformation, gendannelsesfejlen pr. parameter i forhold til den tilførte reference og den resterende RMS efter tilpasningen. MODELLED selvkonsistens — gendanner en tilført similaritetstransformation (uden støj til ~maskinpræcision), IKKE en realisering mod reelle sporings-/VLBI-data; deterministisk (seedet); ingen TRL-, heritage- eller myndighedsstøtte.

Én kørsel af scenarios/lunar-frame-realisation.toml opsummeres som: lunar-frame-realisation | 8 points | translation err 3.125e-1 m, rotation err 3.418e-7 rad, scale err -5.891e2 ppb | rms residual 0,887 m | converged false

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

Eksemplet scenarios/lunar-frame-realisation.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-frame-realisation.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• VALIDATED Tilpasning af Helmert-referencesystem med 7 parametre + ICRF-orienteringsforbindelse ud fra et net af punkter. Uafhængig reference (ExternalDataset): Uafhængig vægtet Umeyama-løser (Horn) for similaritetstransformation i lukket form (numpy/scipy, SVD-baseret; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — en anden algoritme end kshanas iterative Gauss–Newton-tilpasning, der når samme entydigt definerede vægtede LS-optimum på byte-identiske punktnet

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED selvkonsistens — gendanner en tilført similaritetstransformation (uden støj til ~maskinpræcision), IKKE en realisering mod reelle sporings-/VLBI-data; deterministisk (seedet); ingen TRL-, heritage- eller myndighedsstøtte. (kategori-katalog (kshana kinds --json))
• Ærlighed: MODELLED selvkonsistens. Den uafhængige reference er gendannelsen af en tilført similaritetstransformation med 7 parametre (uden støj til ~maskinpræcision) plus den algebraiske rundtursidentitet for apply_helmert. Dette er IKKE en realisering af det lunare referencesystem mod reelle sporings-/VLBI-data og gør ikke krav på nogen absolut nøjagtighed af referencesystemet. Deterministisk (seedet). Der gøres ikke krav på TRL, flyvehistorik eller myndighedsstøtte. (kommentar i scenariefilen, linje 23 til 27)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md