hybrid-optical-rf (type de scénario)

Type de scénario du moteur v0.40.0, famille PNT optique. À titre consultatif : résultat d'analyse issu 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 indication contraire de la matrice (comment une étiquette s'obtient : section Evidence du README).

Ce qu'il fait#

Indice de mérite conjoint MODELLED de PNT hétérogène optique + RF (P5) : compose le bilan de liaison optique aller-retour à 1550 nm (CRLB de télémétrie aller-retour limitée par les photons σ_τ/√N et empreinte de diffraction λ/D·distance), un niveau de protection RAIM à séparation de solutions inter-modalités (position ET synchronisation temporelle) qui fusionne les solutions RF lâche et optique serrée avec des covariances disparates, la disponibilité optique par ciel dégagé à N stations (union indépendante 1−Π(1−a_i) et variante corrélée spatialement), un transfert d'état/de covariance optique↔RF avec une moyenne DÉMONTRÉE continue au bit près (sans saut) et un contrôle de cohérence NEES en χ², et un score conjoint de P(disponible ET de précision requise ET d'intégrité assurée) avec traitement de la corrélation. Forme fermée VALIDATED : le CRLB de télémétrie, l'empreinte de diffraction, le quantile du niveau de protection en χ², la combinatoire de l'union, la continuité de la moyenne du transfert + le contrôle NEES, et le produit indépendant conjoint. MODELLED : les allocations de pertes optiques, les grandeurs σ RF/optiques, les entrées de climatologie nuageuse, les corrélations et le budget P_HMI. Ce n'est pas un produit de disponibilité/d'intégrité certifié.

Une exécution de scenarios/hybrid-optical-rf.toml se résume ainsi : hybrid-optical-rf | optical footprint 700 m, 1489 photons -> ranging σ 0,194 mm, timing σ 1,30 ps | cross-RAIM HPL 6,2 m / VPL 6,6 m / TPL 13,3 ns (protected) | availability 99,5% (5 sites) | handoff no-jump OK NEES 3,34∈[0.48,11,14] in-gate | joint FoM 0,993 (A 0,995 · P 0,995 · I 1,000) | CRLB/χ²-PL/union/handoff validés, σ/climatologie modélisés

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : wavelength_nm, tx_power_w, tx_aperture_m, rx_aperture_m, range_km, pulse_rms_ps, integration_s, atmospheric_loss_db, pointing_loss_db, optics_efficiency, detector_efficiency, two_way, rf_pos_sigma_m, rf_vertical_sigma_m, rf_clock_sigma_s, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, alert_limit_t_s, grade_pos_m, grade_time_s, n_optical_sites, site_correlation, fom_correlation, handoff_inflation, p_hmi, fault_ramp_rate_pos_m_s, fault_ramp_rate_clock_s_s, process_noise_pos_psd_m2_s, process_noise_clock_psd_s2_s, coast_coverage_k, rf_band, rf_eirp_dbw, rf_g_over_t_db, rf_other_losses_db, rf_data_rate_bps, rf_required_eb_n0_db, rf_chip_rate_hz, rf_correlator_spacing_chips, rf_dll_bandwidth_hz, rf_tracking_threshold_dbhz, rf_degraded_margin_db

L'exemple scenarios/hybrid-optical-rf.toml définit, entre autres :

L'exécuter#

kshana scenarios/hybrid-optical-rf.toml

Ce qu'il donne#

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

Étiquette du résultat (celle du moteur) : indice de mérite conjoint de disponibilité / précision / intégrité du PNT hétérogène optique + RF (P5). Forme fermée VALIDATED : le CRLB de télémétrie limitée par les photons (σ_τ/√N) et l'empreinte de diffraction (λ/D·distance), le quantile du niveau de protection inter-modalités en χ², la disponibilité par union indépendante à N stations (1 − Π(

Preuves#

