`lunar-station-coverage`（シナリオ種別）

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

内容#

モデルから計算した月面基準局のカバレッジ：月面の差分 PNT モデルを、南極域のユーザー格子と一日分のエポックにわたってモンテカルロ掃引したもの。既知の南極域の地点にある差分基準局が、明示した信号空間誤差、測量誤差、補正の遅延、リンクの量子化を伴う、明示したコンステレーション（例示的なケプラー軌道、または表形式のエフェメリス）を補正します。点ごと、および領域全体について、補正ありとなしの位置誤差のパーセンタイル（3D、水平、垂直）、可用性、明示したしきい値に対するカバレッジ、DO-229E の保護レベル、方位ごとのカバレッジ半径、局と最悪の点での補正リンクバジェットを報告します。いかなる実システムの性能についての記述でもありません。いかなる機関とも提携しておらず、承認も受けていません。MODELLED。

入力#

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

必須フィールド：なし
任意フィールド：n_sats、sma_km、eccentricity、inc_deg、argp_deg、ephemeris_path、mask_deg、station_lat_deg、station_lon_deg、station_height_m、survey_sigma_m、orbit_err_m、clock_err_m、sise_sigma_m、sise_orbit_variance_fraction、noise_m、latency_s、quantization_bits、grid_lat_max_deg、grid_lat_step_deg、points、t_start_s、t_span_s、t_step_s、n_trials、accuracy_threshold_m、percentile、alert_limit_m、residual_sigma_m、p_hmi、seed、terrain、orbit_err_growth_m_per_s、receiver、solution

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

フィールド	値	単位
`accuracy_threshold_m`	20	m
`alert_limit_m`	10	m
`argp_deg`	90	deg
`clock_err_m`	30	m
`eccentricity`	0.6	1
`grid_lat_max_deg`	-80	deg
`grid_lat_step_deg`	1	deg
`inc_deg`	57.7	deg
`kind`	lunar-station-coverage	テキスト
`latency_s`	10	s
`mask_deg`	5	deg
`n_sats`	8	個数

実行する#

kshana scenarios/lunar-station-coverage.toml

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

得られるもの#

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

結果	値	単位
`budget_at_station_and_at_edge.epoch_s`	0	s
`budget_at_station_and_at_edge.station.ageing_clock_class`	rafs	テキスト
`budget_at_station_and_at_edge.station.ageing_clock_time_error_s`	3.1623e-11	s
`budget_at_station_and_at_edge.station.ageing_orbit_rate_m_per_s`	0.003083	m/s
`budget_at_station_and_at_edge.station.latency_clock_position_sigma_m`	0.030329	m
`budget_at_station_and_at_edge.station.latency_clock_range_sigma_m`	0.00948	m
`budget_at_station_and_at_edge.station.latency_orbit_position_sigma_m`	0.106357	m
`budget_at_station_and_at_edge.station.latency_orbit_range_sigma_m`	0.03083	m
`budget_at_station_and_at_edge.station.latency_position_sigma_m`	0.110597	m
`budget_at_station_and_at_edge.station.latency_range_sigma_m`	0.032254	m

結果ラベル（エンジンによる）：MODELLED

scenarios/lunar-station-coverage.toml（種別 lunar-station-coverage）についてエンジンが書き出すグラフ

エビデンス#

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

MODELLED 南極域のユーザー格子と一日分のエポックにわたる、月面の差分 PNT モデルのモンテカルロ掃引（lunar-station-coverage の種別）：南極域の既知の地点にある差分基準局について、点ごと、および領域全体で、テスト：lunar_station_coverage_reference.rs。

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
MODELLED NovaMoon クラスの差分基準局：共通モードの打ち消し + 基線とともに増大する残差 + DGNSS の保護レベル。オラクル（InternalConsistency）：差分誤差の打ち消しの恒等式と DO-229E の SBAS の PL の仕組みの再利用。単一差 + WLS の解は、さらに RTKLIB の lsq()/matinv()（Takasu、BSD-2-Clause、コンパイル済みの C）とクロスチェックされています — 独立したソルバーのコードですが、同じ一次の視線方向の差の代数であるため、依然として InternalConsistency です
MODELLED 差分補正が、計算されたエポックと使用されるエポックの間に拾う三つの項で、それぞれこれまで未モデル化の余地として残されていました：。オラクル（InternalConsistency）：閉形式の恒等式と自己整合性：一様量子化器の step²/12 の分散、等しい σ で σ·PDOP に帰着する正確な (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ の共分散伝搬、û_user ≈ û_ref の帰結としての測量項の 1:1 の伝達、および切り替えオフの直交閉包。orbit::dop との PDOP のクロスチェックは [−û, 1] の正規行列を共有するため、これは整合性チェックであり、そのようにラベル付けされており、独立した
MODELLED 南極域のユーザー格子と一日分のエポックにわたる、月面の差分 PNT モデルのモンテカルロ掃引（lunar-station-coverage の種別）：差分基準局について。オラクル（InternalConsistency）：エクスポートしたケースに対し、独立した numpy スクリプト（scripts/gen_lunar_station_ref.py、numpy 2.5.4。tests/fixtures/lunar_station/PREREGISTRATION.md で事前登録され、最初の実行の前に 9caedf97 で単独でコミット）で再計算した演算：すべての誤差項を有効にした 20 ケースで、可視集合とステータスは同一で、生の距離誤差は 1.4e-14 m の範囲で一致し、位置誤差ベクトルとその大きさは 1.4e-9 m の範囲で一致します

制限事項#

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

MODELLED（結果 label）
MODELLED。（種類カタログ（kshana kinds --json））
誠実な注記：MODELLED。以下に明示した仮定のもとで、このモデルはこれらの数値を与えます。いかなる実システムの性能についての記述でもありません。いかなる機関とも提携しておらず、承認も受けておらず、TRL や飛行実績の主張もありません。省略したもの：極域での地形と地平線のマスキング（最初の制限事項）、マルチパス、受信機ハードウェア。（シナリオファイルのコメント、15 行目から 18 行目）
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
月面の差分 PNT は MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
月面の差分 PNT — 補正リンクの残差バジェットは MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
月面の基準局のカバレッジと精度のマップは MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））