`lunar-vlbi-fim`（シナリオの種類）

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

内容#

月VLBI局座標の共分散：lunar-vlbi 観測量の遅延偏微分を、明示的なスケジュール（基線 x エポック）にわたって積算してフィッシャー情報行列とし、これを逆行列にして、局座標の共分散と座標ごとの局 sigma として報告します。これは、想定した等方的な g = 3 の等分配係数にスカラーの遅延精密度を通して得る値ではなく、エンジンが計算した出力です。状態は地球固定（ITRS）の局座標を持つため、ヤコビアンは慣性系の偏微分を各エポックの GCRS->ITRS 行列で回転したものになります。これらの座標を観測可能にするのは地球の自転であり、レポートは地球固定の視線方向の掃引とビーコンの赤緯を、仮定せずに測定します。一つの観測は、両方の局が仰角マスクより上にある一組の（基線、エポック）で、重みは 1/delay_sigma_s^2 です。ランク、データム欠損、条件数、情報スペクトル全体、共分散行列、局ごと・軸ごとおよび3次元の sigma、自由網のヌル空間を、すべての実行で報告します。ランク落ちの場合、見出しの sigma は、ほぼ特異な逆行列から読み出さず、ステータス付きの NULL として公表します。同じスケジュールに対する等分配値 cdelay_sigma_ssqrt(g/N) は、計算値の横に比率とともに出力され、AM-HM により厳密な下限となる等方的トレース境界 sqrt(p/trace(M)) も併せて示します。したがって、この比率は、その仮定が捨てた異方性にあたります。遅延の閉包 tau_ik = tau_ij + tau_jk により、n(n-1)/2 本の基線のうち幾何学的に独立なのは n-1 本だけです。レポートは両方の本数を示します。MODELLED：月中心のエフェメリス、局の時計、対流圏、地球姿勢パラメーターは固定され、観測は独立として扱われます。そのため共分散は、縮小したパラメーター集合に対するクラメル・ラオ限界であり、セッション結果の予測ではありません。遅延 sigma、局座標、スケジュールは入力です。幾何学的遅延のヤコビアンが含まない偏微分（差分したシャピロ項）は、有限差分で測定して出力します。測地学の成果物ではありません。

scenarios/lunar-vlbi-fim.toml の一回の実行の要約は次のとおりです：lunar-vlbi-fim | 3 局 / 3 基線 x 49 エポック = 16 観測（マスク 10.0 度） | データム anchor-first-station | ランク 6/6 条件数 2.209e4 | 局 sigma 0.0926 m 対等分配 g=3 0.0013 m（比 71.360）

入力#

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

必須フィールド：なし
任意のフィールド：stations、beacon_lat_deg、beacon_lon_deg、beacon_alt_m、epoch_year、epoch_month、epoch_day、arc_hours、step_min、delay_sigma_s、elevation_mask_deg、datum、estimate_beacon、rel_tol、equipartition_g、planetary_kernel_path

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

フィールド	値	単位
`kind`	lunar-vlbi-fim	テキスト

実行する#

kshana scenarios/lunar-vlbi-fim.toml

得られるもの#

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

