lunar-joint-od-clock (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#

Modellierter gemeinsamer Batch-Schätzer für lunare Bahnbestimmung (OD) + Uhren mit mehreren Techniken auf einem SIMULIERTEN Netz: eine Gauss-Newton-Momentaufnahmeanpassung, die geodätische VLBI-Verzögerungen auf Erdbasislinien, lunar-lokale Entfernungen zwischen Station und Satellit und Entfernungen zwischen Satelliten fusioniert, um gemeinsam die 3D-Position einer lunaren Oberflächenstation, die Positionen einer kleinen Konstellation und den Uhrenversatz jedes Assets aus einer eingespeisten Wahrheit zurückzugewinnen. Das ehrliche Hauptergebnis — VLBI macht die volle 3D-Position der Station beobachtbar, wo die lunar-lokale Entfernungsmessung allein eine schwach beobachtete Richtung lässt — wird als Kontrast des Stationsfehlers mit gegenüber ohne VLBI ausgegeben. MODELLED simulierte Wiedergewinnung im geschlossenen Regelkreis (die Wahrheit teilt das Beobachtungsmodell), deterministisch (mit Seed), NICHT mit realen Daten validiert; keine Kraftmodell-Propagation im Löser; kein TRL/Flugerbe/keine Billigung durch eine Agentur.

Ein Lauf von scenarios/lunar-joint-od-clock.toml fasst sich so zusammen: lunar-joint-od-clock | 3 sats, 6 Earth stations | station 3-D err with VLBI 3,54 m vs range-only 2184,02 m (617,5× sharper) | sat pos RMS 2,20 m | station clk err 2.87e-10 s | obs 40/16 params

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day

Das Beispiel scenarios/lunar-joint-od-clock.toml setzt unter anderem:

Ausführen#

kshana scenarios/lunar-joint-od-clock.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 Batch-Fusion von VLBI + lunar-lokaler Entfernung + Entfernung zwischen Satelliten, um Positionen und Uhren von Station und Konstellation zurückzugewinnen. Orakel (ExternalDataset): P2: numpy 2.4.6 (numpy.linalg.lstsq mit LAPACK gelsd, numpy.linalg.inv; BSD-3) berechnet jeden Gauss-Newton-Schritt, die konvergierte Lösung nach gewichteten kleinsten Quadraten, die formalen Sigmas und den Stationsfehler auf den eingecheckten Jacobi-Matrizen und Beobachtungen von sechs simulierten Netzen neu, vorab registriert (5094bc31) bei relativ max(1e-8, 100 kappa eps). Der erste Lauf scheiterte am Netz ohne VLBI (6.1e-7 gegen 1e-8, eine Normalgleichung
• VALIDATED Fisher-Information M=HᵀWH, Cramér-Rao-Untergrenze, Beobachtbarkeitsrang / Nullraum des Datumsdefekts (Moore-Penrose-Pseudoinverse) und D/A/E/T-optimaler Versuchsentwurf. Orakel (ExternalDataset): NumPy 2.4.1 (numpy.linalg.eigh / .inv; BSD-3-Clause, LAPACK-gestützt) — eine unabhängige Instanz eines Drittanbieters, die dieselben eindeutig definierten Eigenwerte, die Cramér-Rao-Kovarianz σ²(XᵀX)⁻¹ und die GNSS-Faktoren der Präzisionsverdünnung mit einem anderen Algorithmus (LAPACK Divide-and-Conquer + LU) berechnet als der zyklische Jacobi-Sweep und die spektrale Pseudoinverse von Kshana; abgeglichen auf 1e-9. Dieselbe Klasse externer Bibliotheken validiert bereits die D
• MODELLED Beobachtbarkeit der gemeinsamen lunaren Lösung über die Fisher-Information: Ohne Erdbasislinien liegt das Datum des absoluten Bezugssystems im Nullraum von HᵀWH (Stationsposition uno. Orakel (InternalConsistency): Analytische Struktur des Datumsdefekts — der nicht beobachtbare Modus des absoluten Bezugssystems liegt im Nullraum der Fisher-Information (geschlossene Form), die Rangschwelle entspricht der veröffentlichten Begründung des Designs mit 3 Stationen, und der Schätzer erreicht die daraus folgende CRLB in der Monte-Carlo-Simulation. Die lunare Geometrie selbst ist ein repräsentatives Netz (keine geflogene Ephemeride), daher bleibt die Zeile MODELLED; die zugrunde liegende FIM/CRLB-Engine wird gegen

Einschränkungen#

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

• MODELLED simulierte Wiedergewinnung im geschlossenen Regelkreis (die Wahrheit teilt das Beobachtungsmodell), deterministisch (mit Seed), NICHT mit realen Daten validiert; keine Kraftmodell-Propagation im Löser; kein TRL/Flugerbe/keine Billigung durch eine Agentur. (Szenarioarten-Katalog (kshana kinds --json))
• Ehrlichkeit: MODELLED simulierte Wiedergewinnung im geschlossenen Regelkreis. Eine eingespeiste Wahrheit wird durch DASSELBE Geometriemodell, das der Löser invertiert, auf synthetische Observablen abgebildet, Gaußsches Rauschen mit Seed wird hinzugefügt, und der Schätzer gewinnt die eingespeiste Wahrheit im Rahmen des Rauschens zurück. Die unabhängige Referenz ist die interne Konsistenz (Wiedergewinnung der Wahrheit + Realismus der NEES-Kovarianz), KEINE Validierung mit realen Daten. Im Löser gibt es keine Kraftmodell-Propagation — der Sate (Kommentar in der Szenariodatei, Zeilen 24 bis 29)
• 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))
• Die lunare Beobachtbarkeit der absoluten Station (Datumsdefekt) ist MODELLED, nicht validiert: Sie wird gegen ihre eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

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