Aucune ligne de la matrice ne nomme ce type de scénario ; l'étiquette de son résultat est celle du moteur lui-même, ci-dessus.

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
• MODELLED Le rapport hybrid-optical-rf indique la configuration de liaison avec laquelle il a effectivement été exécuté (longueur d'onde de la porteuse, ouverture d'émission et de réception, distance, largeur d'impulsion, intégratio. Référence indépendante (InternalConsistency) : aucune référence indépendante externe, et il n'y en a aucune de possible : c'est une auto-description, et non une mesure. Elle est consignée parce que son absence était un défaut -- P5 devait citer la longueur d'onde de la porteuse et l'ouverture d'émission à partir de valeurs par défaut de la source, et déduire qu'un variance nu était en mètres carrés à partir d'un contrôle de cohérence interne. La déduction était correcte, et c'est précisément pour cela qu'elle importait : rien n'aurait détecté qu'elle était fausse
• MODELLED Le rapport hybrid-optical-rf indique une disponibilité de liaison RF, composée à partir de grandeurs que le moteur calcule déjà plutôt qu'à partir d'une climatologie importée, et. Référence indépendante (InternalConsistency) : aucune référence indépendante externe, et ExternalDataset est écarté. Les deux entrées sont une marge d'Eb/N0 et un franchissement de seuil de C/N0, toutes deux fonctions d'une PIRE, d'un facteur de mérite et d'une allocation de pertes globale MODELLED ; il n'existe aucun enregistrement de disponibilité mesurée pour un service hybride optique/RF Terre-Lune auquel comparer le chiffre composé. Les contrôles qui existent sont internes et sont présentés comme tels : la composition est recalculée à partir de la r
• MODELLED Le rapport hybrid-optical-rf émet le rapport de précision de télémétrie optique par rapport à la RF avec l'UNIQUE configuration à laquelle les deux branches ont été évaluées portée dans le même objet : la sa. Référence indépendante (InternalConsistency) : aucune référence indépendante externe pour le RAPPORT, et ExternalDataset est volontairement écarté. La chaîne RF sous-jacente en a une -- tests/validate_p5_rf_ranging_precision.rs vérifie linkbudget::link_budget et navsignal::dll_code_jitter_chips par rapport à un banc d'essai Python/NumPy indépendant et à la valeur travaillée codée en dur de Kaplan & Hegarty (2.814e-3 chip / 0,825 m à 45 dB-Hz) -- et le CRLB optique a sa propre ligne en forme fermée
• MODELLED Le rapport hybrid-optical-rf indique ce que le moniteur du khi-deux inter-modalités peut effectivement DÉTECTER, et pas seulement qu'il passe un cas sans défaut : le minimum détectable. Référence indépendante (InternalConsistency) : deux références internes, aucun jeu de données externe. (1) Aller-retour en forme fermée : le biais minimal détectable est produit en inversant la queue du khi-deux non centré sur la non-centralité (raim::pbias) et est vérifié en réinjectant la non-centralité obtenue dans raim::noncentral_chi2_cdf au seuil propre du moniteur, ce qui doit redonner P_md. (2) Injection par rapport à analyse : un biais est écrit dans l'estimation RF d'un axe

Limites#

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

• Indice de mérite conjoint de disponibilité / précision / intégrité du PNT hétérogène optique + RF (P5). Forme fermée VALIDATED : le CRLB de télémétrie limitée par les photons (σ_τ/√N) et l'empreinte de diffraction (λ/D·distance), le quantile du niveau de protection inter-modalités en χ², la disponibilité par union indépendante à N stations (1 − Π(1−a_i)), l'invariant de continuité de la moyenne du transfert optique↔RF (sans saut, au bit près) et le contrôle NEES en χ², et l'indice conjoint indép (résultat label)
• Indice de mérite conjoint MODELLED de PNT hétérogène optique + RF (P5) : compose le bilan de liaison optique aller-retour à 1550 nm (CRLB de télémétrie aller-retour limitée par les photons σ_τ/√N et empreinte de diffraction λ/D·distance), un niveau de protection RAIM à séparation de solutions inter-modalités (position ET synchronisation temporelle) qui fusionne les solutions RF lâche et optique serrée avec des covariances disparates, la disponibilité optique par ciel dégagé à N stations (indépendante-un (catalogue des types de scénario (kshana kinds --json))
• MODELLED : les allocations de pertes optiques, les grandeurs σ RF/optiques, les entrées de climatologie nuageuse, les corrélations et le budget P_HMI. (catalogue des types de scénario (kshana kinds --json))
• MODELLED. Formes fermées validées : CRLB de télémétrie (sigma_tau/sqrt(N)), empreinte de diffraction (lambda/D * distance), quantile du niveau de protection en khi-deux, combinatoire de l'union, continuité de la moyenne du transfert + contrôle NEES, et produit indépendant conjoint. Les allocations de pertes, les grandeurs sigma, les entrées de climatologie nuageuse, les corrélations et le budget P_HMI sont des entrées représentatives modélisées. Chaque champ ci-dessous est facultatif et présenté à sa (commentaire du fichier de scénario, lignes 10 à 14)
• --- Injection de défauts de biais / de rampe G15 contre le moniteur inter-modalités --- Le biais minimal détectable et la courbe de puissance de détection sont ANALYTIQUES (inversion du khi-deux non centré), et n'ont donc besoin d'aucune entrée propre. Ces deux-ci fixent seulement la vitesse de rampe dont le temps de détection rapporté est une conversion. Les deux sont MODELLED. (commentaire du fichier de scénario, lignes 56 à 59)
• --- Inertie après transfert G17 : bruit de processus et franchissement de la limite d'alerte --- Marche aléatoire sur le filtre de transfert existant à 4 états (est, nord, haut, horloge). Les limites d'alerte sont celles déjà déclarées plus haut ; seuls le bruit de processus et le facteur de couverture sont nouveaux. Les deux DSP sont des entrées représentatives MODELLED et les temps de franchissement en dépendent directement. (commentaire du fichier de scénario, lignes 63 à 67)
• 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 hybride optique/RF est MODELLED, et non validée : vérifiée par rapport à sa propre identité analytique / en forme fermée — elle détecte les erreurs de transcription et de coefficients, mais ce n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#

• Page de famille : PNT optique
• Tous les types de scénario : KINDS.md