combined-altpnt(シナリオの種類)
エンジンv0.40.0のシナリオの種類。ファミリー:GPSが使えない状況での代替PNT。助言のみ:研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではなく、人命安全(safety-of-life)サービスでもありません。ここにあるラベルはすべてエンジンまたは検証マトリクスによるものです。検証マトリクスに別の記載がない限り、シナリオの種類はMODELLEDです(ラベルの付与のされ方:READMEのEvidenceセクション)。
内容#
GPSが使えない状況での、重力・磁気・地形を組み合わせた航法装置:三つのスカラー場チャンネルをウェイポイントごとに融合し、どの単一の場よりも鋭い(CRLBの低い)ドリフト補正を得ます。
scenarios/combined-altpnt.tomlの一回の実行は、次のように要約されます:combined-altpnt | free-inertial drift 70659 m | gravity 464 m magnetic 782 m terrain 368 m | FUSED 365 m
入力#
スキーマ(kshana kinds --json)より:
- 必須フィールド:
start_lat_deg、start_lon_deg、step_lat_deg、step_lon_deg、waypoints、drift_lat_deg、drift_lon_deg、search_half_deg、search_step_deg、nmax、gravity_sigma_mgal、igrf_year、magnetic_sigma_nt、dem_seed、terrain_sigma_m - 任意フィールド:
coeffs、mascons、magnetic_mascons、igrf_alt_km、refine_stages、refine_factor、noise_seed、magnetic_grid
例のscenarios/combined-altpnt.tomlが設定している項目(一部):
| フィールド | 値 | 単位 |
|---|---|---|
coeffs[0].cbar |
6.0000e-6 | 記載なし |
coeffs[0].m |
0 | 記載なし |
coeffs[0].n |
2 | 記載なし |
coeffs[0].sbar |
0 | 記載なし |
coeffs[1].cbar |
3.0000e-6 | 記載なし |
coeffs[1].m |
1 | 記載なし |
coeffs[1].n |
3 | 記載なし |
coeffs[1].sbar |
2.0000e-6 | 記載なし |
dem_seed |
1 | 記載なし |
drift_lat_deg |
0.5 | deg |
drift_lon_deg |
-0.4 | deg |
gravity_sigma_mgal |
3 | mGal |
実行する#
kshana scenarios/combined-altpnt.toml
得られるもの#
その実行のスカラー結果。単位はエンジンが示すとおりです:
| 結果 | 値 | 単位 |
|---|---|---|
combined_m |
364.881333 | m |
evidence.id_rule |
マトリクスの行の安定した ID(ID | テキスト |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | テキスト |
evidence.tier |
MODELLED | テキスト |
free_inertial_drift_m |
70658.643788 | m |
gravity_only_m |
464.136358 | m |
magnetic_only_m |
782.430009 | m |
terrain_only_m |
367.623242 | m |
エビデンス#
この種類を名前で挙げているマトリクスの行はありません。その結果のラベルは、上に示したエンジン自身のものです。
実行そのものが検証した行と、マトリクスが各行に示すオラクル(公開ソースはそこに記載されています):
- 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