hybrid-optical-rf (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Optická PNT. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každý štítek zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se štítek získává: oddíl Evidence v README).

Co dělá#

MODELLED heterogenní společný ukazatel kvality optické + RF PNT (P5): skládá obousměrný optický rozpočet spoje na 1550 nm (fotonově omezená dolní mez CRLB obousměrného měření vzdálenosti σ_τ/√N a difrakční stopa λ/D·vzdálenost), ochrannou úroveň RAIM s oddělováním řešení napříč modalitami (poloha I čas), která slučuje volné řešení RF a těsné optické řešení s rozdílnými kovariancemi, optickou dostupnost při jasné obloze pro N stanic (nezávislé sjednocení 1−Π(1−a_i) a prostorově korelovaná varianta), optické↔RF předání stavu/kovariance s DOKÁZANOU bitově spojitou (bez skoku) střední hodnotou a bránou konzistence NEES χ², a společné skóre P(dostupné A ZÁROVEŇ přesné na požadované úrovni A ZÁROVEŇ se zajištěnou integritou) s ošetřením korelací. VALIDATED uzavřený tvar: dolní mez CRLB měření vzdálenosti, difrakční stopa, kvantil ochranné úrovně χ², kombinatorika sjednocení, spojitost střední hodnoty předání + brána NEES a společný nezávislý součin. MODELLED: přidělení optických ztrát, velikosti σ RF/optiky, vstupy z klimatologie oblačnosti, korelace a rozpočet P_HMI. Nejde o certifikovaný produkt dostupnosti ani integrity.

Jeden běh scenarios/hybrid-optical-rf.toml se shrnuje takto: 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) | Ověřeno: CRLB/χ²-PL/union/handoff, vypočteno z modelu: σ/klimatologie

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: 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

