passes (scenariosoort)

Scenariokind van de engine v0.40.0, familie Constellaties, dekking en geometrie. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Voorspelling van grondstationpassages: de passages in het tijddomein (AOS/TCA/LOS, maximale schijnbare elevatie, duur) van een cirkelvormige baan, als gemiddelde SGP4-elementen aan het begin van het venster, boven een station boven een elevatiemasker gedurende een venster, met totale toegangstijd. SGP4/SDP4-propagatie in het aardvaste IAU 2006/2000A-referentiestelsel (optioneel UT1 - UTC en poolbeweging), troposferische refractie volgens ITU-R P.834-9 en de lichttijd van de downlink (beide standaard aan), doorgangen opgelost tot 1e-7 s en de culminatie met gulden-snede-zoeken. De passagegeometrie is VALIDATED ten opzichte van Orekit 13.1.8 op stations op zeeniveau; de baan en het station van het scenario zijn illustratieve invoer.

Eén run van scenarios/passes.toml vat samen als: passes: 5 passage(s) van een baan van 550 km / 97,6° boven (52,2°, 4,4°) > 10° in 24 h; 1659 s totale toegangstijd (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

Het voorbeeld scenarios/passes.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/passes.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaatlabel (van de engine): MODELLED — tijddomeinvoorspelling van grondstationpassages; SGP4/SDP4-propagatie, aardvast IAU 2006/2000A-referentiestelsel (UT1 = UTC, geen poolbeweging tenzij aardoriëntatieparameters worden gegeven), schijnbare elevatie met refractie volgens ITU-R P.834-9 en lichttijd indien ingeschakeld, doorgangen en culminatie verfijnd

Bewijs#

MODELLED 2 · VALIDATED 2: de rijen van de verificatiematrix die deze soort noemen.

• VALIDATED Zichtbaarheidspassages in het tijddomein (AOS/TCA/LOS, maximale elevatie, duur) van een propagator van de engine boven een station boven een elevatiemasker, met geïnterpoleerde op- en ondergangsdoorgangen en totale toegang: passes::predict_passes, de geometrische planner (geen Tests: ground_station_pass_prediction_reference.rs.
• VALIDATED Zichtbaarheidspassages (AOS, TCA, LOS, maximale schijnbare elevatie, duur) van een SGP4-elementenset boven een WGS-84-station op het getoetste pad voor aardbanen (IAU 2006/2000A, optionele aardoriëntatieparameters), met troposferische ITU-R P.834-9 Tests: pass_predictor_on_path_orekit_oracle.rs.
• MODELLED Downlink-Es/N0 langs elke passage van één satelliet boven één station (EIRP, vrijeruimteverlies, atmosferisch verlies volgens de cosecanswet, overige verliezen, G/T, de constante van Boltzmann, symbolsnelheid), de efficiëntste DVB-S2-MODCOD die zijn ETSI EN 302 307-
• MODELLED Eén run neemt een contactplan (een lijst van aos_s/los_s-vensters, elk met een verzoek aan de apertuur om navigatie of communicatie — dezelfde vensterwoordenschat die passes::predict_passes uitgeeft, omgezet door aperture_duty::windows_from_passes), een apert

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• VALIDATED Zichtbaarheidspassages in het tijddomein (AOS/TCA/LOS, maximale elevatie, duur) van een propagator van de engine boven een station boven een elevatiemasker, met geïnterpoleerde op-/ondergang . Onafhankelijke referentie (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) + Hipparchus 3,1 — een onafhankelijke vluchtdynamicabibliotheek: ElevationDetector (Brent-nulpuntzoeker) + EventsLogger over een ITRF-efemeride, station als WGS-84 TopocentricFrame. AOS/LOS/maximale elevatie/aantal passages/totale toegang kwamen overeen bij identieke baan+station+masker+venster (vastgelegde fixture; driver xval/orekit-passes)

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• MODELLED — tijddomeinvoorspelling van grondstationpassages; SGP4/SDP4-propagatie, aardvast IAU 2006/2000A-referentiestelsel (UT1 = UTC, geen poolbeweging tenzij aardoriëntatieparameters worden gegeven), schijnbare elevatie met refractie volgens ITU-R P.834-9 en lichttijd indien ingeschakeld, doorgangen en culminatie verfijnd tot onder de stap (resultaat label)
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Constellaties, dekking en geometrie
• Alle kinds: KINDS.md
• Onderwerppagina: CONTACT-SCHEDULING.md