contact-schedule (scenariokind)

Scenariotype van de engine v0.40.0, familie Missieanalyse, verbindingen en ruimteoperaties. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen dienst voor het redden van mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een type is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Planning van grondcontacten voor meerdere satellieten boven meerdere stations: schijnbare toegangsvensters (SGP4, aardvast frame IAU 2006/2000A, refractie ITU-R P.834, lichttijd), het DVB-S2-ACM-datavolume van elke passage (drempels van ETSI EN 302 307-1 Table 13) en een conflictvrij schema (één satelliet per antenne met een omschakeltijd, één station per satelliet, prioriteitsgewogen aflevering begrensd tot elke achterstand) door een greedy-methode op marginale waarde, een first-come-basislijn en een exacte branch-and-bound op kleine verzamelingen, met de optimaliteitskloof van de greedy-methode. MODELLED.

Eén run van scenarios/contact-schedule.toml vat samen als: contact-schedule: 3 satellieten x 3 stations over 12 h -> 31 kandidaatcontacten, 22 ingepland; 797266 van 860000 Mbit afgeleverd (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

Het voorbeeld scenarios/contact-schedule.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/contact-schedule.toml

Wat het oplevert#

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

Resultaatlabel (van de engine): MODELLED — contactplan voor meerdere satellieten en meerdere stations: schijnbare toegangsvensters (SGP4, IAU 2006/2000A, refractie ITU-R P.834, lichttijd), DVB-S2-ACM-datavolume per passage uit een linkbudget bij onbewolkte hemel (drempels van ETSI EN 302 307-1 Table 13), en conflictoplossing (één satelliet per antenne met om

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

• 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 Kandidaatcontacten uit elke satelliet-stationpassage met haar ACM-datavolume; conflicten waarbij één antenne twee satellieten zou bedienen binnen haar omschakeltijd of één satelliet naar twee stations tegelijk zou downlinken; een prioriteitsgewogen aflevering

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 (AOS, TCA, LOS, maximale schijnbare elevatie, duur) van een SGP4-elementenset boven een WGS-84-station op het getoetste aardbaanpad (IAU 2006. Onafhankelijke referentie (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) met Hipparchus 4.0.3: TLEPropagator op dezelfde elementensets in een TEME die Orekit opbouwt volgens de vermelde definitie (zijn IERS 2010 TOD, geroteerd met GAST - GMST), ElevationDetector en ElevationExtremumDetector met en zonder ITURP834AtmosphericRefraction, en AngularAzEl met AngularRadioRefractionModifier voor het lichttijdgeval, waarbij doorgangen en maximum door Hipparchus worden opgelost; 60 gevallen (f
• MODELLED Downlink-Es/N0 langs elke passage van één satelliet boven één station (EIRP, vrije-ruimteverlies, atmosferisch verlies volgens de cosecanswet, overige verliezen, G/T, de constante van Boltzmann,. Onafhankelijke referentie (InternalConsistency): Interne consistentie: de spectrale efficiëntie, in gesloten vorm berekend uit Table 5a K_bch en de framelengtes, komt overeen met de efficiënties die Table 13 afdrukt (een transcriptiecontrole op de drempeltabel); de onderdelen van het linkbudget komen overeen met hun gesloten vormen; de selectie is monotoon in Es/N0 en houdt rekening met de marge; ACM verplaatst minstens het volume van de constante codering. De passagegeometrie komt uit het afzonderlijke VALIDATED a
• MODELLED Kandidaatcontacten uit elke satelliet-stationpassage met haar ACM-datavolume; conflicten waarbij één antenne twee satellieten zou bedienen binnen haar omschakeltijd of ée. Onafhankelijke referentie (InternalConsistency): Interne consistentie: de exacte branch-and-bound komt overeen met brute-force-opsomming op kleine willekeurige verzamelingen, elk plan wordt gecontroleerd op haalbaarheid tegen de conflictregels, en de greedy-methode verslaat het exacte optimum nooit. WAT NIET: er is geen externe planner of operationeel plan vergeleken; contacten worden als geheel genomen (geen splitsing), de achterstand ligt vast bij het begin van het venster, slewtijd boven de vaste omschakeltijd en boordopslag

Beperkingen#

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

• MODELLED — contactplan voor meerdere satellieten en meerdere stations: schijnbare toegangsvensters (SGP4, IAU 2006/2000A, refractie ITU-R P.834, lichttijd), DVB-S2-ACM-datavolume per passage uit een linkbudget bij onbewolkte hemel (drempels van ETSI EN 302 307-1 Table 13), en conflictoplossing (één satelliet per antenne met omschakeltijd, één station per satelliet) door een greedy-methode op marginale waarde, gecontroleerd tegen een exacte branch-and-bound; geen regenfading, (resultaat label)
• MODELLED. (kindcatalogus (kshana kinds --json))
• Elk getal hieronder is ILLUSTRATIVE: geen banen, stations of linkbudget van een operator. MODELLED: de planner wordt gecontroleerd tegen zijn eigen exacte oplosser, niet tegen een extern hulpmiddel. (opmerking in het scenariobestand, regels 11 tot 12)
• 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))
• DVB-S2 adaptieve codering en modulatie langs een LEO-downlinkpassage is MODELLED, niet extern getoetst: gecontroleerd tegen zijn eigen gesloten-vorm- of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Grondcontactplanning voor meerdere satellieten en meerdere stations met conflictoplossing is MODELLED, niet extern getoetst: gecontroleerd tegen zijn eigen gesloten-vorm- of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Missieanalyse, verbindingen en ruimteoperaties
• Alle kinds: KINDS.md
• Onderwerppagina: CONTACT-SCHEDULING.md