Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/contact-schedule.md

contact-schedule (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Missioonianalüüs, lingid ja kosmoseoperatsioonid. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne märgis on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas märgis teenitakse: README jaotis Evidence).

Mida see teeb#

Maajaamakontaktide planeerimine mitme satelliidi jaoks üle mitme jaama: näivad ligipääsuaknad (SGP4, IAU 2006/2000A Maaga seotud süsteem, ITU-R P.834 murdumine, valguse levimisaeg), iga pääsu DVB-S2 ACM andmemaht (ETSI EN 302 307-1 tabeli 13 lävendid) ja konfliktivaba ajakava (üks satelliit antenni kohta ümberpööramisajaga, üks jaam satelliidi kohta, prioriteediga kaalutud edastus, piiratud iga mahajäämusega) piirväärtuse ahne meetodiga, esimesena-tulnu baasjoone ja täpse hargne-ja-piira meetodiga väikestel hulkadel, koos ahne meetodi optimaalsuse lõhega. MODELLED.

Ühe scenarios/contact-schedule.toml jooksu kokkuvõte: contact-schedule: 3 satelliiti x 3 jaama 12 h jooksul -> 31 kandidaatkontakti, 22 ajastatud; 797266 / 860000 Mbit edastatud (MODELLED)

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

Näide scenarios/contact-schedule.toml määrab muu hulgas:

Väli Väärtus Ühik
duration_hours 12 h
epoch [2024, 1, 1, 0, 0, 0] ei ole märgitud
kind contact-schedule tekst
light_time true lipp
link.acm_step_s 10 s
link.eirp_dbw 7 dBW
link.frequency_ghz 8.2 GHz
link.implementation_margin_db 1 dB
link.other_losses_db 2 dB
link.symbol_rate_msps 20 Msymbol/s
link.zenith_atm_loss_db 0.3 dB
refraction true lipp

Käivitamine#

kshana scenarios/contact-schedule.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
candidate_contacts 31 arv
conflicting_pairs 5 arv
duration_hours 12 h
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
light_time true lipp
link.acm_step_s 10 s
link.eirp_dbw 7 dBW
link.frequency_ghz 8.2 GHz

Tulemuse silt (mootori oma): MODELLED — mitme satelliidi ja mitme jaamaga kontaktiplaan: näivad ligipääsuaknad (SGP4, IAU 2006/2000A, ITU-R P.834 murdumine, valguse levimisaeg), DVB-S2 ACM andmemaht pääsu kohta selge taeva lingibilansist (ETSI EN 302 307-1 tabeli 13 lävendid) ja konfliktide lahendamine (üks satelliit antenni kohta ümberpööramisega

Diagramm, mille mootor kirjutab failile scenarios/contact-schedule.toml, liik contact-schedule

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Allalingi Es/N0 piki iga ühe satelliidi läbilendu ühe jaama kohal (EIRP, vabaruumi sumbuvus, kosekansi-seadusel põhinev atmosfäärisumbuvus, muud kaod, G/T, Boltzmanni konstant, sümbolkiirus), kõige tõhusam DVB-S2 MODCOD, mis ületab oma ETSI EN 302 307-
  • MODELLED Kandidaatkontaktid igast satelliidi-jaama pääsust selle ACM andmemahuga; konfliktid, kus üks antenn teeniks kahte satelliiti oma ümberpööramisaja sees või üks satelliit saadaks allalingi kahele jaamale korraga; prioriteediga kaalutud edastus

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
  • VALIDATED SGP4 elemendikomplekti nähtavuspääsud (AOS, TCA, LOS, maksimaalne näiv kõrgus, kestus) WGS-84 jaama kohal valideeritud Maa orbiidi rajal (IAU 2006. Sõltumatu etalon (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) koos Hipparchus 4.0.3-ga: TLEPropagator samadel elemendikomplektidel TEME-s, mille Orekit ehitab väidetud määratluse järgi (selle IERS 2010 TOD, pööratud GAST - GMST võrra), ElevationDetector ja ElevationExtremumDetector koos ITURP834AtmosphericRefraction-iga ja ilma, ning AngularAzEl koos AngularRadioRefractionModifier-iga valguse levimisaja juhuks, ületused ja maksimum lahendatud Hipparchus-iga; 60 juhtu (f
  • MODELLED Allalingi Es/N0 ühe satelliidi iga pääsu jooksul ühe jaama kohal (EIRP, vabaruumi sumbuvus, kosekansi seaduse järgi atmosfäärisumbuvus, muud kaod, G/T, Boltzmanni konstant,. Sõltumatu etalon (InternalConsistency): Sisemine kooskõla: tabeli 5a K_bch-st ja kaadripikkustest suletud kujul arvutatud spektraalne efektiivsus ühtib efektiivsustega, mida tabel 13 trükib (lävetabeli ülekirjutuskontroll); lingibilansi osad ühtivad oma suletud kujuga; valik on Es/N0 suhtes monotoonne ja austab varu; ACM liigutab vähemalt konstantse kodeeringu mahu võrra. Pääsu geomeetria tuleb eraldi VALIDATED a
  • MODELLED Kandidaatkontaktid igast satelliidi-jaama pääsust selle ACM andmemahuga; konfliktid, kus üks antenn teeniks kahte satelliiti oma ümberpööramisaja sees või ü. Sõltumatu etalon (InternalConsistency): Sisemine kooskõla: täpne hargne-ja-piira meetod ühtib jõumeetodil ülelugemisega väikestel juhuslikel hulkadel, iga plaan kontrollitakse konfliktireeglite suhtes teostatavaks ja ahne meetod ei ületa kunagi täpset optimumi. MIS EI OLE: välist ajastajat ega operatiivplaani ei ole võrreldud; kontaktid võetakse tervikuna (ilma jagamiseta), mahajäämus on fikseeritud akna alguses, pöördeaeg peale fikseeritud ümberpööramise ja pardal s

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • MODELLED — mitme satelliidi ja mitme jaamaga kontaktiplaan: näivad ligipääsuaknad (SGP4, IAU 2006/2000A, ITU-R P.834 murdumine, valguse levimisaeg), DVB-S2 ACM andmemaht pääsu kohta selge taeva lingibilansist (ETSI EN 302 307-1 tabeli 13 lävendid) ja konfliktide lahendamine (üks satelliit antenni kohta ümberpööramisega, üks jaam satelliidi kohta) piirväärtuse ahne meetodiga, mida kontrollitakse täpse hargne-ja-piira meetodi vastu; sademetest tingitud tuhmumist ei ole, (tulemus label)
  • MODELLED. (liikide kataloog (kshana kinds --json))
  • Iga allolev arv on ILLUSTRATIVE: mitte ühegi operaatori orbiidid, jaamad ega lingibilanss. MODELLED: ajastajat kontrollitakse oma täpse lahendaja vastu, mitte välise tööriista vastu. (stsenaariumifaili kommentaar, read 11 kuni 12)
  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • DVB-S2 adaptiivne kodeerimine ja modulatsioon LEO allalingi pääsu jooksul on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Mitme satelliidi ja mitme jaamaga maajaamakontaktide ajastamine konfliktide lahendamisega on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#