Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/ephemeris.md

ephemeris (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Konstelace, pokrytí a geometrie. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Efemeridy a pozemní stopa: propagace jedné družice (TLE→SGP4 nebo analytická dráha) a výstup jejího stavu TEME/GCRS (poloha + rychlost), polohy ITRF/ECEF, podsatelitní zeměpisné šířky/délky/výšky WGS-84 a pro každý krok azimutu/elevace/vzdálenosti stanice + rychlosti změny vzdálenosti (Doppler). Družice pochází z tle nebo z analytické orbit s jejím epoch (tle má přednost, jsou-li zadány obě); s tle přepíše epoch vlastní epochu TLE jako t = 0.

Jeden běh scenarios/ephemeris.toml se shrnuje takto: scénář 0d4dd01b3160 | sgp4 (TLE) | 559 vzorků | výška 419–434 km | |šířka| ≤ 51,8° | rychlost 7653–7661 m/s | max. elevace 25,7° špičkový Doppler 34,3 kHz

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: tle|orbit+epoch
  • Volitelná pole: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

Příklad scenarios/ephemeris.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
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

Spusťte jej#

kshana scenarios/ephemeris.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
alt_max_km 433.646 km
alt_min_km 419.45893 km
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
jd_utc0 2.4589e6 den
lat_max_deg 51.799739 deg
lat_min_deg -51.799121 deg
max_elevation_deg 25.703587 deg
n_samples 559 počet
Graf, který engine zapisuje pro scenarios/ephemeris.toml, druh ephemeris

Důkazy#

VALIDATED: řádky verifikační matice, které tento druh uvádějí.

  • VALIDATED Rotace Země ze dvoudílného juliánského data UT1 na dráhové větvi, takže poloha v zemské soustavě zachová mikrosekundu, kterou jednoduché datum f64 ztrácí (asi 3e-9 rad v okolí 2020): jd2::gmst82 (IAU 1982 GMST, konvence TEME, na dvou dílech), cio:

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • VALIDATED SGP4/SDP4, Cowell 6-DOF + poruchy, dávkové/sekvenční OD. Oracle (ExternalDataset): verifikační vektory SGP4 podle AIAA 2006-6753
  • VALIDATED Precese-nutace IAU 2006/2000A, CIO GCRS↔ITRS, časové stupnice s přestupnými sekundami. Oracle (ExternalDataset): referenční vektory IAU SOFA / ERFA; Vallado AIAA 2006-6753 (0,1–4 mm)
  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#