contact-schedule (scenarietype)

Scenarietype i motoren v0.40.0, familien Missionsanalyse, forbindelser og rumoperationer. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke typegodkendt navigationsudstyr og ikke en tjeneste til beskyttelse af menneskeliv. Hver etiket her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en etiket optjenes: afsnittet Evidence i README'en).

Hvad det gør#

Planlægning af jordkontakter for flere satellitter over flere stationer: tilsyneladende adgangsvinduer (SGP4, IAU 2006/2000A jordfast system, ITU-R P.834-refraktion, lystid), DVB-S2-ACM-datavolumen for hver overflyvning (tærskler i ETSI EN 302 307-1 Table 13) og en konfliktfri plan (én satellit pr. antenne med en omstillingstid, én station pr. satellit, prioritetsvægtet levering begrænset til hvert efterslæb) ved en grådig metode med marginalværdi, en først-til-mølle-baseline og en eksakt branch and bound på små mængder, med den grådige metodes optimalitetsgab. MODELLED.

Én kørsel af scenarios/contact-schedule.toml opsummeres som: contact-schedule: 3 satellitter x 3 stationer over 12 h -> 31 kandidatkontakter, 22 planlagt; 797266 af 860000 Mbit leveret (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

Eksemplet scenarios/contact-schedule.toml angiver blandt andet:

Kør den#

kshana scenarios/contact-schedule.toml

Hvad den giver#

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

Resultatmærkat (motorens egen): MODELLED — kontaktplan for flere satellitter og flere stationer: tilsyneladende adgangsvinduer (SGP4, IAU 2006/2000A, ITU-R P.834-refraktion, lystid), DVB-S2-ACM-datavolumen pr. overflyvning ud fra et linkbudget ved klar himmel (tærskler i ETSI EN 302 307-1 Table 13) og konfliktløsning (én satellit pr. antenne med tu

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• 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 Kandidatkontakter fra hver overflyvning mellem satellit og station med dens ACM-datavolumen; konflikter, hvor én antenne ville betjene to satellitter inden for sin omstillingstid, eller hvor én satellit ville downlinke til to stationer samtidig; en prioritetsvægtet leveri

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 Synlighedsoverflyvninger (AOS, TCA, LOS, maksimal tilsyneladende elevation, varighed) af et SGP4-elementsæt over en WGS-84-station på den validerede jordbanesti (IAU 2006. Uafhængig reference (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) med Hipparchus 4.0.3: TLEPropagator på de samme elementsæt i en TEME, som Orekit bygger efter den angivne definition (dens IERS 2010 TOD roteret med GAST - GMST), ElevationDetector og ElevationExtremumDetector med og uden ITURP834AtmosphericRefraction, og AngularAzEl med AngularRadioRefractionModifier for tilfældet med lystid, hvor skæringer og maksimum løses af Hipparchus; 60 tilfælde (f
• MODELLED Downlink-Es/N0 langs hver overflyvning af én satellit over én station (EIRP, frirumstab, atmosfærisk tab efter cosecant-loven, øvrige tab, G/T, Boltzmanns konstant,. Uafhængig reference (InternalConsistency): Intern konsistens: den spektrale effektivitet, beregnet på lukket form ud fra Table 5a K_bch og rammelængderne, stemmer med de effektiviteter, som Table 13 angiver (en transskriptionskontrol af tærskeltabellen); linkbudgettets dele stemmer med deres lukkede former; valget er monotont i Es/N0 og overholder marginen; ACM flytter mindst konstantkodningens volumen. Overflyvningsgeometrien kommer fra den separat VALIDATED a
• MODELLED Kandidatkontakter fra hver overflyvning mellem satellit og station med dens ACM-datavolumen; konflikter, hvor én antenne ville betjene to satellitter inden for sin omstillingstid, eller hvor én o. Uafhængig reference (InternalConsistency): Intern konsistens: den eksakte branch and bound stemmer med brute-force-optælling på små tilfældige mængder, hver plan kontrolleres at være mulig mod konfliktreglerne, og den grådige metode slår aldrig det eksakte optimum. HVAD DER IKKE ER: ingen ekstern planlægger eller operativ plan er sammenlignet; kontakter tages hele (ingen opdeling), efterslæbet er fast ved vinduets start, slewtid ud over den faste omstillingstid og onboard s

Begrænsninger#

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

• MODELLED — kontaktplan for flere satellitter og flere stationer: tilsyneladende adgangsvinduer (SGP4, IAU 2006/2000A, ITU-R P.834-refraktion, lystid), DVB-S2-ACM-datavolumen pr. overflyvning ud fra et linkbudget ved klar himmel (tærskler i ETSI EN 302 307-1 Table 13) og konfliktløsning (én satellit pr. antenne med omstillingstid, én station pr. satellit) ved en grådig metode med marginalværdi kontrolleret mod en eksakt branch and bound; intet regnfald, (resultat label)
• MODELLED. (typekatalog (kshana kinds --json))
• Hvert tal nedenfor er ILLUSTRATIVE: ingen operatørs baner, stationer eller linkbudget. MODELLED: planlæggeren kontrolleres mod sin egen eksakte løser, ikke et eksternt værktøj. (kommentar i scenariefilen, linje 11 til 12)
• 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))
• DVB-S2 adaptiv kodning og modulation langs en LEO-downlink-overflyvning er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Planlægning af jordkontakter for flere satellitter og flere stationer med konfliktløsning er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Missionsanalyse, links og rumoperationer
• Alle typer: KINDS.md
• Emneside: CONTACT-SCHEDULING.md