pvt（シナリオの種類）

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

内容#

実観測による単独測位：RINEX 3 の観測ファイルと放送航法ファイル（コード疑似距離、放送エフェメリス、Klobuchar 電離層、Saastamoinen/Niell 対流圏）から受信機の位置を解き、必要に応じて測量済みの座標と照合して確認します。

scenarios/pvt-abmf.toml の一回の実行の要約は次のとおりです：pvt 55bdd18628e1 | 航法衛星 11 機 | 2/3 エポックを解いた | 平均 9.0 機、PDOP 1.8 | 3D 誤差 RMS 5.74 m（最大 7.12 m）

入力#

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

• 必須フィールド：obs_rinex、nav_rinex
• 任意のフィールド：truth_ecef、apriori_ecef、mask_deg、dual_frequency

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

実行する#

kshana scenarios/pvt-abmf.toml

得られるもの#

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

エビデンス#

MODELLED：この種類を挙げている検証マトリクスの行。

• MODELLED 精密単独測位の構成における、発散しない Hatch フィルター（電離層フリーの搬送波で補正した電離層フリーのコード、ウィンドウ N エポック、ロックロス・ジオメトリフリーのジャンプ・欠測での再起動）
• MODELLED dop_error_mc::run_geometry と check：エンジン自身の反復最小二乗測位解（pvt::solve_spp、単位重み、真の位置から解く）に対する、シード付きモンテカルロ（ジオメトリごとに N = 20,000 エポック、sigma = 1.5 m、ChaCha8 のシード 36 + i）について。テスト：uere_dop_monte_carlo.rs。

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

• VALIDATED 解析した RINEX-3 航法レコードから求める、IS-GPS-200 / Galileo-OS / BeiDou-OS の放送エフェメリスのケプラー要素から ECEF 衛星位置への変換。オラクル（ExternalDataset）：C ソースからコンパイルした RTKLIB v2.4.2-p13 の eph2pos()（T. Takasu、BSD-2-Clause）— 独立した IS-GPS-200/SIS-ICD の実装に、同一の RINEX-3 航法レコードを入力。衛星の ECEF 位置は約 62 nm まで一致。（SP3 精密エフェメリスの補間は別途確認しています — 「SP3 精密エフェメリスの補間」を参照）
• MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです

制限事項#

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

• 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#

• ファミリーページ：GNSSの測定、測位、インテグリティ
• すべての種類：KINDS.md
• トピックページ：POSITIONING.md
• トピックページ：INTEGRITY.md