lunar-frame-campaign（シナリオ種別）

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

内容#

注入した変換ではなく、シミュレートした観測キャンペーンによって駆動される、七パラメーターの Helmert（相似）座標系データム。地上局のネットワークが、明示したスケジュールに従って月面ビーコンのカタログを観測します。月 VLBI の遅延偏微分はそのスケジュールにわたって蓄積され、lunar-vlbi-fim とまったく同様にビーコン座標のフィッシャー情報行列になります。その情報は、カタログ点での Helmert の計画行列 A = [I3 | [p]_x | p] を通して、データム共分散 H = A^T M_b A に伝搬され、crate::fim::crlb で診断されます。変換は一切注入されず、仕込んだ答えから回復されるものも何もないため、報告されるデータム精度は観測計画から導かれます。遅延のシグマを半分にすれば、精度はちょうど半分になり、弧を長くすれば精度が向上します。これは、レポートが測定する秤動（sub_earth_direction_sweep_deg）が、視線方向のビーコン座標を天球面内のものから切り離すためです。ランク、データムの欠損、条件数、スペクトル全体、七パラメーターの基底における観測不能な方向、フルランクでも最も弱い方向、およびその方向への各パラメーターの寄与は、すべての実行で出力されます。キャンペーンが拘束しないパラメーターは、ほぼ特異な逆行列から読み出されることはなく、ステータス付きで NULL として公開されます。ビーコン誤差の相関は、仮定されるのではなく、測定されます。局を固定した場合、どの観測も二つのビーコンに関わらないため、情報行列は厳密にブロック対角になります（offblock_fraction 0）。局を推定する場合は、シューア補元で周辺化したブロックが結合し、誘起された相関が表示され、それを捨てて伝搬全体が再実行されるので、独立性の仮定の代償は数値として得られます。等方的な座標ごとのシグマの下での同じ伝搬と、lunar-frame-realisation シナリオが報告する回復誤差は、どちらもここで実行され、キャンペーンの値と並べて、その比とともに表示されます。MODELLED：ビーコンのカタログは出典付きですが、キャンペーンはシミュレートです。局のネットワークと遅延のシグマは例示的な入力であり、個々の遅延観測は独立として扱われ、月中心のエフェメリス、局のクロック、対流圏、地球姿勢パラメーターは固定されるため、データム共分散は、縮約したパラメーター集合に対するクラメール・ラオ限界です。測地学的な成果物ではありません。

scenarios/lunar-frame-campaign.toml の 一回の実行の要約：lunar-frame-campaign | ビーコン 4 x 基線 3 x エポック 49 = 観測 64 件（遅延シグマ 1.000e-11 s）| 局のデータムは固定 | Helmert ランク 7/7、条件数 3.798e5 | データムの並進シグマ 6.397500 m に対し、注入した変換の回復誤差 0.3125 m（比 0.049）

入力#

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

• 必須フィールド：なし
• 任意フィールド：stations、beacons、epoch_year、epoch_month、epoch_day、arc_hours、step_min、delay_sigma_s、elevation_mask_deg、earth_elevation_mask_deg、station_datum、rel_tol、assumed_coordinate_sigma_m、solver

例 scenarios/lunar-frame-campaign.toml では、とりわけ次を設定しています：

実行する#

kshana scenarios/lunar-frame-campaign.toml

得られるもの#

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

結果ラベル（エンジンによる）：MODELLED のキャンペーン駆動型の月面座標系データム。七パラメーターの Helmert 共分散は、ビーコン、基線、エポックの明示したスケジュールにわたって、エンジン自身の月 VLBI 遅延偏微分から蓄積したビーコン座標の情報行列から伝搬されます。相似変換は一切注入されず、また

エビデンス#

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

• MODELLED 注入した変換から回復するのではなく、シミュレートした観測キャンペーンから伝搬した七パラメーターの Helmert データム。
• VALIDATED 二つのシミュレートした入力を測定値に置き換えた、七パラメーターの Helmert データム共分散：スケジュールは、アーカイブされた 337 件の ILRS 月レーザー測距ノーマルポイント（2015-04-08 から 2015-06-27、Grasse MeO 7 テスト：lunar_llr_real_data.rs。
• MODELLED lunar-llr-datum シナリオの任意の extra_reflectors と extra_beacons の入力は、station_geodesy ブロックを追加します。アーカイブされた月レーザー測距スライスからの五配列の Helmert 情報に、追加したレトロリフレクターによる情報を加えたもの（ran テスト：lunar_station_geodesy.rs。
• VALIDATED 地上局を推定した（局 1 を固定）lunar-frame-campaign シナリオの七パラメーターの Helmert データム共分散。lunar_frame_campaign が binary64 で計算したもの：局とビーコンの結合したフィッシャー情報の蓄積 テスト：lunar_frame_campaign_mpmath_oracle.rs。
• マトリクスには、ほかに 1 件あります。

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

• MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
• VALIDATED 点のネットワークからの 7 パラメーターの Helmert データムのフィットと ICRF 姿勢の結び付け。オラクル（ExternalDataset）：独立した閉形式の重み付き Umeyama（Horn）相似変換ソルバー（numpy/scipy の SVD ベース。Umeyama 1991 IEEE TPAMI、Horn 1987 JOSA A）— kshana の反復 Gauss–Newton フィットとは異なるアルゴリズムで、バイト単位で同一の点ネットワークに対し、一意に定まる同じ重み付き最小二乗の最適解に到達します
• MODELLED 注入した変換から回復するのではなく、シミュレートした観測キャンペーンから伝搬した七パラメーターの Helmert データム。地上局が、出典付きの。オラクル（ReferenceImpl）：閉形式の恒等式と、リポジトリ内の独立した経路であり、外部のオラクルは主張していません。Helmert の計画行列は、モジュールで唯一新しい導関数であり、lunar_frame_realise::apply_helmert の中心有限差分によって再導出されます。これは解析形と式を一切共有しない経路です。それが構成する蓄積は lunar-vlbi-fim のもので、そのヤコビアンはそこで lunar_vlbi::vlbi_delay_s に対して有限差分され、また

制限事項#

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

• MODELLED のキャンペーン駆動型の月面座標系データム。七パラメーターの Helmert 共分散は、ビーコン、基線、エポックの明示したスケジュールにわたって、エンジン自身の月 VLBI 遅延偏微分から蓄積したビーコン座標の情報行列から伝搬されます。相似変換は一切注入されず、仕込んだ答えから回復されるものも何もありません。ビーコンのカタログはこのクレートの出典付きの名前付き地点の表ですが、キャンペーン（結果 label）
• ビーコン誤差の相関は、仮定されるのではなく、測定されます。局を固定した場合、どの観測も二つのビーコンに関わらないため、情報行列は厳密にブロック対角になります（offblock_fraction 0）。局を推定する場合は、シューア補元で周辺化したブロックが結合し、誘起された相関が表示され、それを捨てて伝搬全体が再実行されるので、独立性の仮定の代償は数値として得られます。（種別カタログ（kshana kinds --json））
• MODELLED：ビーコンのカタログは出典付きですが、キャンペーンはシミュレートです。局のネットワークと遅延のシグマは例示的な入力であり、個々の遅延観測は独立として扱われ、月中心のエフェメリス、局のクロック、対流圏、地球姿勢パラメーターは固定されるため、データム共分散は、縮約したパラメーター集合に対するクラメール・ラオ限界です。（種別カタログ（kshana kinds --json））
• ビーコン誤差の相関はMEASURED のものであり、仮定されるものではありません。局を固定した場合、どの観測も二つのビーコンに関わらないため、情報行列は厳密にブロック対角になります（offblock_fraction 0）。局を推定する場合は、シューア補元で周辺化したブロックが結合し、誘起された相関が表示され、それを捨てて伝搬全体が再実行されるので、独立性の仮定の代償は、数値であって c（シナリオファイルのコメント、17 行目から 21 行目）
• MODELLED：ビーコンのカタログは出典付きですが、キャンペーンはシミュレートです。局のネットワークと遅延のシグマは例示的な入力であり、個々の遅延観測は独立として扱われ、月中心のエフェメリス、局のクロック、対流圏、地球姿勢パラメーターは固定されています。測地学的な成果物ではありません。（シナリオファイルのコメント、27 行目から 30 行目）
• 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
• 観測キャンペーンによる月面座標系データムは MODELLED であり、独立した外部の参照と照合して確認されていません。このコードベース内の別の実装と照合しており、検証対象のユニットからは独立していますが、外部の権威あるものではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#

• ファミリーページ：月および地球・月間空間（シスルナー）
• すべての種類：KINDS.md