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

Stránky druhů scénářůZatím ne na GitHubuZdroj: docs/kinds/by-kind/lunar-surface.md

lunar-surface (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ý štítek zde je štítkem enginu nebo verifikační matice; druh je MODELLED, pokud matice neříká jinak (jak se štítek získává: oddíl Evidence v README).

Co dělá#

MODELLED dostupnost určování polohy a času na povrchu podle místa a ročního období pro jihopolární místa třídy Artemis. Pro každé místo a období (epochu a okno po ní) uvádí polohování pomocí relé (čtyři a více relé ILLUSTRATIVE konstelace třídy LCNS ve výhledu a PDOP pod prahem, ze stejných funkcí jako moonlight-service-volume a s oddílem terénu také s horizontem vykresleným metodou ray-marching z terénu lunar-station-coverage), zda jsou Země a Slunce nad horizontem místa (analytická poloha Slunce a Měsíce a orientace Měsíce, včetně librace, která se s ročním obdobím mění), a dostupnost času (relé nebo Země ve výhledu) s nejdelším úsekem, kdy není ani jedno, tedy s holdoverem, který musí povrchové hodiny překlenout. Výsledek pro jedno místo se rovná výsledku moonlight-service-volume na bit. MODELLED: ilustrativní keplerovská sada relé na Měsíci s průměrnou rotací; údaj o relé se s ročním obdobím nemění; terén je výřez LOLA 1200 m. Bez podpory agentury; software pouze poradního charakteru, nikoli certifikované navigační zařízení.

Jeden běh scenarios/lunar-surface.toml se shrne takto: lunar-surface | 4 míst x 4 období | polohování 41% až 41% | nejhorší dostupnost času 100,0% | nejdelší mezera v čase 0,0 h (MODELLED)

Vstupy#

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

  • Povinná pole: žádná
  • Volitelná pole: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

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

Pole Hodnota Jednotka
argp_deg 90 deg
earth_mask_deg 0 deg
eccentricity 0.6 neuvedeno
inc_deg 57.7 deg
kind lunar-surface text
mask_deg 5 deg
n_sats 8 neuvedeno
pdop_threshold 6 1
season_dates [2028-01-01, 2028-04-01, 2028-07-01, 2028-09-30] neuvedeno
sites[0].lat_deg -89.9 deg
sites[0].lon_deg 0 deg
sites[0].name jihopolární 89,9 text

Spusťte jej#

kshana scenarios/lunar-surface.toml

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

Co poskytuje#

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

Výsledek Hodnota Jednotka
advisory Software pouze poradního charakteru, nikoli certifikované navigační zařízení text
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
exit_state.clock_sigma_s 5.0000e-8 s
exit_state.evidence MODELLED text
exit_state.frame mci text
exit_state.longest_timing_gap_h 0 h
exit_state.position_velocity_covariance projde beze změny text
exit_state.stay_days 27.3217 d

Štítek výsledku (enginu): MODELLED

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

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
  • 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. Orákulum (ReferenceImpl): Přesná rovnost s existujícím druhem pro jedno místo a kontroly monotonie v testech. Sada relé je ILLUSTRATIVE a neporovnává se žádné měření na povrchu

Omezení#

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

  • MODELLED (výsledek label)
  • MODELLED dostupnost určování polohy a času na povrchu podle místa a ročního období pro jihopolární místa třídy Artemis. (katalog druhů (kshana kinds --json))
  • MODELLED: ilustrativní keplerovská sada relé na Měsíci s průměrnou rotací; údaj o relé se s ročním obdobím nemění; terén je výřez LOLA 1200 m. (katalog druhů (kshana kinds --json))
  • ČESTNOST: MODELLED. Sada relé je ilustrativní a keplerovská, Měsíc se pro relé otáčí průměrnou rychlostí (bez librace) jako v moonlight-service-volume; Země a Slunce používají analytickou orientaci, takže se oba rámce o toto vynechání liší. Údaj o polohování pomocí relé se v tomto modelu s ročním obdobím nemění; údaje o Zemi a Slunci ano. Netvrdí se žádná shoda s žádnou skutečnou službou ani místem. Adv (komentář v souboru scénáře, řádky 11 až 15)
  • 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))
  • Dostupnost určování polohy a času na povrchu podle místa a ročního období na lunárních pólech (lunar-surface) je MODELLED, nikoli ověřena: kontroluje se proti samostatné implementaci v téže kódové základně, nezávislé na testované jednotce, ale není vnějším autoritativním zdrojem. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#