arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 8085
2606.03732 2026-06-03 eess.SY cs.SY

When are supercapacitors practically feasible in electric vehicles?

超级电容器在电动汽车中何时实际可行?

Yue Wu, Ziqing Xia, Shaokun Li, Heng Li, Shengyu Tao, Zhiwu Huang

AI总结 提出多维度技术经济可行性评估框架,通过动态规划尺寸优化和深度强化学习能量管理,系统评估不同车型中超级电容器的可行性,发现城市公交车最具潜力,而乘用车和重卡受限于质量体积和经济效益。

Comments 15 pages, 14 figures, about 6900 words

详情
AI中文摘要

虽然混合储能系统(HESS)理论上可以减轻电动汽车中的电池退化,但其实际应用仍然非常有限。为了描绘超级电容器可行的具体场景和应用边界,本研究提出了一个多维度技术经济可行性评估框架。首先,建立基于动态规划的跨车辆尺寸方法,量化物理质量-体积封装约束,并识别不同车型中可行的超级电容器候选方案。基于从电池老化帕累托前沿导出的最优尺寸参数,集成专家引导的深度强化学习能量管理策略,以实现接近最优的在线性能,确保公平的生命周期经济评估。最后,构建全面的可行性矩阵,系统评估质量、体积、电池寿命、额外超级电容器成本、总拥有成本、未来储能价格以及新兴固态电池的影响。结果表明,由于额外成本最小且封装空间充足,城市公交车仍然是最有前景的HESS车型。当前的质量-体积惩罚和有限的经济效益分别阻碍了HESS在乘用车和重型卡车中的应用。这种情况只有在未来超级电容器价格大幅下降时才有可能改善。除了车型,HESS的可行性还受负载频率特性支配。此外,展望2030+固态电池时代,我们强调集成越来越便宜的超级电容器可以提供显著的资产保护杠杆。

英文摘要

While the hybrid energy storage system (HESS) can theoretically mitigate battery degradation in electric vehicles, its practical implementation remains highly limited. To delineate the specific scenarios and application boundaries where supercapacitors remain feasible, this study proposes a multi-dimensional techno-economic feasibility evaluation framework. First, a cross-vehicle sizing method based on dynamic programming is established to quantify physical mass-volume packaging constraints and identify feasible supercapacitor candidates across different vehicle types. Building upon the optimal sizing parameters derived from the battery aging Pareto front, an expert-guided deep reinforcement learning energy management strategy is integrated to yield near-optimal online performance, ensuring a fair life-cycle economic assessment. Finally, a comprehensive feasibility matrix is constructed to systematically evaluate mass, volume, battery lifespan, additional supercapacitor costs, total cost of ownership, future energy storage prices, and the influence of emerging solid-state batteries. Results reveal that city buses remain the most promising vehicle type for HESS due to minimal additional costs and sufficient packaging space. Current mass-volume penalties and limited economic benefits hinder HESS application in passenger vehicles and heavy-duty trucks, respectively. This situation may only improve if supercapacitor prices drop significantly in the future. Beyond vehicle types, the HESS feasibility is governed by load-frequency characteristics. Furthermore, looking toward the 2030+ solid-state battery era, we highlight that integrating increasingly affordable supercapacitors can provide substantial asset protection leverage.

2606.03724 2026-06-03 cs.CR

Same Weights, Different Robot: A Deployment Safety View of VLA Policies

相同权重,不同机器人:VLA策略的部署安全性视角

Jianwei Tai

AI总结 本文提出视觉-语言-动作(VLA)策略的部署安全性问题,通过形式化可执行策略规范,揭示相同检查点因动作元数据不匹配导致执行不等价,并给出量化漂移的证书方法。

详情
AI中文摘要

视觉-语言-动作(VLA)策略通常被视为检查点定义的对象:如果权重、提示和基准测试套件匹配,则假定部署的是相同的策略。机器人执行打破了这一假设,因为相同的归一化模型输出在应用动作反归一化和控制器约定后可能变成不同的物理动作。这造成了部署安全性差距:安全审查可以认证检查点,但可能遗漏到达控制器的可执行机器人策略。我们将这一差距形式化为可执行策略规范问题:VLA策略包括学习模型、动作表示、元数据选择的反归一化器和面向控制器的约定。在这种观点下,相同的检查点可能是执行不等价的。对于分位数风格的动作归一化,我们推导出闭式元数据不匹配变换和一个ExecSpec证书,该证书无需模型推理或 rollout 即可测量动作空间语义漂移。在LIBERO-Goal重放中,替换一个合理的兄弟元数据键在六个非夹爪动作维度上产生平均漂移0.199,并在完全替换下将成功率从28/28降至2/28。在LIBERO-Spatial重放中,相同的替换键将成功率从26/26降至0/26。相同的完全替换协议在四个Object替换中均得到0/28的成功率,在Long上得到0/23或1/23的成功率。身份键、重放有效性、无操作过滤、原始与纠正重放、掩码/夹爪、合成上界和OpenVLA风格的反归一化器接口检查排除了几种更简单的解释。这些结果不认证闭环或硬件安全性。它们支持一个更窄的部署安全性观点:动作空间元数据是可执行策略的一部分,应在 rollout 前进行检查。

英文摘要

Vision-language-action (VLA) policies are often treated as checkpoint-defined objects: if the weights, prompt, and benchmark suite match, the deployment is assumed to be the same policy. Robot execution breaks this assumption because the same normalized model output can become a different physical action after action unnormalization and controller conventions are applied. This creates a deployment-safety gap: safety review can certify the checkpoint while missing the executable robot policy that reaches the controller. We formalize this gap as an executable policy specification problem: a VLA policy includes the learned model, action representation, metadata-selected unnormalizer, and controller-facing conventions. Under this view, identical checkpoints can be executable-inequivalent. For quantile-style action normalization, we derive a closed-form metadata mismatch transform and an ExecSpec certificate that measures action-space semantic drift without model inference or rollout. On LIBERO-Goal replay, substituting a plausible sibling metadata key yields mean drift 0.199 over six non-gripper action dimensions and reduces success from 28/28 to 2/28 under full substitution. On LIBERO-Spatial replay, the same substituted key reduces success from 26/26 to 0/26. The same full-substitution protocol gives 0/28 success for all four Object substitutions and 0/23 or 1/23 success on Long. Identity-key, replay-validity, no-op filtering, raw-vs-correct replay, mask/gripper, synthetic upper-bound, and OpenVLA-style unnormalizer interface checks rule out several simpler explanations. These results do not certify closed-loop or hardware safety. They support a narrower deployment-safety view: action-space metadata is part of the executable policy and should be checked before rollout.

2606.03717 2026-06-03 eess.SY cs.SY

Admittance Sensitivity-Informed Modular GP for Scalable Topology-Adaptive Power-Flow Learning

导纳灵敏度信息驱动的模块化高斯过程用于可扩展拓扑自适应潮流学习

Henrique O. Caetano, Carlos Dias Maciel, Rahul K. Gupta

AI总结 提出一种基于母线级高斯过程模块化架构和随机傅里叶特征的方法,实现可扩展的拓扑自适应潮流学习,在N-3故障下的PEGASE 1354系统中R²达0.983,电压幅值RMSE为0.0023 p.u.,零样本泛化性能优于现有基准。

详情
AI中文摘要

用于学习潮流模型的数据驱动方法在不同网络拓扑下泛化能力弱且计算可扩展性有限。现有方法通常依赖于大量电网拓扑的训练,这对于大型网络变得不切实际。本文提出了一种可扩展且计算高效的拓扑自适应潮流解学习框架。我们提出了一种由母线级高斯过程(GP)模型组成的模块化架构,其中每个GP基于母线级 extit{egonet}定义收集局部特征。局部化的母线级特征包括一阶功率和导纳灵敏度、节点注入和节点度数。除了模块化架构外,我们还提出使用随机傅里叶特征(RFF)进行特征降维,这进一步增强了计算可扩展性。我们通过在多个基准网络下进行N-1、N-2和N-3故障模拟来评估所提方法的有效性。在N-3故障下的PEGASE 1354母线系统上的结果表明,该方法具有高预测质量,R²得分为0.983,电压幅值RMSE为0.0023 p.u.。该框架在所有测试案例中检测电压越限的召回率超过98%。此外,该方法具有可扩展性,在116.47秒内完成PEGASE 1354系统的训练和测试,并且在零样本泛化方面优于现有基准,无需额外的训练样本。

英文摘要

Data-driven approaches for learning power flow models suffer from weak generalization across varying network topologies and limited computational scalability. Existing methods typically rely on training over a large set of grid topologies, which becomes impractical for large networks. This paper proposes a scalable and computationally efficient framework for topology-adaptive learning of power flow solutions. We propose a modular architecture consisting of bus-level Gaussian Process (GP) models, where each GP collects local features based on bus-level \textit{egonet} definition. The localized bus-level feature includes first-order power and admittance sensitivities, nodal injections and node degree. In addition to the modular architecture, we propose using Random Fourier Features (RFF) for feature reduction, which further enhances the computational scalability. We evaluate the effectiveness of the proposed method by simulations across multiple benchmark networks under N-1, N-2, and N-3 contingencies. Results for the PEGASE 1354 bus system under N-3 contingencies demonstrate high predictive quality, with an $R^2$ score of 0.983 and a voltage-magnitude RMSE of 0.0023 p.u. The framework maintains recall rates exceeding 98\% for detecting voltage limit violations across all test cases. Furthermore, the approach exhibits scalability, completing training and testing for the PEGASE 1354 system in 116.47 seconds while outperforming existing benchmarks in zero-shot generalization without requiring additional training samples.

2606.03714 2026-06-03 cs.CR

Don't Trust Us: A privacy-by-design android malware detection pipeline

不要信任我们:一种隐私设计的安卓恶意软件检测流水线

Emmanuele Massidda, Diego Soi, Giorgio Giacinto

AI总结 提出一种隐私设计安卓恶意软件检测流水线,通过静态分析结合双拒绝阈值规则,仅对不确定样本进行沙箱动态分析,避免收集敏感数据,在2024-2025年数据集上F1达0.87,仅6.7%样本需二次分析。

Comments 13 pages, 3 figures. Submitted to International Journal of Information Security - Springer Nature

详情
AI中文摘要

