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

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

内容#

モデルに基づく月測地VLBIの遅延観測量です。地球上の基線（二つの地上局、GCRS）が、NovaMoon クラスの月面ビーコンからの一方向信号を観測します。パスにわたって、近距離場の二距離差遅延、その変化率、波面曲率による近距離場補正を出力し、遠距離場の極限では同じコードベースの平面波 Δ-DOR 観測量と相互確認し、偏微分は有限差分で検証しています。既定の解析経路は MODELLED であり、フレームの整合性、xp=yp=0 の極運動、平面波と近距離場の違いという注意点を伴います。planetary_kernel_path、earth_orientation_kernel_path、moon_orientation_kernel_path を設定すると、代わりにカーネル経路が実行されます（DE440、MOON_PA_DE440、ITRF93。収束した太陽系重心の光行時間。そのエポックのビーコンと局の偏微分を追加）。そのニュートン力学的な遅延と偏微分は、NAIF SPICE の収束した光行時間と 0.06 ps および 7.4e-9 まで一致します。実際のVLBIデータとの照合による確認は行っていません。

入力#

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

必須フィールド：なし
任意のフィールド：station1_lat_deg、station1_lon_deg、station1_alt_m、station2_lat_deg、station2_lon_deg、station2_alt_m、beacon_lat_deg、beacon_lon_deg、beacon_alt_m、epoch_year、epoch_month、epoch_day、horizon_hours、step_min、planetary_kernel_path、earth_orientation_kernel_path、moon_orientation_kernel_path

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

フィールド	値	単位
`beacon_alt_m`	0	m
`beacon_lat_deg`	0	deg
`beacon_lon_deg`	0	deg
`epoch_day`	1	d
`epoch_month`	1	記載なし
`epoch_year`	2024	記載なし
`horizon_hours`	6	hr
`kind`	lunar-vlbi	テキスト
`station1_alt_m`	1000	m
`station1_lat_deg`	40.4256	deg
`station1_lon_deg`	-116.8893	deg
`station2_alt_m`	688	m

実行する#

kshana scenarios/lunar-vlbi.toml

得られるもの#

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

結果	値	単位
`baseline_km`	10726.748487	km
`beacon_range_km`	4.0290e5	km
`delay_rate_s_per_s`	1.3118e-6	s/s
`delay_s`	-0.010049	s
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`geometry_path`	解析的	テキスト
`horizon_hours`	6	hr
`max_delay_s`	0.022437	s

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

エビデンス#

MODELLED 3 · VALIDATED 3：この種類に該当する検証マトリクスの行。

MODELLED 地球上の基線が月面ビーコンを観測する場合の近距離場VLBI遅延と偏微分
VALIDATED カーネル経路（lunar_vlbi::KernelGeometry）での、地球上の基線が月面ビーコンを観測する場合の近距離場VLBI遅延と、ビーコンおよび局の偏微分：DE440 の地球と月、DE440 の月の主軸、UT1 を用いた ITRF93 の地球姿勢、そしてテスト：naif_kernel_reader_check.rs。
VALIDATED 基線 × エポックのスケジュールにわたって遅延偏微分を積算してフィッシャー情報行列とし、これを逆行列にして局座標共分散と座標ごとの局 sigma を求めます。これは、想定した等方的な等分配の関係に代わるものです。
MODELLED 三つ目のデータムの選択肢 all-stations-fixed は、地球の局をすべて固定し、ビーコンの月固定座標のみを推定します。月面の点の不確かさが実際に示されるのはこの構成であり、地球の局座標は
このほか、マトリクスに 2 件あります。

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
MODELLED 地球上の基線が月面ビーコンを観測する場合の近距離場VLBI遅延と偏微分。オラクル（ReferenceImpl）：遠距離場の極限での平面波 delta_dor（同じコードベース）、有限差分の偏微分。0.30 の外部比較は所見であり（MODELLED のまま）：DE440 を通した ANISE 0.10 の収束した光行時間に対して（Kshana のコードを使わずに xval/anise-lunar-od で生成した、三本の DSN 基線における 2024-01-01 の 75 件の遅延）、1 ps の許容差に収まる遅延はありません。最大の差は 24 µs で、解析的な月中心（DE から約 200 km

制限事項#

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

既定の解析経路は MODELLED であり、フレームの整合性、xp=yp=0 の極運動、平面波と近距離場の違いという注意点を伴います。 (kind catalogue (kshana kinds --json))
正直な評価：MODELLED であり、実際のVLBIデータとの照合による確認は「行っていません」。極運動は無視されており（xp = yp = 0）、局の慣性系位置には数メートルのフレーム誤差があります。ビーコンは、日付の平均赤道の月の級数と ICRF の天体固定オフセットを混ぜており（jd_tdb ~ jd_tt）、モデルの忠実度を下回るフレームの不整合があります。光行時間の反復、媒質、差分したシャピロ以外の光行差は含みません。TRL、飛行実績、機関による (scenario file comment, lines 17 to 21)
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
月測地VLBIは MODELLED であり、独立した外部の参照との照合による確認は行っていません。この結果は、同じコードベース内の別の実装に照らして確認したもので、評価対象の部分からは独立していますが、外部の権威ある参照ではありません。 (verification matrix (docs/MODELLED-RATIONALE.md))