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

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

attitude-budget（シナリオの種類）

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

内容#

3-DOFの姿勢・指向誤差バジェット：最悪ケースの重力傾斜外乱トルク（(3/2)(μ/R³)ΔI）と、名前付きの1σ 寄与要因（センサーノイズ、リアクションホイールのジッター、熱、アライメント）に対する二乗和平方根の指向誤差バジェット、および支配的な項を、軌道高度と機体慣性の広がりに対して求めます。MODELLEDのスカラーAOCSバジェット — Basilisk/42に対するハードウェア前段階の補完であり、制御ループ、6-DoF、柔軟モードのシミュレーションではありません。

scenarios/attitude-budget.tomlの一回の実行は、次のように要約されます：attitude-budget: 600 km, ΔI 40 kg·m² -> GG torque 7.04e-5 N·m; pointing 10.7" RSS (dominant: reaction_wheel_jitter) (MODELLED scalar budget)

入力#

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

  • 必須フィールド：なし
  • 任意フィールド：altitude_km、i_max_kg_m2、i_min_kg_m2、contributors

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

フィールド 値 単位
altitude_km 600 km
contributors[0].name star_tracker_noise テキスト
contributors[0].sigma_arcsec 5 arcsec
contributors[1].name reaction_wheel_jitter テキスト
contributors[1].sigma_arcsec 8 arcsec
contributors[2].name thermal_distortion テキスト
contributors[2].sigma_arcsec 4 arcsec
contributors[3].name アライメント テキスト
contributors[3].sigma_arcsec 3 arcsec
i_max_kg_m2 100 記載なし
i_min_kg_m2 60 記載なし
kind attitude-budget テキスト

実行する#

kshana scenarios/attitude-budget.toml

得られるもの#

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

結果 値 単位
altitude_km 600 km
delta_inertia_kg_m2 40 kg*m^2
dominant_contributor reaction_wheel_jitter テキスト
evidence.id_rule マトリクスの行の安定した ID（ID テキスト
evidence.matrix docs/VERIFICATION-MATRIX.md テキスト
evidence.tier PARTNER テキスト
gravity_gradient_torque_max_nm 7.0383e-5 N*m
total_pointing_error_arcsec 10.677078 arcsec

結果ラベル（エンジンによるもの）：MODELLED — スカラーの3-DOF AOCS誤差バジェット：重力傾斜による最悪ケースの外乱トルク + RSS指向バジェット。制御ループ、6-DoF、柔軟モードのシミュレーションではありません（Basilisk/42に対するハードウェア前段階の補完であり、代替ではありません）

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

エビデンス#

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

  • VALIDATED姿勢にわたるピークとしての、最悪ケースの重力傾斜外乱トルク（(3/2)(μ/R³)ΔI）（検証対象の主張）と、名前付きの1σ 寄与要因に対するRSS指向誤差バジェットおよび支配的な項（呼び出し側が与える数値の二乗和平方根 テスト：attitude_gg_torque_reference.rs。

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

  • MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
  • VALIDATED姿勢にわたるピークとしての、最悪ケースの重力傾斜外乱トルク（(3/2)(μ/R³)ΔI）（検証対象の主張）と、名前付きの1σ に対するRSS指向誤差バジェット。オラクル（ExternalDataset）：Basilisk 2.9.1 GravityGradientEffector（AVSLab、ISC）。完全なテンソルの重力傾斜トルクの、独立したC++ 実装です。Kshanaのピーク(3/2)(μ/R³)ΔIは、45 degの姿勢におけるBasiliskのトルクと相対で1e-12以内（最悪2.1e-15）で一致し、5通りの高度と8通りの慣性テンソルにわたり、各ケースの2000個のランダムな姿勢におけるBasiliskのトルクを上限として抑えます。許容差は比較の前に固定されています。検証対象の主張：重力
  • PARTNER提供しません — Kshanaは航法性能のシミュレーターであり、衛星バスのメーカーではありません。オラクル（NoneKind）：なし：パートナーが所管する分野であり、設計上、モジュールもテストもありません

制限事項#

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

  • MODELLED — スカラーの3-DOF AOCS誤差バジェット：重力傾斜による最悪ケースの外乱トルク + RSS指向バジェット。制御ループ、6-DoF、柔軟モードのシミュレーションではありません（Basilisk/42に対するハードウェア前段階の補完であり、代替ではありません）（結果label）
  • MODELLEDのスカラーAOCSバジェット — Basilisk/42に対するハードウェア前段階の補完であり、制御ループ、6-DoF、柔軟モードのシミュレーションではありません。（種類カタログ（kshana kinds --json））
  • 率直な適用範囲：MODELLEDのスカラー誤差バジェット -- Basilisk/42に対するハードウェア前段階の補完であり、制御ループ、6-DoF、柔軟モードのシミュレーションではありません。重力傾斜の項はトルクとして報告されます（指向への換算には、呼び出し側が持つ制御剛性が必要です）。バジェットは、与えられた1シグマの寄与要因の二乗和平方根です。実行：kshana scenarios/attitude-budget.toml（シナリオファイルのコメント、8〜13行目）
  • 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#