機械翻訳であり、ネイティブスピーカーによる確認は行われていません。英語版が基準です。

シナリオ種別のページGitHub で編集ソース：docs/kinds/by-kind/realtime-frame-eop.md

realtime-frame-eop（シナリオの種類）

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

内容#

リアルタイムの月フレーム・地球姿勢の予測バジェット：P4 表 1（フレーム誤差の整合性チェック — 後処理 ~0.27 m ↔ ~0.010 ms とリアルタイム ~15 m ↔ ~0.5 ms。各フレーム位置を L19 のレバーアーム Δr = D_EM·ω⊕·ΔUT1 により等価な UT1 誤差として表現）と表 2（予測期間に対する UT1 予測誤差の実測 — 実際の IERS finals2000A 系列から直接読み取った L18 の曲線。Bulletin A − Bulletin B の最終フロアと複数日の持続予測器の誤差を、それぞれ L19 で月フレームの位置に変換）、さらに L21 の二乗和平方根によるリアルタイムのフレーム誤差バジェット（EOP＋エフェメリス＋実現フロア）です。閉形式（L19 のレバーアーム、ω⊕ は CIO の地球自転角と相互確認）は VALIDATED、実データ（実際の finals2000A の行から読み取った L18 曲線）も VALIDATED です。MODELLED は、月リレーの OD 共分散の大きさとフレーム実現フロア（代表的な配分）、および持続予測器（IERS の運用用 Bulletin A のアルゴリズムではありません）です。認証を受けたリアルタイムのフレーム製品ではありません。

scenarios/realtime-frame-eop.toml の一回の実行の要約は次のとおりです：realtime-frame-eop | 表 1：後処理 0.27 m（0.0096 ms UT1） ↔ リアルタイム 14.4 m（0.514 ms UT1） | 表 2：最終フロア 0.0171 ms → 3日 1.6644 ms | バジェット合計 20.1 m（67.0 ns） | L19 のレバーアームと L18 の実データ（確認済み）、OD 共分散（モデルに基づく）

入力#

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

  • 必須フィールド：なし
  • 任意のフィールド：epoch、horizons_days、ephemeris_pos_sigma_m、ephemeris_vel_sigma_mps、latency_s、frame_realization_floor_m、delta_ut1_ms、delta_xp_mas、delta_yp_mas、eop_finals2000a、eop_finals2000a_later、frame_realization_tie_noise_m、operational_window_days、operational_min_cycle_fraction、operational_anchor_residual

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

フィールド 値 単位
epoch 2022-01-01 テキスト
horizons_days [1, 2, 3] d
kind realtime-frame-eop テキスト

実行する#

kshana scenarios/realtime-frame-eop.toml

得られるもの#

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

結果 値 単位
earth_moon_distance_m 384400000 m
eop_input.final_rows 30 個数
eop_input.kind bundled-offline-fixture テキスト
eop_input.prediction_rows 90 個数
eop_input.rapid_rows 54 個数
eop_input.rows 174 個数
eop_input.source 同梱のフィクスチャ finals2000A_20260930 テキスト
eop_source 同梱のフィクスチャ finals2000A_20260930 テキスト
epoch 2022-01-01 テキスト
evidence.id_rule マトリクスの行の安定した ID（ID テキスト

結果ラベル（エンジンによるもの）：リアルタイムの月フレーム・地球姿勢の予測バジェット。VALIDATED の閉形式：L19 のレバーアーム（1 ms ↔ 28.03 m ↔ 93.5 ns）、ω⊕ は CIO の地球自転角と相互確認。VALIDATED の実データ：実際の IERS finals200 から直接読み取った L18 の UT1 と極運動の予測誤差曲線

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

