机器人 / 具身智能

Earth-baseline VLBI restores the observability of a lunar surface station in joint orbit-and-clock determination

地球基线甚长基线干涉测量在联合轨道和时钟确定中恢复月球表面站的可观测性

Chakshu Baweja

专题命中 具身导航 ：navigation(abstract)

AI总结 研究月球定位、导航和授时中使表面站绝对位置可观测的测量方法。核心方法是分析不同测量方式，证明地球基线甚长基线干涉测量（VLBI）能恢复绝对可观测性及改善精度。主要贡献是给出条件设计法则并验证相关估计器。

Comments 21 pages, 5 figures, 3 tables. Open-source toolkit and fully reproducible figures: https://github.com/ashfordeOU/kshana (v0.23.0)

Complexity-Scalable Direct Geolocation and Cancellation of Terrestrial GNSS Jammers: Single-Satellite and Multi-Antenna Experiments in Low Earth Orbit

复杂度可扩展的地面GNSS干扰源直接定位与消除：低地球轨道单卫星和多天线实验

Giacomo Pojani, Javier Tegedor, Joaquim Fortuny-Guasch, Francesco Menzione, David Evans, Tim Oerther, Maximilian Henkel, Jonas Stene Lindbjor

专题命中 具身导航 ：navigation(abstract)

AI总结 提出准直接定位（QDG）技术，通过压缩I/Q样本和快速时延-多普勒匹配，实现低轨卫星对GNSS干扰源的高效定位，实验验证了高压缩比下的定位能力。

Comments 15 pages, 15 figures, submitted to ION GNSS+ 2026

Beyond Textual Repository Exploration: Dual-Modal Structural Reasoning for Agentic Issue Resolution

超越文本仓库探索：面向智能体问题解决的双模态结构推理

Jiayi Zhang, Kai Huang, Yang Liu, Chunyang Chen

专题命中 具身导航 ：navigation(abstract)

AI总结 提出DUALVIEW框架，通过模块耦合图、函数调用图、类层次图和程序依赖图四种图视图，结合视觉与文本响应，使智能体在仓库探索中直接推理代码依赖结构，提升长时域问题解决性能。

Context-Triggered Robust MPC for Temporal Logic Specifications

上下文触发的鲁棒MPC用于时序逻辑规范

Arash Bahari Kordabad, Satya Prakash Nayak, Sadegh Soudjani, Anne-Kathrin Schmuck

专题命中 具身导航 ：navigation(abstract)

AI总结 针对带扰动的线性系统，提出结合鲁棒MPC与局部不变控制器的切换架构，通过凸对偶将鲁棒约束转化为确定性优化，实现上下文触发的时序逻辑规范满足。

Comments 14 pages, 7 figures

From Consistency to Collaborative Discovery: MFEA-CoD for Multitask Novelty Search

从一致性到协同发现：用于多任务新颖性搜索的MFEA-CoD

Jiao Liu, Yanchi Li, Hua Yu, Abhishek Gupta, Yew-Soon Ong

专题命中 具身导航 ：navigation(abstract)

AI总结 提出MFEA-CoD算法，将进化多任务从一致性迁移转向协同发现，通过多任务排斥和自适应迁移机制，在多任务新颖性搜索中高效发现行为新颖解，并扩展至新颖性增强优化以应对欺骗性目标。

How Much Static Structure Do Code Agents Need? A Study of Deterministic Anchoring

代码智能体需要多少静态结构？关于确定性锚定的研究

Zhihao Lin, Mingyi Zhou, Yizhuo Yang, Li Li

专题命中 具身导航 ：navigation(abstract)

AI总结 研究轻量级静态分析（如调用图、继承层次）作为确定性锚定，通过注入结构注释提高代码智能体导航的可复现性和稳定性，发现锚定效果依赖粒度与仓库特性。

Comments Accepted to the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026). 21 pages

Low-Complexity Direct Geolocation of Terrestrial GNSS Jammers from Low Earth Orbit

低复杂度直接定位地面GNSS干扰源的低地球轨道方法

Giacomo Pojani, Javier Tegedor, Joaquim Fortuny-Guasch

专题命中 具身导航 ：navigation(abstract)

AI总结 提出准直接定位(QDG)技术，大幅降低直接定位复杂度，通过低轨卫星OPS-SAT PRETTY实验验证了对地面干扰源的定位，支持多星座RFI监测。

