代码大模型 / AI 编程

Harmonizing Real-Time Constraints and Long-Horizon Reasoning: An Asynchronous Agentic Framework for Dynamic Scheduling

协调实时约束与长视距推理：一种用于动态调度的异步智能体框架

Shijie Cao, Yuan Yuan, Jing Liu

机构 * School of Computer Science and Engineering, Beihang University, Beijing 100191, China（北京航空航天大学计算机科学与工程学院） ； Shenzhen Loop Area Institute, Shenzhen, China（深圳环形区研究所） ； Qingdao Research Institute, Beihang University（青岛研究院） ； Hangzhou Innovation Institute, Beihang University（杭州创新研究院） ； School of Artificial Intelligence, Xidian University, Xi’an 710071, Shaanxi, China（西安电子科技大学人工智能学院） ； Guangzhou Institute of Technology, Xidian University, Guangzhou 510555, Guangdong, China（广州技术研究所） 纠错

专题命中 仓库级理解 ：repository(abstract)；分类 cs.AI

AI总结 提出RACE-Sched异步智能体框架，通过双流架构解耦策略执行与逻辑推理，利用LLM合成和验证符号启发式规则，在保证实时性的同时提升动态调度质量。

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin

弥合理论与实践：面向 ProVerif 和 Tamarin 的可执行安全属性分类法

Leonard Tudorache, Ivan Kurtev, Mark van den Brand

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文通过系统文献综述和可执行示例，构建了一个安全属性分类法，帮助协议设计者弥合安全概念与形式化验证工具（ProVerif 和 Tamarin）之间的鸿沟。

Comments Under review at International Journal on Software and Systems Modeling (SoSyM)

Energy-Optimal Thermal Management of Heat-Pump Battery Electric Vehicles

热泵电池电动汽车的能量最优热管理

Prashant Lokur, Nikolce Murgovski

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出一种结合规则基监督层与连续非线性模型预测控制的混合控制框架，用于热泵电动汽车的热管理，在满足舒适性和温度约束下最小化热能耗，并在寒冷气候下实现20-28%的节能。

Comments This paper has been submitted for publication in IEEE Open Journal of Vehicular Technology (OJVT)

Improving CFT Operators Using Machine Learning

使用机器学习改进CFT算子

Lior Oppenheim, Snir Gazit, Zohar Ringel

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出一种数据驱动方法改进晶格算子，增强其与连续共形场论主算子的重叠，从而减少有限尺寸效应并更精确估计标度维度。

ReclaimNet: Reclaim-Aware Network Protocols for Voluntary GPU Sharing on Campus

ReclaimNet: 面向校园自愿GPU共享的可回收感知网络协议

Wenyang Jia, Jingjing Wang, Xianneng Zou, Kai Lei

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出ReclaimNet网络层迁移协议套件，通过可回收感知检查点调度、波动感知目标选择和截止时间感知迁移流量控制，解决自愿GPU共享中所有权可撤销与迁移机制不匹配的问题，在54节点异构校园测试平台上将工作损失降低66%。

CTseg: A Tool for Brain CT Segmentation, Spatial Normalisation, and Volumetrics

CTseg：用于脑CT分割、空间归一化和体积测量的工具

Mikael Brudfors

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文介绍并验证了CTseg，一个基于Multi-Brain生成建模框架的免费软件，用于脑CT图像的分割、空间归一化和体积测量，并通过与MRI参考标准的对比验证了其在分割精度、空间归一化一致性、脑体积一致性和下游性别分类性能上的优越性。