acm-link (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#
Én satellitt over én stasjon: hvert passs skråavstand, elevasjon og Es/N0 langs passet, DVB-S2-MODCOD-en som velges i hvert steg (terskler fra ETSI EN 302 307-1 Table 13 pluss en implementeringsmargin) og datavolumet ACM flytter mot grunnlinjen med konstant koding som lukker ved masken. MODELLED.
Én kjøring av scenarios/acm-link.toml oppsummeres slik: acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)
Inndata#
Fra skjemaet (kshana kinds --json):
- Påkrevde felt: ingen
- Valgfrie felt:
epoch,duration_hours,step_s,refraction,light_time,link,satellite,station
Eksempelet scenarios/acm-link.toml setter blant annet:
| Felt | Verdi | Enhet |
|---|---|---|
duration_hours |
12 | h |
epoch |
[2024, 1, 1, 0, 0, 0] | ikke oppgitt |
kind |
acm-link | tekst |
light_time |
true | flagg |
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 | flagg |
Kjør den#
kshana scenarios/acm-link.toml
Hva den gir#
Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:
| Resultat | Verdi | Enhet |
|---|---|---|
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 |
den stabile id-en til matriseraden (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
Resultatetikett (motorens): MODELLED — adaptiv koding og modulasjon i DVB-S2 over passene til én satellitt ved én stasjon: Es/N0 i klarvær langs hvert tilsynelatende pass, den mest effektive MODCOD-en som klarer ETSI EN 302 307-1 Table 13-terskelen pluss en margin, mot MODCOD-en med konstant koding som lukker ved masken; ingen rain f
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-
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
Begrensninger#
Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:
- MODELLED — DVB-S2 adaptiv koding og modulasjon over passeringene til én satellitt ved én stasjon: Es/N0 ved klarvær langs hver tilsynelatende passering, den mest effektive MODCOD-en som klarer terskelen i ETSI EN 302 307-1 tabell 13 pluss en margin, mot MODCOD-en med konstant koding som lukker ved masken; ingen regnfading eller pekefeil langs passeringen (resultat
label) - MODELLED. (typekatalog (
kshana kinds --json)) - Alle tall nedenfor er ILLUSTRATIVE: ingen operatørs bane, stasjon eller linkbudsjett. MODELLED. (kommentar i scenariofilen, linje 8)
- 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))
Se også#
- Familieside: Oppdragsanalyse, linker og romoperasjoner
- Alle typer: KINDS.md
- Temaside: CONTACT-SCHEDULING.md