安卓恶意软件检测越来越依赖于收集和处理敏感用户数据,包括设备标识符、网络工件和运行时痕迹,而隐私往往被视为次要问题。现有的隐私感知方法通常在数据收集后实施隐私保护,例如通过匿名化、加密或联邦学习,但仍需要访问用户信息,因此要求用户高度信任那些已经以特权访问设备活动的系统。我们认为这种要求应该被消除而不是管理。安卓恶意软件检测应该从设计上就具有隐私意识,使得有效分析从一开始就不依赖于访问敏感数据。为此,我们首先形式化了一组隐私设计检测的设计要求,然后在全面的流水线中实现每个要求。首先,执行静态分析以从每个APK中提取相关数据,遵循Drebin表示,然后将其向量化后提交给SVM。该模型配备了一个双拒绝阈值规则,要么做出自信的决策,要么将不确定的样本推迟到沙箱环境中的动态分析阶段,这样真实的用户信息永远不会进入分析循环。结果证实,在2024年至2025年的时间分割数据集上,该流水线在第一个静态分析阶段达到了0.87的F1分数,仅将6.7%的测试样本推迟到二次动态分析。此外,动态沙箱有助于在不提取任何敏感数据的情况下高置信度地识别应用程序的恶意性。这些结果表明,在不牺牲用户隐私的情况下可以实现强大的检测性能。

英文摘要

Android malware detection increasingly relies on collecting and processing sensitive user data, including device identifiers, network artifacts, and runtime traces, while privacy is too often treated as a secondary concern. Existing privacy-aware approaches typically enforce privacy after data collection, for example, through anonymization, encryption, or federated learning, yet still require access to user information and therefore demand a high level of user trust in systems that already operate with privileged access to device activity. We argue that this requirement should be removed rather than managed. Android malware detection should be privacy-aware by design, so that effective analysis does not depend on sensitive data being accessed in the first place. To this end, we first formalize a set of design requirements for privacy-by-design detection and then implement each requirement in a comprehensive pipeline. First, static analysis is performed to extract relevant data from each APK, following the Drebin representation, which is then submitted to an SVM after vectorization. The model is equipped with a dual-reject threshold rule that either commits to a confident decision or defers uncertain samples to a dynamic analysis stage within a sandboxed environment, so that genuine user information never enters the analysis loop. Results confirm that, on a temporally split dataset spanning from 2024 to 2025, the pipeline achieves an F1 score of 0.87 with the first static analysis stage, deferring only 6.7% of test samples to secondary dynamic analysis. Additionally, dynamic sandboxing helps recognize applications' maliciousness with high confidence without extracting any sensitive data. These results demonstrate that strong detection performance is achievable without sacrificing user privacy.

2606.03711 2026-06-03 cs.CR cs.IR

Ghost: Plausible Yet Unlearnable Trajectories via On-Manifold Substitution for Next-POI Privacy

Ghost: 通过流形替代实现看似合理但不可学习的轨迹用于下一兴趣点隐私保护

Zhenyu Yu, Jihong Guan, Shuigeng Zhou

AI总结 提出Ghost框架,通过流形对齐的扰动生成地理和语义上合理的不可学习轨迹,抵御净化攻击,保护下一兴趣点预测隐私。

详情
AI中文摘要

发布签到轨迹的发布者无意中发布了每个用户未来位置的强预测器。我们通过生成不可学习的轨迹来应对这一风险,这些轨迹是经过扰动的序列,使得受害模型在干净测试输入上的下一兴趣点(next-POI)准确率下降。图像域不可学习示例的直接移植在两个方面失败:发布的数据必须保持地理和语义上的合理性,并且扰动必须抵抗利用随机防御结构的净化对手。我们提出Ghost,一个流形对齐的框架,其扰动看起来像合理的人类签到序列,但不会留下可学习的信号。Ghost通过冻结的轨迹语言模型将每个替代引导到真实轨迹流形上,因此去噪桥对手无法反转,而上下文无关的频率表对手恢复出接近均匀的分布。在两个标准基准和四种攻击者姿态下,Ghost实现了与最强确定性基线(PGD)相当的保护差距,同时在两个数据集上,在bigram自适应净化对手下获得了最低的恢复准确率,并且在保护-抗净化平面上,每个单元格的标准差在PGD的一个标准差之内。消融实验证实,流形先验包含了先前随机防御的熵底旋钮,即使百分之二十的对被泄露,频率表对手的生存差距仍保持在0.04以内。

英文摘要

A publisher who releases check-in trajectories inadvertently publishes a strong predictor of every user's future locations. We address this risk by generating unlearnable trajectories, perturbed sequences that yield victim models with degraded next-Point-of-Interest (next-POI) accuracy on clean test inputs. Direct ports of image-domain unlearnable examples fail on two counts. The published data must remain geographically and semantically plausible, and the perturbation must resist purification adversaries that exploit the structure of randomized defences. We propose Ghost, a manifold-aligned framework whose perturbations look like plausible human check-in sequences yet leave no learnable signal behind. Ghost steers each substitution onto the real-trajectory manifold through a frozen trajectory language model, so a denoising-bridge adversary has nothing to invert and a context-free frequency-table adversary recovers a near-uniform distribution. Across two standard benchmarks, and four attacker postures, Ghost achieves protection-gap competitive with the strongest deterministic baseline (PGD) while attaining the lowest restored accuracy under the bigram adaptive purification adversary on both datasets, and lies within one per-cell standard deviation of PGD on the protection-versus-purification-resistance plane. Ablations confirm the manifold prior subsumes the entropy-floor knob of prior randomized defences, with the frequency-table adversary's survival gap remaining within 0.04 even when twenty percent of the pairs are leaked.

2606.03697 2026-06-03 cs.CY cs.CR

Designing a Hardware Reverse Engineering Course: Lessons from Eight Years in a Rapidly Evolving Tech Domain

设计硬件逆向工程课程:来自快速发展的技术领域八年的经验教训

Zehra Karadağ, René Walendy, Carina Wiesen, Christof Paar, Nikol Rummel, Steffen Becker

AI总结 本文介绍了一门面向本科生的硬件逆向工程课程,该课程聚焦于数字电路分析与提取,经过九次迭代(2017-2025)优化,总结了课程组织、内容和作业的演变经验,并提炼出针对快速发展技术领域课程设计的可操作优先事项。

详情
AI中文摘要

集成电路(IC)无处不在,但其全球化制造过程仍然容易受到供应链威胁。硬件逆向工程(HRE)对于检测此类威胁和重建信任至关重要;然而,由于缺乏教育项目,领域专家仍然稀缺。为了在这个关键且快速发展的技术领域提供教育见解,我们介绍了我们的HRE课程,该课程侧重于数字电路分析和从IC中提取数字电路。该课程面向欧洲一所主要研究型大学的低年级本科生。课程大纲经过九次迭代(2017-2025)的完善,多名校友随后在HRE领域从事职业。通过反思课程组织、内容和作业的演变,我们得出了关键的经验教训。我们进一步将这些见解提炼为教育工作者在快速发展技术领域开发课程时可操作的设计优先事项,强调迭代增长以及学生和教师双方可持续的工作量管理。

英文摘要

Integrated Circuits (ICs) are omnipresent, yet their globalized manufacturing process remains vulnerable to supply chain threats. Hardware Reverse Engineering (HRE) is essential for detecting such threats and re-establishing trust; however domain experts remain scarce due to a lack of educational programs. To contribute educational insights in this critical and rapidly evolving technology domain, we present our HRE course focusing on digital circuit analysis and digital circuit extraction from ICs. The course targets junior-level undergraduates at a major European research university. The curriculum has been refined over nine iterations (2017-2025), with several alumni subsequently pursuing careers in the HRE field. By reflecting on the evolution of the course organization, content, and assignments, we derive key lessons learned. We further distill these insights into actionable design priorities for educators developing courses in rapidly evolving technological domains, emphasizing iterative growth and sustainable workload management for both students and instructors.

2606.03691 2026-06-03 cs.SE cs.DB

An AutomationML Domain Library for the Formalized Process Description

用于形式化过程描述的自动化ML领域库

Hamied Nabizada, Rainer Drath, Felix Gehlhoff, Alexander Fay

AI总结 针对VDI/VDE 3682标准的形式化过程描述缺乏机器可读数据格式的问题,提出基于CAEX 3.0元模型的AutomationML领域库,实现FPD语言元素的完整形式化,并通过双向映射工具验证其适用性。

Comments Submitted to ETFA 2026 for possible publication

详情
AI中文摘要

根据VDI/VDE 3682的形式化过程描述(FPD)提供了一种跨工程领域描述过程的标准化图形符号,但缺乏用于机器可读模型交换的标准化、工具无关的数据格式。本文提出了一个AutomationML(AML)领域库,该库基于计算机辅助工程交换(CAEX)3.0元模型,将完整的FPD语言元素集、它们的属性、连接语义和图形表示信息形式化为类库。该库由五个相互关联的部分组成:定义语义角色的RoleClassLib、用于连接类型的InterfaceClassLib、用于信息模型和图表交换的两个AttributeTypeLib,以及提供实例化模板的SystemUnitClassLib。讨论了关于继承、图表结构、层次分解和图形信息表示的关键设计决策以及所考虑的替代方案。一个双向映射工具通过基于Web的FPD建模器和AML之间的转换展示了该库的适用性。该库被提议作为VDI/VDE 3682第3部分的候选。该库连同示例和用于标准化前社区输入的反馈功能可在以下网址获取:此https URL。

英文摘要

The Formalized Process Description (FPD) according to VDI/VDE 3682 provides a standardized graphical notation for describing processes across engineering domains but lacks a standardized, tool-independent data format for machine-readable model exchange. This paper presents an AutomationML (AML) domain library that formalizes the complete set of FPD language elements, their attributes, connection semantics, and graphical representation information as class libraries based on the Computer Aided Engineering Exchange (CAEX) 3.0 metamodel. The library comprises five interrelated parts: a RoleClassLib defining the semantic roles, an InterfaceClassLib for connection types, two AttributeTypeLibs for the information model and diagram interchange, and a SystemUnitClassLib providing instantiation templates. Key design decisions regarding inheritance, diagram structure, hierarchical decomposition, and the representation of graphical information are discussed along with the alternatives that were considered. A bidirectional mapping tool demonstrates the library's applicability by converting between a web-based FPD modeler and AML. The library is proposed as a candidate for Part 3 of VDI/VDE 3682. It is available together with an example and a feedback function for community input ahead of standardization at https://aml.fpbjs.net.

2606.03679 2026-06-03 eess.SY cs.SY

From Well-Posed Inversion to Learning Design: Physics- Informed Neural Estimation for Autonomic Regulation

从适定反演到学习设计:自主调节的物理信息神经估计

Sara Nour Sadoun, Giuseppe Alessio D'Inverno, Francois Cottin, Arnaud Boutin, Taous-Meriem Laleg-Kirati

AI总结 针对非线性控制系统中未知输入和状态估计问题,提出一种基于控制理论可解性约束的物理信息神经估计器,并在自主心脏调节模型上验证其优于仅前向一致性的方法。

Comments 16 pages

详情
AI中文摘要

