機械翻訳であり、ネイティブスピーカーによる確認は行われていません。英語版が基準です。

シナリオ種別のページGitHub で編集ソース：docs/kinds/by-kind/aperture-duty-cycle.md

aperture-duty-cycle（シナリオの種類）

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

内容#

アパーチャのデューティサイクル：コンタクト計画が、可動アパーチャのプールに対して暗黙のうちに定める、航法と通信の時間配分。コンタクト計画（[[contacts]]のaos_s/los_sウィンドウのリスト。各ウィンドウは航法または通信を要求し、passes予測器が出力するものと同じaos_s/los_sの語彙を使います）、アパーチャの数、調停ポリシー（既定は航法優先、または通信優先、または非プリエンプティブな先着順）を受け取り、航法デューティ、通信デューティ、アイドルデューティ、およびセッションごとの途切れ（セッションが要求したが、どのアパーチャも対応しなかったコンタクト時間）を報告します。ウィンドウ境界に対する厳密な区間スイープにより、接するウィンドウは競合せず、アパーチャ秒が二重に数えられることはありません。航法、通信、アイドルのアパーチャ秒は独立に累積され、apertures*horizon_sに対して閉じます。レポートには、解決された調停ポリシーとその完全な定義、およびデューティと途切れの定義を明記します。調停ポリシーなしで引用されたデューティの数値は再現できないためです。MODELLEDのスケジューリング演算：アパーチャがサービスやセッションを切り替える際のスルー、再同調、切替の時間は計上されず、データ量、バッファ状態、エネルギー収支、リンクの成立は判断に影響せず、コンタクトウィンドウは入力であり、その幾何はそれを生成したものに依存します。地上セグメントのスケジューリング製品ではありません。

scenarios/aperture-duty-cycle.tomlの一回の実行は、次のように要約されます：aperture-duty-cycle: 6 session(s) on 2 aperture(s) under navigation-priority -> navigation duty 0.1167, communications duty 0.2667, idle 0.6167; 0 s of 6900 s requested lost to contention (MODELLED)

入力#

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

  • 必須フィールド：なし
  • 任意フィールド：apertures、arbitration、horizon_start_s、horizon_end_s、contacts

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

フィールド 値 単位
apertures 2 個数
arbitration navigation-priority テキスト
contacts[0].aos_s 0 s
contacts[0].los_s 600 s
contacts[0].name nav-1 テキスト
contacts[0].service 航法 テキスト
contacts[1].aos_s 300 s
contacts[1].los_s 1500 s
contacts[1].name comms-1 テキスト
contacts[1].service 通信 テキスト
contacts[2].aos_s 3600 s
contacts[2].los_s 4500 s

実行する#

kshana scenarios/aperture-duty-cycle.toml

得られるもの#

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

結果 値 単位
aperture_seconds_available 18000 aperture*s
apertures 2 個数
arbitration_policy navigation-priority テキスト
arbitration_policy_default navigation-priority テキスト
communications_duty 0.266667 割合（無次元）
communications_served_aperture_s 4800 aperture*s
contention_s 0 s
evidence.id_rule マトリクスの行の安定した ID（ID テキスト
evidence.matrix docs/VERIFICATION-MATRIX.md テキスト
evidence.tier MODELLED テキスト

結果ラベル（エンジンによるもの）：MODELLED — 与えられたコンタクト計画に対するアパーチャのスケジューリング演算：名前付きの調停ポリシーのもとでの、航法と通信の時間配分およびセッションごとの競合損失の厳密な区間スイープ。アパーチャがサービスやセッションを切り替える際のスルー、再同調、切替の時間は計上されず、

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

エビデンス#

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

  • 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のままです
  • MODELLED一回の実行は、コンタクト計画（aos_s/los_sウィンドウのリスト。各ウィンドウはアパーチャに航法または通信を要求します。`passes::pre. オラクル（InternalConsistency）：内部整合性：同じスイープの中で異なる式により計算した三つの量が閉じることを要求します。航法アパーチャ秒、通信アパーチャ秒、アイドルアパーチャ秒は別々に累積され（アイドルは基本区間ごとの（apertures − |served|）から求め、剰余としては決して求めません）、その和がapertures × horizon_sに等しいことが表明されます。これは、境界の括り誤り、二重計上

制限事項#

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

  • MODELLED — 与えられたコンタクト計画に対するアパーチャのスケジューリング演算：名前付きの調停ポリシーのもとでの、航法と通信の時間配分およびセッションごとの競合損失の厳密な区間スイープ。アパーチャがサービスやセッションを切り替える際のスルー、再同調、切替の時間は計上されず、データ量、バッファ状態、エネルギー収支、リンクの成立は判断に影響せず、コンタクトウィンドウは入力であり、その幾 （結果label）
  • MODELLEDのスケジューリング演算：アパーチャがサービスやセッションを切り替える際のスルー、再同調、切替の時間は計上されず、データ量、バッファ状態、エネルギー収支、リンクの成立は判断に影響せず、コンタクトウィンドウは入力であり、その幾何はそれを生成したものに依存します。（種類カタログ（kshana kinds --json））
  • 率直な適用範囲：与えられたウィンドウに対するMODELLEDのスケジューリング演算です。アパーチャがサービスやセッションを切り替える際のスルー、再同調、切替の時間は計上されません。データ量、バッファ状態、エネルギー収支、リンクの成立は判断に影響しません。コンタクトウィンドウは入力であり、その幾何はそれを生成したものに依存します（passesシナリオは同じaos_s / los_sの語彙を出力します）。地上セグメントのスケジューリング（シナリオファイルのコメント、18〜24行目）
  • 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
  • アパーチャの航法と通信のデューティサイクルはMODELLEDであり、独立した外部の参照との照合はされていません。自身の閉形式・解析的な恒等式に照らして確認しており、転記や係数の誤りは見つけられますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#