Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/eo-coverage.md

eo-coverage (scenariokind)

Scenariotype van de engine v0.40.0, familie Missieanalyse, verbindingen en ruimteoperaties. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen dienst voor het redden van mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een type is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Voetafdruk van een aardobservatiepayload en dekkingsgeometrie (SMAD-ruimtedriehoek): hoekstraal van de Aarde, zwadbreedte, grondafstand van een sample in nadir, maximale toegang buiten nadir, cirkelvormige periode, J2-knoopperiode en equatoriale grondspoorafstand met een vlag voor aaneengesloten dekking, voor een baanhoogte, inclinatie (standaard zonsynchroon) en sensor-FOV/IFOV. MODELLED bolvormige-Aardegeometrie (geen radiometrie/MTF/atmosfeer/jitter/glint); knoopafstand R_e·(ω − Ω̇)·T_nodal met eerste-orde seculaire J2-snelheden.

Eén run van scenarios/eo-coverage.toml vat samen als: eo-coverage: 700 km, ±7,5° FOV -> zwad van 184 km, 9,8 m GSD in nadir, toegang tot 745 km buiten nadir; knoopafstand 2752 km (met gaten) (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

Het voorbeeld scenarios/eo-coverage.toml stelt onder meer in:

Veld Waarde Eenheid
altitude_km 700 km
half_fov_deg 7.5 deg
ifov_microrad 14 niet vermeld
kind eo-coverage tekst
max_off_nadir_deg 45 deg

Uitvoeren#

kshana scenarios/eo-coverage.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
altitude_km 700 km
contiguous_equatorial_coverage false vlag
earth_angular_radius_deg 64.303554 deg
equatorial_ground_track_spacing_km 2752.173944 km
evidence.id_rule de stabiele id van de matrixrij (de 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

Resultaatlabel (van de engine): MODELLED — ruimtedriehoeksgeometrie van een bolvormige Aarde; zwad/GSD/toegang zijn geometrisch (geen radiometrie/MTF/atmosfeer/jitter/glint), de grondspoorafstand is R_e·(ω − Ω̇)·T_nodal met eerste-orde seculaire J2-snelheden

De grafiek die de engine schrijft voor scenarios/eo-coverage.toml, kind eo-coverage

Bewijs#

VALIDATED: de rijen van de verificatiematrix die dit kind noemen.

  • VALIDATED SMAD-ruimtedriehoeksgeometrie: hoekstraal van de Aarde, zwadbreedte, GSD in nadir, maximale toegang buiten nadir en cirkelvormige periode, plus de eerste-orde J2-knoopperiode (eo_payload::j2_nodal_period) en de equatoriale grondspoorafstand R_e (omega_ Tests: eo_payload_coverage_reference.rs.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • VALIDATED SMAD-ruimtedriehoeksgeometrie: hoekstraal van de Aarde, zwadbreedte, GSD in nadir, maximale toegang buiten nadir en cirkelvormige periode, plus de eerste-orde J2-knoopperiode (. Onafhankelijke referentie (ExternalDataset): Orekit 12,2 (Apache-2.0) en GeographicLib 2,1 (MIT), beide als afzonderlijke programma's uitgevoerd, vooraf vastgelegd (766823f3) vóór de engine-wijziging en vóór enige referentierun: bolgrootheden binnen 1e-9 relatief (slechtste: hoekstraal 5.4e-16, zwad 7.0e-13, toegang 1.9e-14), periode 1e-12 (1.6e-16), GSD in nadir 1e-7 (2.9e-10), de J2-knoopperiode en de knoopafstand binnen 0,1 % van een numerieke J2-propagatie in Orekit met een knoopdetector (1

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • MODELLED — ruimtedriehoeksgeometrie van een bolvormige Aarde; zwad/GSD/toegang zijn geometrisch (geen radiometrie/MTF/atmosfeer/jitter/glint), de grondspoorafstand is R_e·(ω − Ω̇)·T_nodal met eerste-orde seculaire J2-snelheden (resultaat label)
  • MODELLED bolvormige-Aardegeometrie (geen radiometrie/MTF/atmosfeer/jitter/glint); knoopafstand R_e·(ω − Ω̇)·T_nodal met eerste-orde seculaire J2-snelheden. (kindcatalogus (kshana kinds --json))
  • EERLIJKE REIKWIJDTE: alleen MODELLED bolvormige-Aardegeometrie -- geen model voor radiometrie / MTF / atmosfeer / richtjitter / zonneglinstering. De grondspoorafstand is R_e*(omega - dOmega/dt)*T_nodal met eerste-orde seculaire J2-snelheden; de inclinatie staat standaard op de zonsynchrone voor de hoogte. Run: kshana scenarios/eo-coverage.toml (opmerking in het scenariobestand, regels 7 tot 11)
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#