lunar-vlbi (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 geodätische Lunar-VLBI-Laufzeitobservable: Eine Erdbasislinie (zwei Bodenstationen, GCRS) beobachtet ein Einweg-Signal eines Beacons der NovaMoon-Klasse auf der Mondoberfläche. Sie liefert die Nahfeld-Laufzeit als Zwei-Entfernungs-Differenz, ihre Rate und die Wellenfrontkrümmungs-Nahfeldkorrektur über einen Durchgang — gegengeprüft gegen die Ebene-Welle-Δ-DOR-Observable derselben Codebasis im Fernfeldgrenzfall, mit durch finite Differenzen verifizierten Partialableitungen. Der analytische Standardpfad ist MODELLED und trägt die Vorbehalte zu Bezugssystemkonsistenz, Polbewegung xp=yp=0 und Ebene-Welle-gegen-Nahfeld. Wird planetary_kernel_path, earth_orientation_kernel_path und moon_orientation_kernel_path gesetzt, läuft stattdessen der Kernel-Pfad (DE440, MOON_PA_DE440, ITRF93; konvergierte baryzentrische Lichtlaufzeiten; ergänzt die Beacon- und Stationspartialableitungen der Epoche), dessen newtonsche Laufzeit und Partialableitungen mit den konvergierten Lichtlaufzeiten von NAIF SPICE auf 0,06 ps und 7.4e-9 übereinstimmen. Nicht gegen reale VLBI-Daten validiert.

Ein Lauf von scenarios/lunar-vlbi.toml fasst sich zusammen als: lunar-vlbi | Basislinie 10727 km | Beacon-Entfernung 402900 km | Laufzeit -10049.126 µs (Rate 1.312e-6 s/s) | Nahfeld 58,9 µs | 13 Samples über 6,0 h

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

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

Ausführen#

kshana scenarios/lunar-vlbi.toml

Was es liefert#

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

Nachweise#

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

• MODELLED Nahfeld-VLBI-Laufzeit für eine Erdbasislinie, die ein Mond-Beacon beobachtet, + Partialableitungen
• VALIDATED Nahfeld-VLBI-Laufzeit für eine Erdbasislinie, die ein Mond-Beacon beobachtet, mit Beacon- und Stationspartialableitungen, auf dem Kernel-Pfad (lunar_vlbi::KernelGeometry): DE440-Erde und -Mond, DE440-Hauptträgheitsachsen des Mondes, ITRF93-Erdorientierung mit UT1 und Tests: naif_kernel_reader_check.rs.
• VALIDATED Verzögerungspartielle, über einen Zeitplan aus Basislinien × Epochen zu einer Fisher-Informationsmatrix akkumuliert, invertiert zur Kovarianz der Stationskoordinaten und zum Stations-Sigma je Koordinate, wodurch eine angenommene isotrope Gleichverteilungsverknüpfung aus einer
• MODELLED Eine dritte Datumswahl, all-stations-fixed, die jede Erdstation festhält und allein die mondfesten Koordinaten des BEACON schätzt — die Konfiguration, für die eine Unsicherheit eines Punktes auf der Mondoberfläche tatsächlich angegeben wird, da die Koordinaten der Erdstation
• und 2 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
• MODELLED Nahfeld-VLBI-Laufzeit für eine Erdbasislinie, die ein Mond-Beacon beobachtet, + Partialableitungen. Unabhängige Referenz (ReferenceImpl): Ebene-Welle-delta_dor (dieselbe Codebasis) im Fernfeldgrenzfall; Partialableitungen durch finite Differenzen. 0,30 externer Vergleich, ein Befund (bleibt MODELLED): gegen ANISE 0,10 konvergierte Lichtlaufzeiten durch DE440 (75 Laufzeiten am 2024-01-01 über drei DSN-Basislinien, erzeugt von xval/anise-lunar-od ohne Kshana-Code), liegt keine Laufzeit innerhalb der Toleranz von 1 ps. Die größte Abweichung beträgt 24 µs, vom analytischen Mondzentrum (etwa 200 km von DE

Einschränkungen#

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

• Der analytische Standardpfad ist MODELLED und trägt die Vorbehalte zu Bezugssystemkonsistenz, Polbewegung xp=yp=0 und Ebene-Welle-gegen-Nahfeld. (Szenarioarten-Katalog (kshana kinds --json))
• Ehrlichkeit: MODELLED, NICHT gegen reale VLBI-Daten validiert. Die Polbewegung wird weggelassen (xp = yp = 0), sodass die inertialen Stationspositionen einen Bezugssystemfehler von einigen Metern tragen; das Beacon mischt eine Mean-Equator-of-Date-Mondreihe mit einem ICRF-körperfesten Versatz (jd_tdb ~ jd_tt), eine Bezugssystem-Inkonsistenz unterhalb der Modellgüte; keine Lichtlaufzeit-Iteration, Medien oder Aberration über das differenzierte Shapiro hinaus. Kein TRL, keine Flugerfahrung oder Agentur- (Kommentar der Szenariodatei, Zeilen 17 bis 21)
• 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))
• Geodätisches Lunar-VLBI ist MODELLED, nicht validiert: geprüft gegen eine separate Implementierung in derselben Codebasis — 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