Příklad scenarios/hybrid-optical-rf.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/hybrid-optical-rf.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Štítek výsledku (enginu): Heterogenní společný ukazatel kvality dostupnosti / přesnosti / integrity optické + RF PNT (P5). VALIDATED uzavřený tvar: fotonově omezená dolní mez CRLB měření vzdálenosti (σ_τ/√N) a difrakční stopa (λ/D·vzdálenost), kvantil ochranné úrovně χ² napříč modalitami, nezávislé sjednocení dostupnosti N stanic (1 − Π(

Důkazy#

Žádný řádek matice tento druh nejmenuje; označení jeho výsledku je vlastní označení enginu uvedené výše.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• MODELLED Zpráva hybrid-optical-rf uvádí konfiguraci spoje, se kterou skutečně běžela (vlnová délka nosné, vysílací a přijímací apertura, vzdálenost, šířka pulzu, integrac. Orákulum (InternalConsistency): Žádné externí orákulum a žádné není možné: jde o popis sebe sama, nikoli o měření. Je zaznamenán, protože jeho absence byla chybou – P5 musel vlastní vlnovou délku nosné a vysílací aperturu přebírat z výchozích hodnot ve zdrojovém kódu a z kontroly vnitřní konzistence usuzovat, že holé variance bylo ve čtverečních metrech. Usuzování bylo správné, a právě proto na tom záleželo: nic by nezachytilo, že je chybné
• MODELLED Zpráva hybrid-optical-rf uvádí dostupnost spoje RF, složenou z veličin, které engine už počítá, nikoli z importované klimatologie, a . Orákulum (InternalConsistency): Žádné externí orákulum a ExternalDataset je odmítnut. Dva vstupy jsou rezerva Eb/N0 a překročení prahu C/N0, obojí funkce MODELLED EIRP, ukazatele kvality a souhrnného přidělení ztrát; neexistuje žádný změřený záznam dostupnosti pro hybridní optickou/RF službu Země–Měsíc, proti kterému by se složený údaj dal zkontrolovat. Existující kontroly jsou vnitřní a jsou tak i uvedeny: složení se znovu přepočítá z
• MODELLED Zpráva hybrid-optical-rf uvádí poměr přesnosti optického a RF měření vzdálenosti s JEDNOU konfigurací, při které byly obě větve vyhodnoceny, neseno ve stejném objektu: stejn. Orákulum (InternalConsistency): Žádné externí orákulum pro POMĚR a ExternalDataset je záměrně odmítnut. Podkladový řetězec RF ho však má -- tests/validate_p5_rf_ranging_precision.rs kontroluje linkbudget::link_budget a navsignal::dll_code_jitter_chips proti nezávislému fixture v Pythonu/NumPy a proti pevně zapsané řešené hodnotě Kaplana a Hegartyho (2.814e-3 chip / 0,825 m při 45 dB-Hz) -- a optická mez CRLB má vlastní uzavřený tvar, řádek
• MODELLED Zpráva hybrid-optical-rf uvádí, co monitor chí-kvadrát napříč modalitami skutečně dokáže ZACHYTIT, nejen že projde bezporuchovým případem: minimální zachytitelné. Orákulum (InternalConsistency): Dvě vnitřní orákula, žádná externí datová sada. (1) Zpětný průchod v uzavřeném tvaru: minimální zachytitelný bias vzniká inverzí chvostu necentrálního chí-kvadrátu na necentralitě (raim::pbias) a ověřuje se tím, že se výsledná necentralita pošle zpět přes raim::noncentral_chi2_cdf při vlastním prahu monitoru, což musí vrátit P_md. (2) Injekce proti analýze: bias se zapíše do odhadu RF jedné osy

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• Heterogenní společný ukazatel kvality dostupnosti / přesnosti / integrity optické + RF PNT (P5). VALIDATED uzavřený tvar: fotonově omezená dolní mez CRLB měření vzdálenosti (σ_τ/√N) a difrakční stopa (λ/D·vzdálenost), kvantil ochranné úrovně χ² napříč modalitami, nezávislé sjednocení dostupnosti N stanic (1 − Π(1−a_i)), invariant spojitosti střední hodnoty předání optika↔RF (bitově přesně bez skoku) a brána NEES χ² a společný ukazatel kvality nezáv (výsledek label)
• MODELLED heterogenní společný ukazatel kvality optické + RF PNT (P5): skládá obousměrný optický rozpočet spoje na 1550 nm (fotonově omezená dolní mez CRLB obousměrného měření vzdálenosti σ_τ/√N a difrakční stopa λ/D·vzdálenost), ochrannou úroveň RAIM s oddělováním řešení napříč modalitami (poloha I čas), která slučuje volné řešení RF a těsné optické řešení s rozdílnými kovariancemi, optickou dostupnost při jasné obloze pro N stanic (nezávislé sjednocení (katalog druhů (kshana kinds --json))
• MODELLED: přidělení optických ztrát, velikosti σ RF/optiky, vstupy z klimatologie oblačnosti, korelace a rozpočet P_HMI. (katalog druhů (kshana kinds --json))
• MODELLED. Ověřené uzavřené tvary (proti nezávislé vnější referenci): dolní mez CRLB měření vzdálenosti (sigma_tau/sqrt(N)), difrakční stopa (lambda/D * range), kvantil ochranné úrovně chí-kvadrát, kombinatorika sjednocení, spojitost střední hodnoty předání + brána NEES a společný nezávislý součin. Přidělení ztrát, velikosti sigma, vstupy z klimatologie oblačnosti, korelace a rozpočet P_HMI jsou reprezentativní vstupy vypočtené z modelu. Každé pole níže je volitelné a zobrazeno s jeho (komentář v souboru scénáře, řádky 10 až 14)
• --- G15 injekce biasu / rampové poruchy proti monitoru napříč modalitami --- Minimální zachytitelný bias a křivka výkonu detekce jsou ANALYTICKÉ (inverze necentrálního chí-kvadrátu), takže nepotřebují žádné vlastní vstupy. Tyto dva pouze nastavují rychlost rampy, jejímž převodem je hlášená doba do detekce. Obojí MODELLED. (komentář v souboru scénáře, řádky 56 až 59)
• --- G17 setrvání po předání: procesní šum a překročení mezní hodnoty výstrahy --- Náhodná procházka na stávajícím 4stavovém filtru předání (východ, sever, nahoru, hodiny). Mezní hodnoty výstrahy jsou ty, které jsou již deklarovány výše; nové jsou pouze procesní šum a koeficient pokrytí. Obě PSD jsou reprezentativní vstupy MODELLED a doby překročení se s nimi přímo mění. (komentář v souboru scénáře, řádky 63 až 67)
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Sebepopis zprávy hybridního optického/RF druhu je MODELLED, nikoli ověřen proti nezávislé vnější referenci: zkontrolováno proti vlastní uzavřené / analytické identitě – zachytí chyby přepisu a koeficientů, ale není to externí orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Optická PNT
• Všechny druhy: KINDS.md