hybrid-optical-rf (skenaariotyyppi)

Moottorin v0.40.0 skenaariotyyppi, perhe Optinen PNT. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

MODELLED heterogeeninen optinen + RF PNT -yhteinen laatumittari (P5): koostaa 1550 nm:n kaksisuuntaisen optisen linkkibudjetin (fotonirajoitettu kaksisuuntainen etäisyysmittauksen CRLB σ_τ/√N ja diffraktiojalanjälki λ/D·etäisyys), modaliteettien välisen ratkaisuerotus-RAIM-suojaustason (paikka JA ajoitus), joka yhdistää löyhän RF- ja tiukan optisen ratkaisun erilaisilla kovariansseilla, N aseman optisen selkeän taivaan saatavuuden (riippumaton yhdiste 1−Π(1−a_i) ja spatiaalisesti korreloitu variantti), optinen↔RF-tila/kovarianssi-luovutuksen TODISTETUSTI bittitarkasti jatkuvalla (ei hyppyä) keskiarvolla ja NEES χ² -johdonmukaisuusportilla sekä yhteisen P(saatavilla JA toistotarkkuusluokka JA eheys varmistettu) -pisteen korrelaation käsittelyllä. VALIDATED suljettu muoto: etäisyysmittauksen CRLB, diffraktiojalanjälki, χ²-suojaustason kvantiili, yhdistekombinatoriikka, luovutuksen keskiarvon jatkuvuus + NEES-portti sekä yhteinen riippumaton tulo. MODELLED: optiset häviöallokaatiot, RF/optisten σ-suuruudet, pilviklimatologiasyötteet, korrelaatiot ja P_HMI-budjetti. Ei sertifioitu saatavuus-/eheystuote.

Yksi ajo tiedostolla scenarios/hybrid-optical-rf.toml tiivistyy seuraavasti: 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

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: 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

Esimerkki scenarios/hybrid-optical-rf.toml asettaa muun muassa seuraavat:

Aja se#

