arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

CARA:面向云整合的基于单次行动认证的精确局部修复

CARA: Exact Local Repair with Fresh One-Action Certification for Cloud Consolidation

Xiyang Zhang, Yuanhe Tian, Hongzhi Wang

arXiv 2607.29465首次发表:更新:

AI 中文总结

CARA是一种锚定当前最优解的云整合局部修复流水线,通过分离提议生成与部署决策,在保证错误声明四向改进概率不超0.05的同时,使终端策略在多环境评估端点上优于同规模基线,降低了J值与持续负担。

AI 中文摘要

基于模拟器的部署流水线可能会检查大量修复操作,但仅在多项可靠性标准同时提升时才会部署。重复使用搜索场景测试选定的行动会使标称证据失效,而标量化则可能牺牲最弱的标准。我们引入了证书对齐重组(Certificate-Aligned Recomposition, CARA),这是一种锚定当前最优解的流水线,它将自适应提议生成与一次性部署决策分离开来。在有界双主机邻域中,特定于打包的容许边界在混合配对二元/固定赌注证书顺序下恢复了精确的前P个不同行动。然后,保留的视图会选择一个行动并提交其赌注计划,之后新的配对认证会启动。在所述符号独立性和条件矩假设下,无论上游搜索的规模或复杂度如何,错误声明四向改进的概率最多为0.05。在对128个独立合成环境和四个重复上下文进行的前瞻性冻结研究中,完全的故障关闭终端策略在所有环境的五个评估端点上均优于开发选定的同主机数当前最优解。J下降了3.57个百分点,持续负担降低了21%至28%。匹配的排序灵敏度产生的绝对平均差距低于5.3×10⁻⁴,且未确立排序优势。因此,CARA将精确可审计的提议恢复与对最后一英里局部修复的选择鲁棒的新鲜认证相结合。

英文摘要

Simulator-based placement pipelines may inspect many repairs but deploy only when several reliability criteria improve together. Reusing search scenes to test the selected action invalidates nominal evidence, while scalarization can trade away the weakest criterion. We introduce Certificate-Aligned Recomposition (CARA), an incumbent-anchored pipeline that separates adaptive proposal generation from a one-use deployment decision. In a bounded two-host neighborhood, a packing-specific admissible bound recovers the exact top-$P$ distinct actions under a mixed paired-binary/fixed-bet certificate order. Held-out views then select one action and commit its betting plans before fresh paired Certification opens. Under the stated sign-independence and conditional-moment assumptions, the probability of falsely declaring four-way improvement is at most $.05$, irrespective of the size or complexity of upstream search. In a prospectively frozen study over 128 independent synthetic environments and four repeated contexts, the complete fail-closed terminal policy improved a development-selected same-host-count incumbent on all five Evaluation endpoints in every environment. $J$ fell by 3.57 percentage points and the continuous burdens by 21--28%. A matched ordering sensitivity produced absolute mean gaps below $5.3\times10^{-4}$ and does not establish order superiority. CARA thus couples exact auditable proposal recovery to selection-robust fresh certification for last-mile local repair.

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