hybrid-optical-rf (scenariosoort)

Scenariosoort van de engine v0.40.0, familie Optische PNT. Adviserend: uitvoer van een analyse door een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen safety-of-life-dienst. Elk label hier is van de engine of van de verificatiematrix; een soort is MODELLED tenzij de matrix anders vermeldt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

MODELLED heterogene gezamenlijke kwaliteitsmaat voor optische + RF-PNT (P5): combineert het tweerichtings-optische linkbudget van 1550 nm (door fotonen beperkte CRLB voor tweerichtingsafstandsmeting σ_τ/√N en diffractievoetafdruk λ/D·afstand), een RAIM-beschermingsniveau met oplossingsscheiding over modaliteiten heen (positie EN tijd) dat de losse RF- en strakke optische oplossingen met uiteenlopende covarianties samenvoegt, de optische heldere-luchtbeschikbaarheid van N stations (onafhankelijke unie 1−Π(1−a_i) en een ruimtelijk gecorreleerde variant), een toestands-/covariantieoverdracht optisch↔RF met een BEWEZEN bitcontinu (sprongloos) gemiddelde en een NEES-χ²-consistentiepoort, en een gezamenlijke score P(beschikbaar EN precisieklasse EN integriteit gewaarborgd) met correlatieafhandeling. VALIDATED gesloten vorm: de CRLB voor afstandsmeting, de diffractievoetafdruk, de χ²-kwantiel van het beschermingsniveau, de combinatoriek van de unie, de continuïteit van het gemiddelde bij de overdracht + NEES-poort, en het gezamenlijke onafhankelijke product. MODELLED: de optische verliestoewijzingen, de grootte van de RF-/optische σ, de invoer van de wolkenklimatologie, de correlaties en het P_HMI-budget. Geen gecertificeerd beschikbaarheids-/integriteitsproduct.

Eén run van scenarios/hybrid-optical-rf.toml vat samen als: 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) | Getoetst: CRLB/χ²-PL/unie/overdracht, gemodelleerd: σ/klimatologie

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

Het voorbeeld scenarios/hybrid-optical-rf.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/hybrid-optical-rf.toml

Wat het oplevert#

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