基于学习和物理信息的方法越来越多地用于受控非线性动力系统的逆估计。然而,在许多此类方法中,使未知输入重构有意义的理论要求,即Hadamard意义上的适定性,常常被忽视或通过无明确保证的通用正则化项弱处理。在这项工作中,我们采用互补视角,即这些控制理论和结构条件指导估计器设计并约束其训练。因此,我们开发了一种物理信息输入状态神经估计器,用于具有部分测量的非线性受控系统中的联合未知输入和状态估计。在本工作中,该通用框架实例化于自主心脏调节模型,提供了一个具体研究案例。估计器被表述为以时间和测量输出为条件的逆神经映射,并在数据保真度和动力学一致性约束下进行训练。为确保其符合鲁棒估计中施加的相同结构要求,我们通过微分代数消元推导左可逆性条件,并将所得约束直接嵌入训练目标。我们进一步先验分析逆映射对输出扰动的稳定性,并推导保守的Lipschitz界,以指导代价函数超参数的调整。该框架在模拟数据(其中真实数据可用)和两个不同的真实心血管记录数据集上进行评估。结果表明,将控制理论可解性约束纳入物理信息学习,比仅前向一致性更能提高逆推理的可靠性。

英文摘要

Learning-based and physics-informed methods are increasingly used for inverse estimation in controlled nonlinear dynamical systems. However, in many such approaches, the theoretic requirements that make unknown-input reconstruction meaningful, namely well-posedness in the sense of Hadamard, are often disregarded or weakly addressed through generic regularization terms with no explicit guarantees. In this work, we adopt a complementary viewpoint in which these control-theoretic and structural conditions inform the estimator design and constrain its training. We thus develop a physics-informed input-state neural estimator for joint unknown-input and state estimation in nonlinear controlled systems with partial measurements. In the present work, this general framework is instantiated on a model of autonomic cardiac regulation, provides a concrete study case. The estimator is formulated as an inverse neural map conditioned on time and measured outputs, and is trained under data fidelity and dynamical consistency constraints. To ensure it complies with the same structural requirements imposed in robust estimation, we derive left-invertibility conditions by differential-algebraic elimination and embed the resulting constraints directly into the training objective. We further analyze a priori the stability of the inverse mapping to output perturbations and derive a conservative Lipschitz bound that guides the tuning of cost functional hyper-parameters. The framework is evaluated on simulated data, where ground truth data is available, and on two distinct datasets of real cardiovascular recordings. The results show that incorporating control-theoretic solvability constraints into physics-informed learning improves the reliability of inverse inference beyond forward consistency alone.

2606.03674 2026-06-03 cs.DS cs.DC

Deterministic Distance Approximation in MPC via Improved Hitting Sets

通过改进的击中集在MPC中实现确定性距离近似

Kyungjin Cho, Michal Dory, Yannic Maus, Tijn de Vos

AI总结 本文通过确定性击中集技术,在多种MPC模型下首次实现了亚对数轮复杂度的生成树和近似最短路径算法,显著改进了确定性Congested Clique的现有结果。

Comments To apear in SPAA 2026

详情
AI中文摘要

在本文中,我们为各种MPC模型中的生成树和近似最短路径提供了首个具有亚对数轮复杂度的确定性算法。此外,我们在确定性Congested Clique中显著改进了现有技术水平。具体而言,我们在无向图上获得了以下四个结果:1. 在线性MPC和Congested Clique中,对于某个参数$k\ge 0$,我们在$O(1)$轮内获得一个加权图的$O(k)$拉伸生成树,大小为$O(n^{1+1/k})$。当$k=O(\log{n})$时,这导致在两个模型中常数轮内APSP的$O(\log n)$近似。2. 在亚线性MPC中,对于任意固定常数$\varepsilon>0$,我们在$O(\log k)$轮内获得一个加权图的$O(k^{1+\varepsilon})$拉伸生成树,大小为$O(n^{1+1/k})$。3. 在Congested Clique中,我们在$O(\log \log \log n)$轮内获得加权图的$O(1)$近似APSP。4. 在近线性MPC中,我们在$\textsf{poly}\log \log n$轮内获得无向图的$(1+\varepsilon)$近似单源最短路径和$O(1)$近似全源最短路径。我们的算法仅需要一个近线性内存机器,其余机器可以具有亚线性内存。我们的确定性算法获得了与最先进随机算法相似的保证,且轮复杂度没有额外增加。为了获得这些结果,我们检查了随机算法并分离出一个随机采样例程。然后我们通过使用确定性击中集对这些采样例程进行去随机化。为此,我们开发了一个通用的确定性击中集算法,我们希望它将在进一步的去随机化应用中得到使用。

英文摘要

In this paper, we provide the first deterministic algorithms with sublogarithmic round complexity for spanners and approximate shortest paths in various MPC models. Moreover, we significantly improve upon the state of the art in the deterministic Congested Clique. In particular, we obtain the following four results on undirected graphs: 1. In both linear MPC and Congested Clique, we obtain an $O(k)$ stretch-spanner of a weighted graph of size $O(n^{1+1/k})$ in $O(1)$ rounds, for some parameter $k\ge 0$. For $k=O(\log{n})$, this leads to an $O(\log n)$ approximation of APSP in constant rounds in both models. 2. In sublinear MPC, we obtain an $O(k^{1+\varepsilon})$-stretch spanner of a weighted graph of size $O(n^{1+1/k})$ in $O(\log k)$ rounds, for any fixed constant $\varepsilon>0$. 3. In Congested Clique, we obtain $O(1)$-approximate APSP for weighted graphs in $O(\log \log \log n)$ rounds. 4. In near-linear MPC, we obtain $(1+\varepsilon)$-approximate single-source shortest paths and $O(1)$-approximate all-pairs shortest paths for unweighted graphs in $\textsf{poly}\log \log n$ rounds. Our algorithm only requires a single near-linear memory machine, where the rest can have sublinear memory. Our deterministic algorithms obtain similar guarantees to the state of the art randomized algorithms without incurring additional factors in the round complexity. To obtain these results, we inspect the randomized algorithms and isolate a randomized sampling routine. Then we derandomize these sampling routines by using a deterministic hitting set. Hereto, we develop a versatile deterministic hitting set algorithm, which we hope will have further derandomization applications.

2606.03640 2026-06-03 cs.SE

Can AI be Easy? Lessons Learned from the EZR.py Toolkit

AI 可以简单吗?从 EZR.py 工具包中汲取的经验教训

Tim Menzies, Srinath Srinivasan

AI总结 本文通过开发仅 400 行的 EZR.py 工具包,证明在表格软件工程优化任务中,通过阅读和重构代码可以简化 AI 算法,使小型统一工具包在性能上媲美甚至超越大型库。

详情
AI中文摘要

最近许多媒体报道声称开发者不再需要阅读代码。我们对此持不同意见,至少在表格软件工程(SE)优化任务领域内:即 $x$ 和 $y$ 值的行,其中 $y$ 值的获取成本高昂。作为证据,我们提供了 400 行的 this http URL,一个 Python 工具包(无重型依赖),实现了朴素贝叶斯、$k$-means 聚类、分类与回归树、模拟退火、局部搜索、主动学习以及用于表格 SE 数据的互补贝叶斯文本挖掘相关性过滤。EZR 是通过反复阅读和重构 AI 工具以简化和统一它们而构建的。结果表明,许多看似不同的学习算法在剥离到核心后几乎相同:经典算法每行只需几行代码,而最先进的主动学习器仅需约 80 行。在 MOOT 仓库中的 120 多个表格 SE 优化任务上测试,这些小型工具的性能与最先进的解释工具(SHAP、LIME)、SMAC3 优化器和基于 SVM 的文本挖掘过滤器(FASTREAD)相当或更好,同时运行速度比 SMAC3 快 500 倍,使用的标记数据量少几个数量级,并且即使有数千个变量,也能从少于十个变量构建树。我们得出结论,在表格 SE 优化范围内,阅读和重构代码是产生洞察力的有用方法,小型统一工具包可以媲美大型库。EZR 以开源许可证提供。通过 extsf{pip install ezr} 安装;示例数据在 extsf{this http URL}。

英文摘要

Much recent press claims that developers no longer need to read code. We disagree, at least within the domain of tabular software-engineering (SE) optimization tasks: rows of $x$ and $y$ values where the $y$ values are expensive to obtain. As evidence we present 400 lines of EZR.py, a Python toolkit (no heavy dependencies) that implements Naive Bayes, $k$-means clustering, classification and regression trees, simulated annealing, local search, active learning, and complementary-Bayes text-mining relevance filtering for tabular SE data. EZR was built by repeatedly reading and refactoring AI tools to simplify and unify them. The result demonstrates that many seemingly different learning algorithms are nearly the same once stripped back to their core: classical algorithms collapse to a few lines each, and a state-of-the-art active learner fits in roughly 80 lines. Tested on the 120+ tabular SE optimization tasks in the MOOT repository, these tiny tools perform as well as or better than state-of-the-art explanation tools (SHAP, LIME), the SMAC3 optimizer, and SVM-based text-mining filters (FASTREAD), while running 500$\times$ faster than SMAC3, using orders of magnitude less labelled data, and building trees from fewer than ten variables even when thousands are available. We conclude that, within the scope of tabular SE optimization, reading and refactoring code is a useful method of generating insight, and small unified toolkits can rival large libraries. EZR is available under an open-source license. Install via \textsf{pip install ezr}; example data at \textsf{github.com/timm/moot}.

2606.03617 2026-06-03 cs.ET

SA-DTS: Semantic-Aware Digital Twin Synchronization over 6G Networks

SA-DTS:面向6G网络的语义感知数字孪生同步

Vincenzo Sammartino

AI总结 提出SA-DTS框架,通过轻量级神经语义编码器和动态知识图谱,在6G网络中实现高效的数字孪生同步,显著降低带宽和延迟。

Comments This work has been submitted to the IEEE for possible publication

详情
AI中文摘要

数字孪生(DT)正成为6G愿景的基石,为智能制造、自动驾驶和远程医疗实现实时网络物理镜像。然而,大规模保持高保真同步需要巨大且持续的上行带宽,威胁着大规模部署的可行性和能效。我们提出了一种语义感知DT同步(SA-DTS)框架,从根本上重新定义了同步流程:不再传输原始传感器或视频数据,而是在物理世界源端使用轻量级神经语义编码器提取仅与任务相关的特征,并通过6G空中接口传输紧凑的语义描述符。在DT副本端,配对解码器与动态知识图谱(KG)结合,重构完整的上下文状态。采用自适应分区数$G = \lceil N / \log_2 N \rceil$的分层KG分区策略,确保聚合更新开销按$O(N \log N)$而非$O(N^2)$缩放,使框架适用于数百个同时孪生实体的部署。在三种典型DT工作负载(工业机器人控制、患者监测和车辆编队)上的大量仿真表明,在真实6G信道条件下,带宽节省高达94%,端到端同步延迟降低87%,KG辅助状态重构精度超过97%。经验相关性证实,所提出的语义保真度分数与标准任务指标(碰撞精度、报警F1、间距偏差)的Pearson $r > 0.97$(95% CI:[0.961, 0.982])。我们的结果表明,语义通信不仅是一种压缩工具,更是实现真正实时、可扩展DT生态系统的关键推动因素。

