Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (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 relativistische Uhrenrate Erde–Mond (Lunar Coordinate Time, LTC/TCL): die säkulare Rate LTC−TT aus der Differenz der Eigenpotenziale und dem kinetischen Term des Mondes, ausgegeben mit dem veröffentlichten Band von 56–59 µs/Tag, plus der über einen Horizont akkumulierte Versatz.

Ein Lauf von scenarios/lunar-time-offset.toml fasst sich so zusammen: lunar-time-offset | secular LTC−TT rate 57,04 µs/day (band 56–59) | self-pot 57,50 kinetic -0.46 | offset @ 1,00 d = 57,04 µs

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: epoch_year, epoch_month, epoch_day, horizon_days

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

Feld Wert Einheit
epoch_day 1 d
epoch_month 1 nicht angegeben
epoch_year 2000 nicht angegeben
horizon_days 1 Tag
kind lunar-time-offset Text

Ausführen#

kshana scenarios/lunar-time-offset.toml

Was es liefert#

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

Ergebnis Wert Einheit
band_high 59 us/day
band_low 56 us/day
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
horizon_days 1 Tag
kinetic_us_per_day -0.458241 us/day
offset_at_horizon_us 57.043632 us
secular_rate_us_per_day 57.043632 us/day
self_potential_us_per_day 57.501873 us/day
Das Diagramm, das die Engine für scenarios/lunar-time-offset.toml schreibt, Art lunar-time-offset

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 Relativistische Uhrenrate Erde-Mond (LTC/TCL) + Verkettung TT/TAI/UTC + Ensemble. Orakel (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; Grundlage der LTC von IAU/IAG LunaNet): Eigenpotenzial der Mondoberfläche L_m = 3.13881e-11 und säkulare Gesamtrate 56,02 µs/Tag, übereinstimmend als veröffentlichte Zahlenwerte; geozentrische Geschwindigkeit des Mondes gegengeprüft mit JPL DE440 (de440s.bsp über SPICE)

Einschränkungen#

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

  • Ehrlichkeit: MODELLED, nicht zertifiziert. Die Kennzahl us/Tag hängt von der Referenz ab (Geoid W0 der Erde gegenüber einem lunaren Selenoid, das Zeitmittelungsfenster, vernachlässigte Zentrifugal-/J2-Korrekturen unter us/Tag) -> ein Band, keine einzelne Zahl, ist die ehrliche Ausgabe. Nichts hier ist auf eine absolute Genauigkeit im Subnanosekundenbereich validiert oder für den operativen Zeithaltebetrieb zertifiziert. Der Bericht gibt außerdem den akkumulierten LTC-TT-Versatz über den Hori (Kommentar in der Szenariodatei, Zeilen 11 bis 16)
  • 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#