contact-schedule (scenariotype)

Scenariotype i motoren v0.40.0, familien Oppdragsanalyse, linker og romoperasjoner. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en tjeneste der liv og sikkerhet står på spill. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

Planlegging av bakkekontakt for flere satellitter over flere stasjoner: tilsynelatende tilgangsvinduer (SGP4, IAU 2006/2000A jordfast ramme, ITU-R P.834-refraksjon, lystid), DVB-S2 ACM-datavolumet for hver passering (ETSI EN 302 307-1 tabell 13 terskler) og en konfliktfri plan (én satellitt per antenne med en omstillingstid, én stasjon per satellitt, prioritetsvektet levering begrenset av hver etterslep) ved en grådig metode med marginalverdi, en først-til-mølla-grunnlinje og en eksakt branch and bound på små mengder, med den grådige metodens optimalitetsgap. MODELLED.

Én kjøring av scenarios/contact-schedule.toml oppsummeres som: contact-schedule: 3 satellites x 3 stations over 12 h -> 31 candidate contacts, 22 scheduled; 797266 of 860000 Mbit delivered (MODELLED)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

Eksempelet scenarios/contact-schedule.toml setter blant annet:

Kjør den#

kshana scenarios/contact-schedule.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens): MODELLED — multi-satellite, multi-station contact plan: apparent access windows (SGP4, IAU 2006/2000A, ITU-R P.834 refraction, light time), DVB-S2 ACM data volume per pass from a clear-sky link budget (ETSI EN 302 307-1 Table 13 thresholds), and conflict resolution (one satellite per antenna with tu

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED Es/N0 i nedlinken langs hvert pass av én satellitt over én stasjon (EIRP, frirom-tap, atmosfærisk tap etter kosekantloven, andre tap, G/T, Boltzmanns konstant, symbolrate), den mest effektive DVB-S2-MODCOD-en som klarer ETSI EN 302 307-
• MODELLED Kandidatkontakter fra hver passering mellom satellitt og stasjon med dens ACM-datavolum; konflikter der én antenne ville betjene to satellitter innenfor omstillingstiden eller én satellitt ville sende ned til to stasjoner samtidig; en prioritetsvektet levering

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• VALIDATED Synlighetspasseringer (AOS, TCA, LOS, maksimal tilsynelatende elevasjon, varighet) for et SGP4-elementsett over en WGS-84-stasjon på den validerte jordbanestien (IAU 2006. Uavhengig referanse (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) med Hipparchus 4.0.3: TLEPropagator på de samme elementsettene i en TEME som Orekit bygger etter den oppgitte definisjonen (dens IERS 2010 TOD rotert med GAST - GMST), ElevationDetector og ElevationExtremumDetector med og uten ITURP834AtmosphericRefraction, og AngularAzEl med AngularRadioRefractionModifier for tilfellet med lystid, krysninger og maksimum løst av Hipparchus; 60 tilfeller (f
• MODELLED Nedlinjens Es/N0 langs hver passering for én satellitt over én stasjon (EIRP, frirom-tap, atmosfærisk tap etter cosecant-loven, andre tap, G/T, Boltzmanns konstant,. Uavhengig referanse (InternalConsistency): Intern konsistens: den spektrale effektiviteten beregnet i lukket form fra tabell 5a K_bch og rammelengdene stemmer med effektivitetene som tabell 13 oppgir (en transkripsjonskontroll av terskeltabellen); delene av linkbudsjettet stemmer med sine lukkede former; valget er monotont i Es/N0 og respekterer marginen; ACM flytter minst like mye data som konstant koding. Passeringsgeometrien kommer fra den separat VALIDATED a
• MODELLED Kandidatkontakter fra hver passering mellom satellitt og stasjon med dens ACM-datavolum; konflikter der én antenne ville betjene to satellitter innenfor omstillingstiden eller en. Uavhengig referanse (InternalConsistency): Intern konsistens: den eksakte branch and bound stemmer med uttømmende opptelling på små tilfeldige mengder, hver plan kontrolleres som gjennomførbar mot konfliktreglene, og den grådige metoden slår aldri det eksakte optimum. HVA SOM IKKE ER: ingen ekstern planlegger eller operativ plan er sammenlignet; kontakter tas hele (ingen deling), etterslepet er fast ved vinduets start, svingetid utover den faste omstillingstiden og onboard s

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• MODELLED — multi-satellite, multi-station contact plan: apparent access windows (SGP4, IAU 2006/2000A, ITU-R P.834 refraction, light time), DVB-S2 ACM data volume per pass from a clear-sky link budget (ETSI EN 302 307-1 Table 13 thresholds), and conflict resolution (one satellite per antenna with turnaround, one station per satellite) by a marginal-value greedy checked against an exact branch and bound; no rain fade, (resultat label)
• MODELLED. (typekatalog (kshana kinds --json))
• Alle tall nedenfor er ILLUSTRATIVE: ingen operatørs baner, stasjoner eller linkbudsjett. MODELLED: planleggeren er kontrollert mot sin egen eksakte løser, ikke et eksternt verktøy. (kommentar i scenariofilen, linje 11 til 12)
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• DVB-S2 adaptiv koding og modulasjon langs en LEO-nedlinjepassering er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Bakkekontaktplanlegging med flere satellitter og flere stasjoner og konfliktløsning er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Oppdragsanalyse, linker og romoperasjoner
• Alle typer: KINDS.md
• Temaside: CONTACT-SCHEDULING.md