固定秩阈值筛选中精确证书的构造-复用权衡
Construction-Reuse Trade-offs for Exact Certificates in Fixed-Rank Threshold Screening
- Central South University（中南大学）
- Minzu University of China（中央民族大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本研究探讨固定秩阈值筛选中SLA证书的构造与复用权衡，通过320会话实验和720配置探索表明SLA在构造上节省31.18%但总时间劣于Bitmap，强调其非普遍加速，并提供可复现实验。
AI中文摘要：
重复的阈值查询可以复用已选定的身份，而无需复用过时的报告，但更便宜的证书并不需要缩短完整的响应时间。我们研究了固定秩合取筛选中具有显式缺失信息语义的选定下界-原子上界（SLA）证书。端点特征描述和一个反例将同源包含与策略相关的在线行为区分开来。原始的320会话实验相对于排除覆盖证书将构造中位数总和减少了31.18%，但其Cover/SLA全API几何时间比为0.9682（95%条件分块区间0.9593-0.9769），且SLA比未缓存的Bitmap多花费12.94%的总时间。三次单独启动的完整重复实验保持了这一不利排序，Cover/SLA比在0.9665-0.9718之间。额外的720配置探索在经验重采样表上变化目录大小、构造周期、请求数量和查询局部性。SLA在295个配置中比Cover更快，在271个配置中比Bitmap更快，这些描述性计数并不确立普遍优越性。单独插桩的附加成本将构造节省与检索和报告成本区分开来。一个平面应力组件案例增加了独立的解析位移检查和4,608个边界挑战查询：五种实现完全一致，而中网格和细网格选择在459个位置存在差异。一个状态分层公共螺栓记录练习在1,479个请求中保留了185个不完整位置。原始计时、完整配置结果和一个经过测试的干净环境包支持可复现性。SLA构造通过自进化AI系统ZiYor进行探索和完善；署名作者对其进行了规定、实现和评估。这是一项有界的力学到查询研究，而非物理接头鉴定或普遍加速。
英文摘要：
Repeated threshold queries may reuse selected identities without reusing stale reports, but cheaper certificates need not shorten the complete response. We study selected-lower, atomic-upper (SLA) certificates for fixed-rank conjunctive screening with explicit missing-information semantics. An endpoint characterization and a counterexample separate same-source containment from policy-dependent online behavior. The original 320-session experiment reduces summed construction medians by 31.18% against an exclusion-cover certificate, yet its Cover/SLA full-API geometric time ratio is 0.9682 (95% conditional blocked interval 0.9593-0.9769), and SLA takes 12.94% more summed time than uncached Bitmap. Three separately launched complete repeats preserve this adverse ordering, with Cover/SLA ratios of 0.9665-0.9718. An additional 720-configuration exploration varies catalogue size, construction period, requested count and query locality on empirically resampled tables. SLA is faster in 295 configurations against Cover and 271 against Bitmap, descriptive counts that do not establish universal superiority. Separately instrumented additive costs distinguish construction savings from retrieval and report costs. A plane-stress component case adds an independent analytical displacement check and 4,608 boundary-challenging queries: five implementations agree exactly, while medium- and fine-mesh selections differ at 459 positions. A state-stratified public bolt-record exercise preserves 185 incomplete positions among 1,479 requests. Raw timings, complete configuration results and a tested clean-environment package support reproducibility. The SLA construction was explored and refined through the self-evolving AI system ZiYor; the named authors specified, implemented and evaluated it. This is a bounded mechanics-to-query study, not physical joint qualification or universal speedup.
