lunar-frame-realisation (scenariotype)

Scenariotype i motoren v0.40.0, familie Måne og cislunart rom. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Modellert realisering av referansesystemet på månen: en Helmert-datumtilpasning (likhetstransformasjon) med 7 parametere — 3 translasjon, 3 rotasjon med liten vinkel, 1 skala — som binder et estimert sett av selenografisk avledede MCMF-punktkoordinater til et datum med vektet minste kvadraters metode (crate::batch_ls::gauss_newton), pluss en enkel orienteringsbinding som uttrykker den realiserte lille rotasjonen om ICRF-aksene i forhold til IAU 2015 WGCCRE-modellen for legemets orientering. Scenarioet injiserer en kjent liten transformasjon (translasjon ~titalls m, rotasjon ~µrad, skala ~1e-7) i et godt spredt syntetisk punktnettverk, legger til seedet gaussisk støy, gjenfinner datumet og rapporterer den gjenfunne transformasjonen, gjenfinningsfeilen per parameter mot den injiserte referansen og RMS-residualen etter tilpasningen. MODELLED selvkonsistens — gjenfinner en injisert likhetstransformasjon (uten støy til ~maskinpresisjon), IKKE en realisering mot virkelige sporings-/VLBI-data; deterministisk (seedet); ingen TRL/heritage/støtte fra noe byrå.

Én kjøring av scenarios/lunar-frame-realisation.toml oppsummeres slik: lunar-frame-realisation | 8 punkter | translasjonsfeil 3.125e-1 m, rotasjonsfeil 3.418e-7 rad, skalafeil -5.891e2 ppb | rms-residual 0,887 m | converged false

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: 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

Eksempelet scenarios/lunar-frame-realisation.toml setter blant annet:

Kjør den#

kshana scenarios/lunar-frame-realisation.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Evidens#

Ingen matriserad nevner denne typen ved navn; etiketten på resultatet er motorens egen, ovenfor.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• VALIDATED Helmert-datumtilpasning med 7 parametere + ICRF-orienteringsbinding fra et nettverk av punkter. Uavhengig referanse (ExternalDataset): Uavhengig lukket vektet Umeyama-løser (Horn) for likhetstransformasjon (numpy/scipy, SVD-basert; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A): en annen algoritme enn kshanas iterative Gauss–Newton-tilpasning, som når samme entydig definerte vektede minste kvadraters optimum på byte-identiske punktnettverk

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• MODELLED selvkonsistens — gjenfinner en injisert likhetstransformasjon (uten støy til ~maskinpresisjon), IKKE en realisering mot virkelige sporings-/VLBI-data; deterministisk (seedet); ingen TRL/heritage/støtte fra noe byrå. (typekatalog (kshana kinds --json))
• Ærlighet: MODELLED selvkonsistens. Den uavhengige referansen er gjenfinningen av en injisert likhetstransformasjon med 7 parametere (uten støy til ~maskinpresisjon) pluss den algebraiske rundturidentiteten til apply_helmert. Dette er IKKE en realisering av referansesystemet på månen mot virkelige sporings-/VLBI-data og hevder ingen absolutt nøyaktighet for systemet. Deterministisk (seedet). Ingen TRL, flyarv eller støtte fra noe byrå hevdes. (kommentar i scenariofilen, linje 23 til 27)
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

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