link-budget (type de scénario)

Type de scénario du moteur v0.40.0, famille Analyse de mission, liaisons et opérations spatiales. À titre consultatif : résultat d'analyse d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf si la matrice dit le contraire (comment une étiquette s'acquiert : la section Evidence du README).

Ce qu'il fait#

Bilan de liaison unidirectionnel selon l'équation de liaison CCSDS 401 / DSN 810-005 : affaiblissement en espace libre, C/N₀, Eb/N₀, marge et fermeture pour une PIRE d'émission, un G/T de réception, une distance, un débit de données et une bande (s|x|ka), par rapport à un Eb/N₀ requis. Un calcul d'ingénierie déterministe à partir des entrées fournies (et non la fiche technique d'un terminal étalonné).

Une exécution de scenarios/link-budget.toml se résume ainsi : link-budget: x-band, 2000 km, 1000000 bit/s -> FSPL 177,0 dB, Eb/N0 96,6 dB, margin 92,1 dB (closes)

Entrées#

D'après le schéma (kshana kinds --json) :

• Champs requis : aucun
• Champs facultatifs : band, eirp_dbw, g_over_t_db, range_km, data_rate_bps, other_losses_db, required_eb_n0_db, tsys_k

L'exemple scenarios/link-budget.toml définit, entre autres :

L'exécuter#

kshana scenarios/link-budget.toml

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Libellé du résultat (celui du moteur) : Bilan de liaison unidirectionnel selon l'équation de liaison CCSDS 401 / DSN 810-005 (EIRP − FSPL − L_other + G/T − k) ; un calcul d'ingénierie déterministe à partir des entrées fournies, et NON la fiche technique d'un terminal étalonné

Preuves#

MODELLED 1 · VALIDATED 1 : les lignes de la matrice de vérification qui nomment ce type de scénario.

• VALIDATED Affaiblissement en espace libre, C/N₀, Eb/N₀, marge et fermeture selon l'équation de liaison CCSDS 401 / DSN 810-005 pour EIRP/G·T/distance/débit/bande, par rapport à un Eb/N₀ requis. Tests : one_way_link_budget_reference.rs.
• MODELLED Rapport brouilleur/signal propre à la Lune, C/N₀ effectif et perte d'accrochage pour un utilisateur à la surface sélénographique sous un brouilleur à la surface lunaire (ou surélevé), sur la constellation illustrative de classe Moonlight/LCNS issue de sources publiques.

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

• MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED
• VALIDATED Affaiblissement en espace libre, C/N₀, Eb/N₀, marge et fermeture selon l'équation de liaison CCSDS 401 / DSN 810-005 pour EIRP/G·T/distance/débit/bande, par rapport à un Eb/N₀ requis. Runn. Référence indépendante (ExternalDataset) : table publiée de contrôle de conception de télécommunications en espace lointain, sous forme de vecteurs numériques figés : DESCANSO / J. H. Yuen (éd.), Deep Space Telecommunications Systems Engineering, JPL Pub 82-76, Table 1-1 (Galileo, bande X) — kshana reconstitue les lignes de la table et reproduit son L_fs de bout en bout publié de 290,54 dB et son Pr/N0 de 54,6 dB-Hz ; l'affaiblissement en espace libre est aussi comparé à l'UIT-R P.525
• MODELLED Le rapport du bilan de liaison énonce chaque constante absolue à partir de laquelle sa propre marge a été calculée -- la fréquence porteuse utilisée pour l'affaiblissement en espace libre, la PIRE, la valeur o. Référence indépendante (InternalConsistency) : aucune référence externe : il s'agit d'une auto-description d'une équation déjà vérifiée par rapport à une table publiée de contrôle de conception (voir la ligne du bilan de liaison unidirectionnel). Elle est consignée parce que son absence a été un défaut mesuré -- reproduire le d1_rate_gain_beamwidth.csv publié exigeait de résoudre à rebours une constante effective unique à 0,0034 dB à partir des trente lignes, et le moteur à la fois nomme désormais cette combinaison et prouve, par test

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

• Facultatif : la température de bruit du système de réception (K). Ce n'est PAS une entrée de l'équation de liaison -- celle-ci n'a besoin que du rapport G/T -- mais la renseigner permet au rapport de donner aussi le gain de l'antenne de réception que sous-entend le facteur de mérite (G = G/T + 10*log10(T_sys)). Si elle est omise, la répartition du gain est absente du rapport plutôt que supposée. tsys_k = 300,0 (commentaire du fichier de scénario, lignes 21 à 25)
• La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• L'auto-description du rapport de bilan de liaison est MODELLED, et non vérifiée : elle est contrôlée par rapport à sa propre identité analytique ou en forme close, ce qui détecte les erreurs de transcription et de coefficients, mais n'est pas une référence externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#

• Page de famille : Analyse de mission, liaisons et opérations spatiales
• Tous les types de scénario : KINDS.md