Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control

该论文提出了一种面向部分可观测马尔可夫决策过程(POMDP)的分层证书控制架构,通过引入信念空间控制李雅普诺夫函数(BCLFs)和基于共形预测的信念控制障碍函数(BCBFs),将目标达成、信息收集与安全约束解耦为模块化组件,从而实现了非高维信念表示下的实时安全控制与任务成功率的显著提升。

Matti Vahs, Joris Verhagen, Jana Tumova2026-03-12💻 cs

Exact Interpolation under Noise: A Reproducible Comparison of Clough-Tocher and Multiquadric RBF Surfaces

本文通过统一的切片式训练测试协议和完全可复现的实验,对比了 Clough-Tocher 与多二次径向基函数在有无噪声条件下的插值性能,发现两者在无噪时均表现优异,但在有噪时精确插值会导致过拟合,其中立方插值更为稳定,且该研究为环境工程中利用结构化插值从含噪测量中恢复物理过程行为提供了实践依据。

Mirkan Emir Sancak2026-03-12💻 cs

Layer Consistency Matters: Elegant Latent Transition Discrepancy for Generalizable Synthetic Image Detection

该论文提出了一种名为“潜在过渡差异(LTD)”的新方法,通过捕捉真实图像与合成图像在网络层间特征过渡一致性的差异,有效解决了现有合成图像检测技术泛化能力不足的问题,并在多个数据集上实现了优于当前最先进方法的检测精度与鲁棒性。

Yawen Yang, Feng Li, Shuqi Kong, Yunfeng Diao, Xinjian Gao, Zenglin Shi, Meng Wang2026-03-12💻 cs

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

该论文提出了一种基于物理不可克隆函数(PUF)和符号执行技术的新型工业控制软件保护方法,确保软件仅在目标硬件上正确运行,并在非目标环境或 PUF 响应异常时通过符号执行保障安全属性,同时具备抵御逆向工程的能力。

Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Haslinger, Rudolf Ramler, Markus Zimmermann2026-03-12💻 cs

AdaClearGrasp: Learning Adaptive Clearing for Zero-Shot Robust Dexterous Grasping in Densely Cluttered Environments

本文提出了 AdaClearGrasp 框架,通过结合预训练视觉语言模型进行自适应清理决策与强化学习策略,实现了在密集杂乱环境中对多样化物体的零样本鲁棒灵巧抓取,并引入了首个分级复杂度仿真基准 Clutter-Bench 来验证其有效性。

Zixuan Chen, Wenquan Zhang, Jing Fang, Ruiming Zeng, Zhixuan Xu, Yiwen Hou, Xinke Wang, Jieqi Shi, Jing Huo, Yang Gao2026-03-12💻 cs

QuantumX: an experience for the consolidation of Quantum Computing and Quantum Software Engineering as an emerging discipline

本文总结了在 JISBD 2025 上举办的首届 QuantumX 专题研讨会,该活动汇聚了西班牙顶尖研究团队,探讨了软件工程原则在量子计算领域的应用,促进了社区协作,并系统梳理了量子软件工程的研究主题、开放挑战及未来发展方向。

Juan M. Murillo, Ignacio García Rodríguez de Guzmán, Enrique Moguel, Javier Romero-Álvarez, Jaime Alvarado-Valiente, Álvaro M. Aparicio-Morales, Jose Garcia-Alonso, Ana Díaz Muñoz, Eduardo Fernández-Medina, Francisco Chicano, Carlos Canal, José Daniel Viqueira, Sebastián Villarroya, Eduardo Gutiérrez, Adrián Romero-Flores, Alfonso E. Márquez-Chamorro, Antonio Ruiz-Cortes, Cyrille YetuYetu Kesiku, Pedro Sánchez, Diego Alonso Cáceres, Lidia Sánchez-González, Fernando Plou2026-03-12💻 cs

A Hypergraph-Based Framework for Exploratory Business Intelligence

本文提出了名为 ExBI 的新型系统,通过引入基于超图的数据模型、支持动态模式演化的算子以及具有理论保证的采样算法,有效解决了传统商业智能系统在探索性分析中面临的计算瓶颈与静态架构限制,在 LDBC 数据集上实现了远超 Neo4j 和 MySQL 的查询加速效果(平均 16.21 倍至 46.67 倍),同时保持了极高的分析精度(COUNT 平均误差仅 0.27%)。

Yunkai Lou, Shunyang Li, Longbin Lai, Jianke Yu, Wenyuan Yu, Ying Zhang2026-03-12💻 cs