eo-coverage (skenaariotyyppi)
Moottorin v0.40.0 skenaariolaji, perhe Tehtäväanalyysi, linkit ja avaruusoperaatiot. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).
Mitä se tekee#
Maanhavaintokuorman jalanjälki ja kattavuusgeometria (SMAD:n avaruuskolmio): Maan kulmasäde, kaistan leveys, nadirin maanäytteen etäisyys (GSD), suurin nadirista poikkeava saavutettavuus, ympyräradan jaksonaika, J2-solmujakso ja päiväntasaajan maanpintajäljen väli yhtenäisen kattavuuden lipulla, kiertoradan korkeudelle, kaltevuudelle (oletuksena aurinkosynkroninen) ja anturin FOV/IFOV:lle. MODELLED pallomaisen Maan geometria (ei radiometriaa/MTF:ää/ilmakehää/osoitusvärinää/auringonpaistetta (glint)); solmuväli R_e·(ω − Ω̇)·T_nodal ensimmäisen kertaluvun J2-sekulaarisilla nopeuksilla.
Yksi ajo tiedostolla scenarios/eo-coverage.toml tiivistyy seuraavasti: 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)
Syötteet#
Skeemasta (kshana kinds --json):
- Pakolliset kentät: ei yhtään
- Valinnaiset kentät:
altitude_km,half_fov_deg,ifov_microrad,max_off_nadir_deg,inclination_deg
Esimerkki scenarios/eo-coverage.toml asettaa muun muassa seuraavat:
| Kenttä | Arvo | Yksikkö |
|---|---|---|
altitude_km |
700 | km |
half_fov_deg |
7.5 | deg |
ifov_microrad |
14 | ei ilmoitettu |
kind |
eo-coverage | teksti |
max_off_nadir_deg |
45 | deg |
Aja se#
kshana scenarios/eo-coverage.toml
Mitä se antaa#
Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:
| Tulos | Arvo | Yksikkö |
|---|---|---|
altitude_km |
700 | km |
contiguous_equatorial_coverage |
false | lippu |
earth_angular_radius_deg |
64.303554 | deg |
equatorial_ground_track_spacing_km |
2752.173944 | km |
evidence.id_rule |
matriisirivin vakaa tunniste (ID | teksti |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | teksti |
evidence.tier |
MODELLED | teksti |
half_fov_deg |
7.5 | deg |
inclination_deg |
98.187982 | deg |
max_access_ground_range_km |
745.175016 | km |
Tulosmerkintä (moottorin oma): MODELLED — pallomaisen Maan avaruuskolmiogeometria; kaista/GSD/saavutettavuus ovat geometrisia (ei radiometriaa/MTF:ää/ilmakehää/osoitusvärinää/glintiä), maanpintajäljen väli on R_e·(ω − Ω̇)·T_nodal ensimmäisen kertaluvun J2-sekulaarisilla nopeuksilla
Todisteet#
VALIDATED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.
- VALIDATED SMAD:n avaruuskolmiogeometria: Maan kulmasäde, kaistan leveys, nadir-GSD, suurin nadirista poikkeava saavutettavuus ja ympyräradan jaksonaika, sekä ensimmäisen kertaluvun J2-solmujakso (eo_payload::j2_nodal_period) ja päiväntasaajan maanpintajäljen väli R_e (omega_ Testit: eo_payload_coverage_reference.rs.
Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):
- MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
- VALIDATED SMAD:n avaruuskolmiogeometria: Maan kulmasäde, kaistan leveys, nadir-GSD, suurin nadirista poikkeava saavutettavuus ja ympyräradan jaksonaika, sekä ensimmäisen kertaluvun J2-solmujakso (. Oraakkeli (ExternalDataset): Orekit 12,2 (Apache-2.0) ja GeographicLib 2,1 (MIT), kumpikin ajettuna erillisinä ohjelmina, ennakkorekisteröity (766823f3) ennen moottorimuutosta ja ennen mitään oraakkeliajoa: pallosuureet 1e-9 suhteellisen virheen sisällä (pahin: kulmasäde 5.4e-16, kaista 7.0e-13, saavutettavuus 1.9e-14), jaksonaika 1e-12 (1.6e-16), nadir-GSD 1e-7 (2.9e-10), J2-solmujakso ja solmuväli 0,1 prosentin sisällä Orekit-kirjaston numeerisesta J2-propagoinnista solmuilmaisimella (1
Rajoitukset#
Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:
- MODELLED — pallomaisen Maan avaruuskolmiogeometria; kaista/GSD/saavutettavuus ovat geometrisia (ei radiometriaa/MTF:ää/ilmakehää/osoitusvärinää/glintiä), maanpintajäljen väli on R_e·(ω − Ω̇)·T_nodal ensimmäisen kertaluvun J2-sekulaarisilla nopeuksilla (tulos
label) - MODELLED pallomaisen Maan geometria (ei radiometriaa/MTF:ää/ilmakehää/osoitusvärinää/glintiä); solmuväli R_e·(ω − Ω̇)·T_nodal ensimmäisen kertaluvun J2-sekulaarisilla nopeuksilla. (tyyppiluettelo (
kshana kinds --json)) - RAJAUS, REHELLISESTI: vain MODELLED pallomaisen Maan geometria -- ei radiometria- / MTF- / ilmakehä- / osoitusvärinä- / auringonpaistemallia (sun-glint). Maanpintajäljen väli on R_e*(omega - dOmega/dt)*T_nodal ensimmäisen kertaluvun J2-sekulaarisilla nopeuksilla; kaltevuuden oletus on korkeudelle sopiva aurinkosynkroninen. Aja: kshana scenarios/eo-coverage.toml (skenaariotiedoston kommentti, rivit 7–11)
- Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
Katso myös#
- Perhesivu: Tehtäväanalyysi, linkit ja avaruusoperaatiot
- Kaikki lajit: KINDS.md
- Aihesivu: ENTRY-EO-ASCENT.md