eo-coverage (scenarietype)
Scenarietype i motoren v0.40.0, familien Missionsanalyse, forbindelser og rumoperationer. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke typegodkendt navigationsudstyr og ikke en tjeneste til beskyttelse af menneskeliv. Hver etiket her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en etiket optjenes: afsnittet Evidence i README'en).
Hvad det gør#
Footprint og dækningsgeometri for jordobservationsnyttelast (SMAD-rumtrekant): Jordens vinkelradius, swathbredde, GSD i nadir, maksimal off-nadir-adgang, cirkulær periode, J2-knudeperiode og afstand mellem jordspor ved ækvator med et flag for sammenhængende dækning, for en banehøjde, hældning (solsynkron som standard) og sensor-FOV/IFOV. MODELLED geometri med kugleformet Jord (ingen radiometri/MTF/atmosfære/jitter/glint); knudeafstand R_e·(ω − Ω̇)·T_nodal med første-ordens sekulære J2-rater.
Én kørsel af scenarios/eo-coverage.toml opsummeres som: eo-coverage: 700 km, ±7,5° FOV -> 184 km swath, 9,8 m GSD i nadir, adgang til 745 km off-nadir; knudeafstand 2752 km (med huller) (MODELLED)
Input#
Fra skemaet (kshana kinds --json):
- Påkrævede felter: ingen
- Valgfrie felter:
altitude_km,half_fov_deg,ifov_microrad,max_off_nadir_deg,inclination_deg
Eksemplet scenarios/eo-coverage.toml angiver blandt andet:
| Felt | Værdi | Enhed |
|---|---|---|
altitude_km |
700 | km |
half_fov_deg |
7.5 | deg |
ifov_microrad |
14 | ikke angivet |
kind |
eo-coverage | tekst |
max_off_nadir_deg |
45 | deg |
Kør den#
kshana scenarios/eo-coverage.toml
Hvad den giver#
De skalare resultater af den kørsel, med de enheder, motoren angiver:
| Resultat | Værdi | Enhed |
|---|---|---|
altitude_km |
700 | km |
contiguous_equatorial_coverage |
false | flag |
earth_angular_radius_deg |
64.303554 | deg |
equatorial_ground_track_spacing_km |
2752.173944 | km |
evidence.id_rule |
det stabile id for matrixrækken (kolonnen 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 |
Resultatmærkat (motorens egen): MODELLED — rumtrekantgeometri med kugleformet Jord; swath/GSD/adgang er geometriske (ingen radiometri/MTF/atmosfære/jitter/glint), afstanden mellem jordspor er R_e·(ω − Ω̇)·T_nodal med første-ordens sekulære J2-rater
Evidens#
VALIDATED: rækkerne i verifikationsmatrixen, som nævner denne type.
- VALIDATED SMAD-rumtrekantgeometri: Jordens vinkelradius, swathbredde, GSD i nadir, maksimal off-nadir-adgang og cirkulær periode, plus den første-ordens J2-knudeperiode (eo_payload::j2_nodal_period) og afstanden mellem jordspor ved ækvator R_e (omega_ Tests: eo_payload_coverage_reference.rs.
De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):
- MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
- VALIDATED SMAD-rumtrekantgeometri: Jordens vinkelradius, swathbredde, GSD i nadir, maksimal off-nadir-adgang og cirkulær periode, plus den første-ordens J2-knudeperiode (. Uafhængig reference (ExternalDataset): Orekit 12,2 (Apache-2.0) og GeographicLib 2,1 (MIT), begge kørt som separate programmer, præregistreret (766823f3) før motorændringen og før nogen kørsel af den uafhængige reference: størrelser for kuglen inden for 1e-9 relativt (værst: vinkelradius 5.4e-16, swath 7.0e-13, adgang 1.9e-14), periode 1e-12 (1.6e-16), GSD i nadir 1e-7 (2.9e-10), J2-knudeperioden og knudeafstanden inden for 0,1 % af en numerisk J2-propagering i Orekit med en knudedetektor (1
Begrænsninger#
Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:
- MODELLED — rumtrekantgeometri med kugleformet Jord; swath/GSD/adgang er geometriske (ingen radiometri/MTF/atmosfære/jitter/glint), afstanden mellem jordspor er R_e·(ω − Ω̇)·T_nodal med første-ordens sekulære J2-rater (resultat
label) - MODELLED geometri med kugleformet Jord (ingen radiometri/MTF/atmosfære/jitter/glint); knudeafstand R_e·(ω − Ω̇)·T_nodal med første-ordens sekulære J2-rater. (typekatalog (
kshana kinds --json)) - ÆRLIG AFGRÆNSNING: kun MODELLED geometri med kugleformet Jord -- ingen model for radiometri / MTF / atmosfære / pegejitter / sunglint. Afstanden mellem jordspor er R_e*(omega - dOmega/dt)*T_nodal med første-ordens sekulære J2-rater; hældningen er som standard den solsynkrone for højden. Kør: kshana scenarios/eo-coverage.toml (kommentar i scenariefilen, linje 7 til 11)
- Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
Se også#
- Familieside: Missionsanalyse, links og rumoperationer
- Alle typer: KINDS.md
- Emneside: ENTRY-EO-ASCENT.md