英文摘要

Digital Twins (DTs) are emerging as a cornerstone of the 6G vision, enabling real-time cyber-physical mirroring for smart manufacturing, autonomous vehicles, and remote healthcare. However, maintaining high-fidelity synchronization at scale demands an enormous and sustained uplink bandwidth, threatening both the feasibility and the energy efficiency of large deployments. We propose a Semantic-Aware DT Synchronization (SA-DTS) framework that radically redefines the synchronization pipeline: instead of streaming raw sensor or video data, a lightweight neural semantic encoder at the physical-world source extracts only task-relevant features and transmits compact semantic descriptors over the 6G air interface. At the DT replica, a paired decoder coupled with a dynamic Knowledge Graph (KG) reconstructs the full contextual state. A hierarchical KG partitioning strategy with an adaptive partition count $G = \lceil N / \log_2 N \rceil$ ensures that aggregate update overhead scales as $O(N \log N)$ rather than $O(N^2)$, making the framework viable for deployments with hundreds of simultaneously twinned entities. Extensive simulations on three canonical DT workloads -- industrial robot control, patient-monitoring, and vehicular platooning -- demonstrate bandwidth savings of up to 94%, end-to-end synchronization latency reductions of 87%, and KG-assisted state-reconstruction accuracy exceeding 97%, all under realistic 6G channel conditions. Empirical correlation confirms that the proposed Semantic Fidelity Score tracks standard task metrics (collision accuracy, alarm F1, spacing deviation) with Pearson $r > 0.97$ (95% CI: [0.961, 0.982]). Our results reveal that semantic communication is not merely a compression tool but a fundamental enabler for truly real-time, scalable DT ecosystems.

2606.03614 2026-06-03 cs.MM

OmniHalluc-L: Counterfactual Benchmarking and Modality-Perturbation Reliability Calibration for Long-Form Omni Hallucination

OmniHalluc-L:长形式全模态幻觉的反事实基准测试与模态扰动可靠性校准

Zixuan Dong, Jiafu Tang, Zhide Lei, Zhe Cao, Zijie Zhang, Yanghai Wang, Shihao Li, Xiaodong Wang, Baoyun Peng, Jiaheng Liu

AI总结 针对长视频全模态助手将真实证据错误绑定到错误说话者、时刻或模态的“几乎正确”错误,提出反事实事件绑定协议构建配对支持/反事实声明,并基于此构建基准OmniHalluc-L,同时提出模态扰动可靠性校准方法(Modality-Perturbation Reliability Calibration)在不更新主干网络的情况下提升模型性能。

Comments 13 pages, 6 figures

详情
AI中文摘要

长视频全模态助手常常失败的原因不是编造内容,而是错误绑定真实证据:它们听到正确的语音并看到正确的事件,却将其附加到错误的说话者、时刻或模态。这些“几乎正确”的错误规避了标准视频问答,因为局部证据仍然有效,因此逐项评分可能同时奖励一个受支持的声明及其接近反事实的声明。我们引入了一种反事实事件绑定协议,从相同的音视频事件证据中构建配对的支持/反事实声明,并通过严格配对准确率进行评估。我们将其实例化为OmniHalluc-L基准,用于长视频全模态幻觉评估,包含来自638个长视频的3,600个单声明问答项,平均时长24.16分钟,总计256.87小时。在该协议下,开源全模态模型在配对级别绑定上仍然薄弱:Qwen2.5-Omni-7B达到32.06%,Qwen3-Omni-Instruct达到41.55%,而闭源参考模型为76.54%。为在不更新主干网络的情况下缩小这一差距,我们提出了模态扰动可靠性校准方法(Modality-Perturbation Reliability Calibration),一种冻结主干网络的框架,在视频级折内选择音频负样本探针,并将其响应偏移与原生音视频置信度融合,形成每个声明的支持估计。该方法将Qwen2.5-Omni-7B在OmniHalluc-L上的性能提升至36.22%,Qwen3提升至51.09%,并在OmniVideoBench(+2.20)和WorldSense(+1.51)上使用Qwen3改进了目标自适应多项选择准确率。

英文摘要

Long-video Omni assistants often fail not by inventing content, but by misbinding real evidence: they hear the right utterance and see the right event, yet attach it to the wrong speaker, moment, or modality. These \emph{almost-true} errors evade standard video QA because local evidence remains valid, so item-level scoring can reward both a supported claim and its near-counterfactual. We introduce a counterfactual event-binding protocol that constructs paired supported/counterfactual claims from the same audio-visual event evidence and evaluates them by strict-pair accuracy. We instantiate it as \bench, a benchmark for long-video Omni hallucination, with 3{,}600 single-claim QA items from 638 long-form videos averaging 24.16 minutes and covering 256.87 hours. Under this protocol, open-weight Omni models remain weak at pair-level binding: Qwen2.5-Omni-7B reaches 32.06\% and Qwen3-Omni-Instruct reaches 41.55\%, versus 76.54\% for a closed-source reference. To narrow this gap without updating the backbone, we propose \method, Modality-Perturbation Reliability Calibration, a frozen-backbone framework that selects audio-negative probes within video-level folds and fuses their response shifts with native audio-visual confidence into per-claim support estimates. \method lifts Qwen2.5-Omni-7B to 36.22\% and Qwen3 to 51.09\% on \bench, and improves target-adapted MCQ accuracy on OmniVideoBench ($+$2.20) and WorldSense ($+$1.51) with Qwen3.

2606.03611 2026-06-03 cs.CR cs.ET

Q-FE: A Quantum-Native 6G Far-Edge Architecture Securing Industrial IoT Digital Twins via CSIDH-PQC and Asynchronous Federated Learning

Q-FE:一种基于CSIDH-PQC和异步联邦学习的量子原生6G远边缘架构,用于保护工业物联网数字孪生

Vincenzo Sammartino

AI总结 提出Q-FE架构,通过微数字孪生、跨层后量子密钥交换(CSIDH-512)和异步联邦学习,解决6G远边缘设备的超低延迟、高可靠性和量子安全需求。

Comments This work has been submitted to the IEEE for possible publication

详情
AI中文摘要

第六代(6G)无线网络将支撑超密集工业物联网(IIoT)生态系统,其中资源受限的远边缘设备——自主移动机器人、工业执行器、联网车辆——必须同时满足亚毫秒级延迟、$10^{-7}$级可靠性和长达数十年的密码学安全性。当前架构将数字孪生(DT)计算委托给集中式云或移动边缘计算(MEC)服务器,导致不可接受的往返延迟,并依赖经典公钥密码学,在“先收后解密”(HNDL)威胁模型下易受量子攻击。我们提出Q-FE,一种量子原生6G远边缘架构,集成了三个协同设计组件:(i)与6G基站和高能力端点共置的微数字孪生($\mu$DT);(ii)跨层后量子密钥交换模块,将CSIDH-512同源密钥材料直接嵌入MAC层控制帧,利用该方案独特的紧凑密钥($\le 64$字节)避免数据包分片;(iii)由MEC节点上的轻量级DAG智能合约管理的异步联邦学习(AFL)协议,消除掉队者瓶颈,并在不暴露原始数据的情况下防止模型投毒和Sybil攻击。端到端仿真(NS-3 + PySyft)表明,与ML-KEM/Kyber-1024相比,Q-FE将MAC层开销降低62%,保持P99.9 URLLC延迟为0.78 ms,并将全局模型收敛速度比同步联邦学习加快31%。协议复杂度分析确认每轮聚合为$O(N \log R)$,$\mu$DT切换迁移在$10^4$个模拟事件中完成于$1.9 \pm 0.3$ ms。形式化威胁模型确认了对量子窃听、模型投毒和Sybil攻击的韧性。

英文摘要

Sixth-generation (6G) wireless networks will underpin ultra-dense Industrial IoT (IIoT) ecosystems in which resource-constrained Far-Edge devices -- autonomous mobile robots, industrial actuators, connected vehicles -- must simultaneously satisfy sub-millisecond latency, $10^{-7}$-class reliability, and decades-long cryptographic security. Current architectures delegate Digital Twin (DT) computation to centralised cloud or Mobile Edge Computing (MEC) servers, incurring prohibitive round-trip latency, and rely on classical public-key cryptography vulnerable to quantum attacks under the harvest-now, decrypt-later (HNDL) threat model. We propose Q-FE, a Quantum-Native 6G Far-Edge architecture integrating three co-designed components: (i) Micro-Digital Twins ($μ$DTs) co-located with 6G base stations and high-capability endpoints; (ii) a Cross-Layer Post-Quantum Key Exchange module embedding CSIDH-512 isogeny key material directly within MAC-layer control frames, exploiting the scheme's uniquely compact keys ($\le 64$ bytes) to avoid packet fragmentation; and (iii) an Asynchronous Federated Learning (AFL) protocol governed by lightweight DAG smart contracts at MEC nodes, eliminating straggler bottlenecks and preventing model-poisoning and Sybil attacks without exposing raw data. End-to-end simulations (NS-3 + PySyft) demonstrate that Q-FE reduces MAC-layer overhead by 62% versus ML-KEM/Kyber-1024, maintains P99.9 URLLC latency at 0.78 ms, and accelerates global-model convergence by 31% over synchronous Federated Learning. Protocol complexity analysis confirms $O(N \log R)$ per aggregation round, and $μ$DT handover migration completes in $1.9 \pm 0.3$ ms across $10^4$ simulated events. A formal threat model confirms resilience against quantum eavesdropping, model-poisoning, and Sybil attacks.

2606.03595 2026-06-03 eess.SY cs.SY

Enhancing Offshore Wind Simulations: Interpolated Switching via DLL Black-Boxes

增强海上风电仿真:通过DLL黑盒进行插值切换

Nicolae Darii, Ranjan Sharma, Vladislav Akhmatov, Kanakesh Vatta kkuni, Chi Su, Oscar Saborio-Romano, Nicolaos A. Cutululis

AI总结 本文提出通过动态链接库(DLL)黑盒转换海上风电机组全开关模型,在保护知识产权的同时提升电磁暂态仿真精度,并给出插值转换、速度保持等建议。

Comments In Review at IET Renewable Power Generation

详情
AI中文摘要

