Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/ephemeris.md

ephemeris (scenarietype)

Scenarietype i motoren v0.40.0, familie Konstellationer, dækning og geometri. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Efemeride og jordspor: propager én satellit (TLE→SGP4 eller analytisk bane) og udsend dens TEME/GCRS-tilstand (position + hastighed), ITRF/ECEF-position, WGS-84-subsatellitbredde/-længde/-højde og pr. skridt stationens az/el/afstand + afstandsrate (Doppler). Satellitten kommer fra en tle eller fra en analytisk orbit med dens epoch (en tle vinder, når begge er angivet); med en tle tilsidesætter en epoch TLE'ens egen epoke som t = 0.

Én kørsel af scenarios/ephemeris.toml opsummeres som: scenario 0d4dd01b3160 | sgp4 (TLE) | 559 samples | højde 419–434 km | |bredde| ≤ 51,8° | hastighed 7653–7661 m/s | maks. el 25,7° peak-Doppler 34,3 kHz

Input#

Fra skemaet (kshana kinds --json):

  • Obligatoriske felter: tle|orbit+epoch
  • Valgfrie felter: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

Eksemplet scenarios/ephemeris.toml angiver blandt andet:

Felt Værdi Enhed
duration_s 16740 s
dut1_s 0 s
kind ephemeris tekst
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- tekst
xp_arcsec 0 arcsec
yp_arcsec 0 arcsec

Kør den#

kshana scenarios/ephemeris.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
alt_max_km 433.646 km
alt_min_km 419.45893 km
evidence.id_rule det stabile id for matrixrækken (kolonnen ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
jd_utc0 2.4589e6 day
lat_max_deg 51.799739 deg
lat_min_deg -51.799121 deg
max_elevation_deg 25.703587 deg
n_samples 559 antal
Diagrammet, som motoren skriver for scenarios/ephemeris.toml, scenarietype ephemeris

Evidens#

VALIDATED: rækkerne i verifikationsmatrixen, som nævner denne type.

  • VALIDATED Jordens rotation ud fra en todelt juliansk UT1-dato på banestien, så den jordfaste position bevarer det mikrosekund, som en enkelt f64-dato mister (omkring 3e-9 rad ved 2020): jd2::gmst82 (IAU 1982 GMST, TEME-konventionen, på de to dele), cio:

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • VALIDATED SGP4/SDP4, Cowell 6-DOF + perturbationer, batch/sekventiel OD. Uafhængig reference (ExternalDataset): AIAA 2006-6753 SGP4-verifikationsvektorer
  • VALIDATED IAU 2006/2000A-præcession-nutation, CIO GCRS↔ITRS, tidsskalaer med skudsekunder. Uafhængig reference (ExternalDataset): IAU SOFA / ERFA-referencevektorer; Vallado AIAA 2006-6753 (0,1–4 mm)
  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#