Soft Computing, Volume 29, Issue 21-22, November 2025
1) 资源受限项目调度问题的双目标数学模型：公式化和元启发式作者：Ali Kamali Mohammadzadeh、Saeed Ghafoori、Mirpouya Mirmozaffari 页数：5683 - 57062) 通过最优特征选择和一类分类进行汽车焊接过程故障诊断的智能系统作者：Jesús Alejandro Navarro-Acosta, Edgar O. Reséndiz-Flores 页数：5707 - 57223) 用于动态约束优化问题的共同进化元启发式框架 作者：Gary Pamparà, Andries Engelbrecht 页数：5723 - 57704) 一种估计非
Training Software Engineering Agents and Verifiers with SWE-Gym
我们推出了 SWE-Gym，这是第一个用于培训现实世界软件工程 (SWE) 代理的环境。 SWE-Gym 包含 2,438 个真实的 Python 任务实例，每个实例都包含一个具有可执行运行时环境、单元测试和以自然语言指定的任务的代码库。我们使用 SWE-Gym 来训练基于语言模型的 SWE 代理，在流行的 SWE-Bench Verified 和 Lite 测试集上实现了高达 19% 的解决率绝对增益。我们还通过在 SWE-Gym 采样的代理轨迹上训练的验证器来实验推理时间缩放。与我们经过微调的 SWE 结合使用...
U.S. military justice by the numbers: NJPs now outpace courts-martial 24 to 1
根据《UCMJ》第 146a 条的要求，美国各军种报告了 2024 财年的军事司法统计数据。 2024 年的数字可在此处获取。一种趋势是，军事法庭的数量继续减少，而非司法处罚（NJP，UCMJ 第 15 条授权的纪律制裁）仍然普遍存在。按数字：服务强度NJPCMsNJP：CM比率GCMSPCM-BCDSPCM JASCMArmy449,74617,99364128:14381184738Navy332,671DNR173n/a6287915Air 部队320,947390933112:11691011249海军陆战队172,300506622922:175951544USCGDNRDNR9n/
