hybrid-optical-rf (stsenaariumi liik)
Mootori v0.40.0 stsenaariumi liik, perekond Optiline PNT. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).
Mida see teeb#
MODELLED heterogeenne optilise + RF PNT-i ühine kvaliteedinäitaja (P5): koondab 1550 nm kahesuunalise optilise lingibilansi (footonipiiratud kahesuunalise vahemõõtmise CRLB σ_τ/√N ja difraktsioonijalajälg λ/D·vahemaa), ristmodaalse lahendite eraldatuse RAIM kaitsetaseme (positsioon JA ajastus), mis ühendab lõdva RF ja tiheda optilise lahendi erinevate kovariatsioonidega, N jaama optilise selge taeva kättesaadavuse (sõltumatu ühend 1−Π(1−a_i) ja ruumiliselt korreleeritud variant), optilise↔RF oleku/kovariatsiooni üleandmise TÕESTATUD bitipidevuse (hüppeta) keskmisega ja NEES χ² kooskõlaväravaga ning ühise P(kättesaadav JA täppisklassi JA terviklikkus tagatud) skoori korrelatsioonide käsitlusega. VALIDATED suletud kuju: vahemõõtmise CRLB, difraktsioonijalajälg, χ² kaitsetaseme kvantiil, ühendi kombinatoorika, üleandmise keskmise pidevus + NEES värav ja ühine sõltumatu korrutis. MODELLED: optilise kao jaotused, RF/optilise σ suurused, pilvekliima sisendid, korrelatsioonid ja P_HMI eelarve. Mitte sertifitseeritud kättesaadavuse/terviklikkuse toode.
Ühe scenarios/hybrid-optical-rf.toml jooksu kokkuvõte: hybrid-optical-rf | optiline jalajälg 700 m, 1489 footonit -> vahemõõtmise σ 0,194 mm, ajastuse σ 1,30 ps | cross-RAIM HPL 6,2 m / VPL 6,6 m / TPL 13,3 ns (kaitstud) | kättesaadavus 99,5% (5 jaama) | üleandmine hüppeta OK NEES 3,34∈[0.48,11,14] väravas | ühine FoM 0,993 (A 0,995 · P 0,995 · I 1,000) | valideeritud CRLB/χ²-PL/ühend/üleandmine, modelleeritud σ/kliima
Sisendid#
Skeemist (kshana kinds --json):
- Nõutavad väljad: puuduvad
- Valikulised väljad:
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
Näide scenarios/hybrid-optical-rf.toml määrab muu hulgas:
| Väli | Väärtus | Ühik |
|---|---|---|
alert_limit_h_m |
10 | m |
alert_limit_t_s |
2.0000e-8 | s |
alert_limit_v_m |
15 | m |
atmospheric_loss_db |
3 | dB |
detector_efficiency |
0.7 | 1 |
fault_ramp_rate_clock_s_s |
1.0000e-11 | s |
fault_ramp_rate_pos_m_s |
0.05 | m/s |
fom_correlation |
0.5 | ei ole märgitud |
grade_pos_m |
0.1 | m |
grade_time_s |
1.0000e-9 | s |
handoff_inflation |
0.2 | ei ole märgitud |
integration_s |
1 | s |
Käivitamine#
kshana scenarios/hybrid-optical-rf.toml
Mida see annab#
Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:
| Tulemus | Väärtus | Ühik |
|---|---|---|
cross_modality_raim.alert_limit_h_m |
10 | m |
cross_modality_raim.alert_limit_t_s |
2.0000e-8 | s |
cross_modality_raim.alert_limit_v_m |
15 | m |
cross_modality_raim.chi2_statistic |
0 | 1 |
cross_modality_raim.chi2_threshold |
28.473255 | 1 |
cross_modality_raim.fault_detected |
false | lipp |
cross_modality_raim.hpl_m |
6.247675 | m |
cross_modality_raim.n_axes |
4 | arv |
cross_modality_raim.protected |
true | lipp |
cross_modality_raim.tpl_s |
1.3256e-8 | s |
Tulemuse silt (mootori oma): Heterogeenne optilise + RF PNT-i ühine kättesaadavuse / korduvtäpsuse / terviklikkuse kvaliteedinäitaja (P5). VALIDATED suletud kuju: footonipiiratud vahemõõtmise CRLB (σ_τ/√N) ja difraktsioonijalajälg (λ/D·vahemaa), χ² ristmodaalse kaitsetaseme kvantiil, N jaama sõltumatu ühendi kättesaadavus (1 − Π(
Tõendid#
Ükski maatriksirida ei nimeta seda liiki nimepidi; selle tulemuse silt on mootori enda, ülal.
Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):
- MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
- MODELLED Aruanne hybrid-optical-rf väljendab lingi konfiguratsiooni, millega see tegelikult jooksis (kandelaine pikkus, saate- ja vastuvõtuapertuur, vahemaa, impulsi laius, integratsioon. Sõltumatu etalon (InternalConsistency): Välist sõltumatut etaloni ei ole ja see pole võimalik: see on enesekirjeldus, mitte mõõtmine. See on salvestatud, sest selle puudumine oli viga -- P5 pidi tsiteerima kandelaine pikkust ja saateapertuuri lähtekoodi vaikeväärtustest ning järeldama sisemise kooskõla kontrollist, et paljas
varianceoli ruutmeetrites. Järeldus oli õige, mis just tegi selle oluliseks: miski poleks tabanud, kui see oleks olnud vale - MODELLED Aruanne hybrid-optical-rf väljendab RF lingi kättesaadavust, mis on koostatud suurustest, mida mootor juba arvutab, mitte imporditud kliimast, ja . Sõltumatu etalon (InternalConsistency): Välist sõltumatut etaloni ei ole ja ExternalDataset on tagasi lükatud. Kaks sisendit on Eb/N0 varu ja C/N0 läve ületus, mõlemad MODELLED EIRP, kvaliteedinäitaja ja koondkao jaotuse funktsioonid; Maa-Kuu optilise/RF hübriidteenuse jaoks ei ole mõõdetud kättesaadavuse kirjet, mille vastu koostatud arvu kontrollida. Olemasolevad kontrollid on sisemised ja neid väljendatakse nii: koostis arvutatakse uuesti r
- MODELLED Aruanne hybrid-optical-rf väljastab optilise ja RF vahemõõtmise suhte ÜHE konfiguratsiooniga, mille juures mõlemat haru hinnati, kantuna samas objektis: sa. Sõltumatu etalon (InternalConsistency): SUHTE jaoks ei ole välist sõltumatut etaloni ja ExternalDataset on tahtlikult tagasi lükatud. Aluseks olevat RF ahelat see omab -- tests/validate_p5_rf_ranging_precision.rs kontrollib linkbudget::link_budget ja navsignal::dll_code_jitter_chips sõltumatu Python/NumPy fikstuuri vastu ja kõvakodeeritud Kaplani ja Hegarty läbitöötatud väärtuse vastu (2.814e-3 chip / 0,825 m juures 45 dB-Hz) -- ja optilisel CRLB-l on oma suletud kujul rida
- MODELLED Aruanne hybrid-optical-rf väljendab, mida ristmodaalne hii-ruut monitor tegelikult suudab TUVASTADA, mitte ainult seda, et see läbib rikketa juhtumi: minimaalne tuvastatav. Sõltumatu etalon (InternalConsistency): Kaks sisemist sõltumatut etaloni, välist andmestikku ei ole. (1) Suletud kujul edasi-tagasi: minimaalne tuvastatav nihe saadakse mittetsentraalse hii-ruut saba inverteerimisega mittetsentraalsuse suhtes (raim::pbias) ja see kontrollitakse, söötes saadud mittetsentraalsuse tagasi funktsiooni raim::noncentral_chi2_cdf monitori enda lävel, mis peab andma P_md. (2) Süstimine vs analüüs: nihe kirjutatakse ühe telje RF hinnangusse
Piirangud#
Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:
- Heterogeenne optilise + RF PNT-i ühine kättesaadavuse / korduvtäpsuse / terviklikkuse kvaliteedinäitaja (P5). VALIDATED suletud kuju: footonipiiratud vahemõõtmise CRLB (σ_τ/√N) ja difraktsioonijalajälg (λ/D·vahemaa), χ² ristmodaalse kaitsetaseme kvantiil, N jaama sõltumatu ühendi kättesaadavus (1 − Π(1−a_i)), optilise↔RF üleandmise keskmise pidevuse (bitihaaval hüppeta) invariant ja NEES χ² värav ning ühine FoM sõltumatu (tulemus
label) - MODELLED heterogeenne optilise + RF PNT-i ühine kvaliteedinäitaja (P5): koondab 1550 nm kahesuunalise optilise lingibilansi (footonipiiratud kahesuunalise vahemõõtmise CRLB σ_τ/√N ja difraktsioonijalajälg λ/D·vahemaa), ristmodaalse lahendite eraldatuse RAIM kaitsetaseme (positsioon JA ajastus), mis ühendab lõdva RF ja tiheda optilise lahendi erinevate kovariatsioonidega, N jaama optilise selge taeva kättesaadavuse (sõltumatu (liikide kataloog (
kshana kinds --json)) - MODELLED: optilise kao jaotused, RF/optilise σ suurused, pilvekliima sisendid, korrelatsioonid ja P_HMI eelarve. (liikide kataloog (
kshana kinds --json)) - MODELLED. Valideeritud suletud kujud: vahemõõtmise CRLB (sigma_tau/sqrt(N)), difraktsioonijalajälg (lambda/D * vahemaa), hii-ruut kaitsetaseme kvantiil, ühendi kombinatoorika, üleandmise keskmise pidevus + NEES värav ja ühine sõltumatu korrutis. Kaojaotused, sigma suurused, pilvekliima sisendid, korrelatsioonid ja P_HMI eelarve on modelleeritud esinduslikud sisendid. Iga allolev väli on valikuline ja näidatud selle (stsenaariumifaili kommentaar, read 10 kuni 14)
- --- G15 nihke / rambi rikke süstimine ristmodaalse monitori vastu --- Minimaalne tuvastatav nihe ja tuvastusvõimsuse kõver on ANALÜÜTILISED (mittetsentraalse hii-ruut inversioon), seega nad ei vaja oma sisendeid. Need kaks määravad ainult rambi kiiruse, mille kiiruse teisendus on teatatud tuvastusaeg. Mõlemad MODELLED. (stsenaariumifaili kommentaar, read 56 kuni 59)
- --- G17 üleandmisjärgne libisemine: protsessimüra ja häirepiiri ületus --- Juhuslik ekslemine olemasoleval 4-olekulisel (ida, põhi, üles, kell) üleandmisfiltril. Häirepiirid on need, mis on juba ülal deklareeritud; uued on ainult protsessimüra ja katvustegur. Mõlemad PSD-d on MODELLED esinduslikud sisendid ja ületusajad skaleeruvad nendega otse. (stsenaariumifaili kommentaar, read 63 kuni 67)
- Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
- Hübriidse optilise/RF aruande enesekirjeldus on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
Vt ka#
- Perekonna leht: Optiline PNT
- Kõik liigid: KINDS.md