gravity-map（シナリオ種別）

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

内容#

GPS が使えない環境での重力マップマッチング航法：冷却原子重力計が、通過する重力異常の系列から INS の一定のドリフトを復元します。

scenarios/gravity-map-nav.tomlの一回の実行は次のように要約されます：gravity-map | 自由慣性ドリフト78302 m | 重力マッチング後1882 m | マッチング sigma 2.000e0 mGal

入力#

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

• 必須フィールド：nmax、start_lat_deg、start_lon_deg、step_lat_deg、step_lon_deg、waypoints、drift_lat_deg、drift_lon_deg、gravimeter_asd、averaging_time_s、map_sigma_mgal、search_half_deg、search_step_deg
• 任意フィールド：coeffs、mascons、refine_stages、refine_factor、noise_seed、reference、map_error_mc

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

実行する#

kshana scenarios/gravity-map-nav.toml

同梱のシナリオのうち4個がこの種類を使用しています。その他はscenarios/にあります。

得られるもの#

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

エビデンス#

この種類を名前で挙げているマトリクスの行はありません。その結果のラベルは、上に示したエンジン自身のものです。

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

• MODELLED重力マップマッチング、地形参照（TERCOM/SITAN）、磁気異常。オラクル（InternalConsistency）：IGRF-14の係数、第一原理による整合フィルターのCRLB。実場の重力ベンチマークの場は外部で確認されています（行「Gravity-anomaly synthesis from a spherical-harmonic model」）が、その航法結果には外部のオラクルがありません
• MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです

制限事項#

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

• 代替・補完PNTはMODELLEDであり、独立した外部の参照との照合はされていません。自身の閉形式・解析的な恒等式に照らして確認しており、転記や係数の誤りは見つけられますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
• 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#

• ファミリーページ：GPSが使えない状況での代替PNT
• すべての種類：KINDS.md