passes (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á#

Predikce přeletů nad pozemní stanicí: časová oblast viditelnostních přeletů (AOS/TCA/LOS, maximální zdánlivá elevace, trvání) kruhové oběžné dráhy, jako střední prvky SGP4 na začátku okna, nad stanicí nad maskou elevace v rámci okna, s celkovým časem přístupu. Propagace SGP4/SDP4 v zemské soustavě IAU 2006/2000A (volitelně UT1 − UTC a pohyb pólu), troposférická refrakce ITU-R P.834-9 a světelný čas při sestupném spoji (obojí ve výchozím stavu zapnuto), průsečíky řešené na 1e-7 s a kulminace metodou zlatého řezu. Geometrie přeletů je VALIDATED vůči Orekitu 13.1.8 na stanicích v úrovni moře; oběžná dráha a stanice ve scénáři jsou ilustrativní vstupy.

Jeden běh scenarios/passes.toml se shrnuje takto: passes: 5 přelet(ů) oběžné dráhy 550 km / 97,6° nad (52,2°, 4,4°) > 10° za 24 h; celkový přístup 1659 s (MODELLED)

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

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

Spusťte jej#

kshana scenarios/passes.toml

Co poskytuje#

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

Popisek výsledku (z enginu): MODELLED — predikce přeletů nad pozemní stanicí v časové oblasti; propagace SGP4/SDP4, zemská soustava IAU 2006/2000A (UT1 = UTC, bez pohybu pólu, pokud nejsou zadány parametry orientace Země), zdánlivá elevace s refrakcí ITU-R P.834-9 a světelným časem, je-li zapnut, průsečíky a kulminace zpřesněné pod úroveň kroku

Důkazy#

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

• VALIDATED Viditelnostní přelety v časové oblasti (AOS/TCA/LOS, max. elevace, trvání) propagátoru enginu nad stanicí nad maskou elevace, s interpolovanými průsečíky vzestupu/západu a celkovým přístupem: passes::predict_passes, geometrický plánovač (bez Testy: ground_station_pass_prediction_reference.rs.
• VALIDATED Viditelnostní přelety (AOS, TCA, LOS, maximální zdánlivá elevace, trvání) sady prvků SGP4 nad stanicí WGS-84 na ověřené dráze pro oběžné dráhy kolem Země (IAU 2006/2000A, volitelné parametry orientace Země), s troposférickou ITU-R P.834-9 Testy: pass_predictor_on_path_orekit_oracle.rs.
• MODELLED Es/N0 downlinku podél každého přeletu jedné družice nad jednou stanicí (EIRP, ztráta ve volném prostoru, atmosférická ztráta podle kosekantového zákona, ostatní ztráty, G/T, Boltzmannova konstanta, symbolová rychlost), nejúčinnější MODCOD DVB-S2, který splňuje svůj ETSI EN 302 307-
• MODELLED Jeden běh převezme plán kontaktů (seznam oken aos_s/los_s, z nichž každé požaduje po apertuře navigaci nebo komunikaci, tedy stejný slovník oken, jaký vydává passes::predict_passes, převedený funkcí aperture_duty::windows_from_passes), počet apert

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

• 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
• VALIDATED Viditelnostní přelety v časové oblasti (AOS/TCA/LOS, max. elevace, trvání) propagátoru enginu nad stanicí nad maskou elevace, s interpolovanými vzestupy/západy . Orákulum (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) + Hipparchus 3,1 — nezávislá knihovna letové dynamiky: ElevationDetector (hledač kořenů Brent) + EventsLogger nad efemeridou ITRF, stanice jako TopocentricFrame WGS-84. AOS/LOS/max. elevace/počet přeletů/celkový přístup se shodovaly při shodné dráze+stanici+masce+okně (potvrzená fixtura; ovladač xval/orekit-passes)

Omezení#

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

• MODELLED — predikce přeletů nad pozemní stanicí v časové oblasti; propagace SGP4/SDP4, zemská soustava IAU 2006/2000A (UT1 = UTC, bez pohybu pólu, pokud nejsou zadány parametry orientace Země), zdánlivá elevace s refrakcí ITU-R P.834-9 a světelným časem, je-li zapnut, průsečíky a kulminace zpřesněné pod úroveň kroku (výsledek label)
• 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é#

• Stránka rodiny: Konstelace, pokrytí a geometrie
• Všechny druhy: KINDS.md
• Stránka tématu: CONTACT-SCHEDULING.md