Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/ephemeris.md

ephemeris (scenario kind)

Scenariotyp i motor v0.40.0, familj Konstellationer, täckning och geometri. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Efemerid och markspår: propagera en satellit (TLE→SGP4 eller analytisk bana) och ge dess TEME/GCRS-tillstånd (position + hastighet), ITRF/ECEF-position, WGS-84 sub-satellitens lat/lon/höjd samt stationens az/el/avstånd + avståndshastighet (Doppler) per steg. Satelliten kommer från en tle eller från en analytisk orbit med dess epoch (en tle har företräde när båda anges); med en tle åsidosätter en epoch TLE:ns egen epok som t = 0.

En körning av scenarios/ephemeris.toml sammanfattas som: 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

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: tle|orbit+epoch
  • Valfria fält: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

Exemplet scenarios/ephemeris.toml anger bland annat:

Fält Värde Enhet
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 bågsekunder
yp_arcsec 0 bågsekunder

Kör den#

kshana scenarios/ephemeris.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
alt_max_km 433.646 km
alt_min_km 419.45893 km
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
jd_utc0 2.4589e6 dygn
lat_max_deg 51.799739 deg
lat_min_deg -51.799121 deg
max_elevation_deg 25.703587 deg
n_samples 559 antal
Diagrammet som motorn skriver för scenarios/ephemeris.toml, kind ephemeris

Evidens#

VALIDATED: raderna i verifieringsmatrisen som nämner den här typen.

  • VALIDATED Jordrotation från ett tvådelat UT1-juliandatum på banvägen, så att den jordfasta positionen behåller den mikrosekund som ett enda f64-datum förlorar (cirka 3e-9 rad nära 2020): jd2::gmst82 (IAU 1982 GMST, TEME-konventionen, på de två delarna), cio:

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • VALIDATED SGP4/SDP4, Cowell 6-DOF + störningar, batch-/sekventiell banbestämning. Oracle (ExternalDataset): AIAA 2006-6753 SGP4-verifieringsvektorer
  • VALIDATED IAU 2006/2000A precession-nutation, CIO GCRS↔ITRS, tidsskalor med skottsekunder. Oracle (ExternalDataset): IAU SOFA / ERFA-referensvektorer; Vallado AIAA 2006-6753 (0,1–4 mm)
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#