`acm-link`（シナリオの種類）

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

内容#

一機の衛星と一つの地上局：各パスの斜距離、仰角、パス沿いのEs/N0、各ステップで選ばれるDVB-S2のMODCOD（ETSI EN 302 307-1 Table 13のしきい値に実装マージンを加えたもの）、およびマスクで閉じる一定符号化のベースラインに対してACMが運ぶデータ量。MODELLED。

scenarios/acm-link.tomlの一回の実行は、次のように要約されます：acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)

入力#

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

必須フィールド：なし
任意フィールド：epoch、duration_hours、step_s、refraction、light_time、link、satellite、station

例のscenarios/acm-link.tomlが設定している項目（一部）：

フィールド	値	単位
`duration_hours`	12	h
`epoch`	[2024, 1, 1, 0, 0, 0]	記載なし
`kind`	acm-link	テキスト
`light_time`	true	フラグ
`link.acm_step_s`	10	s
`link.eirp_dbw`	7	dBW
`link.frequency_ghz`	8.2	GHz
`link.implementation_margin_db`	1	dB
`link.other_losses_db`	2	dB
`link.symbol_rate_msps`	20	Msymbol/s
`link.zenith_atm_loss_db`	0.3	dB
`refraction`	true	フラグ

実行する#

kshana scenarios/acm-link.toml

得られるもの#

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

結果	値	単位
`acm_gain`	1.587588	1
`acm_volume_mbit`	92866.013644	Mbit
`altitude_km`	550	km
`ccm_es_n0_at_mask_db`	9.550995	dB
`ccm_modcod`	8PSK 3/4	テキスト
`ccm_volume_mbit`	58495.039442	Mbit
`duration_hours`	12	h
`eirp_dbw`	7	dBW
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト

結果ラベル（エンジンによるもの）：MODELLED — 一つの地上局における一機の衛星のパスにわたるDVB-S2適応符号化変調：各見かけのパス沿いの晴天時Es/N0、ETSI EN 302 307-1 Table 13のしきい値にマージンを加えたものを満たす最も効率的なMODCOD、およびマスクで閉じる一定符号化のMODCODとの比較。降雨フェードなし、指向損失なし

scenarios/acm-link.toml（種類acm-link）についてエンジンが書き出すグラフ

エビデンス#

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

MODELLED一つの地上局における一機の衛星の各パス沿いのダウンリンクEs/N0（EIRP、自由空間損失、コセカント則の大気損失、その他の損失、G/T、ボルツマン定数、シンボルレート）、最も効率的なDVB-S2のMODCODで、そのしきい値がETSI EN 302 307-

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
VALIDATED検証済みの地球軌道経路上での、WGS-84地上局に対するSGP4要素セットの可視パス（AOS、TCA、LOS、最大見かけ仰角、継続時間）（IAU 2006。オラクル（ExternalDataset）：Orekit 13.1.8（CS GROUP、Apache-2.0）とHipparchus 4.0.3：同じ要素セットに対するTLEPropagatorを、Orekitが定義どおりに構築するTEME（そのIERS 2010 TODをGAST - GMSTで回転したもの）で実行し、ITURP834AtmosphericRefractionあり・なしのElevationDetectorとElevationExtremumDetector、光行時間の場合はAngularRadioRefractionModifier付きのAngularAzElを使い、交差と最大値はHipparchusが解きます。60ケース（f
MODELLED一つの地上局における一機の衛星の各パス沿いのダウンリンクEs/N0（EIRP、自由空間損失、コセカント則の大気損失、その他の損失、G/T、ボルツマン定数。オラクル（InternalConsistency）：内部整合性：Table 5aのK_bchとフレーム長から閉形式で計算したスペクトル効率は、Table 13に記載された効率と一致します（しきい値テーブルの転記チェック）。リンクバジェットの各要素は閉形式と一致します。選択はEs/N0に対して単調で、マージンを守ります。ACMは少なくとも一定符号化のデータ量を運びます。パスの幾何は、別個にVALIDATEDとされたa

制限事項#

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

MODELLED — 一つの地上局における一機の衛星のパスにわたるDVB-S2適応符号化変調：各見かけのパス沿いの晴天時Es/N0、ETSI EN 302 307-1 Table 13のしきい値にマージンを加えたものを満たす最も効率的なMODCOD、およびマスクで閉じる一定符号化のMODCODとの比較。降雨フェードなし、パス沿いの指向損失なし（結果label）
MODELLED。（種類カタログ（kshana kinds --json））
以下の数値はすべてILLUSTRATIVEです：特定の運用者の軌道、地上局、リンクバジェットではありません。MODELLED。（シナリオファイルのコメント、8行目）
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
LEOダウンリンクパスに沿ったDVB-S2適応符号化変調はMODELLEDであり、独立した外部の参照との照合はされていません。自身の閉形式・解析的な恒等式に照らして確認しており、転記や係数の誤りは見つけられますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））