Comments 6 pages, 4 figures, submitted to IEEE NAVICON 2026

Geometric Shape Optimization for Limbless Locomotion

无肢运动的几何形状优化

Utpal Khanal, Avirup Mandal

专题命中 具身导航 ：robotics(abstract)

AI总结 提出一种基于傅里叶-切比雪夫多项式基的微分几何框架，通过优化多项式系数模拟蛇等细长软体运动，结合弯曲和扭转能量项确保物理合理性，实现逼真可视化。

Comments 19 pages, 15 figures

Ensuring Deterministic Timing in a Federated GNSS Correction Pipeline with Lingua Franca

在联邦GNSS校正流水线中确保确定性时序与Lingua Franca

Tejeswini Jayaramareddy, Hokeun Kim, Hoeseok Yang

专题命中 具身导航 ：navigation(abstract)

AI总结 提出一种基于Lingua Franca的联邦GNSS校正数据流水线，通过显式逻辑时间语义分解端到端流水线，实现可复现的确定性时序结构。

Comments 4 pages, ReCPS, DATE Conference at Verona 2026

From Bootstrapping to Sequence Modeling: A Unified Generative Framework for Personalized Landing-Page Modeling

从引导到序列建模：个性化落地页建模的统一生成框架

Fan Li, Chang Meng, Jiaqi Fu, Shuchang Liu, Tianke Zhang, Xueliang Wang, Xiaoqiang Feng, Yongqi Liu, Kaiqiao Zhan

专题命中 具身导航 ：navigation(abstract)

AI总结 针对现有强化学习方法在个性化落地页建模中的马尔可夫假设局限和时序差分学习误差累积问题，提出基于决策变换器的统一生成框架GLAN，通过全局-局部视角建模用户跨日消费动态和会话级细粒度信号，在快手平台上线后DAU和用户生命周期分别提升0.158%和0.108%。

Comments arXiv admin note: text overlap with arXiv:2507.23459

ATGBuilder: Feature-Assisted Graph Learning for Activity Transition Graph Construction with Seed Supervision

ATGBuilder: 基于特征辅助图学习的活动转换图构建与种子监督

Chenhui Cui, Zixiang Xian, Danyu Li, Tao Li, Rubing Huang, Dave Towey, Shikai Guo, Jiakun Liu

专题命中 具身导航 ：navigation(abstract)

AI总结 提出ATGBuilder，利用大语言模型总结UI布局元数据，并将控件触发信息建模为边属性，通过辅助重构目标进行图学习，在种子监督下构建高质量活动转换图，显著优于现有方法。

A Kalman Filter-Based Tracking Loop Design for Real-Time Aerospace GNSS Applications with Minimum Pull-Out Probability

基于卡尔曼滤波的跟踪环路设计，用于实时航空航天GNSS应用，具有最小拉出概率

J. Fermín Llorente, Javier A. Smidt, Pedro A. Roncagliolo, Ramón López La Valle

专题命中 具身导航 ：navigation(abstract)

AI总结 针对硬件相关器处理延迟导致传统卡尔曼滤波次优的问题，提出修正卡尔曼滤波（mKF），通过重测量更新保持最优性，并基于拉出概率解析表达式系统化调谐参数，在同等噪声带宽下实现更低高阶状态误差和更高动态锁定能力。

Comments This is a revised version of the manuscript. V1 was previously posted on TechRxiv with DOI: 10.36227/techrxiv.176344172.21345819/v1 This work has been submitted to the IEEE for possible publication

Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)

基于s(CASP)的复杂自主无人机任务执行与决策

Keegan Kimbrell, Alexis R. Tudor, Peter Van, Trevor Bihl, Doug Slattery, Gopal Gupta

专题命中 具身导航 ：navigation(abstract)

AI总结 提出使用s(CASP)回答集编程系统构建符号状态中心的无人机代理，在虚幻引擎5环境中实现基于约束的常识推理，支持多步骤自主行为并动态调整计划，确保决策正确可解释。

Emergent Self-Organisation of Intelligent Active Particles

智能活性粒子的涌现自组织

Priyanka Iyer, Segun Goh, Gerhard Gompper

专题命中 具身导航 ：navigation(abstract)

AI总结 研究智能活性粒子通过非互易相互作用和信息传播形成涌现自组织，包括群体形成、捕食行为和复杂环境导航。

Comments "perspective" article, 6 figures

