acm-link (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#
Üks satelliit ühe jaama kohal: iga läbilennu kaldkaugus, kõrgusnurk ja Es/N0 piki läbilendu, igal sammul valitud DVB-S2 MODCOD (ETSI EN 302 307-1 tabeli 13 läved pluss realisatsioonivaru) ja andmemaht, mida ACM liigutab võrreldes konstantse kodeerimise lähtetasemega, mis sulgub maskil. MODELLED.
Ühe käivituse scenarios/acm-link.toml kokkuvõte on: acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)
Sisendid#
Skeemist (kshana kinds --json):
- Nõutavad väljad: puuduvad
- Valikulised väljad:
epoch,duration_hours,step_s,refraction,light_time,link,satellite,station
Näide scenarios/acm-link.toml seab muu hulgas:
| Väli | Väärtus | Ühik |
|---|---|---|
duration_hours |
12 | h |
epoch |
[2024, 1, 1, 0, 0, 0] | ei ole märgitud |
kind |
acm-link | 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/acm-link.toml
Mida see annab#
Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:
| Tulemus | Väärtus | Ühik |
|---|---|---|
acm_gain |
1.587588 | 1 |
acm_volume_mbit |
92866.013644 | Mbit |
altitude_km |
550 | km |
ccm_es_n0_at_mask_db |
9.550995 | dB |
ccm_modcod |
8PSK 3/4 | tekst |
ccm_volume_mbit |
58495.039442 | Mbit |
duration_hours |
12 | h |
eirp_dbw |
7 | dBW |
evidence.id_rule |
maatriksi rea stabiilne id (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
Tulemuse märgis (mootori oma): MODELLED — DVB-S2 adaptiivne kodeerimine ja modulatsioon ühe satelliidi läbilendudel ühes jaamas: selge taeva Es/N0 piki iga nähtavat läbilendu, kõige tõhusam MODCOD, mis ületab oma ETSI EN 302 307-1 tabeli 13 läve pluss varu, võrreldes konstantse kodeerimise MODCOD-iga, mis sulgub maskil; ilma vihmasumb
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-
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
Piirangud#
Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:
- MODELLED — DVB-S2 adaptiivne kodeerimine ja modulatsioon ühe satelliidi pääsude jooksul ühe jaama kohal: selge taeva Es/N0 mööda iga näivat pääsu, kõige efektiivsem MODCOD, mis ületab oma ETSI EN 302 307-1 tabeli 13 läve pluss varu, võrreldes konstantse kodeeringuga MODCOD-iga, mis sulgub maskil; sademetest tingitud tuhmumist ega suunamiskadu piki pääsu ei ole (tulemus
label) - MODELLED. (liikide kataloog (
kshana kinds --json)) - Iga allolev arv on ILLUSTRATIVE: mitte ühegi operaatori orbiit, jaam ega lingibilanss. MODELLED. (stsenaariumifaili kommentaar, rida 8)
- 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))
Vt ka#
- Perekonna leht: Missioonianalüüs, lingid ja kosmoseoperatsioonid
- Kõik liigid: KINDS.md
- Teemaleht: CONTACT-SCHEDULING.md