深圳，2025 年 10 月 10 日——华为云算法创新 Lab 今日公布 2025 年度论文中稿情况：围绕 AI 大模型、全球供应链、仿真系统等华为云核心战场，团队累计向 NeurIPS、ICML、KDD、Operations Research、IEEE TPAMI 等顶刊顶会投递论文 13 篇，目前已正式录用 10 篇，其中 CCF-A 类 4 篇，录用率 77%，实现"工业挑战—算法创新—学术反哺"闭环的再一次高质量跃升。

3 篇 CCF-A 亮点速览：

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation (ICSE 2025)

颠覆性突破！AI驱动的SolSearch框架让SAT求解效率飙升11%，开启软件工程自动化新时代！

作者：盛俊杰(算法创新Lab)，林燕秋，吴介豪(合作项目学生)等

核心观点：

  本文提出SolSearch框架，利用大语言模型自动优化SAT求解策略，通过课程式试错方法提升求解效率。实验表明该框架可显著提升Z3等求解器性能（PAR-2分数提高11%），且具备即插即用的兼容性。这一AI驱动的新范式为软件工程中的SAT问题提供了自动化解决方案，展现了AI与传统方法结合的潜力。未来研究将进一步验证和优化该方法的应用价值。

Heterogeneous Cloud Resource Allocation: a CaseStudy on Real-time Transcoding in Live Streaming(IEEE Transactions on Cybernetics)

作者：李一诺(算法创新Lab), 郝金浩,张广铭(Lab 联合工作科学家)

要点提炼

  众包直播（CLS）的爆发式增长推高了实时视频转码的云端资源需求，但传统资源分配模式成本高、效率低。 研究团队创新提出"主动-反应式资源分配框架"，通过异构边缘/云计算资源动态优化成本，兼顾服务质量与用户体验。

核心亮点

  首创离线预测与在线调控双模块协同，主动匹配需求与资源，实时纠偏预测偏差 实测显示：相较专家经验固定配比策略，成本直降42%，为CLS行业提供高效解决方案。

Managing Life-Cycle Capacity of Cloud Computing: Integrating Data-Driven Optimization and Inventory Theory for Capacity Investment and Retirement(Omega)

作者：王榕金子(合作项目学生), 宋洁(合作项目，北大工学院党委书记),周文礼(算法创新Lab资源调度专家)，苏利(算法创新Lab仿真专家)

核心思想：

  面对云计算资源分配难题，本研究创新性地提出全生命周期动态策略，覆盖云服务产品的增长与衰退阶段。针对不同需求场景（确定性、随机性及无分布需求），研究不仅证明了时变策略在随机需求下的最优性，还提出性能保障为3的自适应近似算法，并结合数据驱动的预测性框架实现高效资源调度。华为云实证表明，该方案显著提升管理效能，实现降本增效与资源分配率优化，为云服务商应对资源配置失衡问题提供了科学决策工具。

所有中稿论文列表如下，覆盖"大模型高效推理、供应链韧性、仿真优化、云原生调度"四大方向，形成"算法—系统—商业"全链路影响力。论文列表：

• 2025.8 Heterogeneous Cloud Resource Allocation: a CaseStudy on Real-time Transcoding in Live Streaming, IEEE Transactions on Cybernetics
• 2025.8 Dynamic bin packing with heterogeneous dependent bins for Regionless in geo-distributed clouds, IEEE Transactions on Computers, CCF-A
• 2025.7 SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation, ICSE 2025, CCF-A
• 2025.7 Method of generating of alternatives of multi-agent system behavior using simulation system
• 2025.6 Managing Life-Cycle Capacity of Cloud Computing: Integrating Data-Driven Optimization and Inventory Theory for Capacity Investment and Retirement, Omega
• 2025.5 Comparative analysis of parallel discrete event simulation algorithms: Time Warp, Window Racer, and Null Messages
• 2025.5 Elastic cloud resource allocation using short-term Long short-term memory-based workload prediction
• 2025.4 A method for modeling of individual agent behavior in the process-network paradigm of discrete-event simulation
• 2025.4 Method of model-driven development on the basis of discrete-event modeling
• 2025.2 An approach for horizontal scaling of simulation model execution in cloud environment

  "发论文不是 KPI，而是把解决华为云真问题过程中沉淀的通用方法，回馈给全球产学研同行。"算法创新 Lab 主任李嘉表示，"2025 年我们给内部业务交付了 7 个核心算法引擎，同时把其中可泛化的 10 篇成果全部开源或即将开源，让工业界的'硬骨头'成为学术界的'新土壤'。"