eo-coverage (druh scénáře)
Druh scénáře enginu v0.40.0, rodina Analýza misí, spoje a kosmické operace. 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ý zdejší štítek 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á#
Geometrie stopy a pokrytí užitečného zatížení pro pozorování Země (kosmický trojúhelník SMAD): úhlový poloměr Země, šířka pásu, rozlišení na zemi v nadiru, maximální přístup mimo nadir, kruhová perioda, uzlová perioda J2 a rozestup pozemních stop na rovníku s příznakem souvislého pokrytí, pro výšku oběžné dráhy, sklon (ve výchozím nastavení slunečně synchronní) a zorné pole FOV/IFOV senzoru. MODELLED geometrie kulové Země (bez radiometrie/MTF/atmosféry/chvění/odlesků); rozestup uzlů R_e·(ω − Ω̇)·T_nodal s prvořadými sekulárními rychlostmi J2.
Jeden běh scenarios/eo-coverage.toml se shrnuje takto: eo-coverage: 700 km, ±7,5° FOV -> pás 184 km, 9,8 m GSD v nadiru, přístup do 745 km mimo nadir; rozestup uzlů 2752 km (s mezerami) (MODELLED)
Vstupy#
Ze schématu (kshana kinds --json):
- Povinná pole: žádná
- Volitelná pole:
altitude_km,half_fov_deg,ifov_microrad,max_off_nadir_deg,inclination_deg
Příklad scenarios/eo-coverage.toml mimo jiné nastavuje:
| Pole | Hodnota | Jednotka |
|---|---|---|
altitude_km |
700 | km |
half_fov_deg |
7.5 | deg |
ifov_microrad |
14 | neuvedeno |
kind |
eo-coverage | text |
max_off_nadir_deg |
45 | deg |
Spusťte jej#
kshana scenarios/eo-coverage.toml
Co poskytuje#
Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:
| Výsledek | Hodnota | Jednotka |
|---|---|---|
altitude_km |
700 | km |
contiguous_equatorial_coverage |
false | příznak |
earth_angular_radius_deg |
64.303554 | deg |
equatorial_ground_track_spacing_km |
2752.173944 | km |
evidence.id_rule |
stabilní id řádku matice (ID | text |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | text |
evidence.tier |
MODELLED | text |
half_fov_deg |
7.5 | deg |
inclination_deg |
98.187982 | deg |
max_access_ground_range_km |
745.175016 | km |
Označení výsledku (z enginu): MODELLED — geometrie kosmického trojúhelníku pro kulovou Zemi; pás/GSD/přístup jsou geometrické (bez radiometrie/MTF/atmosféry/chvění/odlesků), rozestup pozemních stop je R_e·(ω − Ω̇)·T_nodal s prvořadými sekulárními rychlostmi J2
Důkazy#
VALIDATED: řádky verifikační matice, které tento druh uvádějí.
- VALIDATED Geometrie kosmického trojúhelníku SMAD: úhlový poloměr Země, šířka pásu, GSD v nadiru, maximální přístup mimo nadir a kruhová perioda, plus prvořadá uzlová perioda J2 (eo_payload::j2_nodal_period) a rozestup pozemních stop na rovníku R_e (omega_ Testy: eo_payload_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
- VALIDATED Geometrie kosmického trojúhelníku SMAD: úhlový poloměr Země, šířka pásu, GSD v nadiru, maximální přístup mimo nadir a kruhová perioda, plus prvořadá uzlová perioda J2 (. Oracle (ExternalDataset): Orekit 12,2 (Apache-2.0) a GeographicLib 2,1 (MIT), obojí spuštěné jako samostatné programy, předregistrované (766823f3) před změnou enginu a jakýmkoli během orákula: veličiny pro kouli do 1e-9 relativně (nejhorší: úhlový poloměr 5.4e-16, pás 7.0e-13, přístup 1.9e-14), perioda 1e-12 (1.6e-16), GSD v nadiru 1e-7 (2.9e-10), uzlová perioda J2 a rozestup uzlů do 0,1 % číselné propagace J2 v Orekitu s detektorem uzlů (1
Omezení#
Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:
- MODELLED — geometrie kosmického trojúhelníku pro kulovou Zemi; pás/GSD/přístup jsou geometrické (bez radiometrie/MTF/atmosféry/chvění/odlesků), rozestup pozemních stop je R_e·(ω − Ω̇)·T_nodal s prvořadými sekulárními rychlostmi J2 (výsledek
label) - MODELLED geometrie kulové Země (bez radiometrie/MTF/atmosféry/chvění/odlesků); rozestup uzlů R_e·(ω − Ω̇)·T_nodal s prvořadými sekulárními rychlostmi J2. (katalog druhů (
kshana kinds --json)) - ČESTNÝ ROZSAH: MODELLED pouze geometrie kulové Země -- žádný model radiometrie / MTF / atmosféry / chvění zaměření / slunečních odlesků. Rozestup pozemních stop je R_e*(omega - dOmega/dt)*T_nodal s prvořadými sekulárními rychlostmi J2; sklon je ve výchozím nastavení slunečně synchronní pro danou výšku. Spuštění: kshana scenarios/eo-coverage.toml (komentář v souboru scénáře, řádky 7 až 11)
- 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: Analýza misí, spoje a kosmické operace
- Všechny druhy: KINDS.md
- Tematická stránka: ENTRY-EO-ASCENT.md