Resultaatlabel (van de engine): Heterogene gezamenlijke kwaliteitsmaat voor beschikbaarheid / precisie / integriteit van optische + RF-PNT (P5). VALIDATED gesloten vorm: de door fotonen beperkte CRLB voor afstandsmeting (σ_τ/√N) en de diffractievoetafdruk (λ/D·afstand), de χ²-kwantiel van het beschermingsniveau over modaliteiten heen, de beschikbaarheid van de onafhankelijke unie van N stations (1 − Π(

Bewijs#

Geen rij van de matrix noemt dit kind bij naam; het label op het resultaat is dat van de engine zelf, hierboven.

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
• MODELLED Het hybrid-optical-rf-rapport vermeldt de linkconfiguratie waarmee het daadwerkelijk is uitgevoerd (golflengte van de draaggolf, zend- en ontvangstapertuur, afstand, pulsbreedte, integratie. Onafhankelijke referentie (InternalConsistency): Geen externe onafhankelijke referentie, en die is ook niet mogelijk: dit is een zelfbeschrijving, geen meting. Ze wordt vastgelegd omdat het ontbreken ervan een defect was -- P5 moest de golflengte van de draaggolf en de zendapertuur uit standaardwaarden in de broncode halen, en uit een interne consistentiecontrole afleiden dat een kale variance in vierkante meter was. De afleiding klopte, en juist daarom was het van belang: niets zou hebben opgevangen dat ze fout was
• MODELLED Het hybrid-optical-rf-rapport vermeldt een RF-linkbeschikbaarheid, samengesteld uit grootheden die de engine al berekent in plaats van uit een geïmporteerde klimatologie, en . Onafhankelijke referentie (InternalConsistency): Geen externe onafhankelijke referentie, en ExternalDataset wordt afgewezen. De twee invoeren zijn een Eb/N0-marge en een C/N0-drempeldoorgang, beide functies van een MODELLED EIRP, kwaliteitsmaat en samengevoegde verliestoewijzing; er is geen gemeten beschikbaarheidsregistratie voor een hybride optische/RF-dienst Aarde–Maan om het samengestelde cijfer tegen te toetsen. De controles die er zijn, zijn intern en worden ook zo vermeld: de samenstelling wordt opnieuw berekend uit de r
• MODELLED Het hybrid-optical-rf-rapport geeft de verhouding tussen optische en RF-afstandsmeting weer, met de ÉÉN configuratie waarmee beide takken zijn geëvalueerd in hetzelfde object: de sa. Onafhankelijke referentie (InternalConsistency): Geen externe onafhankelijke referentie voor de VERHOUDING, en ExternalDataset wordt bewust afgewezen. De onderliggende RF-keten heeft die wel -- tests/validate_p5_rf_ranging_precision.rs controleert linkbudget::link_budget en navsignal::dll_code_jitter_chips tegen een onafhankelijke Python/NumPy-fixture en tegen de vastgelegde uitgewerkte waarde van Kaplan & Hegarty (2.814e-3 chip / 0,825 m bij 45 dB-Hz) -- en de optische CRLB heeft zijn eigen gesloten-vormrij
• MODELLED Het hybrid-optical-rf-rapport vermeldt wat de chikwadraatmonitor over modaliteiten heen daadwerkelijk kan DETECTEREN, niet alleen dat hij een foutvrij geval doorstaat: de minimaal detecteerbare. Onafhankelijke referentie (InternalConsistency): Twee interne referenties, geen externe dataset. (1) Gesloten-vormheen-en-terugrekening: de minimaal detecteerbare bias ontstaat door de niet-centrale chikwadraatstaart op de niet-centraliteit te inverteren (raim::pbias) en wordt geverifieerd door de resulterende niet-centraliteit terug te voeren door raim::noncentral_chi2_cdf bij de eigen drempel van de monitor, wat P_md moet opleveren. (2) Injectie tegenover analyse: een bias wordt geschreven in de RF-schatting van één as

Beperkingen#

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

• Heterogene gezamenlijke kwaliteitsmaat voor beschikbaarheid / precisie / integriteit van optische + RF-PNT (P5). VALIDATED gesloten vorm: de door fotonen beperkte CRLB voor afstandsmeting (σ_τ/√N) en de diffractievoetafdruk (λ/D·afstand), de χ²-kwantiel van het beschermingsniveau over modaliteiten heen, de beschikbaarheid van de onafhankelijke unie van N stations (1 − Π(1−a_i)), de invariant van gemiddelde-continuïteit bij de overdracht optisch↔RF (bit-voor-bit sprongloos) en de NEES-χ²-poort, en de gezamenlijke kwaliteitsmaat inde (resultaat label)
• MODELLED heterogene gezamenlijke kwaliteitsmaat voor optische + RF-PNT (P5): combineert het tweerichtings-optische linkbudget van 1550 nm (door fotonen beperkte CRLB voor tweerichtingsafstandsmeting σ_τ/√N en diffractievoetafdruk λ/D·afstand), een RAIM-beschermingsniveau met oplossingsscheiding over modaliteiten heen (positie EN tijd) dat de losse RF- en strakke optische oplossingen met uiteenlopende covarianties samenvoegt, de optische heldere-luchtbeschikbaarheid van N stations (independent-un (soortencatalogus (kshana kinds --json))
• MODELLED: de optische verliestoewijzingen, de grootte van de RF-/optische σ, de invoer van de wolkenklimatologie, de correlaties en het P_HMI-budget. (soortencatalogus (kshana kinds --json))
• MODELLED. Getoetste gesloten vormen: CRLB voor afstandsmeting (sigma_tau/sqrt(N)), diffractievoetafdruk (lambda/D * afstand), kwantiel van het chikwadraat-beschermingsniveau, combinatoriek van de unie, continuïteit van het gemiddelde bij de overdracht + NEES-poort, en het gezamenlijke onafhankelijke product. De verliestoewijzingen, de grootte van sigma, de invoer van de wolkenklimatologie, de correlaties en het P_HMI-budget zijn gemodelleerde representatieve invoer. Elk veld hieronder is optioneel en wordt getoond op zijn (opmerking in het scenariobestand, regels 10 tot 14)
• --- G15 bias-/rampfoutinjectie tegen de monitor over modaliteiten heen --- De minimaal detecteerbare bias en de detectievermogenscurve zijn ANALYTISCH (inversie van het niet-centrale chikwadraat), dus ze hebben geen eigen invoer nodig. Deze twee bepalen alleen de rampsnelheid waarvan de gerapporteerde tijd tot detectie een snelheidsomrekening is. Beide MODELLED. (opmerking in het scenariobestand, regels 56 tot 59)
• --- G17 uitloop na overdracht: procesruis en het overschrijden van de alarmlimiet --- Random walk op het bestaande overdrachtsfilter met 4 toestanden (oost, noord, omhoog, klok). De alarmlimieten zijn die welke hierboven al zijn opgegeven; alleen de procesruis en de dekkingsfactor zijn nieuw. Beide PSD's zijn MODELLED representatieve invoer en de overschrijdingstijden schalen er rechtstreeks mee. (opmerking in het scenariobestand, regels 63 tot 67)
• 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))
• De zelfbeschrijving van het hybride optische/RF-rapport is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd tegen een eigen gesloten-vorm- of analytische identiteit, wat transcriptie- en coëfficiëntfouten opvangt maar geen externe onafhankelijke referentie is. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Optische PNT
• Alle kinds: KINDS.md