Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/eo-coverage.md

eo-coverage (scenario kind)

Scenariotyp i motor v0.40.0, familj Uppdragsanalys, länkar och rymdoperationer. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Fotavtryck och täckningsgeometri för en jordobservationsnyttolast (SMAD-rymdtriangeln): jordens vinkelradie, svepbredd, markupplösning i nadir (GSD), maximal åtkomst utanför nadir, cirkulär omloppstid, J2-nodperiod och markspårsavstånd vid ekvatorn med en flagga för sammanhängande täckning, för en omloppshöjd, inklination (solsynkron som standard) och sensorns FOV/IFOV. MODELLED geometri för en sfärisk jord (ingen radiometri/MTF/atmosfär/jitter/solglitter); nodavstånd R_e·(ω − Ω̇)·T_nodal med sekulära J2-hastigheter av första ordningen.

En körning av scenarios/eo-coverage.toml sammanfattas 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)

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: inga
  • Valfria fält: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

Exemplet scenarios/eo-coverage.toml anger bland annat:

Fält Värde Enhet
altitude_km 700 km
half_fov_deg 7.5 deg
ifov_microrad 14 inte angivet
kind eo-coverage text
max_off_nadir_deg 45 deg

Kör den#

kshana scenarios/eo-coverage.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
altitude_km 700 km
contiguous_equatorial_coverage false flagga
earth_angular_radius_deg 64.303554 deg
equatorial_ground_track_spacing_km 2752.173944 km
evidence.id_rule det stabila id:t för matrisraden (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

Resultatetikett (motorns egen): MODELLED — rymdtriangelgeometri för en sfärisk jord; svepbredd/GSD/åtkomst är geometriska (ingen radiometri/MTF/atmosfär/jitter/solglitter), markspårsavståndet är R_e·(ω − Ω̇)·T_nodal med sekulära J2-hastigheter av första ordningen

Diagrammet som motorn skriver för scenarios/eo-coverage.toml, kind eo-coverage

Evidens#

VALIDATED: raderna i verifieringsmatrisen som nämner den här typen.

  • VALIDATED SMAD-rymdtriangelgeometri: jordens vinkelradie, svepbredd, GSD i nadir, maximal åtkomst utanför nadir och cirkulär omloppstid, samt J2-nodperioden av första ordningen (eo_payload::j2_nodal_period) och markspårsavståndet vid ekvatorn R_e (omega_ Tests: eo_payload_coverage_reference.rs.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • VALIDATED SMAD-rymdtriangelgeometri: jordens vinkelradie, svepbredd, GSD i nadir, maximal åtkomst utanför nadir och cirkulär omloppstid, samt J2-nodperioden av första ordningen (. Oracle (ExternalDataset): Orekit 12,2 (Apache-2.0) och GeographicLib 2,1 (MIT), båda körda som separata program, förhandsregistrerade (766823f3) före motorändringen och före varje körning av referensen: sfärstorheter inom 1e-9 relativt (sämst: vinkelradie 5.4e-16, svepbredd 7.0e-13, åtkomst 1.9e-14), period 1e-12 (1.6e-16), GSD i nadir 1e-7 (2.9e-10), J2-nodperioden och nodavståndet inom 0,1 % av en numerisk J2-propagering i Orekit med en noddetektor (1

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • MODELLED — rymdtriangelgeometri för en sfärisk jord; svepbredd/GSD/åtkomst är geometriska (ingen radiometri/MTF/atmosfär/jitter/solglitter), markspårsavståndet är R_e·(ω − Ω̇)·T_nodal med sekulära J2-hastigheter av första ordningen (result label)
  • MODELLED geometri för en sfärisk jord (ingen radiometri/MTF/atmosfär/jitter/solglitter); nodavstånd R_e·(ω − Ω̇)·T_nodal med sekulära J2-hastigheter av första ordningen. (kind catalogue (kshana kinds --json))
  • ÄRLIG AVGRÄNSNING: enbart MODELLED geometri för en sfärisk jord -- ingen modell för radiometri / MTF / atmosfär / pekningsjitter / solglitter. Markspårsavståndet är R_e*(omega - dOmega/dt)*T_nodal med sekulära J2-hastigheter av första ordningen; inklinationen är som standard den solsynkrona för höjden. Run: kshana scenarios/eo-coverage.toml (scenario file comment, lines 7 to 11)
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#