lunar-frame-realisation (scenariosoort)

Scenariokind van de engine v0.40.0, familie Maan en cislunair. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Gemodelleerde realisatie van het maanreferentiestelsel: een fit van een 7-parameter-Helmert-datum (gelijkvormigheid) — 3 translatie, 3 rotatie met kleine hoek, 1 schaal — die een geschatte verzameling puntcoördinaten in MCMF, afgeleid van selenografische coördinaten, met gewogen kleinste kwadraten (crate::batch_ls::gauss_newton) aan een datum koppelt, plus een eenvoudige oriëntatiekoppeling die de gerealiseerde kleine rotatie om de ICRF-assen uitdrukt ten opzichte van de lichaamsoriëntatie volgens IAU 2015 WGCCRE. Het scenario injecteert een bekende kleine transformatie (translatie ~tientallen m, rotatie ~µrad, schaal ~1e-7) in een goed gespreid synthetisch puntnetwerk, voegt geseede gaussische ruis toe, herstelt het datum, en rapporteert de herstelde transformatie, de herstelfout per parameter ten opzichte van de geïnjecteerde referentie en het RMS-residu na de fit. MODELLED zelfconsistentie — herstelt een geïnjecteerde gelijkvormigheidstransformatie (zonder ruis tot ongeveer machineprecisie), GEEN realisatie ten opzichte van echte tracking- of VLBI-gegevens; deterministisch (geseed); geen TRL, geen heritage, geen onderschrijving door een ruimtevaartorganisatie.

Eén run van scenarios/lunar-frame-realisation.toml vat zich samen als: lunar-frame-realisation | 8 punten | translatiefout 3.125e-1 m, rotatiefout 3.418e-7 rad, schaalfout -5.891e2 ppb | rms-residu 0,887 m | converged false

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

Het voorbeeld scenarios/lunar-frame-realisation.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/lunar-frame-realisation.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Bewijs#

Geen rij van de matrix noemt dit kind bij naam; het label op het resultaat is dat van de engine zelf, hierboven.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• VALIDATED Fit van een 7-parameter-Helmert-datum + ICRF-oriëntatiekoppeling uit een netwerk van punten. Onafhankelijke referentie (ExternalDataset): Onafhankelijke gesloten-vorm-solver met gewogen Umeyama (Horn) voor gelijkvormigheidstransformaties (numpy/scipy, op SVD gebaseerd; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — een ander algoritme dan de iteratieve Gauss–Newton-fit van kshana, dat hetzelfde eenduidig gedefinieerde gewogen-kleinste-kwadratenoptimum bereikt op byte-identieke puntnetwerken

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• MODELLED zelfconsistentie — herstelt een geïnjecteerde gelijkvormigheidstransformatie (zonder ruis tot ongeveer machineprecisie), GEEN realisatie ten opzichte van echte tracking- of VLBI-gegevens; deterministisch (geseed); geen TRL, geen heritage, geen onderschrijving door een ruimtevaartorganisatie. (soortencatalogus (kshana kinds --json))
• Eerlijkheid: MODELLED zelfconsistentie. De onafhankelijke referentie is het herstel van een geïnjecteerde gelijkvormigheidstransformatie met 7 parameters (zonder ruis tot ongeveer machineprecisie) plus de algebraïsche heen-en-terugidentiteit van apply_helmert. Dit is GEEN realisatie van het maanreferentiestelsel ten opzichte van echte tracking- of VLBI-gegevens en claimt geen absolute nauwkeurigheid van het stelsel. Deterministisch (geseed). Er wordt geen TRL, vluchterfgoed of onderschrijving door een ruimtevaartorganisatie geclaimd. (commentaar in het scenariobestand, regels 23 tot 27)
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md