hybrid-optical-rf (scenarietype)

Scenarietype i motoren v0.40.0, familie Optisk PNT. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: afsnittet Evidens i README).

Hvad det gør#

MODELLED heterogent optisk + RF PNT-fælleskvalitetsmål (P5): sammensætter et optisk tovejs-linkbudget på 1550 nm (fotonbegrænset CRLB for tovejs-afstandsmåling σ_τ/√N og diffraktionsfodaftryk λ/D·afstand), et tværmodalt RAIM-beskyttelsesniveau med løsningsseparation (position OG tidssynkronisering), der fusionerer de løse RF-løsninger og de tætte optiske løsninger med forskellige kovarianser, den optiske klarhimmeltilgængelighed for N stationer (uafhængig forening 1−Π(1−a_i) og en rumligt korreleret variant), en optisk↔RF-overdragelse af tilstand/kovarians med et BEVIST bitkontinuerligt (spring-frit) middel og en NEES χ²-konsistensport samt en fælles score for P(tilgængelig OG præcisionsklasse OG integritetssikret) med håndtering af korrelation. VALIDATED lukket form: afstandsmålingens CRLB, diffraktionsfodaftrykket, χ²-kvantilen for beskyttelsesniveauet, foreningens kombinatorik, overdragelsens middelkontinuitet + NEES-porten og det fælles uafhængige produkt. MODELLED: de optiske tabsfordelinger, RF-/optiske σ-størrelser, skyklimatologi-input, korrelationer og P_HMI-budgettet. Ikke et certificeret tilgængeligheds-/integritetsprodukt.

Én kørsel af scenarios/hybrid-optical-rf.toml opsummeres sådan: 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) | Validated CRLB/χ²-PL/union/handoff, Modelled σ/climatology

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

Eksemplet scenarios/hybrid-optical-rf.toml angiver blandt andet:

Kør den#