Flexibility Controls Active-Filament Transport in Crowded Landscapes

柔性控制拥挤环境中的活性细丝输运

Qingyi Di, Mohammad Fazelzadeh, Sara Jabbari-Farouji

专题命中 具身导航 ：navigation(abstract)

AI总结 通过布朗动力学模拟，研究活性聚合物在有序和无序障碍物阵列中的输运，发现柔性在中等时优化无序环境中的扩散，而半柔性细丝在密集有序阵列中因定向运动增强迁移率，并识别出三种输运机制。

Comments 15 pages, 16 figures

Sub-Randers metrics

子Randers度量

Layth M. Alabdulsada

专题命中 具身导航 ：navigation(abstract)

AI总结 提出子Randers度量，通过添加单形式到子黎曼度量定义，利用庞特里亚金最大值原理导出正规测地线方程，证明Zermelo导航生成正规测地线，并推广Hopf-Rinow定理。

Comments 15 pages

Snatcher: Apple Find My Network Exposes Your Lost Devices To Strangers

Snatcher：苹果Find My网络将你的丢失设备暴露给陌生人

Zhenyu Ren, Yanbo Zhang, Boya Liu, Mo Li

专题命中 具身导航 ：navigation(abstract)

AI总结 本文揭示苹果Find My网络因BLE广播不安全、设计权衡等漏洞，开发基于Android的Snatcher攻击框架，通过声音定向、传感器融合导航和时空聚类实现物理追踪，指出隐私保护与物理安全的冲突。

