`passes`（シナリオの種類）

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

内容#

地上局のパス予測：円軌道（ウィンドウ開始時点の SGP4 平均要素）について、ウィンドウにわたり仰角マスクより上にある局に対する時間領域の可視パス（AOS/TCA/LOS、最大見かけ仰角、継続時間）と総アクセス時間を求めます。IAU 2006/2000A の地球固定座標系上の SGP4/SDP4 伝播（任意で UT1 - UTC と極運動）、ITU-R P.834-9 の対流圏屈折とダウンリンクの光行時間（どちらも既定でオン）を用い、交差は 1e-7 s まで解き、最大仰角は黄金分割探索で求めます。パスのジオメトリは、海面高度の局で Orekit 13.1.8 と照合して VALIDATED であり、シナリオの軌道と局は例示用の入力です。

scenarios/passes.toml の一回の実行の要約は次のとおりです：passes：550 km / 97.6° の軌道が (52.2°, 4.4°) の上空で > 10° となるパスが 24 時間に 5 回、総アクセス 1659 s（MODELLED）

入力#

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

必須フィールド：なし
任意のフィールド：altitude_km、inclination_deg、raan_deg、arg_lat_deg、station_lat_deg、station_lon_deg、station_alt_m、epoch、mask_deg、duration_hours、step_s、refraction、light_time、ut1_minus_utc_s、xp_arcsec、yp_arcsec

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

フィールド	値	単位
`altitude_km`	550	km
`arg_lat_deg`	0	deg
`duration_hours`	24	hr
`epoch`	[2024, 1, 1, 0, 0, 0]	記載なし
`inclination_deg`	97.6	deg
`kind`	passes	テキスト
`mask_deg`	10	deg
`raan_deg`	0	deg
`station_alt_m`	0	m
`station_lat_deg`	52.2	deg
`station_lon_deg`	4.4	deg
`step_s`	10	s

実行する#

kshana scenarios/passes.toml

得られるもの#

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

結果	値	単位
`altitude_km`	550	km
`best_max_elevation_deg`	70.081649	deg
`duration_hours`	24	hr
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`inclination_deg`	97.6	deg
`light_time`	true	フラグ
`mask_deg`	10	deg
`pass_count`	5	個数

結果ラベル（エンジンによるもの）：MODELLED — 時間領域の地上局パス予測。SGP4/SDP4 伝播、IAU 2006/2000A の地球固定座標系（UT1 = UTC、地球姿勢パラメーターが与えられない限り極運動なし）、オンにした場合の ITU-R P.834-9 屈折と光行時間を含む見かけ仰角、交差と最大仰角の精密化

エンジンが scenarios/passes.toml（種類 passes）に対して出力するグラフ

エビデンス#

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

VALIDATED エンジンの伝播器による、仰角マスクより上にある局に対する時間領域の可視パス（AOS/TCA/LOS、最大仰角、継続時間）と、補間した出没の交差および総アクセス：passes::predict_passes、幾何学的スケジューラー（なし。テスト：ground_station_pass_prediction_reference.rs。
VALIDATED 確認済みの地球周回経路（IAU 2006/2000A、任意の地球姿勢パラメーター）上の、WGS-84 局に対する SGP4 要素セットの可視パス（AOS、TCA、LOS、最大見かけ仰角、継続時間）、ITU-R P.834-9 の対流圏。テスト：pass_predictor_on_path_orekit_oracle.rs。
MODELLED一つの地上局における一機の衛星の各パス沿いのダウンリンクEs/N0（EIRP、自由空間損失、コセカント則の大気損失、その他の損失、G/T、ボルツマン定数、シンボルレート）、最も効率的なDVB-S2のMODCODで、そのしきい値がETSI EN 302 307-
MODELLED一回の実行は、コンタクト計画（aos_s/los_sウィンドウのリスト。各ウィンドウはアパーチャに航法または通信を要求します。passes::predict_passesが出力するものと同じウィンドウの語彙で、aperture_duty::windows_from_passesで変換されます）、アパーチャ

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
VALIDATED エンジンの伝播器による、仰角マスクより上にある局に対する時間領域の可視パス（AOS/TCA/LOS、最大仰角、継続時間）と、補間した出没。オラクル（ExternalDataset）：Orekit 12.2（CS GROUP、Apache-2.0）と Hipparchus 3.1 — 独立した飛行力学ライブラリ。ITRF エフェメリス上の ElevationDetector（Brent 求根法）と EventsLogger、局は WGS-84 の TopocentricFrame。軌道、局、マスク、ウィンドウが同一の条件で、AOS/LOS/最大仰角/パス数/総アクセスが一致（コミット済みのフィクスチャ。ドライバー xval/orekit-passes）

制限事項#

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

MODELLED — 時間領域の地上局パス予測。SGP4/SDP4 伝播、IAU 2006/2000A の地球固定座標系（UT1 = UTC、地球姿勢パラメーターが与えられない限り極運動なし）、オンにした場合の ITU-R P.834-9 屈折と光行時間を含む見かけ仰角、ステップ未満まで精密化した交差と最大仰角 (result label)
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））