现代电力系统日益由来自多个制造商的基于逆变器的资源(IBR)组成,需要新的研究和设计技术来平衡准确性与保护各利益相关方知识产权的需求。支持详细电磁暂态(EMT)仿真的一种可能方法是使用动态链接库(DLL)将原始设备制造商(OEM)模型转换为可共享的黑盒版本。该技术通过将原始组件嵌入可共享的DLL中,在保持仿真精度的同时防止知识产权侵权。因此,本工作旨在通过翻译海上风力发电机(OWT)的全开关模型来明确提高仿真保真度。在此背景下,本文提供了有价值的建议,包括如何转换基于插值的元件、保持仿真速度、认识局限性以及概述未来改进方向。

英文摘要

The modern power system, increasingly composed of Inverter-Based Resources (IBR) from multiple manufacturers, requires new study and design techniques that balance accuracy with the need to protect the Intellectual Property (IP) of various stakeholders. One possible method to support detailed electromagnetic transient (EMT) simulations is to convert the original equipment manufacturers (OEM) models into shareable black-box versions using dynamic link libraries (DLLs). This technique prevents IP violations while potentially maintaining simulation accuracy by embedding the original components within the shareable DLL. Thereby, this work aims explicitly to enhance simulation fidelity by translating full-switching models of offshore wind turbines (OWTs). In this context, the paper offers valuable recommendations, including how to convert interpolation-based elements, preserve simulation speed, recognize limitations, and outline future improvements

2606.03587 2026-06-03 cs.GT econ.TH

Reserve Depletion and Security Runway in Proof-of-Stake Systems

权益证明系统中的储备消耗与安全跑道

Paolo Penna, Manvir Schneider

AI总结 本文通过离散时间随机模型研究权益证明协议中储备金是否足以支撑系统过渡到仅靠交易费维持安全,并给出了状态依赖的储备阈值、压力测试保证及失败概率界限。

详情
AI中文摘要

许多权益证明协议通过两个来源为验证者奖励提供资金:交易费和有限的代币储备。这产生了一个动态交接问题。在系统生命周期的早期,费用可能太小而无法资助目标安全水平;后来,费用可能变得充足。核心问题是储备是否提供足够的跑道,使协议在到达仅靠费用的区域之前保持安全。我们在一个验证者参与的离散时间随机模型中研究这个问题。代币价格和交易需求随时间波动,而验证者策略性地选择参与。我们求解验证者进入博弈,并推导出一个精确的状态依赖储备阈值,即维持目标安全水平所需的最小储备存量。该阈值将三个区域分开:不可行区、储备依赖安全区和仅费用安全区。如果储备首先低于状态依赖阈值,则安全失败;而恰好在该失败时间之前到达仅费用区域时,成功交接发生。我们推导出压力测试保证,将代币价格和需求的较低置信带转化为储备要求,并获得明确的失败概率和预期交接时间界限。最后,我们将模型扩展到前瞻性验证者,并推导出马尔可夫参与条件,该条件捕捉当前参与如何影响未来储备资助的奖励。主要含义是储备政策不应仅通过名义耗尽日期或稳态奖励比率来评估。一个协议可能有较大的名义储备,但在不利的价格或需求冲击后仍可能接近安全失败。相反,一旦需求超过仅费用阈值,储备对安全就变得多余。本文为压力测试这一过渡提供了一个易处理的均衡框架。

英文摘要

Many proof-of-stake protocols finance validator rewards from two sources: transaction fees and a finite reserve of tokens. This creates a dynamic hand-off problem. Early in the life of the system, fees may be too small to fund the target level of security; later, fees may become sufficient. The central question is whether the reserve provides enough runway for the protocol to remain secure until this fee-only region is reached. We study this problem in a discrete-time stochastic model of validator participation. Token price and transaction demand fluctuate over time, while validators choose participation strategically. We solve the validator entry game and derive an exact state-dependent reserve threshold, i.e., the minimal reserve stock necessary and sufficient to sustain a target security level. This threshold separates three regions: infeasibility, reserve-dependent security, and fee-only security. Security fails if the reserve first falls below the state-dependent threshold, and a successful hand-off occurs exactly if the fee-only region is reached before that failure time. We derive stress-test guarantees that convert lower confidence bands for token price and demand into reserve requirements, and obtain explicit failure-probability and expected hand-off-time bounds. Finally, we extend the model to forward-looking validators and derive the Markov participation condition that captures how current participation affects future reserve-funded rewards. The main implication is that reserve policy should not be evaluated by nominal depletion dates or steady-state reward ratios alone. A protocol can have a large nominal reserve and still be close to security failure after adverse price or demand shocks. Conversely, once demand crosses the fee-only threshold, the reserve becomes redundant for security. This paper provides a tractable equilibrium framework for stress-testing this transition.

2606.03571 2026-06-03 cs.CR cs.IT math.IT

Channel Chart Location Privacy Based on Geo-Indistinguishability

基于地理不可区分性的信道图位置隐私

Atsu Kokuvi Angélo Passah, Rodrigo C. de Lamare, Arsenia Chorti

AI总结 针对信道制图中的位置隐私问题,提出基于马氏范数平面拉普拉斯机制的图表位置不可区分性框架,在保护隐私的同时保持信道图拓扑结构。

详情
AI中文摘要

信道制图通过使用信道图中的伪位置,无需显式位置信息即可实现基于位置的服务(LBS)。虽然这一特性意味着固有的隐私优势,但它并不提供正式的隐私保证。在这项工作中,我们解决了信道制图中的位置隐私问题,称为图表位置不可区分性(CLI),它将地理不可区分性(GI)扩展到信道制图表示。为了实现CLI,研究了标准的平面拉普拉斯机制,并设计了一种几何感知的马氏范数平面拉普拉斯(MNPL)机制。所提出的MNPL机制通过注入与图表局部结构对齐的噪声来扰动信道图。在采用MNPL的CLI框架中,隐私使用从图表邻域导出的局部自适应协方差在潜在的信道图流形上定义,同时在隐私约束下保持流形拓扑。此外,差分隐私被考虑作为隐私基线。所提出的方法在多种信道制图方案上进行了评估。性能通过效用度量如质量损失(QL)和范围查询误差(RQE),以及几何感知度量包括可信度(TW)和连续性(CT)进行评估。数值结果表明,所提出的隐私机制在保持用于LBS任务的信道图的同时,提供了强大的隐私保证。

英文摘要

Channel charting enables location-based services (LBSs) without requiring explicit position information by using pseudo-locations from the channel chart. While this property implies inherent privacy advantages, it does not provide formal privacy guarantees. In this work, we address location privacy in channel charting referred to as chart location indistinguishability (CLI), which extends geo-indistinguishability (GI) to channel charting representations. In order to achieve CLI, a standard planar Laplace mechanism is investigated and a geometry-aware Mahalanobis norm planar Laplace (MNPL) mechanism is devised. The proposed MNPL mechanism perturbs the channel chart by injecting noise aligned with the local structure of the chart. In the CLI framework with MNPL, privacy is defined in latent channel chart manifolds using locally adaptive covariance derived from chart neighborhoods, while preserving manifold topology under privacy constraints. In addition, differential privacy is considered as a privacy baseline. The proposed approach is evaluated across multiple channel charting schemes. The performance is assessed using utility metrics such as quality loss (QL) and range query error (RQE), as well as geometry-aware metrics including trustworthiness (TW) and continuity (CT). Numerical results demonstrate that the proposed privacy mechanism provides strong privacy guarantees while preserving the channel chart for LBSs tasks.

2606.03567 2026-06-03 eess.SY cs.SY

Systematic Gray-Box Identification Methodology for Voltage Source Converters

电压源换流器的系统化灰箱辨识方法

Nicolae Darii, Luis A. Garcia-Reyes, Ignasi Ventura Nadal, Oscar Saborio Romano, Ranjan Sharma, Oriol Gomis-Bellmunt, Nicolaos A. Cutululis

AI总结 提出一种基于终端时序数据的系统化灰箱辨识框架,结合物理信息白箱模型和迭代时域校准,估计控制器参数以模拟黑箱模型在电磁暂态仿真中的行为,并通过奈奎斯特分析和奇异值分解进行频域验证。

Comments Submitted to IEEE Transactions on Power Delivery

详情
AI中文摘要

本文介绍了一种仅基于终端时序数据的电压源换流器模型的系统化灰箱辨识框架。该方法将物理信息白箱标准模型与迭代时域校准相结合,以估计控制器参数,从而在电磁暂态(EMT)仿真中模拟黑箱模型的行为。与传统的频域辨识方法不同,该框架更有效地利用时域数据,在更宽的工作范围内更好地约束替代模型,并捕获参考信号动态。为了评估辨识模型的准确性,本文提出了基于奈奎斯特分析和奇异值分解的附加频域验证指标,允许对模型偏差进行定量评估以及对失配类型进行定性分类。该方法在结构不确定性逐渐增加的情况下进行了测试,从精确参数恢复到实际详细的EMT黑箱模型。结果表明,当内部结构已知时,所提出的框架可以准确恢复参数,通过额外自由度适应中等结构失配,并为受知识产权保护的换流器模型的小信号稳定性分析提供可靠性度量。

英文摘要

This paper introduces a systematic gray-box identification framework for voltage-source converter models based solely on terminal time-series data. The proposed approach combines a physically informed white-box standard model with iterative time-domain calibration to estimate controller parameters that mimic the behavior of the black-box model in electromagnetic transient (EMT) simulations. Unlike conventional frequency-domain identification methods, the framework leverages time-domain data more effectively to better constrain the surrogate model across a broader operating range and capture reference-signal dynamics. To evaluate the accuracy of the identified model, the paper presents additional frequency-domain validation metrics based on Nyquist analysis and singular value decomposition, allowing for both quantitative assessment of model divergence and qualitative classification of mismatch types. The methodology is tested on cases with increasing structural uncertainty, from exact parametric recovery to an actual detailed EMT black-box model. Results demonstrate that the proposed framework can accurately recover parameters when the internal structure is known, adjust for moderate structural mismatch with extra degrees of freedom, and offer a reliability measure for small-signal stability analysis of converter models protected by intellectual property

2606.03560 2026-06-03 cs.HC

The Comparative Trap: How Social Comparison Orientation Drives Problematic Generative AI (GenAI) Use

比较陷阱:社会比较倾向如何驱动问题性生成式AI(GenAI)使用

Xuchao Zhang, Jihye Lee

AI总结 基于I-PACE模型,研究社会比较倾向通过FoMO、AI心流和感知不可替代性间接影响问题性GenAI使用,并具有直接效应。

Comments Author's Original Manuscript. The Version of Record has been published in International Journal of Human-Computer Interaction

详情
AI中文摘要

