lunar-frame-campaign (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#

Helmert-Bezugssystemdatum (Ähnlichkeit) mit sieben Parametern, angetrieben von einer SIMULIERTEN BEOBACHTUNGSKAMPAGNE statt von einer eingespeisten Transformation. Ein Netz von Erdstationen beobachtet einen Katalog von Baken auf der Mondoberfläche nach einem expliziten Zeitplan; die Partiellen der lunaren VLBI-Verzögerung werden über diesen Zeitplan zu einer Fisher-Informationsmatrix der Bakenkoordinaten akkumuliert, genau wie es lunar-vlbi-fim tut; und diese Information wird über den Helmert-Entwurf A = [I3 | [p]_x | p] an den Katalogpunkten in die Datumskovarianz H = A^T M_b A fortgepflanzt, diagnostiziert durch crate::fim::crlb. KEINE Transformation wird eingespeist, und nichts wird aus einer untergeschobenen Antwort wiedergewonnen, sodass die ausgegebene Datumsgenauigkeit aus dem Beobachtungsprogramm folgt: Eine Halbierung des Verzögerungs-Sigmas halbiert sie exakt, und eine Verlängerung des Bogens verbessert sie, weil die Libration, die der Bericht MISST (sub_earth_direction_sweep_deg), das ist, was die Bakenkoordinate in Sichtlinienrichtung von denen in der Himmelsebene trennt. Rang, Datumsdefekt, Konditionszahl, das gesamte Spektrum, die nicht beobachtbaren Richtungen IN DER SIEBENPARAMETER-BASIS, die schwächste Richtung auch bei vollem Rang und der Anteil jedes Parameters daran werden bei jedem Lauf ausgegeben; ein Parameter, den die Kampagne nicht beschränkt, wird als NULL mit einem Status veröffentlicht, nie aus einer fast singulären Inversen abgelesen. Die Korrelation der Bakenfehler wird gemessen, nicht angenommen: Bei festgehaltenen Stationen berührt keine Beobachtung zwei Baken, sodass die Informationsmatrix exakt blockdiagonal ist (offblock_fraction 0), und bei geschätzten Stationen ist der Schur-marginalisierte Block gekoppelt, wobei die induzierte Korrelation ausgegeben und die gesamte Fortpflanzung ohne sie erneut ausgeführt wird, sodass der Preis einer Unabhängigkeitsannahme eine Zahl ist. Dieselbe Fortpflanzung unter einem isotropen Sigma je Koordinate und der Wiedergewinnungsfehler, den das Szenario lunar-frame-realisation ausgibt, werden beide hier ausgeführt und mit ihren Verhältnissen neben dem Kampagnenwert ausgegeben. MODELLED: Der Bakenkatalog hat Quellen, aber die KAMPAGNE ist simuliert — das Stationsnetz und das Verzögerungs-Sigma sind illustrative Eingaben, einzelne Verzögerungsbeobachtungen werden als unabhängig behandelt, und die Ephemeride des Mondzentrums, die Stationsuhren, die Troposphäre und die Erdorientierungsparameter werden FEST gehalten, sodass die Datumskovarianz eine Cramér-Rao-Schranke für einen reduzierten Parametersatz ist. Kein geodätisches Produkt.

Ein Lauf von scenarios/lunar-frame-campaign.toml fasst sich so zusammen: lunar-frame-campaign | 4 beacons x 3 baselines x 49 epochs = 64 obs (delay sigma 1.000e-11 s) | station datum fixed | Helmert rank 7/7 cond 3.798e5 | datum translation sigma 6,397500 m vs injected-transform recovery error 0,3125 m (ratio 0,049)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

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

Ausführen#

kshana scenarios/lunar-frame-campaign.toml

Was es liefert#

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

Ergebnisbezeichnung (der Engine): MODELLED kampagnengetriebenes lunares Bezugssystemdatum. Die Helmert-Kovarianz mit sieben Parametern wird aus einer Informationsmatrix der Bakenkoordinaten fortgepflanzt, die aus den eigenen Partiellen der lunaren VLBI-Verzögerung der Engine über einen expliziten Zeitplan aus Baken, Basislinien und Epochen akkumuliert wurde; KEINE Ähnlichkeitstransformation wird eingespeist und

Nachweise#

MODELLED 2 · VALIDATED 3: die Zeilen der Verifikationsmatrix, die diese Szenarioart nennen.

• MODELLED Das Helmert-Datum mit sieben Parametern, fortgepflanzt aus einer SIMULIERTEN BEOBACHTUNGSKAMPAGNE statt wiedergewonnen aus einer eingespeisten Transformation.
• VALIDATED Die Kovarianz des Helmert-Datums mit sieben Parametern, wobei ihre beiden simulierten Eingaben durch gemessene ersetzt sind: Der Zeitplan sind die Sendeepochen vom Boden von 337 archivierten Normalpunkten der ILRS-Laserentfernungsmessung zum Mond (2015-04-08 bis 2015-06-27, Grasse MeO 7 Tests: lunar_llr_real_data.rs.
• MODELLED Optionale Eingaben extra_reflectors und extra_beacons beim Szenario lunar-llr-datum fügen einen Block station_geodesy hinzu: die Helmert-Information mit fünf Arrays aus dem archivierten Ausschnitt der Laserentfernungsmessung zum Mond plus die Information, die ein hinzugefügter Retroreflektor (ran Tests: lunar_station_geodesy.rs.
• VALIDATED Die Kovarianz des Helmert-Datums mit sieben Parametern des Szenarios lunar-frame-campaign mit geschätzten Erdstationen (Station 1 verankert), wie lunar_frame_campaign sie in binary64 berechnet: die gemeinsame Fisher-Information von Station und Bake akkum Tests: lunar_frame_campaign_mpmath_oracle.rs.
• und 1 weitere in der Matrix.

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
• MODELLED Das Helmert-Datum mit sieben Parametern, fortgepflanzt aus einer SIMULIERTEN BEOBACHTUNGSKAMPAGNE statt wiedergewonnen aus einer eingespeisten Transformation. Erdstationen beobachten eine Quelle. Orakel (ReferenceImpl): Identitäten in geschlossener Form und ein unabhängiger Weg im selben Repository, ohne Anspruch auf eine externe unabhängige Referenz. Der Helmert-Entwurf — die einzige neue Ableitung im Modul — wird durch zentrale finite Differenz von lunar_frame_realise::apply_helmert neu hergeleitet, einen Pfad, der keinen Ausdruck mit der analytischen Form teilt. Die Akkumulation, die er zusammensetzt, ist die von lunar-vlbi-fim, deren Jacobi-Matrix dort gegen lunar_vlbi::vlbi_delay_s finit differenziert wird, und die

Einschränkungen#

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

• MODELLED kampagnengetriebenes lunares Bezugssystemdatum. Die Helmert-Kovarianz mit sieben Parametern wird aus einer Informationsmatrix der Bakenkoordinaten fortgepflanzt, die aus den eigenen Partiellen der lunaren VLBI-Verzögerung der Engine über einen expliziten Zeitplan aus Baken, Basislinien und Epochen akkumuliert wurde; KEINE Ähnlichkeitstransformation wird eingespeist, und nichts wird aus einer untergeschobenen Antwort wiedergewonnen. Der Bakenkatalog ist die Tabelle benannter Standorte des Crates mit Quellen, aber die KAMPA (Ergebnis label)
• Die Korrelation der Bakenfehler wird gemessen, nicht angenommen: Bei festgehaltenen Stationen berührt keine Beobachtung zwei Baken, sodass die Informationsmatrix exakt blockdiagonal ist (offblock_fraction 0), und bei geschätzten Stationen ist der Schur-marginalisierte Block gekoppelt, wobei die induzierte Korrelation ausgegeben und die gesamte Fortpflanzung ohne sie erneut ausgeführt wird, sodass der Preis einer Unabhängigkeitsannahme eine Zahl ist. (Szenarioarten-Katalog (kshana kinds --json))
• MODELLED: Der Bakenkatalog hat Quellen, aber die KAMPAGNE ist simuliert — das Stationsnetz und das Verzögerungs-Sigma sind illustrative Eingaben, einzelne Verzögerungsbeobachtungen werden als unabhängig behandelt, und die Ephemeride des Mondzentrums, die Stationsuhren, die Troposphäre und die Erdorientierungsparameter werden FEST gehalten, sodass die Datumskovarianz eine Cramér-Rao-Schranke für einen reduzierten Parametersatz ist. (Szenarioarten-Katalog (kshana kinds --json))
• Die Korrelation der Bakenfehler wird MEASURED, nicht angenommen. Bei festgehaltenen Stationen berührt keine Beobachtung zwei Baken, sodass die Informationsmatrix exakt blockdiagonal ist (offblock_fraction 0); bei geschätzten Stationen ist der Schur-marginalisierte Block gekoppelt, die induzierte Korrelation wird ausgegeben, und die gesamte Fortpflanzung wird ohne sie erneut ausgeführt, sodass der Preis einer Unabhängigkeitsannahme eine Zahl ist statt einer c (Kommentar in der Szenariodatei, Zeilen 17 bis 21)
• MODELLED: Der Bakenkatalog hat Quellen, aber die KAMPAGNE ist simuliert — das Stationsnetz und das Verzögerungs-Sigma sind illustrative Eingaben, einzelne Verzögerungsbeobachtungen werden als unabhängig behandelt, und die Ephemeride des Mondzentrums, die Stationsuhren, die Troposphäre und die Erdorientierungsparameter werden FEST gehalten. Kein geodätisches Produkt. (Kommentar in der Szenariodatei, Zeilen 27 bis 30)
• 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))
• Das lunare Bezugssystemdatum aus einer Beobachtungskampagne ist MODELLED, nicht validiert: Es wird gegen eine getrennte Implementierung in derselben Codebasis geprüft — unabhängig von der geprüften Einheit, aber nicht extern maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

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