• 基于运动静差模型与数据驱动方法的混合式机床标定

  •提出了一种结合模型驱动与数据驱动方法的层级校准方案。•对混合式机床的几何误差与变形误差均进行了建模。•将这些误差统一到有限螺旋理论与瞬时螺旋理论框架下进行分析。•识别出冗余误差并将其从误差模型中剔除。•提出了一种基于BO-GBDT的数据驱动方法用于校准残余误差。 引言 铸造件

  来源：Mechanism and Machine Theory

  时间：2026-07-22

• 兼顾两全优势：针对预训练代码模型，通过强大的替代蒸馏技术实现高效且有效的迁移攻击

  摘要 预训练的代码模型在许多重要的软件工程任务中展现了出色的性能。然而，这些模型容易受到对抗性样本的攻击，尤其是那些通过保持语义不变的变换（如变量重命名）生成的样本。尽管现有的生成此类样本的方法已显示出一定潜力，但它们往往受到两大实际限制的制约：一是由于频繁查询目标模型而导致

  来源：Journal of Systems and Software

  时间：2026-07-22

• VIBRANT：用于二进制相似性检测的可视化内存表示分析方法

  摘要：二进制代码相似性检测在逆向工程、漏洞检测以及恶意软件分析中至关重要，尤其是在没有源代码的情况下。尽管基于深度学习的方法已取得一定进展，但大多数方法并未能够准确捕捉真实的运行时行为，这限制了它们在处理优化和混淆后的代码时的执行语义建模能力。我们提出了VIBRANT这一BCSD

  来源：Journal of Systems and Software

  时间：2026-07-22

• 无需控制流图的流程敏感性分析：一种高效的安德森式流程敏感指针分析方法

  摘要 流敏感指针分析是精确程序分析的重要组成部分，它通过整合控制流来准确建模指针行为。该技术被广泛应用于别名分析、污染分析、程序理解以及编译器优化等领域。现有的基于控制流图的流敏感指针分析方法通过运用复杂的控制流信息处理技术，显著提升了指针分析的精度。然而，由于控制流图本身结

  来源：Journal of Systems and Software

  时间：2026-07-22

• Pivot-FSOF：一种用于边缘设备上基于实时DiT技术的文本转语音的全栈优化框架

  摘要：计算密集型模型已成为高保真生成任务的典范，但严重的内存带宽和I/O瓶颈限制了其在边缘设备上的应用。为解决这一问题，我们以文本转语音为例，提出了一种算法与硬件协同设计的优化框架。在算法层面，我们识别出时间步累积过程中的“语义转折点”，并设计了基于该转折点的结构化剪枝策略，结合

  来源：Journal of Systems Architecture

  时间：2026-07-22

• DoSDet：一种基于学习的检测与缓解方法，用于保护芯片组系统免受洪水式DoS攻击的威胁

  摘要在快速发展的高性能计算领域中，芯片级架构通过先进的封装技术实现高密度集成，从而提升系统的可扩展性和性能。然而，恶意第三方知识产权的融入使得这类芯片级系统容易受到洪水式拒绝服务攻击的影响。具体而言，被攻破的路由器会向互连网络注入大量虚假数据包，导致网络拥堵并降低整体性能。为应对

  来源：Journal of Systems Architecture

  时间：2026-07-22

• VMOC：基于MLIR的面向向量加速器上CNN部署的内存优化技术

  摘要：由于具有高能效和并行处理能力，向量加速器逐渐成为部署卷积神经网络的重要平台。在这样的架构中，高效利用内存对于成功部署至关重要。然而，现有的图分裂方法在向量加速器上存在诸多局限性，包括硬件适应性差、分裂成本建模不准确、编译效率低以及过度依赖人工干预。本文提出了一种基于MLIR

  来源：Journal of Systems Architecture

  时间：2026-07-22

• LUT-KAN：在资源受限的微控制器上用于嵌入式边缘推理的Kolmogorov–Arnold网络的查表加速技术

  摘要：科洛莫戈洛夫-阿诺德网络作为一种有前景的替代多层感知器的技术，它用可学习的基于单变量样条的函数取代了固定的激活函数。然而，KAN推理需要反复计算成本高昂的基函数——如B样条、雅可比多项式或切比雪夫多项式——这严重限制了其在缺乏硬件浮点单元的资源受限微控制器上的应用。我们提出

  来源：Journal of Systems Architecture

  时间：2026-07-22

• 用于稀疏与非稀疏分量联合估计的自适应重加权方法

  •提出WNSI方法，用于联合估计稀疏成分与非稀疏成分。•采用稳定自适应重加权机制提升数值稳定性。•建立收敛性保证及非渐近L2误差界。•证明在存在依赖关系和模型设定错误情况下仍具有稳健性能。•在乳腺癌基因表达数据中识别出稳定且可解释的信号。 引言 信息技术的快速发展彻底改变了现代

  来源：Journal of Statistical Planning and Inference

  时间：2026-07-22

• 气溶胶灭火剂性能量化方法

  摘要：确定扑灭火焰所需的最小气溶胶浓度对于合理设计气溶胶灭火系统至关重要，但目前尚无标准化的测量方法。新型气溶胶灭火剂通过热反应产生气体和压力来分散气溶胶，这类灭火剂无需使用坚固的加压容器，从而为设计提供了更大灵活性。本研究旨在测试两种测量气溶胶浓度的方法：在封闭空间中利用激光进

  来源：Journal of Loss Prevention in the Process Industries

  时间：2026-07-22

知名企业招聘：