lunar-vlbi-fim (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#

Kovarianz der Stationskoordinaten bei lunarer VLBI: die Verzögerungspartiellen der Observablen lunar-vlbi, über einen expliziten ZEITPLAN (Basislinien x Epochen) zu einer Fisher-Informationsmatrix akkumuliert, invertiert und als Kovarianz der Stationskoordinaten und als Stations-Sigma je Koordinate ausgegeben — eine berechnete Engine-Ausgabe statt einer skalaren Verzögerungspräzision, die durch einen angenommenen isotropen Gleichverteilungsfaktor g = 3 geschoben wird. Der Zustand trägt erdFESTE (ITRS) Stationskoordinaten, sodass die Jacobi-Matrix die inertiale Partielle ist, gedreht mit der GCRS->ITRS-Matrix jeder Epoche: Die Erdrotation macht diese Koordinaten beobachtbar, und der Bericht MISST den erdfesten Sichtliniendurchlauf und die Deklination der Bake, statt sie anzunehmen. Eine Beobachtung ist ein Paar (Basislinie, Epoche) mit BEIDEN Stationen oberhalb der Elevationsmaske, gewichtet mit 1/delay_sigma_s^2. Gibt bei jedem Lauf Rang, Datumsdefekt, Konditionszahl, das gesamte Informationsspektrum, die Kovarianzmatrix, Sigmas je Station und Achse sowie in 3D und den Nullraum des freien Netzes aus; bei einem Rangdefizit wird das Haupt-Sigma als NULL mit einem Status veröffentlicht, nie aus einer fast singulären Inversen abgelesen. Der Gleichverteilungswert cdelay_sigma_ssqrt(g/N) für DENSELBEN Zeitplan wird mit dem Verhältnis neben dem berechneten Wert ausgegeben, zusammen mit der isotropen Spurschranke sqrt(p/trace(M)), die AM-HM zu einer harten Untergrenze macht — das Verhältnis ist also die Anisotropie, die die Annahme verworfen hat. Die Verzögerungsschließung tau_ik = tau_ij + tau_jk macht nur n-1 der n(n-1)/2 Basislinien geometrisch unabhängig; der Bericht nennt beide Zahlen. MODELLED: Die Ephemeride des Mondzentrums, die Stationsuhren, die Troposphäre und die Erdorientierungsparameter werden FEST gehalten, und Beobachtungen werden als unabhängig behandelt, sodass die Kovarianz eine Cramér-Rao-Schranke für einen reduzierten Parametersatz ist, kein vorhergesagtes Sitzungsergebnis; das Verzögerungs-Sigma, die Stationskoordinaten und der Zeitplan sind Eingaben. Die Partielle, die die Jacobi-Matrix der geometrischen Verzögerung auslässt (der differenzierte Shapiro-Term), wird durch finite Differenz gemessen und ausgegeben. Kein geodätisches Produkt.

Ein Lauf von scenarios/lunar-vlbi-fim.toml fasst sich so zusammen: lunar-vlbi-fim | 3 stations / 3 baselines x 49 epochs = 16 obs (mask 10,0 deg) | datum anchor-first-station | rank 6/6 cond 2.209e4 | station sigma 0,0926 m vs equipartition g=3 0,0013 m (ratio 71,360)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

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

Ausführen#

kshana scenarios/lunar-vlbi-fim.toml

Was es liefert#

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

Ergebnisbezeichnung (der Engine): MODELLED Kovarianz der Stationskoordinaten bei lunarer VLBI. Die Kovarianz wird aus den eigenen analytischen Verzögerungspartiellen der Engine über einen expliziten Zeitplan aus Basislinien und Epochen akkumuliert und invertiert; sie wird NICHT durch einen angenommenen Geometriefaktor aus einer skalaren Verzögerungspräzision umgerechnet. Das Verzögerungs-Sigma je Beobachtung

Nachweise#

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

• 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
• VALIDATED Die Beacon-Kovarianz des lunar-vlbi-fim-Szenarios bei festgehaltenen Stationen (jede Erdstation festgehalten, allein die mondfesten Koordinaten des Beacons geschätzt), wobei das Beacon auf dem JPL-DE440-Mond platziert ist, gelesen vom eigenen Kernel-Reader der Engine
• MODELLED Das Helmert-Datum mit sieben Parametern, fortgepflanzt aus einer SIMULIERTEN BEOBACHTUNGSKAMPAGNE statt wiedergewonnen aus einer eingespeisten Transformation.
• 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 Über einen Plan aus Basislinien × Epochen akkumulierte Laufzeitpartialableitungen zu einer Fisher-Informationsmatrix, invertiert zur Stationskoordinaten-Kovarianz und der pro Koordinate. Unabhängige Referenz (ExternalDataset): Ein unabhängiger Weg innerhalb des Repositorys. Jede Jacobi-Zeile wird durch zentrale finite Differenz von lunar_vlbi::vlbi_delay_s neu hergeleitet, ausgewertet aus den eigenen erdfesten und mondfesten Koordinaten des Zustands, die durch die Bezugssystemkette vorwärts gedreht werden — ein Weg, der keine Ableitung berechnet und keinen Ausdruck mit den analytischen Partialableitungen teilt — und die Informationsmatrizen, die beide Wege aufbauen, stimmen auf < 1e-6 des größten Diagonalelements überein. Die
• 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. Unabhängige Referenz (ReferenceImpl): Geschlossene Identitäten, ohne dass eine externe unabhängige Referenz beansprucht wird oder verfügbar ist. Der Hebelarm wird gegen ρ/B und die beiden Äquipartitionsformen gegeneinander auf 1e-15 geprüft — algebraische Identitäten, die also einen Verdrahtungsfehler und sonst nichts aufdecken und als solche gekennzeichnet sind. Das wesentliche Ergebnis wird MEASURED statt behauptet: Eine Laufzeit aus einer festen Basislinie beschränkt die RICHTUNG des Beacons, sodass die Sichtlinienkomponente rea

Einschränkungen#

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

• MODELLED Lunar-VLBI-Stationskoordinaten-Kovarianz. Die Kovarianz wird aus den eigenen analytischen Laufzeitpartialableitungen der Engine über einen expliziten Plan aus Basislinien und Epochen akkumuliert und invertiert; sie wird NICHT durch einen angenommenen Geometriefaktor aus einer skalaren Laufzeitpräzision umgerechnet. Die Laufzeit-Sigma pro Beobachtung, die Stationskoordinaten, der Beacon-Standort und der Plan sind Eingaben. Die Ephemeride des Mondzentrums, die Stationsuhren (Ergebnis label)
• Lunar-VLBI-Stationskoordinaten-Kovarianz: die Laufzeitpartialableitungen der lunar-vlbi-Observable, akkumuliert über einen expliziten PLAN (Basislinien x Epochen) zu einer Fisher-Informationsmatrix, invertiert und als Stationskoordinaten-Kovarianz und als Stations-Sigma pro Koordinate ausgegeben — eine berechnete Engine-Ausgabe statt einer skalaren Laufzeitpräzision, die durch einen angenommenen isotropen Äquipartitionsfaktor g = 3 geschickt wird. (Szenarioarten-Katalog (kshana kinds --json))
• Der Zustand enthält erdFESTE (ITRS) Stationskoordinaten, sodass die Jacobi-Matrix die inertiale Partialableitung ist, gedreht durch die GCRS->ITRS-Matrix jeder Epoche: Die Erdrotation macht diese Koordinaten beobachtbar, und der Bericht MISST den erdfesten Sichtlinien-Überstrich und die Beacon-Deklination, statt sie anzunehmen. (Szenarioarten-Katalog (kshana kinds --json))
• Der Äquipartitionswert cdelay_sigma_ssqrt(g/N) für denselben Plan wird neben dem berechneten Wert mit dem Verhältnis ausgegeben, zusammen mit der isotropen Spurschranke sqrt(p/trace(M)), die AM-HM zu einer harten Untergrenze macht — das Verhältnis ist also die Anisotropie, die die Annahme verworfen hat. (Szenarioarten-Katalog (kshana kinds --json))
• MODELLED: Die Ephemeride des Mondzentrums, die Stationsuhren, die Troposphäre und die Erdorientierungsparameter werden FEST gehalten, und Beobachtungen werden als unabhängig behandelt, sodass die Kovarianz eine Cramér-Rao-Schranke für einen reduzierten Parametersatz ist und kein vorhergesagtes Sitzungsergebnis; die Laufzeit-Sigma, die Stationskoordinaten und der Plan sind Eingaben. (Szenarioarten-Katalog (kshana kinds --json))
• Die veröffentlichte Kette von D3 geht von einer Laufzeitpräzision pro Beobachtung über einen angenommenen ISOTROPEN Äquipartitionsfaktor g = 3 zu einer Unsicherheit der Stationskoordinaten. Dieser Schritt ist derjenige, den das Abstract der Arbeit selbst als modelliert statt gemessen bezeichnet. Dieses Szenario beseitigt ihn: Die Lunar-VLBI-Laufzeitpartialableitungen werden über einen realen Plan aus (Basislinie x Epoche)-Paaren zu einer Fisher-Informationsmatrix akkumuliert, invertiert und als (Kommentar der Szenariodatei, Zeilen 3 bis 8)
• Der Zustand enthält erdFESTE (ITRS) Koordinaten, sodass die Jacobi-Matrix die inertiale Partialableitung ist, gedreht durch die GCRS->ITRS-Matrix jeder Epoche: Die Erdrotation macht diese Koordinaten überhaupt erst beobachtbar, und der Bericht MISST den erdfesten Sichtlinien-Überstrich und die Beacon-Deklination, statt sie anzunehmen. Eine Beobachtung ist ein (Basislinie, Epoche)-Paar mit BEIDEN Stationen über der Elevationsmaske, gewichtet mit 1/delay (Kommentar der Szenariodatei, Zeilen 10 bis 14)
• Was im Bericht zu lesen ist * Sigma pro Station und Achse sowie 3-D-Sigma — die berechnete Antwort; * der Äquipartitionswert cdelay_sigma_ssqrt(g/N) für denselben Plan, daneben mit dem Verhältnis ausgegeben. Dieses Verhältnis IST die Anisotropie, die die Annahme verworfen hat, und die isotrope Spurschranke sqrt(p/trace(M)) macht AM-HM zu einer harten Untergrenze, sodass die Annahme nur unterschätzen kann; * Rang, Datumsdefekt, Konditionszahl, das vollständige sp (Kommentar der Szenariodatei, Zeilen 16 bis 26)

Siehe auch#

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