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

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/ephemeris.md

ephemeris (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Konstellationen, Abdeckung und Geometrie. 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#

Ephemeride und Bodenspur: einen Satelliten propagieren (TLE→SGP4 oder analytische Bahn) und seinen TEME-/GCRS-Zustand (Position + Geschwindigkeit), die ITRF-/ECEF-Position, Breite/Länge/Höhe des WGS-84-Subsatellitenpunkts und je Schritt Azimut/Elevation/Entfernung + Entfernungsrate (Doppler) der Station ausgeben. Der Satellit stammt aus einem tle oder aus einer analytischen orbit mit ihrer epoch (ein tle hat Vorrang, wenn beide angegeben sind); bei einem tle überschreibt eine epoch die eigene Epoche des TLE als t = 0.

Ein Lauf von scenarios/ephemeris.toml fasst sich so zusammen: scenario 0d4dd01b3160 | sgp4 (TLE) | 559 samples | alt 419–434 km | |lat| ≤ 51,8° | speed 7653–7661 m/s | max el 25,7° peak Doppler 34,3 kHz

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: tle|orbit+epoch
  • Optionale Felder: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

Das Beispiel scenarios/ephemeris.toml setzt unter anderem:

Feld Wert Einheit
duration_s 16740 s
dut1_s 0 s
kind ephemeris Text
station.alt_m 144 m
station.lat_deg 49.8707 deg
station.lon_deg 8.6217 deg
step_s 30 s
tle 1 25544U 98067A 20045,18587073 .00000950 00000-0 25302- Text
xp_arcsec 0 arcsec
yp_arcsec 0 arcsec

Ausführen#

kshana scenarios/ephemeris.toml

Was es liefert#

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

Ergebnis Wert Einheit
alt_max_km 433.646 km
alt_min_km 419.45893 km
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
jd_utc0 2.4589e6 Tag
lat_max_deg 51.799739 deg
lat_min_deg -51.799121 deg
max_elevation_deg 25.703587 deg
n_samples 559 Anzahl
Das Diagramm, das die Engine für scenarios/ephemeris.toml schreibt, Art ephemeris

Nachweise#

VALIDATED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

  • VALIDATED Erddrehung aus einem zweiteiligen UT1-Julianischen Datum auf dem Bahnpfad, sodass die erdfeste Position die Mikrosekunde behält, die ein Datum aus einem einzelnen f64 verliert (etwa 3e-9 rad nahe 2020): jd2::gmst82 (IAU-1982-GMST, die TEME-Konvention, auf den zwei Teilen), cio:

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):

  • VALIDATED SGP4/SDP4, Cowell mit 6 Freiheitsgraden + Störungen, Batch-/sequenzielle Bahnbestimmung. Unabhängige Referenz (ExternalDataset): SGP4-Verifikationsvektoren nach AIAA 2006-6753
  • VALIDATED IAU-2006/2000A-Präzession-Nutation, CIO GCRS↔ITRS, Schaltsekunden-Zeitskalen. Unabhängige Referenz (ExternalDataset): IAU-SOFA-/ERFA-Referenzvektoren; Vallado AIAA 2006-6753 (0,1–4 mm)
  • 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

Einschränkungen#

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

  • 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#