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

検証とエビデンスまだ GitHub にはありません出典：docs/PARTNER-DATA.md

パートナーデータ：どの実測データが MODELLED の行を引き上げられるか

Kshana は、すべての機能を機械検査される台帳（検証マトリクス）でラベル付けします。タイミングとセンサーの行の大半は MODELLED です。明示したモデル、公表されたデータシート、内部チェックに基づいており、そのデバイスクラスの実測記録とはまだ比較されていません。そのような記録を持つ方は、これを変えることができます。このページでは、どの行が対象か、何を送るか、提出物がどう確認されるか、どう採点されるか、どうクレジットされるかを説明します。対象は、ラボ、メーカー、大学のグループです。仕事の依頼ではなく、誰かによる推奨を主張するものでもありません。助言のみ：Kshana は研究用の機器であり、型式承認を受けた航法・タイミング装置ではありません。

ラベルの意味#

ラベル 意味
VALIDATED 比較の前に固定した合格基準のもとで、独立した外部のオラクルが機能と一致したことを表します。パートナーの実測記録は、それが対象とする部分的な主張についてのオラクルになり得ます。マトリクスの不変条件により、オラクルなしにこのラベルは付けられません
MODELLED 内部で整合しており、その旨を明示したものです。主張を裏付ける外部オラクルはありません。実測データと比較して基準に届かなかった MODELLED の行は MODELLED のままで、その未達は公表されます
PARTNER 実行が依拠する領域のうち、ハードウェアパートナーが所管し、Kshana が提供しないものです。たとえば、パートナー自身のクロックや干渉計を記述する数値がこれにあたります。Kshana は、そのようなデバイスが航法またはタイミングのチェーンに与える影響をモデル化しますが、デバイスそのものを保証するものではありません

提出物が行を VALIDATED に引き上げられるのは、データが実際に検証する主張に限られ、しかも比較が合格基準を満たした場合に限られます。デバイス自身の数値を Kshana が保証するものにすることはできません。それらはパートナーのもの（PARTNER）のままです。行のラベルが変わるかどうかは所有者の判断であり、それを変更するコミットに記録され、オラクルのテキストには何を何と比較したかが正確に書かれます。

パートナーのデータで引き上げられ得る行#

下の各行は、マトリクスの MODELLED の行の requirement テキストそのままです（テストがこのページとマトリクスを同期させています）。「変わり得ること」は、合格基準に達した場合に、実測データとの事前登録済みの比較が何を裏付けるかを示すものであり、約束ではありません。

行 それを検証するデータ 変わり得ること
GNSS-denied clock holdover 名前の付いたクラスのクロックについて、最後の周波数補正の後に自由走行させた数日分の記録を、より良い参照と比較したもの。サンプル間隔は一分以下 ホールドオーバーの数値を縛るクラスごとのレッドノイズの下限は、現時点では MODELLED のままです。長い平均化時間での実測の安定度を、そのクラスの下限と比較できます。比較の対象はそのクラスに限ります
Quantum-vs-classical PNT trade & GNSS-denied resilience (13503) パートナーのクロックまたは原子干渉計について、実測したアラン偏差（表、または位相の記録） トレードオフの数値はパートナーのデバイスを定量化するだけで（確認はしません）、パートナーの数値（PARTNER）とラベル付けされます。実測のアランデータをノイズモデルに取り込む処理は、すでに独立したソルバーと一致しています
Oscillator holdover presets from public datasheets 四つのプリセットモデルのいずれかの発振器の位相記録。少なくとも一日分 データシートから導いたプリセットのノイズモデルが、データシートと同じ平均化時間で、実測した個体の安定度を再現するかどうか
Measured clock device cards (held-out prediction) まだカード化されていないクロッククラス（OCXO、ルビジウム、セシウム、メーザー、光時計）の位相記録 最初の三分の一でフィットしたカードが、残りのアラン偏差を事前登録した係数以内で予測すること。GNSS 衛星クロックと一つの受信機についてはすでに実施済み
Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series 実際の設置環境（デーモンのバージョンは問いません）から取得したログで、デーモン自身の要約行を含むもの リーダーは、公開されている行のレイアウトとフィクスチャーから作られています。独立したリーダーと比較した実際のログが、最初の外部チェックになります
Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series 実際のカウンターまたは解析ソフトウェアのエクスポート 同上、それらの形式について
Holdover test scored from an operator-supplied time-error record 実際のホールドオーバー試験：記録、運用者が参照を外した時刻と戻した時刻、そしてラボが解析ソフトウェアで出した MTIE、TDEV、マスクの判定 同じ量を独立に計算したもの。エンジンの値と比較します
IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters 他者が公表または実測した雑音パラメーターを持つ慣性装置の、静止状態のログ フィットが、独立したパラメーターに対して明示した係数以内で復元されること
Quantum inertial dead-reckoning resilience パートナーの冷却原子慣性センサーの静止ログ、または雑音パラメーター デバイスの数値はパートナーのもの（PARTNER）です。それらを合成する位置誤差バジェットは、Kshana のモデルのままです

最初の二つから始めてください。クラスごとのホールドオーバーの下限と、量子対古典のトレードオフが、実測データに基づいているかどうかは、これらで決まります。