尽管生成式AI(GenAI)短期内提高了任务效率,但它也造成了竞争压力,使个体持续担心被淘汰,从而增加了问题性使用的风险。现有研究关注个体心理脆弱性的视角,但忽视了GenAI带来的社会比较背景。本研究基于个体-情感-认知-执行(I-PACE)模型,考察社会比较倾向对问题性GenAI使用的直接影响,并探索其通过情感和认知机制的间接影响。研究使用SEM和bootstrap方法分析了396名中国GenAI用户的数据。结果表明,社会比较倾向对问题性GenAI使用有显著的直接影响,并且可以通过错失恐惧(FoMO)影响AI心流和感知不可替代性,最终导致问题性GenAI使用。

英文摘要

Although Generative AI (GenAI) improves task efficiency in the short term, it creates competitive pressures that perpetuate individuals' fear of being eliminated, thereby increasing the risk of problematic use. Existing research has focused on the perspective of individual psychological vulnerability, but has neglected the social comparison context caused by GenAI. This study examines the direct effects of social comparison orientation on problematic GenAI use and explores their indirect effects via emotional and cognitive mechanisms, grounded in the Person-Affect-Cognition-Execution (I-PACE) model. The research analyzed data from 396 Chinese GenAI users using SEM and bootstrap methods. Findings show that social comparison orientation has a significant direct impact on problematic GenAI use and can additionally influence AI flow and perceived irreplaceability through fear of missing out (FoMO), finally leading to problematic GenAI use.

2606.03548 2026-06-03 cs.CE econ.TH q-fin.TR

Cost of Manipulation in AMM-Based Oracles

基于AMM的预言机中操纵的成本

Sebastian Müller, Nordine Moumeni, Adel Messaoudi

AI总结 本文研究基于自动做市商(AMM)的链上价格预言机在面对策略性操纵时的鲁棒性,通过定义操纵成本并分析攻击者与预言机设计者的博弈,得出流动性权重在加权中位数和加权均值中最大化最小操纵成本的结论。

Comments Published at DeFi Workshop of FC'26

详情
AI中文摘要

我们研究基于AMM的链上价格预言机对策略性操纵的鲁棒性。攻击者与恒定乘积自动做市商(CPMM)交易以扭曲链上预言机,套利者恢复跨池和跨场所的一致性,预言机设计者选择如何聚合池报价。采用有效市场假说(EMH)视角看待链外“真实”价格,我们将操纵成本定义为攻击者为将预言机移动给定倍数所需承担的最小按市值计价损失。对于独立CPMM,我们推导出单池操纵的闭式公式,并求解加权均值和加权中位数的攻击者-设计者博弈,表明在加权中位数中(对于任何扭曲水平),流动性权重最大化最小操纵成本,而对于加权均值,在扭曲趋近于零时局部成立。对于较大扭曲,加权均值变得更脆弱:最优权重可能取决于目标扭曲,且没有单一选择在所有扭曲水平上一致最优。在具有跨池套利的无摩擦CPMM模型中,操纵成本仅取决于总报价深度,并在对称聚合器之间一致。我们将此框架扩展到多资产星形架构,确认流动性权重在相同意义上保持最优。最后,我们通过引入停留时间和速率限制来连接理论与实践,为根据明确的攻击经济成本来调整预言机规模提供了定量标准。

英文摘要

We study the robustness of AMM-based on-chain price oracles to strategic manipulation. An attacker trades against constant product automated market makers (CPMMs) to distort an on-chain oracle, arbitrageurs restore cross-pool and cross-venue consistency, and an oracle designer chooses how to aggregate pool quotes. Taking an efficient-market-hypothesis (EMH) view of the off-chain "true" price, we define the \emph{cost of manipulation} as the minimal mark-to-market loss that an attacker must incur to move the oracle by a given multiplicative factor. For independent CPMMs, we derive closed-form single-pool manipulation formulas and solve the attacker-designer game for weighted means and weighted medians, showing that liquidity weights maximize the minimum cost of manipulation within these classes for weighted medians (for any distortion level) and, for weighted means, locally as the distortion tends to zero. For larger distortions, weighted means become more fragile: optimal weights can depend on the target distortion and no single choice is uniformly optimal across distortion levels. In a frictionless CPMM model with cross-pool arbitrage, the manipulation cost depends only on the total quote depth and coincides across symmetric aggregators. We extend this framework to multi-asset star architectures, confirming that liquidity weights remain optimal in the same sense. Finally, we bridge theory and practice by incorporating dwell times and rate limits, providing a quantitative yardstick to size oracles against the explicit economic costs of attack.

2606.03547 2026-06-03 cs.CY

Pushing the Limits: A Framework to Reform Institutional Ethics Review of Environmentally-Impactful Computing Research

突破极限:改革对环境有影响的计算研究机构伦理审查的框架

Nicolas Gold, Ross Purves

AI总结 提出一个框架,通过界定审查范围、提供审查证据标准和研究反思方法,将计算密集型研究纳入机构伦理审查,以应对其环境影响。

Comments Paper in Proceedings of LIMITS 2026: 12th Workshop on Computing within Limits, 2026-06-23-25, Online

详情
AI中文摘要

计算密集型研究(CIR)涉及包括人工智能在内的广泛主题。其环境影响可能显著,但往往不完全属于组织伦理审查政策的范围。许多学术机构设有伦理监督机构(如研究伦理委员会或机构审查委员会),它们处于潜在的有力位置,能够鼓励对这些问题的认识,并促使研究人员进行反思性实践。然而,政策在环境问题上往往定义不清,导致研究未受审查,审查者缺乏合法评判的指导,研究人员也未被要求考虑计算资源的行星极限及其与研究的相互作用。本文旨在解决这些问题,提出机构伦理政策的范围界定标准,使CIR因其自身价值被纳入伦理审查范围;为审查者提供在伦理审查中应用的证据标准框架;并提出一种方法,使CIR研究人员能够反思其拟议研究与环境因素的关系,并根据行星极限评估其潜在价值。

英文摘要

Computationally-intensive research (CIR) takes place on a wide variety of topics including AI. Its environmental impact is potentially significant yet it does not always fall clearly within the scope of organisational ethics review policy on its own merits. Many academic institutions have ethics oversight bodies (e.g. Research Ethics Committees or Institutional Review Boards) that occupy a potentially powerful position to encourage recognition of these issues and seek reflexive practice in researchers. However, policies are often poorly-defined in respect of environmental issues and thus research is not reviewed, reviewers have little guidance for legitimate critique, and researchers are not challenged to consider planetary limits on computing resources and the interaction of these with their research. This paper aims to address these problems by proposing scoping criteria for institutional ethics policy to bring CIR within the scope of ethics review on its own merits, framing evidential criteria for reviewers to apply in ethics review, and presenting a method by which CIR researchers can reflect on their proposed research in relation to environmental factors, and assess its potential value in the light of planetary limits.

2606.03543 2026-06-03 cs.MA

D2MDT: Department-aware Multidisciplinary Team Consultation with Deliberation for Efficient Clinical Prediction

D2MDT:基于科室感知的多学科团队会诊与审议以实现高效临床预测

Yongqi Liang, Qidong Liu, Chunze Yang, Lei Wu, Jiusong Ge, Ni Zhang, Chen Li

AI总结 提出D2MDT框架,通过构建结构化EHR证据和语义证据、分配科室视角给医生智能体、引入残差审议机制仅更新未解决共识,实现高效多学科会诊并提升临床预测性能。

Comments Preprint. 17 pages

详情
AI中文摘要

电子健康记录(EHR)是临床预测的核心,但现有方法要么依赖相关性驱动的深度模型,要么使用单一大型语言模型(LLM),难以支持多学科临床推理。最近的多智能体系统(MAS)提供了一种有前景的替代方案,然而当前基于EHR的MAS方法仍然存在跨智能体的证据区分弱和冗余的多轮交互问题。我们提出了D2MDT,一种基于科室感知的多学科团队会诊与审议框架,用于高效的临床预测。D2MDT首先构建结构化的EHR证据和会诊就绪的语义证据,用于多智能体会诊。然后,它为医生智能体分配患者特定的科室视角,并检索互补证据进行协作会诊。为了提高效率,D2MDT进一步引入了残差审议,仅更新未解决的共识,而不是重放完整的讨论历史。最后,D2MDT将精炼的共识报告与结构化EHR表示融合以进行预测。在死亡率预测上的实验表明,D2MDT同时提高了预测性能和会诊效率。我们在线发布代码以方便本文的可复现性。

英文摘要

Electronic health records (EHRs) are central to clinical prediction, but existing methods either rely on correlation-driven deep models or use single large language models (LLMs), making it difficult to support multidisciplinary clinical reasoning. Recent multi-agent systems (MAS) provide a promising alternative, yet current EHR-grounded MAS methods still suffer from weak evidence differentiation across agents and redundant multi-round interaction. We propose D2MDT, a Department-aware MultiDisciplinary Team Consultation with Deliberation for Efficient clinical prediction. D2MDT first constructs structured EHR evidence and consultation-ready semantic evidence for multi-agent consultation. It then assigns patient-specific department perspectives to doctor agents and retrieves complementary evidence for collaborative consultation. To improve efficiency, D2MDT further introduces residual deliberation, which updates only unresolved consensus rather than replaying the full discussion history. Finally, D2MDT fuses the refined consensus report with structured EHR representations for prediction. Experiments on mortality prediction show that D2MDT improves both predictive performance and consultation efficiency. We release the code online to ease the reproducibility of this paper.

2606.03538 2026-06-03 eess.SY cs.SY

Estimation of Equivalent SCR for Offshore Wind

海上风电等效短路比的估计

Nicolae Darii, Ranjan Sharma, Germano Rugendo Mugambi, Oscar Saborio Romano, Nicolaos A. Cutululis

AI总结 针对海上风电场接入弱电网的稳定性问题,提出一种结合两端口网络建模与电磁暂态仿真的混合方法,估计海上并网点等效短路比,并验证了其与电压稳定性的相关性。

Comments Accepted at 24th Power Systems Computation Conference (2026 Cyprus) and Electric Power System Research

详情
AI中文摘要

海上风电场(OWPPs)接入弱电网时,由于逆变器资源(IBRs)、柔性交流输电系统(FACTS)和电网之间的相互作用,可能带来稳定性挑战。在此背景下,OWPPs中相对常见的长距离HVAC输电系统会加剧稳定性问题。因此,本文提出一种新颖的方法,用于估计海上并网点(PoC)的等效短路比(ESCR),该方法结合了解析两端口网络(TPN)建模与电磁暂态(EMT)仿真。该方法推导了无源和有源元件的戴维南等效阻抗,无需复杂推导即可实现准确的ESCR计算。通过将静态同步补偿器(STATCOMs)等变流器的动态特性纳入混合EMT-TPN方法以合成等效阻抗,解决了传统SCR指标的局限性。该过程在CIGRE OWPP基准模型上进行了验证,发现能够捕捉ESCR随电缆长度、并联电抗器和电网强度的变化。此外,结果强调了ESCR与电压稳定性之间的相关性,突出了STATCOMs在弱电网中支撑电压稳定性的作用。该模块化框架有助于变流器主导系统的OWPP设计和稳定性分析。

