由于微信公众号开始试行乱序推送，为了让您在第一时间获取AI新文，请将"AI新文"设为星标。
如何从简洁承诺构建简洁论证
原标题：How to Build Succinct Arguments From Succinct Commitments
作者：Alessro Chiesa; Ziyi Guan; Christian Knabenhans; Eylon Yogev
期刊：Proceedings of the IEEE
出版时间：2026/08/25
摘要：现代密码学的一项杰出成就是在理论计算机科学乃至更广泛的领域中发挥作用的众多证明系统的设计和构建，这些系统由于其令人惊讶的特性而成为无价之宝。本文聚焦于简洁论证，一类由于其显著的效率特性而备受关注的证明系统，这些特性使它们成为安全分布式系统中不可或缺的工具。非正式地说，在一个NP语言的简洁证明中，通信复杂度远小于见证比特的数量。在本文中，我们介绍了从简洁承诺构建的简洁论证。这个显著的类别包括优雅的构造，捕捉了众多简洁论证的具体实例，这些论证既有理论意义又有实际应用。特别是此类别包括已知性能最高的紧凑型论据，包括已被证明具有后量子安全性的论据。我们将思想按渐进的概括性进行组织，从众所周知的Kilian协议开始，还涉及其他主题，如Fiat–Shamir变换。
原文链接
自动驾驶车辆技术专题
原标题：Special Issue on Technologies for Automated Vehicles
作者：Christoph Stiller; Ljubo Vlacic; Matthew Barth
期刊：Proceedings of the IEEE
出版时间：2026/08/20
摘要：本期专题文章提供了关于自动驾驶技术问题的最新综述。
原文链接
私有信息检索：教程与综述
原标题：Private Information Retrieval: A Tutorial and Survey
作者：Pranav Shriram Arunachalaramanan; Yue Chen; Ling Ren
期刊：Proceedings of the IEEE
出版时间：2026/08/19
摘要：私有信息检索（PIR）是保护用户隐私的基本原语。它使用户能够从公共数据库检索条目而不透露正在检索哪些条目。PIR已在多种环境中进行过研究，例如：具有信息论安全或计算安全，单服务器或多不共谋服务器，并且数据库有预处理或没有预处理。在本文中，我们描述了几个我们认为没有PIR先前知识的读者可以理解的PIR方案。虽然概念简单，这些方案捕捉了主流设计范式背后的主要思想。我们还描述了支持关键词查询和批处理查询的PIR扩展。除了描述这些方案本身，我们还表征了不同PIR范例的具体效率，提供了在实践中选择一个范例的指导，并讨论了PIR的实际应用。我们希望这篇文章能帮助读者了解PIR领域的当前研究格局，并作为探索该领域更先进主题的起点。
原文链接
神经形态目标检测：深入研究及未来方向
原标题：Neuromorphic Object Detection: An In-Depth Study and Future Directions
作者：Jianing Li; Dianze Li; Arren Glover; Xiaopeng Fan; Guoqi Li; Chiara Bartolozzi
期刊：Proceedings of the IEEE
出版时间：2026/08/17
摘要：传统的基于帧的相机在检测高速运动模糊下的物体或在低光环境中面临重大挑战。类脑相机提供高时间分辨率和宽动态范围的异步视觉流，在挑战性条件下进行物体检测方面提供了有希望的解决方案。尽管在神经形态物体检测领域开发了众多模型并出现了各种应用，但仍缺乏深入的理解和标准化的基准来评估进展并应对关键挑战。本文提供了现有神经形态目标检测算法的全面综述和基准测试。具体而言，我们首先介绍问题描述，回顾可用的数据集，并重新审视评估指标。然后我们从多个角度探讨现有的神经形态目标检测方法，包括事件表示，时间建模，多模态融合，异步处理，低延迟处理和节能计算。此外，我们评估了一系列具有代表性的神经形态物体检测模型，并提供了详细的比较分析结果。最后，我们讨论了神经形态物体检测中未解决的问题，并提出了潜在的未来研究方向。我们希望这项调查和基准将成为研究人员的宝贵资源，并为神经形态物体检测的未来进步提供指导。
原文链接
纳秒脉冲生物电医学近期进展：从机制到应用
原标题：Recent Progress in Nanosecond Pulsed Bioelectric Medicine: From Mechanisms to Applications
作者：Chunqi Jiang; Shu Xiao; P. Thomas Vernier; Andrei G. Pakhomov; Olga N. Pakhomova; Siqi Guo
期刊：Proceedings of the IEEE
出版时间：2026/08/17
摘要：纳秒脉冲生物电医学（ns-BEMed）——使用超短（纳秒级）、高强度电脉冲（EPs）来调节生物系统——在过去二十年中迅速发展。作为教程，本文综述了该领域近期的进展，并着重介绍了基本机制和新兴的生物医学应用。最近纳秒脉冲电源技术的进步不仅加速了基于纳秒脉冲电场（nsPEF）治疗手段的发展，这些手段适用于包括心脏消融和肿瘤治疗在内的各种医疗应用，而且还促进了非平衡大气压等离子体源的发展，特别是纳秒脉冲大气压等离子体喷射（ns-APPJs），其独特的性质为安全有效的医疗干预提供了有希望的途径。该综述批判性地审视了nsPEF诱导的生物机制，随后讨论了负责等离子体介导生物效应的反应性等离子体物种。最后，对nsPEF和ns-APPJs当前及新兴的医药应用进行了调查。
原文链接
毫米波4D成像雷达近期进展：迈向传感大规模MIMO的一大步
原标题：Recent Advances in Millimeter-Wave 4-D Imaging Radars: A Leap Toward Massive MIMO in Sensing
作者：Masoud Dorvash; Mohammad Alaee-Kerahroodi; Bhavani Shankar Mysore; Björn Ottersten; Christian Waldschmidt; A. Lee Swindlehurst
期刊：Proceedings of the IEEE
出版时间：2026/08/13
摘要：毫米波（mmWave）雷达技术的最近进展使得雷达能够生成类似图像的观测结果，这一能力此前难以实现。这些雷达生成的图像可以是4维(方位角和仰角+范围+多普勒)，如果传感器提供了足够的空间分辨率的话。角分辨率是系统区分角度上位置接近的物体的能力，而距离分辨是通过毫米波频率支持的大带宽实现的。通过采用大量的天线元件，毫米波雷达可以在发射和接收方向上进行波束成形，减少干扰，并显著提高空间分辨率。这使得传感器能够捕获有关物体的距离、速度以及二维角位置的详细信息。这样的能力对于自动驾驶（AD）、车内监控、工业自动化、医学影像和安全监视等应用至关重要。本文探讨了新兴的4-D多输入多输出(MIMO)成像雷达技术，强调其在低成本高分辨率类似图像的雷达观测方面的潜力。它考察了可用的传感器、它们的设计方法论、感知稳健性以及当前MIMO雷达应用中的空白。此外，本工作探讨了通过稀疏和虚拟阵列配置实现大规模MIMO雷达的方法。本研究还考虑了该领域潜在的新功能和进展。关键主题包括信号处理和阵列配置设计，两者对于优化雷达性能都必不可少。此外，本文还讨论了各种挑战，并展示了推动4-D MIMO成像雷达系统创新的行业努力。
原文链接
面向多功能车辆的智能自动驾驶功能研究(UNICARagil)
原标题：Toward Intelligent Automated Driving Functionalities for Multipurpose Vehicles in UNICARagil
作者：Timo Woopen; Michael Buchholz; Matti Henning; Charlotte Hermann; Alexru Kampmann; Christian Kinzig
期刊：Proceedings of the IEEE
出版时间：2026/08/05
摘要：本文概述了自动化驾驶(AD)堆栈在UNICARagil研究项目中所作的开发贡献。它侧重于针对项目中开发的冗余和故障安全架构量身定制的软件设计的新颖性。我们专注于四个机电独立的传感器模块及其各自感知、跟踪和融合算法的实现，以及完全冗余规划架构的集成，该架构包括超驱动四轮90°线控转向驱动系统。智能云应用通过集体环境建模、行为规划和持续学习支持车载AD堆栈。UNICARagil展示了新型的电气和电子(E/E)架构以及面向服务的软件架构(SOA)，用于完全自动化和无人驾驶的特种软件定义车辆(SDVs)的操作。我们展示了车辆在没有安全驾驶员的情况下，在具有挑战性的混合交通场景中进行无人驾驶操作的能力。结果为未来专门用于AD的车辆架构设计铺平了道路，并已被广泛采用。
原文链接
以人为灵感的视角：关于AI长期记忆的研究综述
原标题：Human-Inspired Perspectives: A Survey on AI Long-Term Memory
作者：Zihong He; Weizhe Lin; Hao Zheng; Fan Zhang; Matt W. Jones; Laurence Aitchison
期刊：Proceedings of the IEEE
出版时间：2026/08/03
摘要：随着人工智能系统的迅速发展，它们存储、检索和长期利用信息的能力——被称为长期记忆——变得越来越重要。这些能力对于提升人工智能系统在广泛任务中的性能至关重要。然而，目前尚无系统地调查人工智能的长期记忆能力、构建理论框架并激发下一代人工智能长期记忆系统发展的全面调查。本文从介绍人类长期记忆机制开始，然后探讨人工智能的长期记忆机制，并建立两者之间的映射关系。基于识别出的映射关系，我们扩展了现有的认知架构，并提出了自适应长期记忆的认知架构（SALM）。SALM 为 AI 长期记忆的实践提供了理论框架，并具有指导下一代长期记忆驱动的 AI 系统创建的潜力。最后，我们探讨人工智能长期记忆的未来发展方向和应用前景。
原文链接
氢赋能多能源系统韧性增强综述
原标题：A Review of Hydrogen-Enabled Resilience Enhancement for Multienergy Systems
作者：Liang Yu; Haoyu Fang; Goran Strbac; Dawei Qiu; Dong Yue; Xiaohong Guan
期刊：Proceedings of the IEEE
出版时间：2026/07/29
摘要：确保多能源系统(MESs)的韧性已经变得越来越紧迫和具有挑战性，因为极端事件(如自然灾害、极端天气和网络物理攻击)的发生频率和严重程度正在增加。在增强MES韧性的各种方法中，氢气集成提供了跨时间、跨空间和跨行业灵活性以及黑启动能力的重要潜力。尽管已经为此领域投入了大量努力，但在氢气支持的制造执行系统（HMESs）韧性增强方面的系统性回顾仍然缺失。为解决这一缺口，本文提出了对HMES韧性增强的全面综述。首先，总结了与HMES韧性增强相关的优点、脆弱性及挑战。接下来，提出了一种针对HMES的增强韧性框架，基于该框架对现有的韧性指标和事件导向应急模型进行了回顾和讨论。规划措施然后根据氢相关设施的类型进行分类，包括不确定性处理方法、情景生成方法以及规划问题表述框架。此外，运营改进措施被分为三个响应阶段：预防，紧急应对和恢复。最后，指出了研究空白，并讨论了未来的研究方向，包括综合韧性度量设计，高级极端事件场景生成，复合极端事件下的时空网络物理连锁反应建模，跨多个网络和时间尺度的协调规划和运行，低碳韧性规划和运行，以及大型语言模型（LLM）辅助全过程韧性增强。
原文链接
先进微波扫描辐射计3（AMSR3）搭载于GOSAT-GW
原标题：The Advanced Microwave Scanning Radiometer 3 (AMSR3) Aboard GOSAT-GW
作者：Kazuya Inaoka; Hiroki Morita; Takeshi Miura; Misako Kachi; Rigen Shimada; Eri Yoshizawa
期刊：Proceedings of the IEEE
出版时间：2026/07/27
摘要：搭载温室气体和水循环全球观测卫星(GOSAT-GW)的先进微波扫描辐射计3(AMSR3)是先进微波扫描辐射计(AMSR)系列中的最新仪器，旨在延长对与全球水循环相关的地球物理变量的长期被动微波观测。AMSR3 继承了其直接前身AMSR2的通道配置，同时引入了额外的频率带，从而产生了21个通道，以响应新的用户需求。tool_call>คณะกรรม員請注意，您的輸入中似乎包含了一些格式或語法上的不一致，例如“继承了其直接前身AMSR2的通道配置，同时引入了额外的频率带，从而产生了21个通道，以响应新的用户需求。这句话在翻译结果中缺少了一个句点。以下是修正后的正确输出形式，请参考：{本文概述了AMSR3仪器，并总结了其初始在轨性能及校准和验证状态，同时介绍了计划中的数据产品。
原文链接
地球遥感与数据处理专题
原标题：Special Issue on Earth Remote Sensing and Data Processing
作者：Leung Tsang; Joel T. Johnson; Jiancheng Shi; Irena Hajnsek; Jeff Dozier
期刊：Proceedings of the IEEE
出版时间：2026/07/17
摘要：本期专题文章涵盖了主动和被动微波遥感领域（包括利用机会信号），光学传感以及人工智能/机器学习方法的应用。
原文链接
集成传感与通信收发器特刊：应对杂波、干扰和可重构性
原标题：Special Section on Integrated Sensing and Communication Transceivers: Addressing Clutter, Interference, and Reconfigurability
作者：Moeness Amin
期刊：Proceedings of the IEEE
出版时间：2026/07/15
摘要：本期特别专题介绍了采用多输入多输出收发信机的集成传感和通信系统的最新进展。
原文链接
突破200Gb/s及以上的电气传输系统屏障：通道设计、优化和验证
原标题：Breaking the Barrier of 200 Gb/s and Beyond for Electrical Transmission Systems: Channel Design, Optimization, and Verification
作者：Francesco de Paulis; Richard Mellitz; Bron T. Gore; Kemal Aygün; Ajay Balankutty; Luis Boluña
期刊：Proceedings of the IEEE
出版时间：2026/07/08
摘要：人工智能驱动的互联网和数据中心基础设施的迅速扩张正对下一代通信系统的物理层提出前所未有的要求。不断增长的带宽需求、更高的互连密度以及系统架构日益增加的复杂性正在推动对每通道超过200Gb/s运行的信号技术的需求。随着数据速率的继续提高，由于系统裕量减少、通道损耗增加、封装和互连效应以及噪声和抖动机制的影响日益增大，保持信号完整性变得越来越具有挑战性。这些挑战需要新的方法来进行通道设计、性能预测、优化和实验验证以确保系统的稳健运行。本工作对设计、优化、性能预测以及验证超过200Gb/s运行的通道的创新解决方案进行了全面分析。提出了一种信道操作余量（COM）方法的演变，以克服在更高信号速率下存在的准确性及适用性限制。下一代通道设计的关键方面进行了审查，包括印刷电路板(PCB)材料和损耗预算、封装互连结构和拓扑以及串行器/解串器(SERDES)架构，提供了可能使未来高速人工智能(AI)和数据通信系统得以实现的技术方法的全面概述。此外，对超过200Gb/s的信号实验验证相关的关键挑战进行了调查，特别是在噪声和抖动表征方面，并提出了建立可靠测量方法的相关解决方案。几个实际的测试案例被提出用于验证所提出的分析和验证技术。
原文链接
E-VLA：增强事件的视觉-语言-行动模型用于暗淡和模糊场景
原标题：E-VLA: Event-Augmented Vision-Language-Action Model for Dark and Blurred Scenes
作者：Mohamed Seliem; Utz Roedig; Mahin Ahmed; Raheeb Muzaffar; Damir Hamidovic; Armin Hadziaganovic
期刊：Proceedings of the IEEE
出版时间：2026/07/02
摘要：机器人视觉-语言-行动(VLA)模型在开放式操作中表现良好，但在极端低光、运动模糊和黑电平剪切等感知阶段退化的情况下，其感知能力脆弱。我们提出了E-VLA，一个事件增强的VLA框架，在传统基于帧的视觉不可靠时提高操作鲁棒性。E-VLA直接利用事件流中的运动和结构线索，在不利条件下保持语义感知和感知行动一致性，而不是从事件中重构图像。我们建立了一个开源遥操作平台，使用DAVIS346事件相机，并收集了跨多种任务和光照条件的真实世界同步RGB-事件-动作操作数据集。我们还提出了轻量级的、兼容预训练的事件集成策略，并研究了事件窗口化以实现稳定部署。实验表明，即使是一个无需参数调整的融合方法，即在RGB图像上叠加累积事件图，也能显著提高暗光和重模糊场景中的鲁棒性：在Pick-Place任务中，在20勒克斯光照条件下，成功率从0％（image-only）增加到使用叠加融合后的60%，再到使用我们的事件适配器后的90%；在严重的运动模糊情况下（1000 ms-exposure proxy），Pick-Place任务的成功率从0％提升至20-25%，Sorting任务的成功率从5％提升至32.5％。总体而言，E-VLA提供了系统证据表明事件驱动感知可以有效地融入VLA模型中，指向了超越传统帧基成像的稳健具身智能。代码和数据集将在https://github.com/JJayzee/E-VLA上提供。
原文链接
用于监测灾害、土地变形和沉降的先进陆地观测卫星-4（ALOS-4）
原标题：Advanced Land Observing Satellite-4 (ALOS-4) for Monitoring Disaster, Land Deformation, and Subsidence
作者：Yukihiro Kankaku; Yoshihisa Arikawa; Satoko Horiyama Miura; Takeshi Motooka; Keisho Itoh; Takamasa Itahashi
期刊：Proceedings of the IEEE
出版时间：2026/06/26
摘要：高级陆地观测卫星-4（ALOS-4）“大地-4”是ALOS-2“大地-2”的后续任务。ALOS-4于2024年7月1日由H3运载火箭发射升空。它携带了一种先进的L波段合成孔径雷达（SAR），名为相控阵型L波段SAR-3（PALSAR-3），以满足比ALOS-2更高的性能要求。观测带宽达到200公里，通过采用数字波束形成(DBF)技术，在保持高分辨率的同时，是ALOS-2上PALSAR-2的四倍宽。ALOS-4还搭载了船舶空间自动识别系统实验3（SPAISE3），这是ALOS-2上SPAISE2的继任者。SPAISE3 具有一个八元件天线和基于地面DBF系统的AIS信号处理方法，作为缓解船舶密集区域中AIS信号碰撞的一种手段。发射后，ALOS-4 完成了关键阶段和初始检查阶段，并且目前正在经历初始校准和验证。本文描述了ALOS-4当前状态及其未来利用情况。
原文链接
