moonlight-service-volume (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á analýza objemu služby lunární navigace z ILLUSTRATIVE konstelace třídy Moonlight/LCNS na lunární oběžné dráze z veřejných zdrojů (bez spojení s ESA): prochází mřížku selenografické šířky/délky přes časový horizont a uvádí DOP / pokrytí / dostupnost (≥4 družic A PDOP < práh) plus obálku zobecněné lunární ochranné úrovně ARAIM (HPL/VPL) přes objem. Geometrie DOP POUŽÍVÁ ZNOVU jádro (crate::orbit::dop) s úrovní VALIDATED vůči gnss_lib_py; ochranná úroveň POUŽÍVÁ ZNOVU aparát lunárního ARAIM LunaNet LNIS (crate::lunar, σ_URE≈30 m) a jako zvláštní případ se redukuje na existující PL u jižního pólu. MODELLED kompozice: sada relé s kruhovými/eliptickými keplerovskými drahami (nikoli skutečná diferenciálně korigovaná efemerida LCNS/NRHO), Měsíc se střední rotací (bez librace / precesujícího pólu). Deterministické (čistá geometrie). Bez TRL/heritage/podpory agentury.

Jeden běh scenarios/moonlight-service-volume.toml se shrne takto: moonlight-service-volume | 8 družic (ilustrativní třídy LCNS, bez spojení) | 24 bodů × 12 epoch | pokrytí 37,8% (PDOP<6,0) | družic 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | dostupnost PL 0,0% | MODELLED

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

Příklad scenarios/moonlight-service-volume.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/moonlight-service-volume.toml

Co poskytuje#

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

Důkazy#

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

• MODELLED Druh a fáze lunar-surface: dostupnost relé a PDOP, viditelnost Země a Slunce a disciplinované povrchové hodiny pro každé místo a období, s horizontem terénu z moonlight-service-volume; běh pro jedno místo se rovná výsledku tohoto druhu

Řá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
• VALIDATED Lunární DOP / pokrytí / dostupnost třídy Moonlight + zobecněné lunární ochranné úrovně ARAIM přes objem služby. Orákulum (ExternalDataset): Nezávislá autorita třetí strany, keplerovský propagátor ANISE 0.10.2 astro::Orbit (Nyx Space, MPL-2.0) — ekvinokciální dvoutělesová cesta kódu odlišná od Newtonovy–Raphsonovy Keplerovy rovnice v kshana; poloha MCI každé družice se shoduje na <1e-3 m a odvozený počet/množina viditelných družic se přesně shoduje v každém bodě mřížky. Jádro DOP je ověřeno proti gnss_lib_py; integrita používá publikované parametry LunaNet/LCNS
• VALIDATED Topocentrické úhly pohledu jednotlivých družic (azimut ve směru hodinových ručiček od severu, elevace) a šikmá vzdálenost na pojmenovaném selenografickém místě, při dané družici v rámci místa. Orákulum (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, spuštěné jako nástroj z xval/anise-service-geometry, binárka lunar-look-angles-xval, která nevolá žádný kód Kshana): vlastní rutina ANISE pro azimut, elevaci a vzdálenost (azimuth_elevation_range_sez) z míst vytvořených jejím konstruktorem šířka-délka-výška na Měsíci pck00011 (koule 1737,4 km), s družicemi otočenými do MOON_PA_DE440 přes moon_pa_de440_200625.bpc. 768 vzorků o

Omezení#

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

• MODELLED kompozice: sada relé s kruhovými/eliptickými keplerovskými drahami (nikoli skutečná diferenciálně korigovaná efemerida LCNS/NRHO), Měsíc se střední rotací (bez librace / precesujícího pólu). (katalog druhů (kshana kinds --json))
• ČESTNOST: MODELLED kompozice. Geometrie DOP je ověřena TÍM, ŽE ZNOVU POUŽÍVÁ ověřené jádro; kompozice pokrytí / dostupnosti / integrity je MODELLED — sada relé s kruhovými/eliptickými keplerovskými drahami (nikoli diferenciálně korigovaná efemerida LCNS / NRHO 9:2), Měsíc se střední rotací (bez fyzické librace / precesujícího pólu) a publikované parametry integrity LunaNet LNIS. Toto předvádí lunární objem služby M (komentář v souboru scénáře, řádky 27 až 32)
• 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))

Viz také#

• Stránka rodiny: Lunární a cislunární
• Všechny druhy: KINDS.md
• Tematická stránka: LUNAR-REFERENCE-STATION.md
• Stránka tématu: MISSION-THREAD-LUNAR.md