kshana scenarios/hybrid-optical-rf.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatmærkat (motorens): Heterogent optisk + RF PNT-fælleskvalitetsmål for tilgængelighed / præcision / integritet (P5). VALIDATED lukket form: den fotonbegrænsede CRLB for afstandsmåling (σ_τ/√N) og diffraktionsfodaftrykket (λ/D·afstand), χ²-kvantilen for det tværmodale beskyttelsesniveau, den uafhængige forenings tilgængelighed for N stationer (1 − Π(

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED Rapporten hybrid-optical-rf angiver den linkkonfiguration, den faktisk kørte med (bærebølgelængde, send- og modtageapertur, afstand, pulsbredde, integratio. Uafhængig reference (InternalConsistency): Ingen ekstern uafhængig reference, og ingen er mulig: dette er selvbeskrivelse, ikke en måling. Det registreres, fordi manglen på det var en defekt -- P5 måtte citere bærebølgelængden og sendeaperturen fra kildens standardværdier og udlede, at en bar variance var i kvadratmeter, ud fra en intern konsistenskontrol. Udledningen var korrekt, hvilket netop er grunden til, at det betød noget: intet ville have fanget, hvis den havde været forkert
• MODELLED Rapporten hybrid-optical-rf angiver en RF-linktilgængelighed, sammensat af størrelser, som motoren allerede beregner, frem for af en importeret klimatologi, og . Uafhængig reference (InternalConsistency): Ingen ekstern uafhængig reference, og ExternalDataset er fravalgt. De to input er en Eb/N0-margin og en C/N0-tærskelkrydsning, begge funktioner af en MODELLED EIRP, et kvalitetsmål og en samlet tabsfordeling; der findes ingen målt tilgængelighedsregistrering for en hybrid optisk/RF-tjeneste mellem Jorden og Månen at kontrollere det sammensatte tal mod. De kontroller, der findes, er interne og angivet som sådanne: sammensætningen genberegnes ud fra r
• MODELLED Rapporten hybrid-optical-rf udsender forholdet mellem optisk og RF-afstandsmåling med den ENE konfiguration, som begge ben blev evalueret ved, båret i samme objekt: den sa. Uafhængig reference (InternalConsistency): Ingen ekstern uafhængig reference for FORHOLDET, og ExternalDataset er fravalgt bevidst. Den underliggende RF-kæde har en -- tests/validate_p5_rf_ranging_precision.rs kontrollerer linkbudget::link_budget og navsignal::dll_code_jitter_chips mod en uafhængig Python/NumPy-fixture og mod den hårdkodede gennemregnede værdi fra Kaplan & Hegarty (2.814e-3 chip / 0,825 m ved 45 dB-Hz) -- og den optiske CRLB har sin egen lukkede form-række
• MODELLED Rapporten hybrid-optical-rf angiver, hvad den tværmodale chi-i-anden-monitor faktisk kan DETEKTERE, ikke blot at den består et fejlfrit tilfælde: den minimale detekterbare. Uafhængig reference (InternalConsistency): To interne uafhængige referencer, intet eksternt datasæt. (1) Rundtur i lukket form: den minimale detekterbare bias fremkommer ved at invertere halen af den ikke-centrale chi-i-anden på ikke-centraliteten (raim::pbias) og verificeres ved at føre den resulterende ikke-centralitet tilbage gennem raim::noncentral_chi2_cdf ved monitorens egen tærskel, hvilket skal give P_md. (2) Injektion mod analyse: en bias skrives ind i RF-estimatet for én akse

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• Heterogent optisk + RF PNT-fælleskvalitetsmål for tilgængelighed / præcision / integritet (P5). VALIDATED lukket form: den fotonbegrænsede CRLB for afstandsmåling (σ_τ/√N) og diffraktionsfodaftrykket (λ/D·afstand), χ²-kvantilen for det tværmodale beskyttelsesniveau, den uafhængige forenings tilgængelighed for N stationer (1 − Π(1−a_i)), invarianten for optisk↔RF-overdragelsens middelkontinuitet (bit for bit uden spring) og NEES χ²-porten samt den fælles FoM-inde (resultat label)
• MODELLED heterogent optisk + RF PNT-fælleskvalitetsmål (P5): sammensætter et optisk tovejs-linkbudget på 1550 nm (fotonbegrænset CRLB for tovejs-afstandsmåling σ_τ/√N og diffraktionsfodaftryk λ/D·afstand), et tværmodalt RAIM-beskyttelsesniveau med løsningsseparation (position OG tidssynkronisering), der fusionerer de løse RF-løsninger og de tætte optiske løsninger med forskellige kovarianser, den optiske klarhimmeltilgængelighed for N stationer (uafhængig for (typekatalog (kshana kinds --json))
• MODELLED: de optiske tabsfordelinger, RF-/optiske σ-størrelser, skyklimatologi-input, korrelationer og P_HMI-budgettet. (typekatalog (kshana kinds --json))
• MODELLED. Validerede lukkede former: CRLB for afstandsmåling (sigma_tau/sqrt(N)), diffraktionsfodaftryk (lambda/D * afstand), kvantil for chi-i-anden-beskyttelsesniveau, foreningens kombinatorik, overdragelsens middelkontinuitet + NEES-port og det fælles uafhængige produkt. Tabsfordelingerne, sigma-størrelserne, skyklimatologi-input, korrelationerne og P_HMI-budgettet er modellerede repræsentative input. Hvert felt nedenfor er valgfrit og vist ved sin (kommentar i scenariefilen, linje 10 til 14)
• --- G15 bias / ramp fault injection against the cross-modality monitor --- Den minimale detekterbare bias og detektionskraftkurven er ANALYTISKE (inversion af ikke-central chi-i-anden), så de behøver ingen egne input. Disse to fastsætter kun den rampehastighed, som den rapporterede tid til detektion er en hastighedsomregning af. Begge MODELLED. (kommentar i scenariefilen, linje 56 til 59)
• --- G17 post-handover coast: process noise and the alert-limit crossing --- Random walk på det eksisterende handoff-filter med 4 tilstande (øst, nord, op, ur). Alarmgrænserne er dem, der allerede er angivet ovenfor; kun procesnøjen og dækningsfaktoren er nye. Begge PSD'er er MODELLED repræsentative input, og krydsningstiderne skalerer direkte med dem. (kommentar i scenariefilen, linje 63 til 67)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Selvbeskrivelsen i hybrid optisk/RF-rapporten er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet; fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Optisk PNT
• Alle typer: KINDS.md