`eo-coverage`（シナリオ種別）

エンジンv0.40.0のシナリオの種類。ファミリー：ミッション解析、リンク、宇宙運用。助言のみ：研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではなく、人命安全（safety-of-life）サービスでもありません。ここにあるラベルはすべてエンジンまたは検証マトリクスによるものです。検証マトリクスに別の記載がない限り、シナリオの種類はMODELLEDです（ラベルの付与のされ方：READMEのEvidenceセクション）。

内容#

地球観測ペイロードのフットプリントとカバレッジ幾何（SMAD の宇宙三角形）：軌道高度、傾斜角（既定では太陽同期）、センサーの FOV／IFOV から、地球角半径、観測幅、天底の地上サンプル距離、最大オフナディアアクセス、円軌道周期、J2 の昇交点周期、赤道上の地上軌跡間隔、および連続カバレッジのフラグを求めます。MODELLED の球形地球幾何（放射測定・MTF・大気・ジッター・太陽反射なし）；ノード間隔は R_e·(ω − Ω̇)·T_nodal で、J2 の一次永年変化率を用います。

scenarios/eo-coverage.tomlの一回の実行は次のように要約されます：eo-coverage：700 km、±7.5° FOV -> 観測幅184 km、天底 GSD 9.8 m、オフナディア745 km までアクセス；ノード間隔2752 km（隙間あり）（MODELLED）

入力#

スキーマ（kshana kinds --json）より：

必須フィールド：なし
任意フィールド：altitude_km、half_fov_deg、ifov_microrad、max_off_nadir_deg、inclination_deg

例のscenarios/eo-coverage.tomlでは、とりわけ次を設定しています：

フィールド	値	単位
`altitude_km`	700	km
`half_fov_deg`	7.5	deg
`ifov_microrad`	14	記載なし
`kind`	eo-coverage	テキスト
`max_off_nadir_deg`	45	deg

実行する#

kshana scenarios/eo-coverage.toml

得られるもの#

その実行のスカラー結果。単位はエンジンが示すとおりです：

結果	値	単位
`altitude_km`	700	km
`contiguous_equatorial_coverage`	false	フラグ
`earth_angular_radius_deg`	64.303554	deg
`equatorial_ground_track_spacing_km`	2752.173944	km
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`half_fov_deg`	7.5	deg
`inclination_deg`	98.187982	deg
`max_access_ground_range_km`	745.175016	km

結果ラベル（エンジンによるもの）：MODELLED — 球形地球の宇宙三角形幾何；観測幅・GSD・アクセスは幾何学的な値（放射測定・MTF・大気・ジッター・太陽反射なし）で、地上軌跡間隔は R_e·(ω − Ω̇)·T_nodal、J2 の一次永年変化率を用います

エンジンが scenarios/eo-coverage.toml（種別 eo-coverage）について出力するグラフ

エビデンス#

VALIDATED：この種類を挙げている検証マトリクスの行。

VALIDATED SMAD の宇宙三角形幾何：地球角半径、観測幅、天底 GSD、最大オフナディアアクセス、円軌道周期、加えて一次の J2 昇交点周期（eo_payload::j2_nodal_period）と赤道上の地上軌跡間隔 R_e (omega_ テスト：eo_payload_coverage_reference.rs。

実行そのものが検証した行と、マトリクスが各行に示すオラクル（公開ソースはそこに記載されています）：

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
VALIDATED SMAD の宇宙三角形幾何：地球角半径、観測幅、天底 GSD、最大オフナディアアクセス、円軌道周期、加えて一次の J2 昇交点周期（。オラクル（ExternalDataset）：Orekit 12.2（Apache-2.0）と GeographicLib 2.1（MIT）を別個のプログラムとして実行し、エンジンの変更とオラクルの実行より前に事前登録（766823f3）：球面量は相対1e-9以内（最悪値：角半径5.4e-16、観測幅7.0e-13、アクセス1.9e-14）、周期は1e-12（1.6e-16）、天底 GSD は1e-7（2.9e-10）、J2 昇交点周期とノード間隔は、ノード検出器を備えた Orekit の数値 J2 伝搬の0.1 % 以内（1

制限事項#

実行そのものの報告が、モデル化されていない、または検証されていないとしている内容：

MODELLED — 球形地球の宇宙三角形幾何；観測幅・GSD・アクセスは幾何学的な値（放射測定・MTF・大気・ジッター・太陽反射なし）で、地上軌跡間隔は R_e·(ω − Ω̇)·T_nodal、J2 の一次永年変化率を用います（結果label）
MODELLED の球形地球幾何（放射測定・MTF・大気・ジッター・太陽反射なし）；ノード間隔は R_e·(ω − Ω̇)·T_nodal で、J2 の一次永年変化率を用います。（種別カタログ（kshana kinds --json））
正直な適用範囲：MODELLED の球形地球幾何のみで、放射測定・MTF・大気・ポインティングジッター・太陽反射のモデルはありません。地上軌跡間隔は R_e*(omega - dOmega/dt)*T_nodal で J2 の一次永年変化率を用い、傾斜角は既定でその高度の太陽同期軌道のものになります。実行：kshana scenarios/eo-coverage.toml（シナリオファイルのコメント、7～11行目）
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））