eo-coverage (scenariotype)
Scenariotype i motoren v0.40.0, familien Oppdragsanalyse, linker og romoperasjoner. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en tjeneste der liv og sikkerhet står på spill. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).
Hva den gjør#
Fotavtrykk og dekningsgeometri for nyttelast til jordobservasjon (SMAD-romtriangel): jordens vinkelradius, svathbredde, bakkeoppløsning i nadir, maksimal tilgang utenfor nadir, sirkulær periode, J2-nodeperiode og avstand mellom bakkespor ved ekvator med et flagg for sammenhengende dekning, for en banehøyde, inklinasjon (solsynkron som standard) og sensorens FOV/IFOV. MODELLED geometri for sfærisk jord (ingen radiometri/MTF/atmosfære/jitter/glint); nodeavstand R_e·(ω − Ω̇)·T_nodal med førsteordens sekulære J2-rater.
Én kjøring av scenarios/eo-coverage.toml oppsummeres som: eo-coverage: 700 km, ±7,5° FOV -> 184 km swath, 9,8 m nadir GSD, access to 745 km off-nadir; node spacing 2752 km (gapped) (MODELLED)
Inndata#
Fra skjemaet (kshana kinds --json):
- Påkrevde felt: ingen
- Valgfrie felt:
altitude_km,half_fov_deg,ifov_microrad,max_off_nadir_deg,inclination_deg
Eksempelet scenarios/eo-coverage.toml setter blant annet:
| Felt | Verdi | Enhet |
|---|---|---|
altitude_km |
700 | km |
half_fov_deg |
7.5 | deg |
ifov_microrad |
14 | ikke oppgitt |
kind |
eo-coverage | tekst |
max_off_nadir_deg |
45 | deg |
Kjør den#
kshana scenarios/eo-coverage.toml
Hva den gir#
Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:
| Resultat | Verdi | Enhet |
|---|---|---|
altitude_km |
700 | km |
contiguous_equatorial_coverage |
false | flagg |
earth_angular_radius_deg |
64.303554 | deg |
equatorial_ground_track_spacing_km |
2752.173944 | km |
evidence.id_rule |
den stabile id-en til matriseraden (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
evidence.tier |
MODELLED | tekst |
half_fov_deg |
7.5 | deg |
inclination_deg |
98.187982 | deg |
max_access_ground_range_km |
745.175016 | km |
Resultatetikett (motorens): MODELLED — spherical-Earth space-triangle geometry; swath/GSD/access are geometric (no radiometry/MTF/atmosphere/jitter/glint), ground-track spacing is R_e·(ω − Ω̇)·T_nodal with first-order J2 secular rates
Evidens#
VALIDATED: radene i verifikasjonsmatrisen som nevner denne typen.
- VALIDATED SMAD-romtriangelgeometri: jordens vinkelradius, svathbredde, bakkeoppløsning i nadir, maksimal tilgang utenfor nadir og sirkulær periode, pluss førsteordens J2-nodeperiode (eo_payload::j2_nodal_period) og avstanden mellom bakkespor ved ekvator R_e (omega_ Tester: eo_payload_coverage_reference.rs.
Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):
- MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
- VALIDATED SMAD-romtriangelgeometri: jordens vinkelradius, svathbredde, bakkeoppløsning i nadir, maksimal tilgang utenfor nadir og sirkulær periode, pluss førsteordens J2-nodeperiode (. Uavhengig referanse (ExternalDataset): Orekit 12,2 (Apache-2.0) og GeographicLib 2,1 (MIT), begge kjørt som separate programmer, forhåndsregistrert (766823f3) før motorendringen og før noen kjøring av den uavhengige referansen: kulestørrelser innen 1e-9 relativt (verst: vinkelradius 5.4e-16, svathbredde 7.0e-13, tilgang 1.9e-14), periode 1e-12 (1.6e-16), bakkeoppløsning i nadir 1e-7 (2.9e-10), J2-nodeperioden og nodeavstanden innen 0,1 % av en numerisk Orekit J2-propagering med nodedetektor (1
Begrensninger#
Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:
- MODELLED — spherical-Earth space-triangle geometry; swath/GSD/access are geometric (no radiometry/MTF/atmosphere/jitter/glint), ground-track spacing is R_e·(ω − Ω̇)·T_nodal with first-order J2 secular rates (resultat
label) - MODELLED geometri for sfærisk jord (ingen radiometri/MTF/atmosfære/jitter/glint); nodeavstand R_e·(ω − Ω̇)·T_nodal med førsteordens sekulære J2-rater. (typekatalog (
kshana kinds --json)) - HONEST SCOPE: MODELLED kun geometri for sfærisk jord -- ingen modell for radiometri / MTF / atmosfære / pekejitter / solglint. Avstanden mellom bakkespor er R_e*(omega - dOmega/dt)*T_nodal med førsteordens sekulære J2-rater; inklinasjonen er som standard den solsynkrone for høyden. Kjør: kshana scenarios/eo-coverage.toml (kommentar i scenariofilen, linje 7 til 11)
- Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
Se også#
- Familieside: Oppdragsanalyse, linker og romoperasjoner
- Alle typer: KINDS.md
- Temaside: ENTRY-EO-ASCENT.md