link-budget (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#

Énveis linkbudsjett etter CCSDS 401 / DSN 810-005-linkligningen: frirommstap, C/N₀, Eb/N₀, margin og lukking for en sender-EIRP, mottaker-G/T, avstand, datarate og bånd (s|x|ka) mot en påkrevd Eb/N₀. En deterministisk ingeniørberegning fra de oppgitte inngangsverdiene (ikke et kalibrert terminaldatablad).

Én kjøring av scenarios/link-budget.toml oppsummeres slik: link-budget: x-band, 2000 km, 1000000 bit/s -> FSPL 177,0 dB, Eb/N0 96,6 dB, margin 92,1 dB (lukker)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: band, eirp_dbw, g_over_t_db, range_km, data_rate_bps, other_losses_db, required_eb_n0_db, tsys_k

Eksempelet scenarios/link-budget.toml setter blant annet:

Kjør den#

kshana scenarios/link-budget.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens egen): Énveis linkbudsjett etter CCSDS 401 / DSN 810-005-linkligningen (EIRP − FSPL − L_other + G/T − k); en deterministisk ingeniørberegning fra de oppgitte inngangsverdiene, IKKE et kalibrert terminaldatablad

Evidens#

MODELLED 1 · VALIDATED 1: radene i verifikasjonsmatrisen som nevner denne typen.

• VALIDATED Frirommstap, C/N₀, Eb/N₀, margin og lukking etter CCSDS 401 / DSN 810-005-linkligningen for EIRP/G·T/avstand/rate/bånd mot en påkrevd Eb/N₀. Tester: one_way_link_budget_reference.rs.
• MODELLED Månenativt forhold mellom jammer og signal, effektiv C/N₀ og tap av lås for en selenografisk overflatebruker under en jammer på månens overflate (eller hevet), over den illustrative offentlig kildebaserte Moonlight/LCNS-klasse-konstellasjonen.

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 Frirommstap, C/N₀, Eb/N₀, margin og lukking etter CCSDS 401 / DSN 810-005-linkligningen for EIRP/G·T/avstand/rate/bånd mot en påkrevd Eb/N₀. Runn. Uavhengig referanse (ExternalDataset): Publisert designkontrolltabell for telekommunikasjon i dypt rom som fastlåste numeriske vektorer: DESCANSO / J. H. Yuen (red.), Deep Space Telecommunications Systems Engineering, JPL Pub 82-76, tabell 1-1 (Galileo X-bånd); kshana setter sammen tabellens linjeposter igjen og gjengir dens publiserte ende-til-ende-verdier L_fs 290,54 dB og Pr/N0 54,6 dB-Hz; frirommstapet er også kontrollert mot ITU-R P.525
• MODELLED Linkbudsjettrapporten oppgir hver absolutte konstant som dens egen margin ble beregnet ut fra: bærebølgefrekvensen som frirommstapet brukte, EIRP, tallet o. Uavhengig referanse (InternalConsistency): Ingen ekstern uavhengig referanse: dette er en selvbeskrivelse over en ligning som allerede er validert mot en publisert designkontrolltabell (se raden for énveis linkbudsjett). Den registreres fordi fraværet av den var en målt feil: for å gjengi den utgitte d1_rate_gain_beamwidth.csv måtte én effektiv konstant løses baklengs til 0,0034 dB fra alle tretti rader, og motoren navngir nå både denne kombinasjonen og beviser, ved test

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• Valgfritt: mottakersystemets støytemperatur (K). Den er IKKE en inngangsverdi til linkligningen, som bare trenger forholdet G/T, men når den oppgis, kan rapporten også gi den mottakerantennegevinsten som kvalitetsmålet innebærer (G = G/T + 10*log10(T_sys)). Utelates den, mangler oppdelingen av gevinst i rapporten i stedet for å bli antatt. tsys_k = 300,0 (kommentar i scenariofilen, linje 21 til 25)
• 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))
• Selvbeskrivelsen i linkbudsjettrapporten er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet; fanger opp avskrivings- 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