送るもの#

提出物は、一つのフォルダーにある二つのファイルです。データと、その小さな説明である TOML ファイル（kshana.partner-submission/1。作り物の実例は examples/partner-submission/submission.toml）です。

クロックデータ。Kshana が読み込める形式のいずれか（クロックログの形式を参照）：TAPR TICC ログ、TimeLab 形式の ASCII 位相または周波数、RINEX クロック、linuxptp の ptp4l、phc2sys、ts2phc ログ、chrony のトラッキングと統計のログ。周波数よりも位相が望ましく、単位とサンプル間隔を明記してください。途切れのない最長の記録を提供してください。長い平均化時間での安定度には数日分が必要で、一日に満たない記録も受け付けますが、警告が出ます。

慣性データ。静止した装置の、列名付きの CSV（t_s, gx, gy, gz, ax, ay, az、rad/s と m/s^2）または EuRoC のレイアウト。フィットに十分な長さが必要です（少なくとも 2000 サンプル。数時間分あれば、より良好です）。

説明には次を記載します。チェッカーは、確認できるものを確認します。

  • 組織の種類（「国立の時刻研究所」のような種類であり、名称ではありません。名称は任意で、クレジットのためだけです）。
  • デバイス（種類、クラス、そしてクラスが other の場合はモデル）。
  • データの取得方法：何と比較したか、開始時刻（UTC）、環境、そして生データか加工済みか（加工した場合は何をしたか）。
  • データファイルの SHA-256。採点されるファイルが、説明されたファイルと同一であることを保証します。
  • 提出先の MODELLED の行。上の要件テキストそのままで指定します。
  • ライセンス（SPDX 識別子または文言）と、リポジトリでのデータの利用方法：public（帰属表示付きでコミット）、hash-only（ハッシュとスコアだけを公表）、または private（スコアは提出者だけと共有）。
  • 三つの表明：これは測定であってシミュレーションではないこと、提出者がこの用途のためにライセンスを許諾できること、そしてファイルに個人データが含まれないこと。

送らないもの。個人に関するもの、または連絡先を含むもの（チェッカーは、説明にメールアドレスや電話番号があると拒否します）、輸出管理の対象のもの、または契約で制限されているもの、そして実測として示されたシミュレーションデータ。

提出物の確認方法#

  1. 何かを実行する前に、あなたまたは私たちが、形式とメタデータを確認します。

    kshana partner check <submission.toml>          # add --json for a machine-readable report

    スキーマ、必須フィールド、ハッシュ、ライセンスと帰属表示の規則、対象の行が存在して MODELLED であること、データがエンジン自身のリーダーで読めることを確認し、読み取った内容（サンプル数、間隔、期間、欠損）を報告し、短い記録には警告を出します。終了ステータス 0 は、完全で読み取り可能であることを意味し、1 は修正すべき点を一覧にします。データの採点も、行の確認も、利用の約束もしません。

  2. 採点された実行の前の事前登録。各行について、xval/<name>/ の文書が、データを実行する前にコミットされ、次を固定します：行、データファイルの SHA-256、データのどの部分をホールドアウトするか（フィットするものはそれを見てはなりません）、指標、そして合格基準。クロックカードでは、既存のテンプレートは IGS と受信機の記録に使ったホールドアウト予測です。記録の最初の三分の一でフィットし、残りのアラン偏差を予測し、予測値と実測値の比が、フィットしたすべての平均化時間で明示した係数以内であることを求めます。合格基準は、実行の後に緩められることはありません。

  3. 採点された実行は一回。結果は、すべての数値と、すべての未達を含めて、コマンドとコミットとともに公表され、テストで固定されます。未達は隠すべき失敗ではなく、知見です。その行は MODELLED のままで、ページにもそう記されます。

  4. 台帳の判断は所有者のもので、行を変更するコミットに文書で記されます。引き上げられた行のオラクルのテキストには、データセット、そのライセンスとクレジット、何を比較し何を比較しなかったかが記されます。

クレジットと権利#

  • データは、あなたが示すライセンスのもとで、あなたのものです。hash-only と private は、ファイルをリポジトリに置きません。
  • public の提出物は、あなたが示す帰属表示の行によって、その行のオラクルのテキストと結果ファイルでクレジットされます。
  • あなたの書面による同意なしに、あなたの名前で何かが公表されることはありません。出典として名前が挙がった組織は出典として引用されるだけで、推奨者として扱われることはありません。パートナーによる、またはパートナーについての承認や推奨の主張は一切行いません。
  • 結果が公表される前であれば、提出物を取り下げることができます。その後は、結果は記録されたとおりに残ります。データのライセンスを取り下げた場合は、ファイルはリポジトリから削除され、ハッシュとスコアは残ります。
  • Kshana は何も送信せず、ハードウェアを駆動しません。提出物はファイルとして入力され、レポートが出力されます。

アウトリーチ#

ラボ向けの一ページのノートが、docs/drafts/PARTNER-OUTREACH.md に所有者向けに下書きされています。これは下書きです。所有者が決めるまで、何も送られず、誰にも連絡されません。