機械翻訳であり、ネイティブスピーカーによる確認は行われていません。英語版が基準です。
自由に開発の土台にできます。レビューに耐える必要があるときは Pro を。
エンジンは AGPL-3.0（GNU Affero General Public License、バージョン 3）の下でオープンソースであり、今後もそうであり続け、機能の制限はありません。Ashforde® OÜ は、オープンなエンジンへの席数課金ではなく、専門知識と独自のオーバーレイによってこれを支えています。このサイトに価格の掲載はありません。有償の窓口はすべて、メッセージから始まります。
kshana v0.40.0 リポジトリから
エンジン v0.40.0 · src/api.rs による 92 種類の kind · web/data/verification-matrix.json による台帳のステータス · Pro とスタディが土台とするもの：サイトのエディション登録簿 · シナリオもシードもなし エディションを比較
エディションを比較 オープンコアのライセンス 増強された Kshana Pro 調査の進め方 お問い合わせ
01 ご一緒する三つの方法
エディションを比較します。 三つのエディションの土台は同じエンジンです。行ごとに横に読むと、なぜ重要か、誰向けか、何が含まれるか、どう始めるかを比較できます。
なぜ重要か 対象となる方 含まれるもの 条件 開始方法
誰にとっても必要な理由 位置や時刻を GNSS（全球測位衛星システム）から得る者はすべて、ジャミング、スプーフィング、信号喪失にさらされており、これは車両、ネットワーク、電力網、宇宙機のいずれにも及びます。オープンコアは、どの程度さらされているかを示し、どの数値が確認済みであるかを明らかにします。
対象となる方 位置や時刻を GNSS から得る車両、ネットワーク、電力網、宇宙機のエンジニア 再現して引用できる数値を必要とする研究者、学生、レビュアー エンジンをコード、CI（継続的インテグレーション）スイート、または AI（人工知能）アシスタントに組み込む開発者 含まれるもの 92 種類すべてのシナリオ kind と 181 個の同梱シナリオ：ネイティブ、Python、JavaScript、ブラウザー、そして MCP（Model Context Protocol）経由 完全な検証マトリクス：401 件の機能のうち 176 件を独立したオラクルと照合して確認済み、残りはモデル計算とラベル付け すべての結果にシナリオのハッシュ、シード、エンジンのバージョンを刻印し、JSON（JavaScript Object Notation）、CSV（カンマ区切り値）の表、SVG（Scalable Vector Graphics）のグラフとして書き出します 無償の kshana --study スイートランナー 条件 AGPL-3.0 の下で無償です。同じコアは、独自の製品への非公開の統合向けに、商用ライセンスでも提供されます（下記 ）。
Pro でさらに強力に オープンな Kshana は一つのシナリオを実行し、その結果が何を示すかを伝えます。Kshana Pro は、プログラムが次に問う質問に答えます。どの設計を飛ばすか、その答えはどれだけ確かか、そしてミッションが要求を満たすかを、レビュー委員会が確認できる形で示します。
対象となる方 ミッション資料または監査水準のエビデンスパックを、レビューまたは調達の委員会に提出しなければならないプログラム 設計空間全体のパレートフロントから、または性能指標で順位付けしたトレードスタディから設計を選ぶアーキテクト 自社のデバイスに合わせて較正したクロックのデジタルツインを必要とするタイミングおよびハードウェアのチーム 含まれるもの 設計オプティマイザー ：設計空間のパレートフロント。フロント上の各設計は、無償のエンジンが再実行できるシナリオとして提供されます数千回の実行にわたる不確かさと感度 検証マトリクスと PDF（Portable Document Format）ファイルを含む、ワンコマンドのミッション資料 監査水準で再現可能なエビデンスパック、デバイスの公表されたアラン誤差配分に合わせて較正したクロックのデジタルツイン、そして性能指標で順位付けしたアーキテクチャのトレードスタディ モデルベースシステムズエンジニアリング（MBSE）およびプログラムのツール。プログラムの要求を、オープンなエンジンの実行に照らして確認し、エンジンが公開する出力だけを読み取ります 条件 Kshana Pro は契約に基づいて提供します。オープンコアに依存し、決してフォークしないため、無償のエンジンから何かが取り除かれることはありません。
カスタム調査が必要な理由 問いはお客様のものでも、時間、モデリング、クリアランスがない場合：同じエンジンでお客様のシステムをモデル化し、すべての数値に、外部の参照と照合して確認済みか、モデルから計算したものかを明記し、再現可能な結果をお返しします。
対象となる方 PNT（測位・航法・時刻）アーキテクチャのレジリエンスについて、独立したモデルによる見方を必要とするプログラムおよび調達のチーム 自社のデバイスのモデルを望むハードウェアの開発者 輸出管理の対象となるプログラム、および Kshana を自社のツールチェーンに組み込みたいチーム 含まれるもの モデルから計算した PNT レジリエンスの調査（例：楽観ギャップの監査）。認証ではありません。 お客様のハードウェアに合わせて較正したセンサーおよびレジリエンスのモデル 適切なクリアランスと NDA（秘密保持契約）の下での、輸出管理対象のレジリエンス業務 商用のサポートと統合、トレーニング、コンサルティング 条件 お客様の問いに合わせて範囲を定め、契約に基づいて納品します。シナリオ、シード、エンジンのバージョンから再現可能です。
選択肢 A · オープンソース
GNU AGPL-3.0
無償で使用、研究、改変、再配布できます。派生物を配布する場合、または改変したエンジンをネットワーク経由で人に使わせる場合は、同じライセンスの下でそのソースを共有します。
学術研究、オープンソースのプロジェクト、社内評価、研究に適しています。
選択肢 B · Ashforde® OÜ から
商用ライセンス
エンジンを非公開ソースの製品に組み込む 改変したエンジンでネットワークサービスを、ソース開示の義務なしに運用する 他の部分が AGPL にできないツールチェーンに統合する AGPL が免責としている保証、補償、サポートの条件を得る 商用ライセンスについて問い合わせる
Kshana Pro およびその他の独自オーバーレイは、いずれのライセンスにも含まれない、それぞれ独自の契約に基づく別個の製品です。商用ライセンスの対象範囲
無償版は一つのシナリオを実行します。Pro はプログラムの問いに答えます。
オープンな Kshana は一つのシナリオを実行し、その結果が何を示すかを伝えます。Kshana Pro は、同じエンジンと同じシナリオファイルの上で、プログラムが次に問う質問に答えます。どの設計を飛ばすか、その答えはどれだけ確かか、そしてミッションが要求を満たすかを、レビュー委員会が確認できる形で示します。
オープンな Kshana の厳密な上位集合です。 オープンなシナリオの種類はすべて Pro でそのまま動作し、オープンなシナリオはライセンスなしで Pro 上で動作します。 新しい物理はありません。 Pro の数値はすべてオープンなエンジンの実行から得られるため、Pro の数値の信頼性は、その元になったオープンなシナリオの種類と同じであり、それを超えることはありません。 無償のエンジンで再現可能です。 オープンな Kshana があれば、誰でも再実行して同じ数値を得られます。 正直なラベルをそのまま引き継ぎます。 Pro の結果はすべて MODELLED と表示されます。すべての数値は、オープンなエンジンが与えたティア（外部の参照と照合して確認済み、モデルから計算、またはパートナーの所管）を保持し、それより高いものになることはありません。 どの設計を飛ばすべきか。 無料 無償版のユーザーは、手で書いた一つの設計を評価します。 Pro Pro のユーザーは、設計空間（各変数は許容される値を持つシナリオの設定）、制約、そして二つまたは三つの目的を指定し、パレートフロント全体を得ます。これは、すべての目的で同時に他のどの設計にも負けない設計の集合です。 ベースのシナリオはどのオープンな種類でもよいため、同じツールで、地球、月、火星の周りのコンステレーションを設計したり、リンクバジェットのトレードを行ったりできます。各設計はオープンなエンジンの一回の実行です。フロント上の各設計は、無償のエンジンがそれに対して返す結果の SHA-256（Secure Hash Algorithm）ハッシュとともに、通常のオープンなシナリオファイルとして書き出されます。
できないこと。 コストモデルがないため、どの目的でもペナルティが課されない変数は、範囲の端に寄っていきます。コンステレーションの調査は幾何だけを評価します。信号電力、衛星の健全性、地形は含みません。
パレートフロント · 月面航法コンステレーション Kshana Pro の出力
月全体 南極域
0 25 50 75 100 8 12 14 16 20 24 satellites in the constellation availability over the region, % reference knee 0 25 50 75 100 8 12 14 16 20 24 satellites in the constellation availability over the region, % reference knee
フロント上の設計 004 · 変曲点 · 衛星 16 機、可用性 85.0404 % · 高度 8,000 km の 2 面、45° · 無償のエンジンで再実行：同じ SHA-256 89882372…
608 個の設計をすべて実行（月全体）：6 点にわたる 12 個の設計からなるフロント。12 個中 12 個が、無償のエンジンで同じ結果ハッシュで再実行されました。MODELLED。 608 個の設計をすべて実行（南極域）：4 点にわたる 9 個の設計からなるフロント。9 個中 9 個が、無償のエンジンで同じ結果ハッシュで再実行されました。MODELLED。 Kshana Pro 0.2.0（オープンエンジン 0.29.0 上）· kshana-pro design · エンジンの実行 609 回 · 実行ダイジェスト df81aad4…
結果はどれだけ確かで、何がそれを左右するのか。 無料 無償版のユーザーが得るのは、一つの数値、またはランダムシードにわたるばらつきです。 Pro Pro のユーザーは、各入力がどれだけ不確かかを指定し、信頼区間、限界を満たす確率、結果を左右する入力の順位付けを得ます。 任意のオープンなシナリオで動作します。入力は Sobol' 感度指標または標準化回帰係数で順位付けされ、信頼できない順位付けはその旨が示されます。長い調査は中断して再開できます。
できないこと。 入力は互いに独立として扱います。実行回数を増やしても減るのは標本誤差であり、モデル誤差ではありません。MODELLED の種類は MODELLED のままです。
不確かさと感度 Kshana Pro の出力
信頼区間 結果を左右するもの
-50 -20 0 20 50 time error, ns limit ±20 ns 100% 0% share of runs within the limit 0 10 20 30 40 50 60 minutes of holdover
60 分後：2,000 回の実行のうち 1,366 回 が ±20 ns 以内、確率は 0.683（95 % 区間は 0.6623 から 0.703）
ノイズ水準が不確かなクロックのホールドオーバー · 入力 q_wf（クロックのホワイト周波数ノイズの水準）：一様分布（4.5e-20 から 2.7e-19）、仮定値 · MODELLED · Kshana Pro 0.2.0（オープンエンジン 0.29.0 上）· kshana-pro uncertainty · エンジンの実行 2,000 回 · 実行ダイジェスト abab765e…
低軌道レイヤーを加えた、融合した位置誤差 GNSS のみの位置誤差 パスにおける搬送波電力対雑音密度比の最大値
Low-Earth-orbit orbit and clock error 0.99 Low-Earth-orbit transmit power 0.00 Galileo signal-in-space range error 0.00 Global Positioning System (GPS) signal-in-space range error 0.00 低軌道レイヤーを加えた、融合した位置誤差：平均 0.4312 m、5 パーセンタイルから 95 パーセンタイルは 0.2465 から 0.6041 m · 最大の要因は低軌道の軌道・クロック誤差 、全効果指標 0.99
Global Positioning System (GPS) signal-in-space range error 0.68 Galileo signal-in-space range error 0.32 Low-Earth-orbit orbit and clock error 0.00 Low-Earth-orbit transmit power 0.00 GNSS のみの位置誤差：平均 1.6041 m、5 パーセンタイルから 95 パーセンタイルは 1.5389 から 1.6739 m · 最大の要因は GPS（全地球測位システム）の信号空間レンジ誤差 、全効果指標 0.68
Low-Earth-orbit transmit power 1.01 Low-Earth-orbit orbit and clock error 0.00 Global Positioning System (GPS) signal-in-space range error 0.00 Galileo signal-in-space range error 0.00 パスにおける搬送波電力対雑音密度比の最大値：平均 60.7336 dB-Hz（デシベルヘルツ）、5 パーセンタイルから 95 パーセンタイルは 59.0898 から 62.3719 dB-Hz · 最大の要因は低軌道の送信電力 、全効果指標 1.01
低軌道（LEO）の PNT チェーン：LEO レイヤーがある場合とない場合で、位置誤差を左右するもの · Sobol' 指標、n * (k + 2) = 1024 * (4 + 2) = 6144 回の実行 · 入力の不確かさ 4 個中 4 個が仮定値 · MODELLED · Kshana Pro 0.2.0（オープンエンジン 0.29.0 上）· kshana-pro uncertainty · エンジンの実行 6,144 回 · 実行ダイジェスト fb54eac6…
ミッションは要求を満たしているか、そしてそれを引き渡せるか。 無料 無償版のユーザーが得るのは、実行ごとに一つのレポートです。 Pro Pro のユーザーは、一つのコマンドで一つのミッション資料を得ます。実際の実行に照らして確認した要求、未解決項目を伴う検証マトリクス、そしてすべての数値を無償のエンジンで再導出できる PDF（Portable Document Format）です。 MODELLED または PARTNER を根拠として満たされた要求には、その旨のフラグが付きます。試験、検査、実証によって検証すべき要求は、実行の結果にかかわらず未解決項目のままです。
できないこと。 シミュレーションのエビデンスは解析として扱われ、試験、検査、実証の代わりにはなりません。ミッション資料は、いかなる当局による認証、適格性確認、受入でもありません。
ミッション資料 · 航法レジリエンスプログラム：地球、月、火星 Kshana Pro の出力
12 要求
7 満たした
4 基準を満たさず
1 未検証
15 未解決項目
LEO-001 ppp.cases[1].median_convergence_min <= 10 min 基準を満たした MODELLED 低軌道（LEO）衛星を 240 機追加した場合、精密単独測位（PPP）は 10 分以内に収束すること（シード付きの実行の中央値）。
手法：解析 · 実行 RUN-LEO · 読み取り値：7.5 min
`ppp.cases[1].median_convergence_min <= 10 min`: 7.5 min <= 10 min is true未解決項目：MODELLED を根拠とする
LEO-002 ppp.cases[0].median_convergence_min <= 10 min 基準を満たさず MODELLED GPS と Galileo のみの場合、精密単独測位（PPP）は 10 分以内に収束すること（シード付きの実行の中央値）。
手法：解析 · 実行 RUN-LEO · 読み取り値：11.5 min
`ppp.cases[0].median_convergence_min <= 10 min`: 11.5 min <= 10 min is false未解決項目：基準を満たさず
LEO-003 fusion.fused.rms_error_3d_m <= 0.5 m 基準を満たした MODELLED LEO レイヤーがある場合、融合した三次元の位置誤差は、二乗平均平方根（RMS）で 0.5 m 以下であること。
手法：試験 · 実行 RUN-LEO · 読み取り値：0.4349 m
`fusion.fused.rms_error_3d_m <= 0.5 m`: 0.434888 m <= 0.5 m is true未解決項目：手法、MODELLED を根拠とする
LUN-001 global.availability_pct >= 95 % 基準を満たさず MODELLED 月の中継コンステレーションは、月面および一日の少なくとも 95 % において、位置 DOP（PDOP）が 6 以下の測位解を与えること。
手法：解析 · 実行 RUN-LUNAR · 読み取り値：21.3286 %
`global.availability_pct >= 95 %`: 21.3286 % >= 95 % is false未解決項目：基準を満たさず
LUN-002 global.pdop.median <= 6 基準を満たした MODELLED 月の中継コンステレーションが測位解を与える場所では、位置 DOP（PDOP）の中央値が 6 以下であること。
手法：解析 · 実行 RUN-LUNAR · 読み取り値：5.22 1
`global.pdop.median <= 6`: 5.22 <= 6 is true未解決項目：MODELLED を根拠とする
SPC-001 timeline.bands[3].min_cn0_dbhz >= 25 dB-Hz 基準を満たした PARTNER 台本どおりの L バンド干渉の下で、GPS L5 の搬送波電力対雑音密度比（C/N0）は 25 dB-Hz 以上を保つこと。
手法：解析 · 実行 RUN-SPECTRUM · 読み取り値：44.0752 dB-Hz
`timeline.bands[3].min_cn0_dbhz >= 25 dB-Hz`: 44.075187 dB-Hz >= 25 dB-Hz is true未解決項目：PARTNER を根拠とする
SPC-002 timeline.bands[0].min_cn0_dbhz >= 25 dB-Hz 基準を満たさず PARTNER 台本どおりの L バンド干渉の下で、GPS L1 のコース/捕捉（C/A）の搬送波電力対雑音密度比（C/N0）は 25 dB-Hz 以上を保つこと。
手法：解析 · 実行 RUN-SPECTRUM · 読み取り値：3.2329 dB-Hz
`timeline.bands[0].min_cn0_dbhz >= 25 dB-Hz`: 3.232859 dB-Hz >= 25 dB-Hz is false未解決項目：基準を満たさず
CMP-001 timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values for all values 基準を満たさず PARTNER ジャミング、スプーフィング、ホールドオーバーを連鎖させたミッションで、クロックの時刻誤差は、タイムラインのすべてのステップで 50 ns のガード以内に収まること。
手法：解析 · 実行 RUN-CAMPAIGN · 読み取り値：51.7825 ns
`timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values` for all: 275 of 458 elements satisfy (first failing); element 214: 51.782497 ns <= 50 ns未解決項目：基準を満たさず
CMP-002 min(timeline.events[].t_s) <= 30 min 基準を満たした PARTNER 連鎖させたミッションで、スプーフィングの警報は開始から 30 分以内に発せられること。
手法：実証 · 実行 RUN-CAMPAIGN · 読み取り値：1,200 s
`min(timeline.events[].t_s) <= 30 min`: 1200 s <= 1800 s is true未解決項目：手法、PARTNER を根拠とする
MARS-001 fom.rms_error_relays_m <= 5 m 基準を満たした MODELLED 火星周辺で、コンステレーションのみによる位置誤差は、一ソルにわたって二乗平均平方根（RMS）で 5 m 以下であること。
手法：解析 · 実行 RUN-MARS · 読み取り値：1.8827 m
`fom.rms_error_relays_m <= 5 m`: 1.882704 m <= 5 m is true未解決項目：MODELLED を根拠とする
MARS-002 fom.availability_relays >= 99 % 基準を満たした MODELLED 火星周辺で、コンステレーションはエポックの 99 % 以上で測位解を与えること。
手法：解析 · 実行 RUN-MARS · 読み取り値：1 1
`fom.availability_relays >= 99 %`: 1 >= 0.99 is true未解決項目：MODELLED を根拠とする
OPS-001 機械で確認できる基準なし 未検証 受信機の筐体には、プログラムの識別ラベルを付けること。
手法：検査 · 実行 なし · 読み取り値：追跡できる実行なし
未解決項目：エビデンスなし、手動での検証
21 ページ、一つのコマンド。生成された PDF を開く （Portable Document Format）
Kshana Pro 0.2.0（オープンエンジン 0.29.0 上）· kshana-pro mission build · 実行 5 回とトレードスタディ一件 · 基準を満たしたもの 7 件、すべて MODELLED または PARTNER を根拠とする · ミッション資料の SHA-256 49df1e0e… · 開発ビルド
キャンペーンウォッチ スペクトル共存 オンプレミスのジョブサービス
直近の変更で、気にかけている数値は悪化したか。 無料 無償版のユーザーは、キャンペーンを実行して結果を読みます。 Pro Pro のユーザーは、一組のシナリオの中で重要な数値を指定し、それぞれについて何をもって悪化とするかを定めます。すると、シナリオ、モデル、エンジンの変更によってそのいずれかが悪化した場合、または要求を満たさなくなった場合に失敗するパイプラインが得られます。 これはシナリオの回帰チェックを拡張したものです。モンテカルロの数値は許容差ではなく統計によって判定されるため、新しい一組のランダムシードは回帰とは見なされず、ばらつきが倍になった場合は回帰と見なされます。実行のたびに履歴に追記され、各レコードは直前のレコードのハッシュを持ち、チェックによってそのチェーンが損なわれていないかが報告されます。
できないこと。 ウォッチが証明するのは、MODELLED の数値が安定していたか変動したかであり、その数値が真であることではありません。方向が明示されていない数値は報告されますが、実行を失敗させることはありません。
キャンペーンウォッチ · 六つのリビジョン、一つの履歴 Kshana Pro の出力
監視対象の数値 · リビジョン r1 合格 r2 合格 r3 合格 r4 不合格 r5 合格 r6 合格
ジャミング段階の終了時の搬送波電力対雑音密度比（C/N0） ○ · ▲ ▼ · ·
ミッションのタイムラインにおける最大の時刻誤差 ○ · · · · ≈
ジャミング段階の終了時に追跡している衛星 ○ · · ▼ · ·
ミッションのうち警報が出ている割合 ○ · · ▼ · ▲
スプーフィングの検出（段階の長さ） ○ · · · · ▲
ホールドオーバー終了時の時刻誤差 ○ · · · · ≈
▼ 悪化▲ 改善· 変化なし≈ 許容差の範囲内で変動○ 初回の実行：ベースラインになる
リビジョン r4-stronger-jammer · ジャマーを -33 から -24 dBW（一ワットを基準としたデシベル）に引き上げ：ジャミング段階の終了時の C/N0 は 30.60 → 21.82 dB-Hz（デシベルヘルツ）で、25 dB-Hz の下限を下回り、要求を満たさず、追跡している衛星は 8 → 0、三つのウォッチが悪化 · 不合格、終了コード 1
同梱のキャンペーンパック、三つのオープンなキャンペーンにわたる 10 個の監視対象の数値を二回実行：どちらも合格、125 個の数値のうち変動したものは 0 個、2 件のレコードの履歴は損なわれていません。
Kshana Pro 0.2.0（オープンエンジン 0.29.0 上）· kshana-pro ci · campaign-jam-spoof-holdover-integrity.toml のデモ用リビジョン · 履歴 6 件のレコード、チェーンは損なわれておらず、最後のハッシュは bb2f10eb… · MODELLED Kshana Studio で開く
当社の信号計画は GNSS に干渉するか、それとも GNSS から干渉を受けるか。 無料 無償版のユーザーは、一つの衛星の信号を一つの GNSS 信号に対して確認します。 Pro Pro のユーザーは、一つ以上の候補となる信号計画（それぞれ信号設計とコンステレーションの組）を、エンジンがモデル化するすべてのオープンサービスの GNSS 信号に対して、計画のすべての衛星を同時に可視として試験し、計画ごと、信号ごとに、調査が定める限界に対する判定を得ます。 両方向を試験します。各計画が各 GNSS 信号にもたらす C/N0 の損失と、GNSS 信号が計画にもたらす損失です。Pro が加えるのは、世界規模のグリッドの各セルで可視の衛星にわたる合計と、計画の順位付けだけです。限界とその出典は入力であり、限界は組み込まれていません。
できないこと。 結果は上界です。可視のすべての衛星が最大の受信電力で扱われ、仰角によって変わる電力も受信アンテナのパターンも考慮しません。これは調整の届出でも、規制上の判断でもありません。
スペクトル共存 · 4 個の信号計画の例 Kshana Pro の出力
信号に対する計画 最悪の損失の世界地図
計画 · 信号 GPS L1 C/A Galileo E1 GPS L5 Galileo E5a Galileo E5b Galileo E5 AltBOC
L バンド、衛星 288 機 GPS L1 C/A 重なりなし Galileo E1 重なりなし GPS L5 限界内 Galileo E5a 限界内 Galileo E5b 限界内 Galileo E5 AltBOC 限界内
L バンド、衛星 144 機順位付けされたフロント GPS L1 C/A 重なりなし Galileo E1 重なりなし GPS L5 限界内 Galileo E5a 限界内 Galileo E5b 限界内 Galileo E5 AltBOC 限界内
C バンド、衛星 288 機 GPS L1 C/A 重なりなし Galileo E1 重なりなし GPS L5 重なりなし Galileo E5a 重なりなし Galileo E5b 重なりなし Galileo E5 AltBOC 重なりなし
広帯域 C バンド、衛星 288 機順位付けされたフロント GPS L1 C/A 重なりなし Galileo E1 重なりなし GPS L5 重なりなし Galileo E5a 重なりなし Galileo E5b 重なりなし Galileo E5 AltBOC 重なりなし
L バンド、衛星 288 機 → Galileo E5 AltBOC · もたらす最悪の損失は 0.00544 dB（デシベル）、衛星 17 機が可視のセルで：0.1 dB の限界に対して 0.0946 dB の余裕 · 両立可能
0 dB 0.00544 dB、最悪のセル · 限界 0.1 dB
計画 L バンド、衛星 288 機 が、重なる信号について、世界規模のグリッドの各セルでもたらす最悪の損失：上界であり、可視のすべての衛星が最大の受信電力で扱われます。
4 個中 4 個 の計画が両立可能 · GNSS 信号が L バンドの計画に与える損失は最大で 0.00908 dB
Kshana Pro 0.2.0（オープンエンジン 0.29.0 上）· kshana-pro coexist · エンジンの実行 10 回（constellation-design、leo-signal）· シナリオのハッシュ 479364bd… · MODELLED の上界 · 0.1 dB の限界は例示のためだけに選んだものであり、規制上の基準ではありません · C/A：コース/捕捉、AltBOC：代替バイナリオフセットキャリア
チームは自前のネットワークで調査をキューに入れ、何が納品されたかを証明できるか。 無料 無償版のユーザーは、一台のマシンで一度に一つのシナリオを実行します。 Pro Pro のチームは、自前のネットワークで調査をキューに入れ、誰も見ていない間にも実行させ、その後で、どの依頼に対してどの結果が納品されたかを正確に示せます。 これはオンプレミスのサービスを拡張したものです。Pro は、自前のネットワーク上の小さな HTTP（Hypertext Transfer Protocol）サービスとして動作でき、その健全性、バージョン、実行できる種類を報告し、送られたシナリオを実行します。ジョブの識別子は操作とリクエストの SHA-256 であるため、同じリクエストは同じジョブであり、二度実行されません。停止やクラッシュの後は、未完了のジョブはすべてキューに戻され、完了したジョブが再実行されることはありません。ライセンスがなければ、オープンなエンジンのみを提供し、Pro の機能はすべて拒否します。
できないこと。 接続ごとにリクエストは一つで、ストリーミングはなく、クライアントはポーリングします。ライセンスはサービス全体で一つ、アクセストークンも共有の一つであり、ユーザー管理ではありません。キャンセル、時間制限、優先度、保持ポリシーはありません。
オンプレミスのジョブサービス · 記録した一回のセッション Kshana Pro の出力
01 POST /jobs リンクバジェットのシナリオ 202 受理されキューに入った · ジョブ fb6e50ff… 02 GET /jobs/{id} 200 最初の試行で成功 · 種類 link-budget 03 POST /jobs 同じリクエストをもう一度 200 同じジョブで、すでに完了済み：二度は実行されない 04 GET /ledger/verify 200 検証済み、チェーンは損なわれていない · 3 件のレコード · 納品されたジョブ 1 件 · 不一致なし 05 GET /openapi.json 200 OpenAPI 3.1 · サービス自身のルートテーブルから得た 13 個のパス 06 GET / ジョブボード 200 外部からは何も読み込まない 07 再起動 その後 GET /jobs/{id} 200 完了したジョブは、引き続き試行一回と表示される 08 kill -9 ジョブの実行中に、その後再起動 — 未完了だったジョブは再実行されて成功し、完了済みのジョブは再実行されなかった · 台帳は 9 件のレコード、納品されたジョブ 3 件、検証済み 09 ライセンスなし：POST /jobs Pro のシナリオ 403 投入時に拒否：キューには何も入らない 10 ライセンスなし：POST /jobs オープンなシナリオ 202 受理されキューに入った Kshana Pro（オープンエンジン 0.29.0 上）· kshana-pro serve --data-dir 、二つのワーカー（再起動テストでは一つ）· HTTP ステータスコードはサービスが返したとおり · 公開シナリオファイルに対する、開発用の権限によるローカルでの実行であり、顧客の環境への展開ではありません
Kshana Pro のその他の機能
要求とトレーサビリティ Kshana Pro のモデルベースシステムズエンジニアリング（MBSE）およびプログラムのツールは、プログラムの要求をオープンなエンジンの実行に照らして確認します。要求は、カンマ区切り値（CSV）、あるいは Requirements Interchange Format（ReqIF）または Systems Modeling Language バージョン 2（SysML v2）テキストの文書化されたサブセットとして取り込み、検証クロスリファレンスマトリクス（VCRM）、SysML v2 モデル、変更影響レポート、オフラインのエビデンスパックを生成します。再実行も再計算も行いません。
読み取るオープンなエンジンの出力 result.json基準が指定するフィールド、その単位、シナリオのハッシュ・シード・エンジンのバージョン・スキーマのバージョンからなる再現性のスタンプ、そして実行のラベルと数値のティア report.json種類、再現性の記録、機能のラベル scenario fileそのハッシュ、種類、シード、パラメーター field-units schema各フィールドの単位、出所、エビデンスのティア verification matrix各機能の VALIDATED、MODELLED、PARTNER のラベル トレードスタディ トレードスタディは、すべてのアーキテクチャの選択肢を、変更を加えないオープンなエンジンのシナリオとして実行し、各実行の結果から読み取った性能指標で選択肢を順位付けし、各選択肢のシナリオのハッシュを記録したエビデンスパックを書き出すため、その中のどの数値も、そのシナリオを再実行すれば再現できます。
クロックのデジタルツイン クロックツインは、デバイスの公表されたアラン偏差の誤差配分に合わせて較正され、その後、オープンなエンジンの推定器でツイン自身のアラン偏差を推定して両者を比較し、明記した許容差の範囲内にあるかを確認します。お客様のデバイスのツインには、お客様の特性データが必要であり、契約と秘密保持契約の下で構築されます。
調査資料 一つのシナリオから、HTML（HyperText Markup Language）と JSON（JavaScript Object Notation）の再現可能な技術ノートが作成されます。内容は、範囲、手法、すべての数値にティアを付けた結果、制約事項、そして実行したシナリオのテキストそのものです。
Pro にはライセンスが必要です。 ライセンスがない場合、Pro はオープンなシナリオのみを実行し、Pro の機能はすべて、必要なものを示すメッセージとともに拒否します。署名済みの顧客が必要な作業もあります。 お客様ご自身の機器のツインには、お客様の特性評価データが必要であり、契約と秘密保持契約（NDA）のもとで構築します。Pro が生み出すものは、いずれも認証ではありません。 すべての結果はモデルから計算されたものであり、その旨を明示します。カスタムスタディとして実施 お客様のハードウェアのモデル。 お客様のハードウェアに合わせて較正したセンサーまたはレジリエンスのモデルは、契約のもとで、お客様のデータを用いてのみ構築します。輸出管理対象のレジリエンスモデルは、一般には提供していません。 この種の作業は、適切なクリアランスと秘密保持契約（NDA）のもとでのみ行います。このセクションのグラフは、Pro に同梱された実例のために Pro のコマンドが書き出したファイルから描画しています。これらはモデルから計算した結果であり、実在するいかなるミッションについての主張でもありません。文言は、オープンリポジトリの公開 Kshana Pro ページから引用しています。
02 カスタムスタディ · 進め方
ツールではなく、答えが必要なときに。 カスタムスタディでは、ご自身でも実行できるものと同じエンジンを使うため、そこに含まれるすべての数値を誰でも確認できます。
ご質問をお聞かせください。 対象のシステムと、その結果が関わる判断を添えて、contact@ashforde.org までメールをお送りください。フォームはありません。範囲を決めます。 何をモデル化するか、どのシナリオを使うか、何を範囲外とするかを決めます。作業に必要な場合は、適切なクリアランスと NDA のもとで行います。同じエンジンでモデル化します。 すべての数値には、このサイトと同じく、独立した外部の参照と照合して確認済みか、モデルから計算したものかのラベルを付けます。再現可能な結果をお渡しします。 シナリオ、シード、エンジンのバージョンから再現できます。モデルから計算したスタディであり、認証ではありません。
kshana --study とは別のものです。開発者 ）。カスタムスタディは、私たちがお客様のために行う有償の作業です。
オープンコアをインストールする マニフェストから
ブラウザーで試す コマンドライン（Rust） Python JavaScript と WebAssembly AI アシスタント（MCP サーバー、cargo）
最新 v0.40.0 に固定
