• 不安腿综合征决定了周期性肢体运动是否与睡眠呼吸障碍中的血脂变化有关

  阿伦·尤吉诺维奇|劳拉·罗德曼美国马萨诸塞州波士顿哈佛医学院神经生物学系，邮编02115摘要研究目的在睡眠障碍性呼吸疾病患者中，睡眠期间出现周期性肢体运动较为常见，但这种现象与心血管代谢指标之间的独立关联尚不明确。常与周期性肢体运动同时出现的不安腿综合征可能会影响二者之间的关系。

  来源：Sleep Medicine

  时间：2026-07-06

• 压力的干扰作用：执行注意力功能受损与疲劳感知延迟

  奥辛·泰亚吉|兰贾娜·K·梅塔 美国密歇根大学，安阿伯市在fNIRS探针图中，检测器和信号源在前额叶皮层形成了7个通道，在M1区域形成了13个通道。数据采集的采样率为约10赫兹。皮质区域的位置是通过布罗德曼分区来确定的（Strotzer，2009）。图1展示了fNIRS数据的

  来源：Applied Ergonomics

  时间：2026-07-06

• 综述：表面声波技术与人工智能的融合

  徐鸿生|叶伟豪|刘向宇|曾向宇|阿基尔·卡迪尔中国安徽大学集成电路先进材料与技术产业教育研究院，合肥230601摘要表面声波器件已成为通信、传感以及新兴神经形态硬件领域的关键组成部分，然而其在材料、架构及工作环境方面的日益复杂性，暴露出传统设计及信号处理方法的局限性。与此同时，机

  来源：Ultrasonics

  时间：2026-07-06

• 四旋翼无人机预定义时间自适应神经跟踪控制

  陈旺|黄赫宏|陈鑫|赵涛|李贤华|王建辉|郭青 中国电子科技大学航空宇航学院，成都，611731，中国 摘要 本文研究了在系统不确定性和外部干扰作用下的四旋翼无人机预定时序轨迹跟踪控制问题。通过整合反步设计、神经网络近似以及预定时序稳定性理论，提出了一种预定时序自适应神经控制方

  来源：Aerospace Science and Technology

  时间：2026-07-06

• 基于神经网络的代码LLM解释方法：背景、原因与实现方式？

  摘要AI总结要查看此由AI生成的总结，您需要拥有高级访问权限。了解更多登录摘要摘要代码语言模型在各种代码智能任务中展现出了强大的能力。尽管现有研究大多致力于在基准数据集上提升性能，但很少有研究关注模型的内部可解释性——即特定神经元如何影响语法和语义等语言特征，而这对于确保模型的透

  来源：Proceedings of the ACM on Software Engineering

  时间：2026-07-06

• ProofFusion：通过自适应检索增强推理提升神经定理证明性能

  摘要AI总结要查看此由AI生成的总结，您需要拥有高级访问权限。了解更多登录摘要摘要交互式定理证明是一种确保复杂软件系统正确性的强大方法。然而，它通常需要大量的人工工作，因此在实际应用中成本较高。最近，基于神经网络的方法在自动生成证明策略方面显示出潜力。不过，现有方法存在训练数据中

  来源：Proceedings of the ACM on Software Engineering

  时间：2026-07-06

• TestTailor：利用大语言模型通过路径近似测试生成高覆盖率的测试用例

  摘要AI总结要查看此由AI生成的总结，您需要拥有高级访问权限。了解更多登录摘要摘要自动化单元测试对于确保软件质量至关重要。通过自动化单元测试生成来实现高代码覆盖率仍然具有挑战性，尤其是对于那些由复杂或深度嵌套的条件所保护的难以覆盖的分支。传统的基于搜索的方法往往会在性能上达到瓶颈

  来源：Proceedings of the ACM on Software Engineering

  时间：2026-07-06

• 具有统计保证的深度神经网络前提条件综合

  摘要AI总结要查看此由AI生成的总结，您需要拥有高级访问权限。了解更多信息登录摘要摘要深度神经网络越来越被应用于对安全性要求较高的系统中。然而，现有的形式化验证方法难以为其可靠性的规范提供充分的定量保障，而新兴的前提条件生成技术也受到深度神经网络在可扩展性和架构方面的限制。在本文

  来源：Proceedings of the ACM on Software Engineering

  时间：2026-07-06

• GadgetHunter：基于区域的Java反序列化漏洞神经符号检测方法

  摘要AI总结要查看此由AI生成的总结，您需要拥有高级访问权限。了解更多信息登录摘要摘要Java反序列化漏洞使得攻击者能够通过构造恶意序列化对象来执行任意代码，这些对象会触发一系列方法调用，从而引发危险操作。现有的检测方法存在根本性的权衡：静态分析虽然具备可扩展性，但由于路径不可行

  来源：Proceedings of the ACM on Software Engineering

  时间：2026-07-06

• 用于3D高斯飞溅效果高效混合的变形级筛选技术

  摘要 AI总结：要查看此由AI生成的总结，您需要拥有高级访问权限。了解更多信息并登录。 摘要 3D高斯溅射技术是实时捕捉和渲染辐射场的事实标准，在众多应用中得到了广泛应用。近期有一些方法被提出用于提升渲染速度，但这些方案往往会导致模型分辨率下降、依赖会降低图像质量的

  来源：Proceedings of the ACM on Computer Graphics and Interactive Techniques

  时间：2026-07-06

知名企业招聘：