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

Forudsigelse af overflyv for jordstationer: de tidsdomæne-baserede synlighedsoverflyv (AOS/TCA/LOS, maksimal tilsyneladende elevation, varighed) for en cirkulær bane, som SGP4-middelelementer ved vinduets start, over en station over en elevationsmaske på tværs af et vindue, med den samlede adgangstid. SGP4/SDP4-propagering i det jordfaste system IAU 2006/2000A (valgfri UT1 - UTC og polbevægelse), troposfærisk refraktion efter ITU-R P.834-9 og lystiden for downlink (begge slået til som standard), krydsninger løst til 1e-7 s og kulminationen ved gyldensnitssøgning. Overflyvsgeometrien er VALIDATED mod Orekit 13.1.8 ved stationer i havets niveau; scenariets bane og station er illustrative input.

Én kørsel af scenarios/passes.toml opsummeres som: passes: 5 overflyv af en bane på 550 km / 97,6° over (52,2°, 4,4°) > 10° på 24 t; 1659 s samlet adgang (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

Eksemplet scenarios/passes.toml angiver blandt andet:

Kør den#

kshana scenarios/passes.toml

Hvad den giver#

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

Resultatetiket (motorens egen): MODELLED — tidsdomænebaseret forudsigelse af overflyv for jordstationer; SGP4/SDP4-propagering, jordfast system IAU 2006/2000A (UT1 = UTC, ingen polbevægelse, medmindre der angives jordorienteringsparametre), tilsyneladende elevation med refraktion efter ITU-R P.834-9 og lystid, når de er slået til, krydsninger og kulmination forfin

Evidens#

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

• VALIDATED Tidsdomænebaserede synlighedsoverflyv (AOS/TCA/LOS, maks. elevation, varighed) for en propagator i motoren over en station over en elevationsmaske, med interpolerede krydsninger for opgang/nedgang og samlet adgang: passes::predict_passes, den geometriske planlægger (ingen Tests: ground_station_pass_prediction_reference.rs.
• VALIDATED Synlighedsoverflyv (AOS, TCA, LOS, maksimal tilsyneladende elevation, varighed) for et SGP4-elementsæt over en WGS-84-station på den validerede vej for jordbaner (IAU 2006/2000A, valgfrie jordorienteringsparametre), med troposfærisk refraktion efter ITU-R P.834-9 Tests: pass_predictor_on_path_orekit_oracle.rs.
• MODELLED Downlink Es/N0 langs hver passage af én satellit over én station (EIRP, tab i frit rum, atmosfærisk tab efter cosecant-loven, andre tab, G/T, Boltzmanns konstant, symbolrate), den mest effektive DVB-S2 MODCOD, der klarer sin ETSI EN 302 307-
• MODELLED Én kørsel tager en kontaktplan (en liste af aos_s/los_s-vinduer, der hver beder aperturen om navigation eller kommunikation — det samme vinduesordforråd, som passes::predict_passes udsender, konverteret af aperture_duty::windows_from_passes), en apert

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

• 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
• VALIDATED Tidsdomænebaserede synlighedsoverflyv (AOS/TCA/LOS, maks. elevation, varighed) for en propagator i motoren over en station over en elevationsmaske, med interpoleret opgang/nedgang . Uafhængig reference (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) + Hipparchus 3,1 — et uafhængigt flyvedynamikbibliotek: ElevationDetector (Brents rodfinder) + EventsLogger over en ITRF-efemeride, stationen som en WGS-84 TopocentricFrame. AOS/LOS/maks. elevation/antal overflyv/samlet adgang stemte på identisk bane, station, maske og vindue (indsendt fixture; driver xval/orekit-passes)

Begrænsninger#

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

• MODELLED — tidsdomænebaseret forudsigelse af overflyv for jordstationer; SGP4/SDP4-propagering, jordfast system IAU 2006/2000A (UT1 = UTC, ingen polbevægelse, medmindre der angives jordorienteringsparametre), tilsyneladende elevation med refraktion efter ITU-R P.834-9 og lystid, når de er slået til, krydsninger og kulmination forfinet under trinnet (resultat label)
• 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å#

• Familieside: Konstellationer, dækning og geometri
• Alle typer: KINDS.md
• Emneside: CONTACT-SCHEDULING.md