- 论文公开站arXiv
多量子阱二维钙钛矿的快中子闪烁
Fast-Neutron Scintillation with Multi-Quantum-Well 2D Perovskites
摘要显示,研究者提出一种层状二维铅卤钙钛矿闪烁体的合成策略,可独立调控宏观探测器几何与微观相组成,制备出毫米级厚度、大面积的多量子阱结构闪烁体,在保持纳秒级发光动力学的同时实现有效光谱分离。该闪烁体在137Cs 662 keV辐照下能量分辨率为5.4%,并在氘-氘聚变中子辐照下通过脉冲形状甄别实现中子与γ射线事件分离,品质因数达3.51。
意义:为快中子探测提供可扩展的二维钙钛矿材料平台,兼具纳秒响应与中子/γ甄别能力,对核安全与辐射探测硬件开发有参考价值。
- 论文公开站arXiv
工作空间模型:基于显著性驱动监督的轻量机器人记忆
Workspace Models: Lightweight Robotic Memory via Saliency-Driven Supervision
摘要显示,该论文提出「workspace token」表示,在训练阶段用 VLM 识别任务所需的当前与历史信息,并通过集合重建解码器损失蒸馏为轻量潜变量记忆,部署时可直接替代观测输入,无需在环 VLM 推理。仿真与硬件实验表明,该方法在记忆密集型任务上不仅更轻量,策略性能也更好。
意义:为机器人策略记忆提供训练期蒸馏、部署期轻量化的思路,降低对 VLM 在线查询的算力依赖,利于实时长时程操作落地。
- 论文公开站arXiv
FreqSpaNet:用于物理层硬件完整性检测的SFPF频率与空间学习
FreqSpaNet: Frequency and Spatial Learning of SFPF for Physical Layer Hardware Integrity Detection
摘要显示,未经授权的硬件替换可在保留无线设备逻辑身份的同时改变其物理实现,给硬件完整性验证带来挑战。时空频极化指纹(SFPF)能捕获设备在多个频率与方向上的响应,但其频域与空域维度具有不同的结构依赖关系。为此作者提出 FreqSpaNet,一个用于开集硬件异常检测的 SFPF 表征学习网络:频率分支捕获相邻频率间的局部变化,几何感知空间分支利用角度信息建模方向关系,两者经自适应融合并结合互补预训练。实验显示其平均 AUROC 达 96.…
意义:为无线设备硬件完整性验证提供频域-空域联合表征方法,对物理层安全与设备身份认证研究有参考价值。
- 论文公开站arXiv
重新思考测试时训练的表示能力与效率:E²-TTT 方法
Rethinking Expressivity and Efficiency in Test-Time Training
摘要介绍了一种名为 E²-TTT 的新方法,旨在平衡测试时训练(TTT)中逐 token 更新动态的表示能力与分块近似的硬件效率。该方法在标准近似下推导出闭式状态转移,精确复现逐 token 循环的块端快速权重和动量状态,实现完全并行化的块级训练,同时保留先前分块方法丢弃的时间结构。通过在最多 1.3B 参数模型上的验证,E²-TTT 在语言建模上与现有 TTT 和混合注意力基线相当,但在上下文检索上表现更优,尤其在长度外推上优势显著,…
意义:E²-TTT 为长上下文处理提供了兼顾表示能力与硬件效率的解决方案,有望提升语言模型在长序列任务中的性能,并推动 TTT 方法的实际应用。
- 论文公开站arXiv
AI从应用到硅片的权威验证:一人五周流片RISC-V,零人工审查
AI with Authority, from Application to Silicon
摘要显示,生成式AI使机器验证从昂贵开销变为高效必需。一名研究人员在五周内,利用消费级AI订阅,指挥AI代理从应用代码经验证编译器到RISC-V处理器流片,全程无人工审查、无人工编写RTL。所采用的Salt方法基于证明内核,杜绝幻觉证明,验证从Lean 4内核到硅边界SAT检查逐环相扣。记录显示错误账本编号至#256,零错误证明进入记录。
意义:展示AI代理在硬件设计中的可靠协作范式,验证自动化证明与人类监督的结合,对提升AI开发效率与信任度有指导意义。