kshana scenarios/hybrid-optical-rf.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulosmerkintä (moottorin oma): Heterogeeninen optinen + RF PNT -yhteinen saatavuuden / toistotarkkuuden / eheyden laatumittari (P5). VALIDATED suljettu muoto: fotonirajoitettu etäisyysmittauksen CRLB (σ_τ/√N) ja diffraktiojalanjälki (λ/D·etäisyys), χ²-modaliteettienvälinen suojaustason kvantiili, N aseman riippumaton yhdistesaatavuus (1 − Π(

Todisteet#

Yksikään matriisin rivi ei nimeä tätä tyyppiä nimellä; sen tuloksen merkintä on moottorin oma, yllä.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

• MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
• MODELLED Hybrid-optical-rf-raportti ilmoittaa linkkikonfiguraation, jolla se todella ajettiin (kantoaallon aallonpituus, lähetys- ja vastaanottoapertuuri, etäisyys, pulssin leveys, integraatio. Oraakkeli (InternalConsistency): Ei ulkoista oraakkelia, eikä sellainen ole mahdollinen: tämä on itsekuvaus, ei mittaus. Se kirjataan, koska sen puuttuminen oli vika -- P5:n piti lainata kantoaallon aallonpituus ja lähetysapertuuri lähdekoodin oletuksista ja päätellä, että paljas variance oli neliömetreinä sisäisestä johdonmukaisuustarkistuksesta. Päätelmä oli oikea, ja juuri siksi sillä oli väliä: mikään ei olisi havainnut sen olevan vää
• MODELLED Hybrid-optical-rf-raportti ilmoittaa RF-linkin saatavuuden, koostettuna suureista, jotka moottori jo laskee, eikä tuodusta klimatologiasta, ja . Oraakkeli (InternalConsistency): Ei ulkoista oraakkelia, ja ExternalDataset on hylätty. Kaksi syötettä ovat Eb/N0-marginaali ja C/N0-kynnyksen ylitys, molemmat MODELLED EIRP:n, laatumittarin ja yhteen niputetun häviöallokaation funktioita; Maa–Kuu-optisen/RF-hybridipalvelun mitattua saatavuustallennetta, jota vasten koostettua lukua voisi tarkistaa, ei ole. Olemassa olevat tarkistukset ovat sisäisiä ja ilmoitettu sellaisina: koostumus lasketaan uudelleen r
• MODELLED Hybrid-optical-rf-raportti antaa optisen ja RF-etäisyysmittauksen suhteen siten, että YKSI konfiguraatio, jolla molemmat osuudet arvioitiin, kulkee samassa objektissa: sa. Oraakkeli (InternalConsistency): SUHTEELLE ei ole ulkoista oraakkelia, ja ExternalDataset on hylätty tarkoituksella. Taustalla olevalla RF-ketjulla sellainen on -- tests/validate_p5_rf_ranging_precision.rs tarkistaa linkbudget::link_budget ja navsignal::dll_code_jitter_chips riippumatonta Python/NumPy-fixturea vasten ja kovakoodattua Kaplan & Hegarty -työstettyä arvoa vasten (2.814e-3 chip / 0,825 m arvolla 45 dB-Hz) -- ja optisella CRLB:llä on oma suljetun muodon rivi
• MODELLED Hybrid-optical-rf-raportti ilmoittaa, mitä modaliteettien välinen khiin neliö -monitori voi todella HAVAITA, ei vain sitä, että se läpäisee vikavapaan tapauksen: pienin havai. Oraakkeli (InternalConsistency): Kaksi sisäistä oraakkelia, ei ulkoista aineistoa. (1) Suljetun muodon edestakainen laskenta: pienin havaittava harha tuotetaan kääntämällä epäkeskisen khiin neliön häntä epäkeskisyysparametrin suhteen (raim::pbias) ja se varmistetaan syöttämällä saatu epäkeskisyysparametri takaisin funktion raim::noncentral_chi2_cdf läpi monitorin omalla kynnyksellä, ja sen on palautettava P_md. (2) Injektio vastaan analyysi: harha kirjoitetaan yhden akselin RF-estimaat

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• Heterogeeninen optinen + RF PNT -yhteinen saatavuuden / toistotarkkuuden / eheyden laatumittari (P5). VALIDATED suljettu muoto: fotonirajoitettu etäisyysmittauksen CRLB (σ_τ/√N) ja diffraktiojalanjälki (λ/D·etäisyys), χ²-modaliteettienvälinen suojaustason kvantiili, N aseman riippumaton yhdistesaatavuus (1 − Π(1−a_i)), optinen↔RF-luovutuksen keskiarvon jatkuvuus (bitti bitiltä ei hyppyä) -invariantti ja NEES χ² -portti sekä yhteisen laatumittarin riipp (tulos label)
• MODELLED heterogeeninen optinen + RF PNT -yhteinen laatumittari (P5): koostaa 1550 nm:n kaksisuuntaisen optisen linkkibudjetin (fotonirajoitettu kaksisuuntainen etäisyysmittauksen CRLB σ_τ/√N ja diffraktiojalanjälki λ/D·etäisyys), modaliteettien välisen ratkaisuerotus-RAIM-suojaustason (paikka JA ajoitus), joka yhdistää löyhän RF- ja tiukan optisen ratkaisun erilaisilla kovariansseilla, N aseman optisen selkeän taivaan saatavuuden (riippumaton yhdiste (tyyppiluettelo (kshana kinds --json))
• MODELLED: optiset häviöallokaatiot, RF/optisten σ-suuruudet, pilviklimatologiasyötteet, korrelaatiot ja P_HMI-budjetti. (tyyppiluettelo (kshana kinds --json))
• MODELLED. Validoidut suljetut muodot: etäisyysmittauksen CRLB (sigma_tau/sqrt(N)), diffraktiojalanjälki (lambda/D * etäisyys), khiin neliö -suojaustason kvantiili, yhdistekombinatoriikka, luovutuksen keskiarvon jatkuvuus + NEES-portti sekä yhteinen riippumaton tulo. Häviöallokaatiot, sigma-suuruudet, pilviklimatologiasyötteet, korrelaatiot ja P_HMI-budjetti ovat mallinnettuja edustavia syötteitä. Jokainen alla oleva kenttä on valinnainen ja näytetään sen (skenaariotiedoston kommentti, rivit 10–14)
• --- G15 harha-/ramppivian injektio modaliteettien väliseen monitoriin --- Pienin havaittava harha ja havaitsemistehokäyrä ovat ANALYYTTISIÄ (epäkeskisen khiin neliön käänteisfunktio), joten ne eivät tarvitse omia syötteitä. Nämä kaksi asettavat vain ramppinopeuden, josta raportoitu havaitsemisaika on nopeusmuunnos. Molemmat MODELLED. (skenaariotiedoston kommentti, rivit 56–59)
• --- G17 luovutuksen jälkeinen vapaa ajautuminen: prosessikohina ja hälytysrajan ylitys --- Satunnaiskävely olemassa olevassa 4-tilaisessa (itä, pohjoinen, ylös, kello) luovutussuodattimessa. Hälytysrajat ovat jo yllä ilmoitetut; vain prosessikohina ja kattavuuskerroin ovat uusia. Molemmat PSD:t ovat MODELLED edustavia syötteitä, ja ylitysajat skaalautuvat suoraan niiden mukana. (skenaariotiedoston kommentti, rivit 63–67)
• Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Hybridin optisen/RF-raportin itsekuvaus on MODELLED, ei validoitu: se on tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vasten — se havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: Optinen PNT
• Kaikki lajit: KINDS.md