Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/acm-link.md

acm-link (scenariotype)

Scenariotype van de engine v0.40.0, familie Missieanalyse, verbindingen en ruimteoperaties. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen dienst voor het redden van mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een type is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Eén satelliet boven één station: de schuine afstand, elevatie en Es/N0 van elke passage langs de passage, de DVB-S2-MODCOD die bij elke stap is gekozen (drempels van ETSI EN 302 307-1 Table 13 plus een implementatiemarge) en het datavolume dat ACM verplaatst tegen de basislijn met constante codering die bij het masker sluit. MODELLED.

Eén run van scenarios/acm-link.toml vat samen als: acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

Het voorbeeld scenarios/acm-link.toml stelt onder meer in:

Veld Waarde Eenheid
duration_hours 12 h
epoch [2024, 1, 1, 0, 0, 0] niet vermeld
kind acm-link tekst
light_time true vlag
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 vlag

Uitvoeren#

kshana scenarios/acm-link.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
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 de stabiele id van de matrixrij (de ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst

Resultaatlabel (dat van de engine): MODELLED — adaptieve codering en modulatie van DVB-S2 over de passages van één satelliet bij één station: Es/N0 bij heldere hemel langs elke zichtbare passage, de efficiëntste MODCOD die zijn drempel van ETSI EN 302 307-1 Table 13 plus een marge haalt, tegen de MODCOD met constante codering die bij het masker sluit; geen regenv

De grafiek die de engine schrijft voor scenarios/acm-link.toml, type acm-link

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

  • MODELLED Downlink-Es/N0 langs elke passage van één satelliet boven één station (EIRP, vrijeruimteverlies, atmosferisch verlies volgens de cosecanswet, overige verliezen, G/T, de constante van Boltzmann, symbolsnelheid), de efficiëntste DVB-S2-MODCOD die zijn ETSI EN 302 307-

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • VALIDATED Zichtbaarheidspassages (AOS, TCA, LOS, maximale schijnbare elevatie, duur) van een SGP4-elementenset boven een WGS-84-station op het getoetste aardbaanpad (IAU 2006. Onafhankelijke referentie (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) met Hipparchus 4.0.3: TLEPropagator op dezelfde elementensets in een TEME die Orekit opbouwt volgens de vermelde definitie (zijn IERS 2010 TOD, geroteerd met GAST - GMST), ElevationDetector en ElevationExtremumDetector met en zonder ITURP834AtmosphericRefraction, en AngularAzEl met AngularRadioRefractionModifier voor het lichttijdgeval, waarbij doorgangen en maximum door Hipparchus worden opgelost; 60 gevallen (f
  • MODELLED Downlink-Es/N0 langs elke passage van één satelliet boven één station (EIRP, vrije-ruimteverlies, atmosferisch verlies volgens de cosecanswet, overige verliezen, G/T, de constante van Boltzmann,. Onafhankelijke referentie (InternalConsistency): Interne consistentie: de spectrale efficiëntie, in gesloten vorm berekend uit Table 5a K_bch en de framelengtes, komt overeen met de efficiënties die Table 13 afdrukt (een transcriptiecontrole op de drempeltabel); de onderdelen van het linkbudget komen overeen met hun gesloten vormen; de selectie is monotoon in Es/N0 en houdt rekening met de marge; ACM verplaatst minstens het volume van de constante codering. De passagegeometrie komt uit het afzonderlijke VALIDATED a

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • MODELLED — DVB-S2 adaptieve codering en modulatie over de passages van één satelliet bij één station: Es/N0 bij onbewolkte hemel langs elke schijnbare passage, de meest efficiënte MODCOD die de drempel van ETSI EN 302 307-1 Table 13 plus een marge haalt, tegenover de MODCOD met constante codering die bij het masker sluit; geen regenfading of puntverlies langs de passage (resultaat label)
  • MODELLED. (kindcatalogus (kshana kinds --json))
  • Elk getal hieronder is ILLUSTRATIVE: geen baan, station of linkbudget van een operator. MODELLED. (opmerking in het scenariobestand, regel 8)
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • DVB-S2 adaptieve codering en modulatie langs een LEO-downlinkpassage is MODELLED, niet extern getoetst: gecontroleerd tegen zijn eigen gesloten-vorm- of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#