Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/lunar-station-coverage.md

lunar-station-coverage (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Lunární a cislunární. 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é označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Modelované pokrytí lunární referenční stanicí: průchod modelu lunárního diferenciálního PNT metodou Monte Carlo přes uživatelskou mřížku u jižního pólu a den epoch. Diferenciální referenční stanice na známém místě u jižního pólu koriguje uvedenou konstelaci (ilustrativní keplerovskou nebo tabelovanou efemeridu) s uvedenou chybou signálu v prostoru, chybou zaměření, latencí korekce a kvantizací spoje; pro každý bod i pro celou oblast uvádí percentil korigované a nekorigované chyby polohy (3D, horizontální, vertikální), dostupnost, pokrytí vůči uvedenému prahu, ochranné úrovně DO-229E, poloměr pokrytí podle azimutu a rozpočet korekčního spoje na stanici a v nejhorším bodě. Není to tvrzení o výkonnosti žádného skutečného systému; bez spojení s žádnou agenturou ani její podpory. MODELLED.

Jeden běh scenarios/lunar-station-coverage.toml se shrne takto: lunar-station-coverage | 346 bodů x 144 epoch x 200 pokusů | dostupnost 92,2 % | pokrytí 76,5 % (p95 <= 20 m) | korigované p95 3D 15,592 m (nekorigované 1056,892 m) | HPL max 480,385 m | MODELLED; není to tvrzení o žádném skutečném systému

Vstupy#

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

  • Povinná pole: žádná
  • Volitelná pole: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

Příklad scenarios/lunar-station-coverage.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
accuracy_threshold_m 20 m
alert_limit_m 10 m
argp_deg 90 deg
clock_err_m 30 m
eccentricity 0.6 1
grid_lat_max_deg -80 deg
grid_lat_step_deg 1 deg
inc_deg 57.7 deg
kind lunar-station-coverage text
latency_s 10 s
mask_deg 5 deg
n_sats 8 počet

Spusťte jej#

kshana scenarios/lunar-station-coverage.toml

Tento druh používají 3 přibalené scénáře; ostatní jsou v scenarios/.

Co poskytuje#

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

Výsledek Hodnota Jednotka
budget_at_station_and_at_edge.epoch_s 0 s
budget_at_station_and_at_edge.station.ageing_clock_class rafs text
budget_at_station_and_at_edge.station.ageing_clock_time_error_s 3.1623e-11 s
budget_at_station_and_at_edge.station.ageing_orbit_rate_m_per_s 0.003083 m/s
budget_at_station_and_at_edge.station.latency_clock_position_sigma_m 0.030329 m
budget_at_station_and_at_edge.station.latency_clock_range_sigma_m 0.00948 m
budget_at_station_and_at_edge.station.latency_orbit_position_sigma_m 0.106357 m
budget_at_station_and_at_edge.station.latency_orbit_range_sigma_m 0.03083 m
budget_at_station_and_at_edge.station.latency_position_sigma_m 0.110597 m
budget_at_station_and_at_edge.station.latency_range_sigma_m 0.032254 m

Popisek výsledku (od enginu): MODELLED

Graf, který engine zapisuje pro scenarios/lunar-station-coverage.toml, druh lunar-station-coverage

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Průchod modelu lunárního diferenciálního PNT metodou Monte Carlo přes uživatelskou mřížku u jižního pólu a den epoch (druh lunar-station-coverage): pro diferenciální referenční stanici na známém místě u jižního pólu, pro každý bod i pro celou oblast, Testy: lunar_station_coverage_reference.rs.

Řá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 Diferenciální referenční stanice třídy NovaMoon: zrušení společného módu + reziduál rostoucí se základnou + ochranné úrovně DGNSS. Orákulum (InternalConsistency): Identita diferenciálního zrušení chyb + opětovné použití aparátu PL SBAS DO-229E; jednoduchý rozdíl + řešení WLS je navíc křížově ověřeno proti lsq()/matinv() z RTKLIB (Takasu, BSD-2-Clause, kompilované C) — nezávislý kód řešiče, ale stejná algebra rozdílu LOS prvního řádu, takže stále InternalConsistency
  • MODELLED Tři členy, které diferenciální korekce nabere mezi epochou, ve které je vypočtena, a epochou, ve které je použita, každý dříve ponechaný jako nemodelovaná rezerva:. Orákulum (InternalConsistency): Identity v uzavřeném tvaru a vnitřní konzistence: rozptyl rovnoměrného kvantizéru step²/12, přesné šíření kovariance (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ splývající na σ·PDOP pro stejné σ, přenos 1:1 členu zaměření jako důsledek û_user ≈ û_ref a kvadraturní uzavření vypínání. Křížová kontrola PDOP proti orbit::dop sdílí normální matici [−û, 1], takže jde o kontrolu konzistence a je tak označena, nikoli jako nezá
  • MODELLED Průchod modelu lunárního diferenciálního PNT metodou Monte Carlo přes uživatelskou mřížku u jižního pólu a den epoch (druh lunar-station-coverage): pro diferenciální r. Orákulum (InternalConsistency): Aritmetika přepočtená nezávislým skriptem numpy na exportovaných případech (scripts/gen_lunar_station_ref.py, numpy 2.5.4; předregistrováno v tests/fixtures/lunar_station/PREREGISTRATION.md, uloženo samostatně v 9caedf97 před prvním během): na 20 případech se všemi členy chyb zapnutými jsou viditelné množiny a stav shodné, surové chyby vzdálenosti se shodují na 1.4e-14 m, vektory a velikosti chyb polohy na 1.4e-9 m proti

Omezení#

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

  • MODELLED (výsledek label)
  • MODELLED. (katalog druhů (kshana kinds --json))
  • ČESTNOST: MODELLED. Při níže uvedených předpokladech dává model tyto hodnoty. Není to tvrzení o výkonnosti žádného skutečného systému; bez spojení s žádnou agenturou ani její podpory; bez tvrzení o TRL nebo heritage. Vynecháno: stínění terénem a horizontem u pólu (první omezení), vícecestné šíření, hardware přijímače. (komentář v souboru scénáře, řádky 15 až 18)
  • 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))
  • Lunární diferenciální PNT je MODELLED, nikoli ověřené: je kontrolováno proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není vnějším orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Lunární diferenciální PNT — rozpočet reziduí korekčního spoje je MODELLED, nikoli ověřený: je kontrolován proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není vnějším orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Mapa pokrytí a přesnosti lunární referenční stanice je MODELLED, nikoli ověřená: je kontrolována proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není vnějším orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#