Comments To appear in the Proceedings of the 2026 ACM Conference on Computer and Communications Security (CCS '26)

Storyline Trees: Hierarchical Representations for Long-Form Narratives

故事线树：长篇叙事的层次化表示

Litu Ou, Mirella Lapata

机构 * School of Informatics University of Edinburgh（信息学院爱丁堡大学） 纠错

专题命中 具身导航 ：navigation(abstract)

AI总结 提出故事线树，通过自顶向下和自底向上过程构建叙事层次结构，实现自适应检索，在长上下文叙事问答中优于强基线方法。

A Metaheuristic Framework for Optimized HAPS-Aided Localization in Urban Areas

面向城市区域优化的HAPS辅助定位的元启发式框架

Hongzhao Zheng, Mohamed Atia, Halim Yanikomeroglu

专题命中 具身导航 ：navigation(abstract)

AI总结 提出一种元启发式框架，通过集成3D城市模型、射线追踪和多目标优化，联合优化高海拔平台站的数量与部署，以提升城市环境中的定位精度，实验表明2-5个HAPS可显著降低定位误差。

Comments 18 pages, 40 figures

GNSS Spoofing Threat for V2X communications

GNSS欺骗对V2X通信的威胁

Adolfo P. Jimenez, Juan Arquero-Gallego, Mario P. Luna, Jose E. Naranjo, Felipe Jimenez Alonso

专题命中 具身导航 ：navigation(abstract)

AI总结 本文提出利用廉价软件定义无线电（SDR）对V2X通信实施GNSS欺骗攻击的方法，并在真实设备上验证了攻击效果，揭示了V2X通信易受欺骗且难以检测的安全漏洞。

Comments 2026 IEEE\@. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

HANSEL: Extracting Breadcrumbs from Web Agent Trajectories for Interactive Verification

HANSEL: 从Web智能体轨迹中提取面包屑用于交互式验证

Yujin Zhang, Daye Nam

专题命中 具身导航 ：navigation(abstract)

AI总结 提出HANSEL系统，从AI智能体轨迹中提取可交互验证的证据，减少用户审查负担，在基准测试中达到83.7%精确率和88.9%召回率，用户研究显示显著降低任务完成时间和感知努力。

Comments 13 pages, 6 figures

Riemannian Metric Preconditioning for Trajectory Tracking

轨迹跟踪的黎曼度量预条件

Jacob R. Goodman, Hajg Jasa

专题命中 具身导航 ：navigation(abstract)

AI总结 提出秩一黎曼共度量更新以降低特定运动方向的代价，建立完备性并给出Levi-Civita联络显式表征，通过添加联络差项改进标准内禀PD控制实现预条件轨迹跟踪。

Comments 8 pages, 2 figures. The code can used to conduct simulations can be found at https://doi.org/10.5281/zenodo.20442932

Topological complexity for closed 1-forms

闭1-形式的拓扑复杂度

Kenji Fukushi

专题命中 具身导航 ：navigation(abstract)

AI总结 引入闭1-形式的拓扑复杂度概念，建立其基本性质与不等式，并证明梯度流方法给出上界。

Comments 29 pages

Is It Real? Exploiting Virtual-Physical Discrimination Vulnerability in Mixed Reality

这是真的吗？利用混合现实中的虚实辨别漏洞

Xueyang Wang, Xihuan Yao, Yanming Xiu, Xin Yi, Maria Gorlatova, Hewu Li

专题命中 具身导航 ：navigation(abstract)

AI总结 研究混合现实头显中用户无法区分虚拟与真实物体的漏洞，通过专家研讨和四项概念验证攻击（成功率85%-100%），揭示了攻击如何改变用户行为，并提出平台级溯源、交互门控和用户教育等防御措施。

Comments Accepted at the 2026 USENIX Symposium on Usable Privacy and Security (SOUPS 2026)

A magnetic environment with reproducible spatio-temporal magnetic conditions at picotesla level

皮特斯拉级可重复时空磁条件的磁环境

Philipp Wunderl, Maximilian Huber, Florian Büttiker, Jonas Emrich, Peter Ewert, Peter Fierlinger, Reinhard Heckel, Felix Herz, Tobias Jensch, Kim Kölbl, Florian Kuchler, Thorben Lützel, Karin Narushima, René Seiger, Jonas Vögtle, Annette Wacker-Gussmann, Chiara Weckmann, Lena Wunderl, Peisen Zhao

专题命中 具身导航 ：robotic(abstract)

AI总结 提出一种被动屏蔽磁环境，在中心测量体积内实现低于100 pT的残余磁场，并通过机器人映射实现皮特斯拉级可重复性，支持光泵磁力计在无主动反馈下运行，应用于成人和胎儿心磁图、站立脑磁图及超低场磁共振。

Comments 26 pages, 8 figures, submitted to Nature Communications

Transferable Self-Evolving Playbooks for Agentic Security Auditing

可迁移的自演化剧本用于智能体安全审计

Ziyue Wang, Cheuk Wang Maurice Ng, Chenchen Yu, Strick Sheng, Kaihua Qin, Liyi Zhou

专题命中 具身导航 ：navigation(abstract)

AI总结 提出EvoHunt框架，通过审计、评估和修订三个智能体循环演化空剧本，自动生成安全审计程序知识，开源演化可超越商业产品，且演化后的剧本可迁移至弱智能体提升其能力。

C^2: Cache-Conscious Succinct Tries with Adaptive Unary Path Compression

C^2：具有自适应一元路径压缩的缓存感知简洁字典树

Kepan Zhang, Tiancheng Zhao, Helen Xu

专题命中 具身导航 ：navigation(abstract)

AI总结 针对现有简洁字典树在空间局部性上的两大挑战，提出C^2优化技术，通过缓存友好布局（C_1）和一元路径压缩（C_2）提升查询性能和空间效率。

A Prototypical Decision-Support Tool for Household Energy Management: A New Zealand Case Study

家庭能源管理的原型决策支持工具：新西兰案例研究

Abdollah Baghaei Daemei

专题命中 具身导航 ：navigation(abstract)

AI总结 本文介绍了一个基于Web的新西兰家庭能源检查原型，通过引导式检查、评分和优先排序行为建议，帮助家庭识别可避免的能源浪费，并生成节能路线图。

Hierarchical Generative Agents for Simulating Sequential Human Behavior

用于模拟序列人类行为的层次化生成式智能体

Maria G. Mendoza, Lucas Waldburger, Jin Lee, Shankar Sastry

专题命中 具身导航 ：navigation(abstract)

AI总结 提出基于认知层次和人格驱动的生成式智能体框架，结合大语言模型和人类疏散数据，模拟灾害中序列决策行为。

Comments 20 pages, 6 figures

Direct High-Resolution Imaging of Earth-like Exoplanets with the Solar Gravitational Lens

利用太阳引力透镜对类地系外行星进行直接高分辨率成像

Slava G. Turyshev

专题命中 具身导航 ：navigation(abstract)

AI总结 提出标量孔径平均可观测性基准，通过太阳引力透镜对类地系外行星进行分辨成像，结合正则化傅里叶/维纳反演，在30 pc处实现200-230 km级空间对比度。

Comments 35 pages, 17 figure, 5 tables