エビデンス#

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

  • VALIDATED 一つの表が、UT1 の予測誤差、極運動の極の誤差、および月での二乗和による合成を、予測期間ごとに同一のエポック集合で報告し、各成分を測定したエポックを出力します。テスト：embedded_eop_vintage_astropy_preregistered.rs。
  • VALIDATED realtime-frame-eop のランタイム既定値は、IERS finals2000A の抜粋をそのまま写した、ライブラリ自身の組み込みコピーです（tools/finals2000A_20260930.txt：連続する日次の 174 行、MJD 61224-61397、2026-09-30 の finals2000A.all から切り出したもの）。これが保持します。テスト：operational_eop_predictor_reference.rs。
  • MODELLED 後続ウィンドウに対する最小二乗のバイアスとレートのフィットに、主要な周期項（UT1 では年周、半年周と二つの主要な帯状潮汐、極では Chandler、年周、半年周）を加え、ウィンドウ内の最後の値で外挿します。テスト：operational_eop_predictor_reference.rs。

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

  • MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
  • VALIDATED 一つの表が、UT1 の予測誤差、極運動の極の誤差、および月での二乗和による合成を、予測期間ごとに同一のエポック集合で報告し、。オラクル（ExternalDataset）：astropy 8.0.1 utils.iers（BSD-3）が、独自の Bulletin-B 優先・なければ A の規則で IERS finals2000A 製品を読み取り、pyerfa 2.0.1.5（SOFA）が、天球から地球固定への完全な回転（c2i06a、sp00、pom00、c2tcio。地球自転角は IERS 2010 の式 5.15 を厳密な演算で）を、凍結した 2026-09-30 の finals2000A.all の原文の行に対して別々のプログラムとして実行。事前登録済み（455b8fb5）、修正 A1 と A2 は固定するのは
  • VALIDATED realtime-frame-eop のランタイム既定値は、IERS finals2000A の抜粋をそのまま写した、ライブラリ自身の組み込みコピーです（tools/finals2000A_20260930.txt：連続する 174 行。オラクル（ExternalDataset）：astropy 8.0.1 astropy.utils.iers.IERS_A（BSD-3-Clause）が、独自のリーダーで同じバイト列を読み取り、IERS Bulletin A Vol. XXXIX No. 039 の表を数値ごとに写したもの。astropy を実行する前に、六つの厳密な基準で事前登録済み（6fdae01b）。六つすべてが成り立ちます：30 行の最終値、54 行の速報値、90 行の予測値で MJD リストが等しく、予測値の行はすべてフラグ P、既定の実行の集計が等しく、予測値が Bullet
  • MODELLED 後続ウィンドウに対する最小二乗のバイアスとレートのフィットに、主要な周期項（UT1 では年周、半年周と二つの主要な帯状潮汐、極では Cha。オラクル（ReferenceImpl）：三つの独立した経路で、いずれも公表された予測精度の値ではありません。（1）係数が既知の解析信号 — 周期項の仕組みを検証できる唯一の方法です。年周項を含めるのに十分な長さのコミット済み系列がないためです。（2）教科書的な閉形式の最小二乗解で、評価対象の行列解法とは異なる代数による、実際の行での確認。（3）アーカイブされた本物の Bulletin A の予測行で、その

制限事項#

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

  • リアルタイムの月フレーム・地球姿勢の予測バジェット。VALIDATED の閉形式：L19 のレバーアーム（1 ms ↔ 28.03 m ↔ 93.5 ns）、ω⊕ は CIO の地球自転角と相互確認。VALIDATED の実データ：実際の IERS finals2000A 系列から直接読み取った L18 の UT1 と極運動の予測誤差曲線（Bulletin A の速報値と Bulletin B の最終値の比較、および実際の日次の行にわたる複数日の持続予測）。導出値：フレーム (result label)
  • 閉形式（L19 のレバーアーム、ω⊕ は CIO の地球自転角と相互確認）は VALIDATED、実データ（実際の finals2000A の行から読み取った L18 曲線）も VALIDATED です。MODELLED は、月リレーの OD 共分散の大きさとフレーム実現フロア（代表的な配分）、および持続予測器（IERS の運用用 Bulletin A のアルゴリズムではありません）です。 (kind catalogue (kshana kinds --json))
  • 正直な評価：VALIDATED の閉形式（L19 のレバーアーム、omega_earth は CIO の地球自転角と相互確認）と VALIDATED の実データ（実際の finals2000A の行から読み取った L18 の UT1 と極運動の曲線）。導出したフレーム実現フロア（ヘルマート変換の事後残差）。MODELLED は、月リレーの OD 共分散の大きさ（後処理で 0.27 m、一時間の遅延でのリアルタイムは ~14.4 m — 丸めた、逆算ではない、すべて (scenario file comment, lines 27 to 32)
  • 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
  • 運用方式の地球姿勢予測誤差（予測値と最終値の実測比較）は MODELLED であり、独立した外部の参照との照合による確認は行っていません。これは、同じコードベース内の別の実装に照らして確認したもので、評価対象の部分からは独立していますが、外部の権威ある参照ではありません。 (verification matrix (docs/MODELLED-RATIONALE.md))

関連項目#