論文の概要: Harbormaster: Evidence-Gated, Replay-Safe Maritime Anomaly Detection on AWS
- arxiv url: http://arxiv.org/abs/2610.00519v1
- Date: Wed, 30 Sep 2026 18:10:48 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-03 01:19:23.686674
- Title: Harbormaster: Evidence-Gated, Replay-Safe Maritime Anomaly Detection on AWS
- Title（参考訳）: Harbormaster: AWS上のEvidence-Gated, Replay-Safe Maritime Anomaly Detection
- Abstract要約: 異常アラートに対処するオペレータは、障害後の帰属性、レビュー性、回復性を必要とする。
この記事では、AWS上のプロダクション形式のシステムであるHarbormasterについて説明する。
- 参考スコア（独自算出の注目度）: 1.5229257192293202
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Ships broadcast their positions through the Automatic Identification System (AIS), and those reports can be false or missing. An operator who acts on an anomaly alert needs that alert to be attributable, reviewable, and recoverable after a failure. This paper describes Harbormaster, a production-shaped system on AWS that follows three rules. Physics checks run on every report before any learned model runs. The DynamoDB read store is an idempotent projection of PostgreSQL, and a guard on the log sequence number (LSN) of each change protects every write to it. A candidate model must pass a holdout gate and a shadow comparison before a canary gives it traffic, and a burn-rate check guards each canary step. The paper proves that replaying any prefix or suffix of the change log leaves each projected key at the value of its highest applied LSN. It also notes effects this result does not cover, such as repeated cache invalidations and repeated audit rows. In a bounded AWS window, a one-hour soak returned 35,999 HTTP 200 responses to 36,000 requests, with a 95th-percentile (p95) client latency of 142.751 ms. In a separate bounded AWS run of 900 s, the stream path received a burst of 400 records/s, and its consumer lag later drained to zero. Every number in the paper carries a label that says where it was measured, and the paper lists the parts of the design that were never built.
- Abstract（参考訳）: 船舶は自動識別システム(AIS)を通じて位置を放送し、これらの報告は誤りまたは行方不明である可能性がある。
異常アラートに対処するオペレータは、障害後の帰属性、レビュー性、回復性を必要とする。
この記事では、AWS上のプロダクション形式のシステムであるHarbormasterについて説明する。
物理チェックは、学習したモデルが実行される前に、すべてのレポートで実行される。
DynamoDBの読み取りストアはPostgreSQLの絶大なプロジェクションであり、各変更のログシーケンス番号(LSN)のガードは、すべての書き込みを保護します。
候補モデルは、カナリアがトラフィックを与える前にホールドアウトゲートとシャドー比較をパスし、バーンレートチェックは各カナリアステップをガードしなければならない。
この論文は、変更ログのプレフィックスや接尾辞を再生すると、各投影されたキーはその最も高い適用 LSN の値に残されることを証明している。
また、繰り返しキャッシュ無効化や繰り返し監査行など、この結果がカバーしない効果についても言及している。
バウンダリAWSウィンドウでは、1時間のソークで35,999のHTTP 200レスポンスが36,000のリクエストに対して返され、95番目のパーセンタイル(p95)クライアントレイテンシは142.751msである。分離されたバウンダリAWSの実行は900秒で、ストリームパスは400レコード/秒のバーストを受け、コンシューマの遅延はその後ゼロになった。
紙のすべての数字には、それがどこで測定されたかを示すラベルがあり、紙には、決して作られなかったデザインの一部が記載されている。
関連論文リスト
- Working Around the Compute Ceiling: Byte-Exact Memory in Galahad Makes LLM Reading a One-Time Cost LLM Reading a One-Time Cost [0.0]
私たちは、その天井の下にある予算のどれ程が、そのモデルがすでに行っている作業に費やされているか尋ねます。
現実世界の7つのデータセットでは、98.7%のプロンプトトークンが既に読まれていたテキストだった。
本稿では,vLLM,SG,ラマのメモリ層であるGalahadを紹介する。
論文 参考訳（メタデータ） (2026-09-30T09:16:40Z) - Chronicle: Cut-Point Replay for Regression Testing of LLM Agents [0.0]
我々は,非決定論的境界で実行されるエージェントを不変エンベロープとして記録し,記録から再生するクロニクルを提示する。
その中心的な操作であるカットポイント・リプレイは、レコードから選択された境界のサブセットを提供し、新しいコードで生きた補完的なサブセットを実行し、記録されたインシデントを継続的統合で実行される回帰テストに変換する。
論文 参考訳（メタデータ） (2026-09-17T16:09:57Z) - A Functional Pilot for Certified Freshness-Aware Semantic--Spatial Range Retrieval [0.0]
地理アプリケーションは、セマンティックしきい値を満たす半径内のすべてのオブジェクトを必要とします。
提案するFRESH-GEORANGEは,ソース・ウォーターマークの鮮度を任意記録年齢から分離する意味空間範囲設計である。
論文 参考訳（メタデータ） (2026-09-17T08:07:02Z) - NovaFabric: Tamper-Evident, Replayable Evidence for Autonomous AI Agent Runs [0.0]
我々はNovaFabricを紹介し、監査グレードの実行証拠を作成している。
エージェントロジックを変更することなく実行中のエージェントを、ポータブルなRun Capsuleに記録する。
シードランは4モードのリプレイプロトコルで再実行可能である。
我々は8つの研究課題を測定範囲で評価した。
論文 参考訳（メタデータ） (2026-09-11T08:35:43Z) - You've Got a BUD in Me: Authenticated Reads from Per-Block Write Logs [41.99844472131922]
我々は,各ブロックの書き込みを認証することで,バリデータがどのように過去のメンバシップや排除証明をサポートできるかを示す。
Block Update Digestは、前のポインタが各キーの連続的な変更をリンクする書き込みログをコミットする。
SuperBUDはウィンドウ上で最後の書き込みを要約する。指数的階層は長い一定間隔を短い証明に変換する。
論文 参考訳（メタデータ） (2026-09-10T08:46:09Z) - AI-Assisted Design of a Post-Quantum Cryptographic Accelerator: A Deployed-Silicon Case Study [0.4251773265892765]
我々は、標準の受け入れゲートを、事実上のゴールデンレファレンスオラクルに置き換える。
エージェント型大規模言語モデルがML-KEM-768とML-DSA-65アクセラレータを駆動する実験を232回報告した。
論文 参考訳（メタデータ） (2026-09-03T16:34:50Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - StaminaBench: Stress-Testing Coding Agents over 100 Interaction Turns [45.43677974796221]
コーディングエージェントのスタミナを測定するベンチマークであるStaminaBenchを紹介する。
一般的な分数タスクのメトリクスとは異なり、これはセッションが数十回、数百回実行される実際のバイブコーディングと一致します。
論文 参考訳（メタデータ） (2026-06-17T21:36:09Z) - ClawMark: A Living-World Benchmark for Multi-Turn, Multi-Day, Multimodal Coworker Agents [77.22389710754452]
マルチターンマルチデイタスクを中心に構築された同僚エージェントのベンチマークであるベンチを紹介する。
現在のリリースには、13のプロのシナリオにわたる100のタスクが含まれており、5つのステートフルなサンドボックスサービスに対して実行される。
最強のモデルは75.8の重み付きスコアに達するが、最も厳格なタスク成功率は20.0%に過ぎず、部分的な進歩が一般的であることを示している。
論文 参考訳（メタデータ） (2026-04-26T16:05:02Z) - Lazy Layers to Make Fine-Tuned Diffusion Models More Traceable [70.77600345240867]
新たな任意の任意配置(AIAO)戦略は、微調整による除去に耐性を持たせる。
拡散モデルの入力/出力空間のバックドアを設計する既存の手法とは異なり,本手法では,サンプルサブパスの特徴空間にバックドアを埋め込む方法を提案する。
MS-COCO,AFHQ,LSUN,CUB-200,DreamBoothの各データセットに関する実証研究により,AIAOの堅牢性が確認された。
論文 参考訳（メタデータ） (2024-05-01T12:03:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。