acm-link (skenaariolaji)
Moottorin v0.40.0 skenaariolaji, perhe Tehtäväanalyysi, linkit ja avaruusoperaatiot. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).
Mitä se tekee#
Yksi satelliitti yhden aseman yllä: jokaisen ylilennon vinoetäisyys, korkeuskulma ja Es/N0 ylilennon varrella, kullakin askeleella valittu DVB-S2 MODCOD (ETSI EN 302 307-1 Table 13 -kynnykset sekä toteutusmarginaali) ja datamäärä, jonka ACM siirtää verrattuna vakiokoodauksen lähtötasoon, joka sulkeutuu maskilla. MODELLED.
Yksi ajo tiedostosta scenarios/acm-link.toml tiivistyy näin: acm-link: 3 ylilentoa; ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> hyöty x1.59 (MODELLED)
Syötteet#
Skeemasta (kshana kinds --json):
- Pakolliset kentät: ei yhtään
- Valinnaiset kentät:
epoch,duration_hours,step_s,refraction,light_time,link,satellite,station
Esimerkki scenarios/acm-link.toml asettaa muun muassa:
| Kenttä | Arvo | Yksikkö |
|---|---|---|
duration_hours |
12 | h |
epoch |
[2024, 1, 1, 0, 0, 0] | ei ilmoitettu |
kind |
acm-link | teksti |
light_time |
true | lippu |
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 | lippu |
Aja se#
kshana scenarios/acm-link.toml
Mitä se antaa#
Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:
| Tulos | Arvo | Yksikkö |
|---|---|---|
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 | teksti |
ccm_volume_mbit |
58495.039442 | Mbit |
duration_hours |
12 | h |
eirp_dbw |
7 | dBW |
evidence.id_rule |
matriisirivin vakaa tunniste (ID | teksti |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | teksti |
Tulosnimike (moottorin oma): MODELLED — DVB-S2-mukautuva koodaus ja modulaatio yhden satelliitin ylilentojen yli yhdellä asemalla: pilvettömän taivaan Es/N0 jokaisen näennäisen ylilennon varrella, tehokkain MODCOD, joka ylittää ETSI EN 302 307-1 Table 13 -kynnyksensä plus marginaalin, verrattuna vakiokoodauksen MODCODiin, joka sulkeutuu maskilla; ei sadevaim
Todisteet#
MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.
- MODELLED Alalinkin Es/N0 yhden satelliitin jokaisen ylilennon varrella yhden aseman yllä (EIRP, vapaan tilan vaimennus, kosekanttilain mukainen ilmakehän vaimennus, muut häviöt, G/T, Boltzmannin vakio, symbolinopeus), tehokkain DVB-S2 MODCOD, joka ylittää ETSI EN 302 307-
Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):
- MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
- VALIDATED Näkyvyysylilennot (AOS, TCA, LOS, suurin näennäinen korkeuskulma, kesto) SGP4-elementtijoukosta WGS-84-aseman yllä validoidulla Maan kiertoradan laskentapolulla (IAU 2006. Oraakkeli (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) ja Hipparchus 4.0.3: TLEPropagator samoilla elementtijoukoilla TEME-koordinaatistossa, jonka Orekit rakentaa ilmoitetun määritelmän mukaan (sen IERS 2010 TOD kierrettynä GAST - GMST), ElevationDetector ja ElevationExtremumDetector ITURP834AtmosphericRefraction-taittumalla ja ilman sitä, sekä AngularAzEl ja AngularRadioRefractionModifier valoaikatapausta varten, ylitykset ja maksimi ratkaistuina Hipparchuksella; 60 tapausta (f
- MODELLED Alalinkin Es/N0 yhden satelliitin jokaisen ylilennon varrella yhden aseman yllä (EIRP, vapaan tilan vaimennus, kosekanttilain mukainen ilmakehän vaimennus, muut häviöt, G/T, Boltzmannin vakio,. Oraakkeli (InternalConsistency): Sisäinen johdonmukaisuus: suljetussa muodossa Table 5a K_bch:sta ja kehyspituuksista laskettu spektritehokkuus täsmää tehokkuuksiin, jotka Table 13 tulostaa (kirjoitusvirhetarkistus kynnystaulukolle); linkkibudjetin osat täsmäävät suljettuihin muotoihinsa; valinta on monotoninen Es/N0:n suhteen ja noudattaa marginaalia; ACM siirtää vähintään vakiokoodauksen datamäärän. Ylilentogeometria tulee erikseen VALIDATED a
Rajoitukset#
Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:
- MODELLED — DVB-S2-mukautuva koodaus ja modulaatio yhden satelliitin ylilentojen yli yhdellä asemalla: pilvettömän taivaan Es/N0 jokaisen näennäisen ylilennon varrella, tehokkain MODCOD, joka ylittää ETSI EN 302 307-1 Table 13 -kynnyksensä plus marginaalin, verrattuna vakiokoodauksen MODCODiin, joka sulkeutuu maskilla; ei sadevaimennusta eikä osoitushäviötä ylilennon aikana (tulos
label) - MODELLED. (lajiluettelo (
kshana kinds --json)) - Jokainen alla oleva luku on ILLUSTRATIVE: ei minkään operaattorin kiertorata, asema tai linkkibudjetti. MODELLED. (skenaariotiedoston kommentti, rivi 8)
- Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
- DVB-S2-mukautuva koodaus ja modulaatio LEO-alalinkin ylilennon aikana on MODELLED, ei validoitu: tarkistettu omaa suljetun muodon / analyyttistä identiteettiään vastaan — havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
Katso myös#
- Perhesivu: Tehtäväanalyysi, linkit ja avaruusoperaatiot
- Kaikki lajit: KINDS.md
- Aihesivu: CONTACT-SCHEDULING.md