一种面向认证的新鲜度感知语义-空间范围检索的功能原型
A Functional Pilot for Certified Freshness-Aware Semantic--Spatial Range Retrieval
浏览论文内容
中文总结 AI 辅助
针对嵌入索引可能遗漏语义范围查询结果的问题,提出FRESH-GEORANGE设计,通过分离新鲜度、剪枝界限和认证模式提供确定性召回下界,原型验证了完整性机制。
中文摘要 AI 辅助
地理应用需要检索半径内满足语义阈值的所有对象,然而嵌入索引返回的是近似的前k个列表,并可能静默遗漏符合条件的记录。我们提出FRESH-GEORANGE,一种语义-空间范围检索设计,它将源水印新鲜度与可选的记录年龄分离。地理单元和语义微块提供了可容许的剪枝界限;图结构提出验证顺序但不提供正确性证据。精确模式扫描每个不可剪枝的块和增量覆盖层。认证模式可提前停止,并根据已验证答案和未解析记录报告确定性的查询特定召回率下界。一个可复现的CPU原型使用2,500条真实的OpenFlights机场记录、一个2,000条记录的基础集以及740个模拟的插入、删除和文本修订事件;它在五个随机种子上评估了180个唯一查询。精确模式在每个查询上实现了100.00%的集合召回率。95%模式实现了99.91%的经验平均召回率,报告的平均认证值为99.41%,且未观察到界限违反。然而,其7.24毫秒的中位延迟是空间优先的精确基线(1.24毫秒)的5.85倍,并且在较大批次下,全历史增量重放变得比重建更慢。因此,该原型验证了完整性机制,而非性能优越性或生产级新鲜度。提交规模的评估需要真实的地图差异、官方的最新基线和真正增量的版本化维护。
英文摘要
Geographic applications need every object inside a radius that satisfies a semantic threshold, yet embedding indexes return approximate top-ranked lists and may omit qualifying records silently. We present FRESH-GEORANGE, a semantic- spatial range design that separates source-watermark freshness from optional record age. Geographic cells and semantic mi- croblocks provide admissible pruning bounds; a graph proposes verification order but supplies no correctness evidence. Exact mode scans every nonprunable block and the delta overlay. Certified mode may stop early and reports a deterministic query- specific recall lower bound from verified answers and unresolved records. A reproducible CPU pilot uses 2,500 real OpenFlights airport records, a 2,000-record base, and 740 simulated insert, delete, and text-revision events; it evaluates 180 unique queries over five seeds. Exact mode achieved 100.00% set recall on every query. The 95-percent mode achieved 99.91% empirical mean recall with a 99.41% reported mean certificate and no observed bound violation. However, its 7.24 ms median latency was 5.85 times the 1.24 ms spatial-first exact baseline, and full-history delta replay became slower than rebuilding at larger batches. The prototype therefore validates the completeness mechanism, not performance superiority or production freshness. Submission- scale evaluation requires real map diffs, official recent baselines, and truly incremental versioned maintenance.
发表机构
- Superior University(苏必利尔大学)
机构由 AI 辅助整理,请以论文原文为准。