Flights Between Iran and UAE Restart July 1
伊朗和阿拉伯联合酋长国 (U.A.E.) 之间的直飞航班将于 2026 年 7 月 1 日起恢复。在持续的区域冲突导致路线暂时中断后，两国之间的通道得以清理。尚未发布任何确认或评论 […]伊朗和阿联酋之间的航班于 7 月 1 日重新启动的帖子首先出现在旅行雷达 - 航空新闻上。
Types of Aircraft Engines and How They Work
777 和 Piper Cub 上的发动机都将空气向后推动以使其前进。但他们完成任务的方式却截然不同。了解这些发动机内部发生的情况只会让您成为更安全的飞行员。在本文中，我们将介绍每种主要的发动机类型，从往复式发动机开始，飞机发动机的类型及其工作原理首先出现在飞行员学院。
Airbus awarded Aeolus-2 wind sensing satellite contract
空中客车公司签署欧洲航天局的 Aeolus-2 合同，这是一颗多普勒测风激光雷达卫星，用于增强全球天气预报和大气观测。空中客车公司授予 Aeolus-2 风感卫星合同后，首先出现在 AeroMorning 上。
Daher Aircraft opens expanded support facility in France
Daher Aircraft 在法国开设了一个新的支持、维护和物流中心，扩大了为直升机、教练机和传统通用航空提供的服务。Daher Aircraft 在法国开设扩大后的支持设施首先出现在 AeroMorning 上。
Weapon Systems Annual Assessment: Requiring Mature Technologies Could Enable Shift to Rapid Delivery
GAO 的发现国防部 (DOD) 仍在努力在预算范围内快速交付技术。自上次年度评估以来，GAO 发现： 一些成本最高的主要国防采办计划 (MDAP) 的计划正在推迟临时事件和里程碑。国防部增加了对中间层采办 (MTA) 快速原型设计和部署途径的使用，预计在 5 年内完成。一些项目开始于 MTA 途径，其技术需要更多时间来开发，从而阻碍了基本功能的及时交付。项目并没有始终如一地遵循可以帮助国防部实现其既定目标的产品开发领先实践。 MDAP 中持续出现进度延迟，表明时间框架过于乐观。今年，交付功能的总体平均时间框架增加到了 12 年以上。此外，一些 MDAP 尚未设定新的交付日期或正在推迟关键的中
Firms allowed to hire immigrant manual laborers expand to hire more Americans
美国政府最近颁布了自1924年以来最大的移民政策转变。在限制未经授权的移民的同时，官员们面临着一个严峻的选择：为移民创造抵消性的合法渠道，或者也对合法移民关上大门。到目前为止，特朗普政府官员选择了对合法移民的最大限度的限制。他们削减、惩罚或暂停难民、学生、高技能工人和自费工人的合法入境。他们禁止了 39 个国家的大部分或全部签证。他们已将授权移民削减了超过……
Majority of Americans support banning social media for kids under 16
在主要人口和党派群体中，支持禁止 16 岁以下儿童使用社交媒体的美国人多于反对者。
VideoFlexTok: Flexible-Length Coarse-to-Fine Video Tokenization
视觉分词器将高维原始像素映射为下游建模的压缩表示。除了压缩之外，标记器还决定保留哪些信息以及如何组织信息。视频标记化事实上的标准方法是将视频表示为标记的时空 3D 网格，每个标记捕获原始信号中相应的局部信息。这需要使用令牌的下游模型（例如文本到视频模型）学习“逐像素”预测所有低级细节，而不考虑视频固有的复杂性，从而导致......
Multi-Agent Teams Hold Experts Back
多代理 LLM 系统越来越多地部署为自主协作者，其中代理可以自由交互，而不是执行固定的、预先指定的工作流程。在这种情况下，有效的协调无法提前完全设计，而必须通过互动来实现。然而，大多数先前的工作都是通过固定的角色、工作流程或聚合规则来强制协调，从而留下了一个问题：当协调不受限制时，自组织团队的表现如何。借鉴组织心理学，我们研究自组织法学硕士团队是否能实现强大的协同作用，其中......
Residual Context Diffusion Language Models
扩散大型语言模型 (dLLM) 已成为纯自回归语言模型的有前途的替代方案，因为它们可以并行解码多个标记。然而，最先进的分块 dLLM 依赖于“重新屏蔽”机制，该机制仅解码最有信心的令牌并丢弃其余令牌，从而有效地浪费了计算。我们证明，从丢弃的令牌中回收计算是有益的，因为这些令牌保留了对后续解码迭代有用的上下文信息。有鉴于此，我们提出了残余上下文扩散（RCD），该模块......
Anti-Causal Domain Generalization: Leveraging Unlabeled Data
领域泛化问题涉及学习预测模型，这些模型在部署到以前未见过的新环境中时对分布变化具有鲁棒性。现有方法通常需要来自多个训练环境的标记数据，当标记数据稀缺时限制了它们的适用性。在这项工作中，我们研究反因果环境中的领域泛化，其中结果导致观察到的协变量。在这种结构下，影响协变量的环境扰动不会传播到结果，这会促使模型对……的敏感性进行正则化。
Learning Structured Reasoning via Tractable Trajectory Control
大型语言模型可以表现出紧急推理行为，通常表现为重复出现的词汇模式（例如，“等待”，表示验证）。然而，在无约束采样中，复杂的推理轨迹仍然稀疏，并且标准强化学习通常无法保证获取多样化的推理行为。我们提出通过结构化推理来系统地发现和强化不同的推理模式，这种范式需要在强化学习过程中有针对性地探索特定的推理模式。为此，我们提出了 Ctrl-R，一个学习框架......
Learning Unmasking Policies for Diffusion Language Models
扩散（大型）语言模型 (dLLM) 现在在许多任务上与自回归模型的下游性能相匹配，同时有望在推理过程中提高效率。 dLLM 的一个关键设计方面是采样程序，该程序选择在每个扩散步骤中揭开哪些标记。事实上，最近的工作发现，与随机揭露相比，置信度阈值等启发式策略可以提高样本质量和令牌吞吐量。然而，这种启发式方法也有缺点：它们需要手动调整，而且我们观察到它们的性能......
Conformal Thinking: Risk Control for Reasoning on a Compute Budget
推理大型语言模型 (LLM) 可实现测试时间扩展，随着令牌预算的增加，数据集级别的准确性也会提高，从而激励自适应推理——在可靠性提高时使用令牌，并在额外计算不太可能有帮助时提前停止。然而，设置代币预算以及自适应推理的阈值是一项实际挑战，需要进行基本的风险与准确性权衡。我们将预算设置问题重新定义为风险控制，限制错误率，同时最大限度地减少计算量。我们的框架引入了一个上限，可以阻止......
MemoryLLM: Plug-n-Play Interpretable Feed-Forward Memory for Transformers
了解变压器组件在法学硕士中的工作原理非常重要，因为它是人工智能最新技术进步的核心。在这项工作中，我们重新审视了与前馈模块（FFN）的可解释性相关的挑战，并提出了 MemoryLLM，其旨在将 FFN 与自注意力解耦，并使我们能够将解耦的 FFN 作为上下文无关的 token-wise 神经检索记忆来研究。详细地，我们研究了输入标记如何访问 FFN 参数内的内存位置以及 FFN 内存在不同下游任务中的重要性。 MemoryLLM 实现...
Amortizing Maximum Inner Product Search with Learned Support Functions
最大内积搜索 (MIPS) 是机器学习中的一个重要子例程，需要识别数据库中获取的与给定查询最匹配的向量（键）。我们提出摊销 MIPS：一种基于回归的方法，训练神经网络直接预测 MIPS 解决方案，摊销重复解决来自固定密钥数据库上已知分布的查询的 MIPS 的成本。我们的主要见解是，MIPS 值函数是密钥集的支持函数，这是一个经过充分研究的凸函数，其梯度产生最佳密钥。这……
Plastic Composition Analysis Workshop: Identifying reference material, data, and measurement needs
这个为期两天的虚拟研讨会将汇集专家，以确定塑料成分分析中的关键挑战，其中参考材料、实验室间研究或文件标准开发将为美国带来重大价值
Aerial Measuring System: National Nuclear Security Administration’s elite aviation unit
由 3 架空中国王和 2 架莱昂纳多 AW139 组成的专业机队支持放射性监测。