結果	値	単位
`beacon_link.beacon_range_m`	4.0290e8	m
`beacon_link.computed_per_coordinate_sigma_m`	値なし	m
`beacon_link.equipartition_formula`	sigma = c * delay_sigma_s * (beacon_rang	テキスト
`beacon_link.equipartition_per_coordinate_sigma_m`	0.041793	m
`beacon_link.estimated`	false	フラグ
`beacon_link.lever_arm_range_over_baseline`	32.194501	1
`beacon_link.longest_baseline_m`	1.2515e7	m
`beacon_link.ratio_computed_over_equipartition`	値なし	1
`datum.choice`	anchor-first-station	テキスト
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト

結果ラベル（エンジンによるもの）：MODELLED の月VLBI局座標共分散。この共分散は、エンジン自身の解析的な遅延偏微分を、基線とエポックの明示的なスケジュールにわたって積算して逆行列にしたものです。想定した幾何係数によってスカラーの遅延精密度から変換したものでは「ありません」。観測ごとの遅延 si

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

エビデンス#

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

VALIDATED 基線 × エポックのスケジュールにわたって遅延偏微分を積算してフィッシャー情報行列とし、これを逆行列にして局座標共分散と座標ごとの局 sigma を求めます。これは、想定した等方的な等分配の関係に代わるものです。
MODELLED 三つ目のデータムの選択肢 all-stations-fixed は、地球の局をすべて固定し、ビーコンの月固定座標のみを推定します。月面の点の不確かさが実際に示されるのはこの構成であり、地球の局座標は
VALIDATED lunar-vlbi-fim シナリオの全局固定ビーコン共分散（地球の局をすべて固定し、ビーコンの月固定座標のみを推定）。ビーコンは、エンジン自身のカーネルリーダーが読む JPL DE440 の月に配置
MODELLED 注入した変換から回復するのではなく、シミュレートした観測キャンペーンから伝搬した七パラメーターの Helmert データム。
マトリクスには、ほかに 1 件あります。

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
VALIDATED 基線 × エポックのスケジュールにわたって遅延偏微分を積算してフィッシャー情報行列とし、これを逆行列にして局座標共分散と座標ごとの。オラクル（ExternalDataset）：リポジトリ内の独立した経路。ヤコビアンのすべての行は、状態自身の地球固定座標と月固定座標をフレーム連鎖で順方向に回転させて評価した lunar_vlbi::vlbi_delay_s の中心有限差分で再導出します。この経路は導関数を計算せず、解析的な偏微分と式を共有しません。二つの経路が構築する情報行列は、最大の対角成分の < 1e-6 以内で一致します。
MODELLED 三つ目のデータムの選択肢 all-stations-fixed は、地球の局をすべて固定し、ビーコンの月固定座標のみを推定します。月面の。オラクル（ReferenceImpl）：閉形式の恒等式であり、外部のオラクルは主張せず、また利用できません。レバーアームは ρ/B に照らして、二つの等分配形式は互いに照らして 1e-15 まで確認します。これらは代数的な恒等式なので、配線の誤りしか検出できず、そのとおりに表示しています。実質的な結果は、主張するのではなくMEASURED のものです。固定基線からの遅延はビーコンの方向を拘束するため、視線方向の成分は

制限事項#

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

MODELLED の月VLBI局座標共分散。この共分散は、エンジン自身の解析的な遅延偏微分を、基線とエポックの明示的なスケジュールにわたって積算して逆行列にしたものです。想定した幾何係数によってスカラーの遅延精密度から変換したものでは「ありません」。観測ごとの遅延 sigma、局座標、ビーコンの地点、スケジュールは入力です。月中心のエフェメリス、局の時計 (result label)
月VLBI局座標の共分散：lunar-vlbi 観測量の遅延偏微分を、明示的なスケジュール（基線 x エポック）にわたって積算してフィッシャー情報行列とし、これを逆行列にして、局座標の共分散と座標ごとの局 sigma として報告します。これは、想定した等方的な g = 3 の等分配係数にスカラーの遅延精密度を通して得る値ではなく、エンジンが計算した出力です。 (kind catalogue (kshana kinds --json))
状態は地球固定（ITRS）の局座標を持つため、ヤコビアンは慣性系の偏微分を各エポックの GCRS->ITRS 行列で回転したものになります。これらの座標を観測可能にするのは地球の自転であり、レポートは地球固定の視線方向の掃引とビーコンの赤緯を、仮定せずに測定します。 (kind catalogue (kshana kinds --json))
同じスケジュールに対する等分配値 cdelay_sigma_ssqrt(g/N) は、計算値の横に比率とともに出力され、AM-HM により厳密な下限となる等方的トレース境界 sqrt(p/trace(M)) も併せて示します。したがって、この比率は、その仮定が捨てた異方性にあたります。 (kind catalogue (kshana kinds --json))
MODELLED：月中心のエフェメリス、局の時計、対流圏、地球姿勢パラメーターは固定され、観測は独立として扱われます。そのため共分散は、縮小したパラメーター集合に対するクラメル・ラオ限界であり、セッション結果の予測ではありません。遅延 sigma、局座標、スケジュールは入力です。 (kind catalogue (kshana kinds --json))
D3 の公表された連鎖は、観測ごとの遅延精密度から局座標の不確かさへ、想定した等方的な等分配係数 g = 3 を通して至ります。この段階は、論文自身のアブストラクトが測定ではなくモデルに基づくものと述べているものです。このシナリオはその段階を取り除きます。月VLBIの遅延偏微分を、（基線 x エポック）の実際のスケジュールにわたって積算してフィッシャー情報行列とし、これを逆行列にして、報告します (scenario file comment, lines 3 to 8)
状態は地球固定（ITRS）座標を持つため、ヤコビアンは慣性系の偏微分を各エポックの GCRS->ITRS 行列で回転したものになります。これらの座標をそもそも観測可能にするのは地球の自転であり、レポートは地球固定の視線方向の掃引とビーコンの赤緯を、仮定せずに測定します。一つの観測は、両方の局が仰角マスクより上にある一組の（基線、エポック）で、重みは 1/delay (scenario file comment, lines 10 to 14)
レポートで読むべきこと * 局ごと・軸ごとおよび3次元の sigma — 計算で得た答え。 * 同じスケジュールに対する等分配値 cdelay_sigma_ssqrt(g/N)。比率とともに横に表示されます。この比率はその仮定が捨てた異方性そのものであり、等方的トレース境界 sqrt(p/trace(M)) により AM-HM が厳密な下限となるため、この仮定は過小評価にしかなりえません。 * ランク、データム欠損、条件数、スペクトル全体 (scenario file comment, lines 16 to 26)