英文摘要

The integration of offshore wind power plants (OW-PPs) into weak grids can pose stability challenges due to the interaction between inverter-based resources (IBRs), Flexible AC Transmission Systems (FACTS) and the grid. In this context, long HVAC transmission systems, relatively common for OWPPs, can exacerbate the stability challenges. Therefore, this paper introduces a novel methodology for estimating the equivalent short-circuit ratio (ESCR) at the offshore point of connection (PoC), combining analytical two-port network (TPN) modeling with electromagnetic transient (EMT) simulations. The approach derives the Thevenin equivalent impedance for passive and active components, enabling accurate ESCR computations without complex derivations. Limitations of traditional SCR metrics are addressed by incorporating the dynamics of the converters, such as static synchronous compensators (STATCOMs), into a hybrid EMT-TPN method for synthesizing equivalent impedances. The process is then verified on the CIGRE OWPP benchmark and is found to capture ESCR variations with cable lengths, shunt reactors, and grid strength. Additionally, the results emphasize the correlation between the ESCR and voltage stability, highlighting the role of STATCOMs in supporting voltage stability in weak grids. This modular framework aids in OWPP design and stability analysis for converter-dominated systems.

2606.03533 2026-06-03 eess.SY cs.SY

Recursive Learning of Feedforward and Compliance Compensation Parameters for Precision Motion Systems

前馈与柔顺补偿参数的递归学习用于精密运动系统

M. Wind, J. Pierssens, R. Beerens, V. Dolk, T. van Keulen

AI总结 针对时变或位置依赖行为的高精度运动系统,提出一种递归算法同时学习前馈和柔顺补偿参数,通过多变量回归减轻参数耦合,实验显示伺服性能提升一个数量级。

详情
AI中文摘要

为了满足未来表现出时变和/或位置依赖行为的运动系统的严格要求,必须利用在线数据来提高控制性能。本文提出了一种用于同时学习前馈和柔顺补偿参数的递归算法。提出了一种多变量回归公式,该公式联合估计摩擦、质量、加加速度和柔顺补偿参数,同时减轻参数耦合。在高端半导体计量和检测系统上的实验结果表明,伺服性能提升了一个数量级。

英文摘要

To meet the stringent requirements of future motion systems exhibiting time-varying and/or position-dependent behavior, online data must be leveraged to improve control performance. This paper presents a recursive algorithm for simultaneous learning of feedforward and compliance compensation parameters. A multivariate regression formulation is proposed that jointly estimates friction, mass, jerk, and compliance compensation parameters while mitigating parameter coupling. Experimental results on a high-tech semiconductor metrology and inspection system demonstrate an order-of-magnitude improvement in servo performance.

2606.03530 2026-06-03 cs.CR cs.NI

Towards Intrusion Detection Systems for RPL-based IoT Networks using Foundation Models

基于基础模型的RPL物联网网络入侵检测系统

Elias Lunderbye, Sourasekhar Banerjee, Christian Rohner, Andreas Johnsson

AI总结 本研究探索使用基础模型(MOMENT)检测和识别RPL物联网网络中的多种攻击类型,在Cooja模拟数据集上实现了与现有方法相当的检测性能并有效区分攻击类型。

Comments 4 pages, accepted to Swedish National Computer Networking Workshop (SNCNW) 2026

详情
AI中文摘要

基于人工智能的入侵检测系统在检测物联网系统攻击方面已显示出潜力。在这项工作中,我们探索使用基础模型来检测和识别攻击,特别关注基于RPL的物联网网络。我们研究了多种攻击类型、攻击变体和网络配置,并提供了基础模型在攻击识别中的性能见解。具体来说,我们对MOMENT基础模型进行微调以进行多类攻击识别。我们的评估基于一个数据集,该数据集包含在Cooja模拟环境中正常操作以及黑洞、DIS泛洪、最差父节点和本地修复攻击下收集的RPL相关统计数据。初步结果令人鼓舞。该方法实现了与最先进方法相当的攻击检测性能,同时在区分不同攻击类型方面也表现出强大的性能。

英文摘要

AI-based intrusion detection systems (IDS) have shown promise in detecting attacks on IoT systems. In this work, we explore the use of foundation models to detect and identify attacks, with a specific focus on RPL-based IoT networks. We study multiple attack types, attack variations, and network configurations, and provide insights into the performance of foundation models for attack identification. Specifically, we fine-tune the MOMENT foundation model for multi-class attack identification. Our evaluation is based on a dataset containing RPL-related statistics collected under normal operation and under Blackhole, DIS flooding, Worst Parent, and Local Repair attacks, generated in a Cooja simulation environment. The initial results are promising. The approach achieves attack-detection performance comparable to state-of-the-art methods, while also demonstrating strong performance in distinguishing between different attack types.

2606.03528 2026-06-03 cs.NI

Throughput Optimization for Multi-AP IEEE P802.11bq Networks Based on Combinatorial Multi-Armed Bandits

基于组合多臂老虎机的多AP IEEE P802.11bq网络吞吐量优化

Anshan Yuan, Mingqi Han, Xinghua Sun

AI总结 针对密集多AP IEEE P802.11bq网络,提出基于组合多臂老虎机的分布式吞吐量优化方法,通过分组可行CSAR算法联合优化竞争窗口、CCA阈值、波束宽度和MCS预留余量,实现吞吐量提升约49%。

Comments 13 pages, 7 figures. This work has been submitted to the IEEE for possible publication

详情
AI中文摘要

本文针对密集多AP IEEE P802.11bq网络中的分布式吞吐量优化问题。我们开发了一个分组级模型,联合捕获了跨链路载波侦听多路访问/冲突避免(CSMA/CA)、sub-7GHz RTS/CTS交换、波束训练开销、定向毫米波干扰、基于信干噪比(SINR)的MCS选择以及重传。由此产生的配置问题被建模为多组组合多臂老虎机(CMAB),其中每个AP从有限候选集中选择其竞争窗口、空闲信道评估阈值、波束宽度和MCS预留余量。受组合逐次接受-拒绝方法的启发,我们提出了一种分组可行的CSAR变体,该变体使用Hadamard引导的可行探索来估计经验排名分数,并消除每个参数组内的低性能候选。仿真表明,在大多数AP密度下,所提方案相对于所考虑的汤普森采样基线提高了总吞吐量和每AP吞吐量,并在评估设置下将吞吐量稳定时间减少了约49%。学习到的配置表明,高吞吐量需要在控制信道侵略性、毫米波空间复用、波束训练成本和MCS鲁棒性之间取得平衡,而不仅仅是最小化冲突或最大化物理层速率。

英文摘要

This paper addresses distributed throughput optimization for dense multi-AP IEEE P802.11bq networks. We develop a packet-level model that jointly captures cross-link carrier-sense multiple access with collision avoidance (CSMA/CA), sub-7GHz RTS/CTS exchange, beam-training overhead, directional mmWave interference, signal-to-interference-plus-noise-ratio (SINR)-based MCS selection, and retransmissions. The resulting configuration problem is formulated as a multi-group combinatorial multi-armed bandit (CMAB), where each AP selects its contention window, clear-channel assessment threshold, beamwidth, and MCS reservation margin from finite candidate sets. Inspired by combinatorial successive accept-reject methods, we propose a group-wise feasible CSAR variant that uses Hadamard-guided feasible exploration to estimate empirical ranking scores and eliminate low-performing candidates within each parameter group. Simulations show that the proposed scheme improves aggregate and per-AP throughput over the considered Thompson-sampling baseline across most AP densities and reduces throughput stabilization time by approximately 49$\%$ under the evaluated settings. The learned configurations reveal that high throughput requires a balance among control-channel aggressiveness, mmWave spatial reuse, beam-training cost, and MCS robustness, rather than simply minimizing collisions or maximizing the PHY rate.

2606.03527 2026-06-03 cs.GT econ.TH

Competitive Information Design in Sequential Search

序贯搜索中的竞争性信息设计

Zhicheng Du, Hu Fu, Ying Qin, Zihe Wang

AI总结 研究竞争性广告商通过信息设计影响消费者序贯搜索和购买决策的问题,基于对偶方法验证最优反应并刻画对称均衡。

详情
AI中文摘要

广告商通常策略性地向消费者披露信息,而消费者则决定是否进一步获取信息并最终购买。Anderson 和 Renault (2006) 使用信息设计框架对此问题建模,其中广告商作为发送者,消费者作为接收者。我们将此模型扩展到竞争环境,其中水平差异化的发送者竞争一个单位需求的接收者。在成本性检查下,接收者的最优序贯搜索行为由 Weitzman 索引算法给出。我们基于对偶论证给出一种方法,用于验证发送者的给定信息策略是否构成对其竞争对手(其他发送者)的最优反应。我们证明了当先验分布无质量时,发送者之间的博弈存在均衡;我们还说明了此类均衡可能表现出复杂行为。最后,我们细致地刻画了当先验分布具有单调递增密度时发送者所采取的对称均衡,并为富有洞察力的均衡结构提供了经济学直觉。

英文摘要

Advertisements often strategically disclose information to consumers who make decisions on further information acquisition and eventual purchase. Anderson and Renault (2006) model this problem using an information design framework, where the advertiser acts as a sender and the consumer as a receiver. We extend this model to a competitive setting with horizontally differentiated senders competing for a unit-demand receiver. Under costly inspection, the receiver's optimal sequential search action is given by Weitzman's Index Algorithm. We give a method, based on duality arguments, to verify whether a sender's given information strategy constitutes a best response against his competitors (other senders). We establish the existence of an equilibrium in the game among senders when the prior distributions have no mass; we also illustrate that such equilibria may exhibit intricate behaviors. Finally, we meticulously characterize symmetric equilibria played by the senders for cases when the prior distributions have monotone increasing densities, while offering economic intuitions behind the insightful equilibrium structure.

2606.03519 2026-06-03 cs.DC

SIGMA: A Versatile Streaming Graph Partitioner for Vertex- and Edge-Balanced Distributed GNN Training

SIGMA:面向顶点和边平衡分布式GNN训练的多功能流式图分区器

Barbara Hoffmann, Shai Dorian Peretz, Adil Chhabra, Ahmet Kadir Yalcinkaya, Ruben Mayer, Christian Schulz

