lunar-frame-realisation (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Mond und cislunarer Raum. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Modellierte Realisierung des lunaren Bezugssystems: eine Anpassung eines Helmert-Datums (Ähnlichkeit) mit 7 Parametern — 3 Translationen, 3 Kleinwinkel-Rotationen, 1 Maßstab —, die einen geschätzten Satz von aus der Selenographie abgeleiteten MCMF-Punktkoordinaten durch gewichtete kleinste Quadrate (crate::batch_ls::gauss_newton) an ein Datum bindet, plus eine einfache Orientierungsanbindung, die die realisierte kleine Rotation um die ICRF-Achsen relativ zur Körperorientierung IAU 2015 WGCCRE ausdrückt. Das Szenario speist eine bekannte kleine Transformation (Translation ~einige zehn m, Rotation ~µrad, Maßstab ~1e-7) in ein gut verteiltes synthetisches Punktnetz ein, fügt Gaußsches Rauschen mit Seed hinzu, gewinnt das Datum zurück und gibt die zurückgewonnene Transformation, den Wiedergewinnungsfehler je Parameter gegen die eingespeiste Wahrheit und das RMS-Residuum nach der Anpassung aus. MODELLED Selbstkonsistenz — gewinnt eine eingespeiste Ähnlichkeitstransformation zurück (rauschfrei bis auf ~Maschinengenauigkeit), KEINE Realisierung gegen echte Verfolgungs-/VLBI-Daten; deterministisch (mit Seed); kein TRL/Flugerbe/keine Billigung durch eine Agentur.

Ein Lauf von scenarios/lunar-frame-realisation.toml fasst sich so zusammen: 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

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: 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

Das Beispiel scenarios/lunar-frame-realisation.toml setzt unter anderem:

Ausführen#

kshana scenarios/lunar-frame-realisation.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Nachweise#

Keine Matrixzeile nennt diesen Typ beim Namen; die Kennzeichnung seines Ergebnisses stammt von der Engine selbst, siehe oben.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• VALIDATED 7-Parameter-Anpassung des Helmert-Datums + ICRF-Orientierungsanbindung aus einem Netz von Punkten. Orakel (ExternalDataset): Unabhängiger Löser für die Ähnlichkeitstransformation nach gewichtetem Umeyama (Horn) in geschlossener Form (numpy/scipy, SVD-basiert; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — ein anderer Algorithmus als die iterative Gauss-Newton-Anpassung von kshana, der auf bytegleichen Punktnetzen dasselbe eindeutig definierte Optimum nach gewichteten kleinsten Quadraten erreicht

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• MODELLED Selbstkonsistenz — gewinnt eine eingespeiste Ähnlichkeitstransformation zurück (rauschfrei bis auf ~Maschinengenauigkeit), KEINE Realisierung gegen echte Verfolgungs-/VLBI-Daten; deterministisch (mit Seed); kein TRL/Flugerbe/keine Billigung durch eine Agentur. (Szenarioarten-Katalog (kshana kinds --json))
• Ehrlichkeit: MODELLED Selbstkonsistenz. Die unabhängige Referenz ist die Wiedergewinnung einer eingespeisten Ähnlichkeitstransformation mit 7 Parametern (rauschfrei bis auf ~Maschinengenauigkeit) plus die algebraische Rundlaufidentität von apply_helmert. Dies ist KEINE Realisierung des lunaren Bezugssystems gegen echte Verfolgungs-/VLBI-Daten und erhebt keinen Anspruch auf eine absolute Genauigkeit des Bezugssystems. Deterministisch (mit Seed). Es wird kein TRL, kein Flugerbe und keine Billigung durch eine Agentur beansprucht. (Kommentar in der Szenariodatei, Zeilen 23 bis 27)
• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Mond und cislunarer Raum
• Alle Arten: KINDS.md