Spectral analysis and multigrid preconditioners for two-dimensional space-fractional diffusion equations
二维空间分数扩散方程的谱分析及多网格预处理子
专题命中 工具调用 :tool use(abstract)
AI总结 本文研究二维空间分数扩散方程的离散化问题,通过谱分析设计多网格预处理子,证明其收敛性,并验证其在Krylov方法中的有效性。
Comments 21 pages
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
二维空间分数扩散方程的谱分析及多网格预处理子
专题命中 工具调用 :tool use(abstract)
AI总结 本文研究二维空间分数扩散方程的离散化问题,通过谱分析设计多网格预处理子,证明其收敛性,并验证其在Krylov方法中的有效性。
Comments 21 pages
动态系统非holonomic约束下的高效最近邻搜索
机构 * Massachusetts Institute of Technology(麻省理工学院)
专题命中 工具调用 :planning(abstract)
AI总结 本文研究了非holonomic约束动态系统中最近邻搜索的复杂性,发现传统k-d树在子里曼度量下查询复杂度为Θ(N^p log N),提出针对性改进策略提升效率。
Comments 16 pages, 3 figures, the 12th Workshop on the Algorithmic Foundations of Robotics (WAFR) 2016
基于混合整数线性规划的实时最优控制器综合方法:带有度量时序逻辑规范
专题命中 工具调用 :planning(abstract)
AI总结 本文提出一种混合整数线性规划方法,用于在动态环境中实时合成满足度量时序逻辑规范的控制器,通过优化性能指标确保系统行为正确。
Comments American Control Conference 2016 (extended version)
基于概率信号时间逻辑的控制
专题命中 工具调用 :autonomous agent(abstract)
AI总结 本文提出概率信号时间逻辑用于连续信念空间中的复杂任务控制,设计高效合成算法以最大化任务满足概率,并通过无人机仿真验证。
Comments 7 pages, submitted to the 2016 American Control Conference (ACC 2016) on September, 30, 2015 (under review)
住宅配电网中电动汽车充电的建模与仿真
专题命中 工具调用 :tool use(abstract)
AI总结 本文通过GridLAB-D工具研究电动汽车高渗透率对住宅配电网的影响,提出无需升级的协调充电方法以解决变压器过载问题。
Comments Proceedings of Green Energy and Systems Conference 2013, November 25, Long Beach, CA, USA
在大规模网络中使用复杂模型的广义贝叶斯数据融合
机构 * 1 Sibley School of Mechanical
专题命中 工具调用 :autonomous agent(abstract)
AI总结 本文提出新的广义贝叶斯分布式数据融合算法,用于处理动态网络拓扑和复杂信念模型,通过混合pdf和条件因子提升多机器人目标搜索中的融合效果。
Comments Revised version of paper submitted to 2013 Workshop on Wireless Intelligent Sensor Networks (WISeNET 2013) at Duke University, June 5, 2013
量子退火在材料科学中的应用
专题命中 工具调用 :workflow(abstract)
AI总结 本文提出一种基于路径积分分子动力学的量子退火实现方法,用于高效寻找势能面的全局最小值,并通过经验力场或机器学习原子间势能模拟多种原子系统,展示了其在全局优化和量子结构搜索中的性能。
Caplet剥离过程中可能出现什么问题?
专题命中 工具调用 :workflow(abstract)
AI总结 本文研究从报价的cap波动率中恢复caplet波动率期限结构的问题,提出了一个实用的工作流程,包括基于时间价值单调性的输入数据筛选、异常值修正、非自举剥离方法、经典自举方法以及全局搜索方法,并分析了病理情况。
TalkPlay-Tools: 基于大语言模型工具调用的对话式音乐推荐
机构 * KAIST(韩国科学技术院) ; talkpl.ai
专题命中 工具调用 :planning(abstract)
AI总结 提出一种基于LLM工具调用的统一检索-重排序流水线,通过布尔过滤、稀疏检索、稠密检索和生成式检索的组合,实现端到端的对话式音乐推荐。
Comments Accepted for publication at The Workshop on AI for Music, Neural Information Processing Systems (NeurIPS-AI4Music)
不确定性量化中偶然变异与认知变异的区分与整合
专题命中 工具调用 :tool use(abstract)
AI总结 提出利用风险敏感积分与相对熵的对偶性,结合多项式混沌展开,在已知、近似已知或非随机变量分布下量化系统不确定性,并给出方差和超越概率的显式界。
Comments 37 pages, 15 figures
利用复杂网络的高效调度
专题命中 工具调用 :planning(abstract)
AI总结 针对钢铁制造模型中的生产调度问题,提出一种结合复杂网络统计物理与深度优先搜索的新方法,生成高效灵活的调度方案,优于实际随机调度。
Comments 4 pages, 7 figures
求解复指数逼近问题的新变换的计算方面与应用
专题命中 工具调用 :tool use(abstract)
AI总结 针对复指数逼近问题,提出一种基于矩的新变换,并开发算法应用于核磁共振谱分析、时间序列插值外推及矩形状重建。
Comments 28 pages, 20 figures
Journal ref Digital Signal processing 20 (2010) 724-735
互连动力系统不确定性量化与鲁棒设计的可扩展方法
专题命中 工具调用 :planning(abstract)
AI总结 针对互连动力系统中的动态不确定性,提出一种可扩展的建模、分析与设计方法,通过案例研究(如目标跟踪、轨迹规划、建筑能耗和电力网络稳定性)验证其高效量化与鲁棒设计能力。
数值积分的相位滞后灵敏度分析
专题命中 工具调用 :tool use(abstract)
AI总结 提出一种基于相位滞后函数一阶导数在拟合频率处为零的新技术,改进指数拟合数值方法在振荡问题中的性能。
Comments 10 pages, 2 figures
ToolFG:面向良好基础的细粒度图像分类
机构 * Lancaster University(兰卡斯特大学) ; Peking University(北京大学)
专题命中 工具调用 :tool-use(abstract)
AI总结 提出ToolFG框架,通过MCTS引导的工具使用知识蒸馏和模型-工具协同进化机制,使MLLM自主调用外部工具获取可靠视觉线索,实现细粒度图像分类。
基于市场重规划的搜救任务中安全关键无人机群
机构 * KTH Royal Institute of Technology(皇家理工学院) ; Swedish Defence Research Agency(瑞典国防研究机构) ; KTH Royal Institute technological Institute(皇家理工学院)
专题命中 工具调用 :agent(abstract)
AI总结 提出一种分布式协调架构IRDS,通过反向拍卖市场机制和几何共识协议,在无人机故障下自主重分配任务,在25%退化下保持93%任务成功率。
Comments 6 pages, 4 figures, accepted at MIPRO 2026
EMA:支持通用属性过滤和动态更新的近似最近邻搜索
专题命中 工具调用 :agent(abstract)
AI总结 提出EMA算法,通过引入附着在图边上的紧凑摘要Marker,实现支持混合数值和类别属性多谓词查询的过滤近似最近邻搜索,并支持高效动态更新,在多种工作负载下速度提升1.68至12.25倍。
Comments 13 pages, 10 figures, Submitted to PVLDB Research Track
双向增量广义混合A*
专题命中 工具调用 :planning(abstract)
AI总结 针对复杂动力学系统在非结构化环境中的高效任意时刻运动规划问题,提出双向增量广义混合A*算法,通过双向搜索缓解冻结顶点隐藏解的问题,保证单调成本改进和终止,显著减少扩展次数。
HunterAgent: 反取证下的神经符号攻击痕迹重建
专题命中 工具调用 :agentic(abstract)
AI总结 针对反取证技术导致的攻击痕迹断裂问题,提出神经符号框架HunterAgent,将痕迹重建建模为部分可观测下的代价约束启发式图搜索,通过生成器-验证器流水线和校准代价函数实现高精度重建。
失业保险与工资保险之间的两个等价结果
专题命中 工具调用 :agent(abstract)
AI总结 在风险中性的McCall模型中,证明事前意义上工资保险与失业保险的组合等价于依赖于上次就业工资的失业保险与依赖于当前就业工资的税收的组合,且工资保险仅在最后工资超过阈值时有效。
对齐来源与授权:面向LLM智能体的双图防御
专题命中 工具调用 :agent(abstract)
AI总结 提出AuthGraph双图对齐防御框架,通过构建注入推理图与授权图的结构化比较,检测工具调用和参数来源级别的偏差,在AgentDojo上将攻击成功率从40%降至1%并保持76%任务完成率。
地质与经济不确定性下油气勘探井组合优化的两阶段随机规划框架
专题命中 工具调用 :planning(abstract)
AI总结 提出后验信息的两阶段随机多目标优化框架,通过第一阶段组合选择与第二阶段情景依赖补救决策,最大化期望净现值并最小化条件风险价值,同时满足成功率与储量可靠性约束。
竞争、说服与搜索
专题命中 工具调用 :agent(abstract)
AI总结 研究信息市场竞争如何影响剩余创造与分配,通过构建代理人序贯搜索高质量商品并重复购买信息经纪人信号的模型,发现低搜索成本时市场结构不影响剩余,高搜索成本时竞争有利于代理人但降低总剩余。
用于液态水路径积分模拟的PBE0杂化泛函参考力的可分离力匹配
专题命中 工具调用 :workflow(abstract)
AI总结 提出一种可分离非线性最小二乘力匹配方法,基于PBE0杂化泛函参考力拟合柔性四点位水模型,提高了准确性和可重复性,并成功应用于液态水的路径积分模拟。
灌溉水资源分配的多目标优化框架
专题命中 工具调用 :planning(abstract)
AI总结 本研究通过扩展可行决策空间并系统刻画经济-环境权衡谱,提出一个多目标优化框架,生成高分辨率帕累托前沿,以平衡灌溉规划中的经济效益与环境流量需求。
Comments 25 pages, 1 figure
多机器人系统中各向异性扩散驱动的遍历覆盖
机构 * Department of Computer Science(计算机科学系) ; Brown University(布朗大学)
专题命中 工具调用 :agent(abstract)
AI总结 提出一种基于Perona-Malik各向异性扩散的遍历搜索方法,通过非均匀误差传播生成势场,引导多机器人系统实现更灵活的遍历覆盖。
DepthAgent: 通过样本级专家选择实现更好的通用深度估计
机构 * Michigan State University(密歇根州立大学) ; University of North Carolina at Chapel Hill(北卡罗来纳大学教堂山分校)
专题命中 工具调用 :agent(abstract)
AI总结 提出DepthAgent,一种视觉语言智能体,通过多轮工具调用和强化学习微调,自适应地为不同相机设置(透视、鱼眼、全景)选择或融合多个深度估计专家模型,显著提升通用深度估计性能。
LongVT: 通过原生工具调用激励'通过长视频思考'
机构 * MiroMind ; NTU(国立台湾大学) ; HKUST(GZ)(香港科技大学(广州)) ; THU(清华大学) ; LMMs-Lab(LMMs实验室)
专题命中 工具调用 :agentic(abstract)
AI总结 本文提出LongVT,一种端到端的代理框架,通过交错的多模态工具链式思考实现'通过长视频思考',通过利用LMM的固有时间定位能力作为原生视频裁剪工具,以解决长视频推理中的幻觉问题,并通过VideoSIAH数据集提升训练和评估效果。
Comments CVPR 2026
从设备目标到化学基因组的逆向映射用于可解释地发现稳定的无铅双钙钛矿
专题命中 工具调用 :workflow(abstract)
AI总结 本文提出了一种逆向映射框架,通过设备级目标与化学可解释的描述符家族连接,用于发现稳定的无铅双钙钛矿,主要贡献是通过DFT验证的设计规则加速无铅双钙钛矿的发现。
APULSE:一种用于大规模密集图上RCSPP的可扩展混合算法
机构 * Academia Militar Lisboa(里斯本军事学院) ; INESC INOV Instituto Superior Técnico (IST) Universidade de Lisboa(INESC INOV 里斯本技术大学 (IST))
专题命中 工具调用 :planning(abstract)
AI总结 本文提出APULSE算法,通过结合A*启发式搜索、Pulse式剪枝机制和时间桶策略,高效解决大规模密集图上的资源受限最短路径问题,展现出显著的可扩展性和鲁棒性。
Comments This version corrects keywords and reference [9]. 9 pages
Journal ref in IEEE Access, vol. 14, pp. 40690-40706, 2026