AI总结 提出SIGMA,一种统一的多目标多约束流式图分区器,支持顶点分区和边分区,通过聚类预处理提高分区质量,在Dist-GNN和DistDGL系统上优于流式基线,与METIS等高质量分区器竞争力相当。

详情
AI中文摘要

分布式图神经网络(GNN)训练关键取决于底层图在计算资源上的分区方式。现有的图分区器要么专注于顶点分区,要么专注于边分区,并且通常仅在单一平衡约束(顶点平衡或边平衡)下优化单一通信目标(边割或顶点割)。我们提出SIGMA(具有多目标意识的流式集成图分区),一种多功能流式图分区器,在统一的多目标多约束框架内支持顶点分区和边分区。根据目标分布式GNN系统,SIGMA可配置为面向边割的顶点分区或面向顶点割的边分区,同时兼顾顶点和边平衡。基于聚类的预处理阶段融入全局图结构,以提高分区质量,同时保留流式分区的效率和可扩展性优势。我们在六个跨越不同领域和规模的基准图上,使用两个分布式GNN训练系统(Dist-GNN(边分区)和DistDGL(顶点分区))评估SIGMA。在两种设置下,SIGMA均一致地实现了强性能,展示了其在分区质量、训练效率和内存消耗之间处理复杂权衡的能力,通常优于流式基线,同时与高质量的内存分区器(如METIS、KaHIP和HEP)保持竞争力。这些结果表明,统一的流式分区器能够有效应对跨根本不同系统架构的分布式GNN训练中的通信、计算和内存挑战。

英文摘要

Distributed Graph Neural Network (GNN) training depends critically on how the underlying graph is partitioned across compute resources. Existing graph partitioners focus either on vertex partitioning or edge partitioning and typically optimize only a single communication objective (edge cut or vertex cut) under a single balance constraint (vertex balance or edge balance). We present SIGMA (Streaming Integrated Graph Partitioning with Multi-objective Awareness), a versatile streaming graph partitioner that supports both vertex and edge partitioning within a unified multi-objective, multi-constraint framework. Depending on the target distributed GNN system, SIGMA can be configured for edgecut-oriented vertex partitioning or vertex-cut-oriented edge partitioning while simultaneously accounting for both vertex and edge balancing. A clustering-based preprocessing stage incorporates global graph structure to improve partition quality while preserving the efficiency and scalability advantages of streaming partitioning. We evaluate SIGMA on six benchmark graphs spanning diverse domains and scales using two distributed GNN training systems: Dist-GNN (edge-partitioned) and DistDGL (vertex-partitioned). Across both settings, SIGMA consistently achieves strong performance, showing its ability to navigate complex trade-offs between partition quality, training efficiency, and memory consumption, frequently outperforming streaming baselines while remaining competitive with high-quality in-memory partitioners such as METIS, KaHIP and HEP. These results demonstrate that a unified streaming partitioner can effectively address the communication, compute, and memory challenges of distributed GNN training across fundamentally different system architectures.

2606.03515 2026-06-03 cs.CE cs.NA math.NA quant-ph

A Voxel-Based Quantum Computing Method (VBQC) for Solid Mechanics Problem

基于体素的量子计算方法(VBQC)用于固体力学问题

Feng Wu, Yuxiang Yang, Li Zhu, Chen Li, Yansong Guo, Xu Guo

AI总结 提出一种基于体素的量子计算方法(VBQC),通过体素网格离散化使系统矩阵具有三对角分形性质,并利用KCQ分解结合量子傅里叶变换和量子多路复用器实现固体力学中哈密顿量的高效量子模拟。

详情
AI中文摘要

量子计算为克服大规模力学问题中的效率和内存限制提供了一种有前景的方法,在流体力学中已展示了许多成功应用。然而,由于拉格朗日公式和复杂边界,固体力学问题通常需要不规则网格进行空间离散化,这使得系统矩阵(例如质量矩阵或刚度矩阵,在量子计算中常被称为哈密顿量)的量子模拟难以有效进行。本研究提出了一种基于体素的量子计算方法(VBQC),用于固体力学中哈密顿量的量子模拟。VBQC应用体素网格对空间域进行离散化,从而使系统矩阵具有三对角分形性质。基于这一性质,系统矩阵可以分解为三组基本矩阵:$\mathbf{k}_{n}$、$\mathbf{c}_{n}$和$\mathbf{q}_{n}$。这一分解过程称为KCQ分解。通过将KCQ分解与量子傅里叶变换和量子多路复用器相结合,VBQC能够高效地实现固体力学中哈密顿量的量子模拟。应用了三个不同维度和变量数量的具体固体问题,初步验证了所提出的VBQC在固体力学问题中的正确性。

英文摘要

Quantum computing presents a promising method to overcome the efficiency and memory constraints in large-scale mechanical problems, with numerous successful applications demonstrated in fluid mechanics. However, solid mechanics problems usually require irregular grids for spatial discretization, due to the Lagrange formulations and complex boundaries, which makes the quantum simulation of the system matrix, e.g., the mass or stiffness matrix which is often referred to as the Hamiltonian in quantum computing, difficult to be effectively conducted. This study proposes a voxel-based quantum computing method (VBQC) for the quantum simulation of Hamiltonians in solid mechanics. VBQC applies voxel grids to discretize the spatial domain, thereby enabling the system matrix to exhibit the tridiagonal fractal property. Based on this property, the system matrix can be decomposed into three groups of fundamental matrices, $\mathbf{k}_{n}$, $\mathbf{c}_{n}$, and $\mathbf{q}_{n}$. This decomposition process is referred to as the KCQ decomposition. By integrating the KCQ decomposition with the quantum Fourier transform and the quantum multiplexer, VBQC enables efficient quantum simulation of Hamiltonians in solid mechanics. Three specific solid problems with different dimensions and numbers of variables are applied to preliminarily verify the correctness of the proposed VBQC for solid mechanics problems.

2606.03514 2026-06-03 eess.SY cs.SY

Unstable Poles Arising in AC Power Grid Subsystem Representations

交流电网子系统表示中出现的不稳定极点

Liam Hallinan, Ioannis Lestas

AI总结 本文推导了交流电网的PQ和IV两种子系统表示,证明它们可通过环路变换关联,并分析指出每种表示可能因运行点或高频被动动力学而出现不稳定极点,即使整体互联系统稳定。

Comments Submitted to IEEE Conference on Decision and Control (CDC) 2026

详情
AI中文摘要

最近对交流电网的小信号稳定性研究转向将电力系统分析为子系统的互联,并利用其输入输出特性推导可扩展的稳定性证书。文献中经常出现两种子系统表示:PQ模型,将功率耦合到相角和电压幅值;以及IV模型,将电流耦合到电压。在本文中,我们推导了这两种模型,没有简化母线或线路动力学,并表明环路变换将两者联系起来。本文的主要结果之一是分析表明,每种表示可能表现出不稳定极点,这主要取决于运行点(IV模型)或高频被动动力学的存在(PQ模型)。特别是,即使聚合互联系统稳定且表现良好,子系统中的这种不稳定极点也可能发生。这些效应通过数值验证,包括使用带有励磁机和变压器的同步发电机的全阶动力学的案例研究。我们的结果强调,在选择子系统表示时必须小心,因为忽略高频动力学或设备运行点可能会掩盖必须由网络互联稳定并在系统辨识中考虑的不稳定极点。

英文摘要

Recent small-signal stability studies of AC grids have shifted towards analysing power systems as interconnections of subsystems and leveraging their input-output properties to derive scalable stability certificates. Two subsystem representations appear frequently in the literature: the PQ model, coupling powers to phase angle and voltage magnitude, and the IV model, coupling currents to voltages. In this paper, we derive both models without simplifying the bus or line dynamics and show that a loop transformation relates the two. One of the main results in the paper is to then show analytically that each representation may exhibit unstable poles depending primarily on the operating point (IV model) or the presence of high-frequency passive dynamics (PQ model). In particular, such unstable poles in the subsystems can occur even when the aggregate interconnection is stable and well-behaved. These effects are validated numerically, including a case study using the full-order dynamics of a synchronous generator with an exciter and transformer. Our results highlight that care must be taken when choosing a subsystem representation, as neglecting high-frequency dynamics or device operating points may obscure unstable poles that must be stabilised by the network interconnection and must be accounted for in system identification.

2606.03513 2026-06-03 cs.CR

Privacy-Preserving High-Resolution Image Gradient Computation Based on Fully Homomorphic Encryption

基于全同态加密的隐私保护高分辨率图像梯度计算

Yufei Zhou

AI总结 针对高分辨率图像隐私保护处理中计算开销大的问题,提出一种多密文隐私保护框架,通过分块、并行处理和优化引导放置策略,实现高效的图像加密与Sobel算子梯度计算。

详情
AI中文摘要

随着对隐私保护的日益重视,同态加密(HE)已成为隐私保护图像处理的核心方法,因为它能够直接在加密数据上进行操作。然而,现有研究主要集中在低分辨率图像处理上,而隐私保护高分辨率图像处理的技术仍未得到充分探索。随着图像尺寸的增加,HE参数必须相应调整,直接应用现有方法会导致显著的计算开销。在这项工作中,我们提出了一种针对大图像的多密文隐私保护框架,能够在半诚实模型下实现高效的图像加密和计算。具体来说,我们将大图像划分为多个子图像,从而能够保持较小的HE参数并减小密钥大小。通过并行处理子图像密文并引入一种新的引导放置策略,我们显著降低了加密开销并提升了用户体验。在服务器端,我们通过重复打包技术优化了大图像卷积操作,并实现了基于HE的Sobel算子计算。为了改进Sobel算子的梯度方向计算,我们引入了一种基于符号函数的倒数函数多项式逼近方法,该方法可应用于其他基于HE的协议。

英文摘要

With growing emphasis on privacy protection, homomorphic encryption (HE) has emerged as a core method for privacy-preserving image processing, as it enables operations directly on encrypted data. However, existing research predominantly focuses on low-resolution image processing, and techniques for privacy-preserving high-resolution image processing remain underexplored. As the image size increases, the HE parameters must be adjusted accordingly, and directly applying existing methods can lead to significant computational overhead. In this work, we propose a multi-ciphertext privacy-preserving framework for large images, enabling efficient image encryption and computation under the semi-honest model. Specifically, we divide the large image into multiple sub-images, which allows us to maintain smaller HE parameters and reduce key size. By parallel processing the sub-image ciphertexts and introducing a new bootstrapping placement strategy, we significantly reduce encryption overhead and enhance user experience. On the server side, we optimize the large image convolution operation through a repeated packing technique and implement the Sobel operator computation based on HE. To improve gradient direction calculation for the Sobel operator, we introduce a new polynomial approximation method for the reciprocal function based on the sign function, which can be applied to other HE-based protocols.