This 1979 Beechcraft Baron 58 Is a Long Distance-Traveling ‘AircraftForSale’ Top Pick
辅助燃料、六个座位、空调和高巡航速度使这款经典的轻型双缸车成为家庭旅行的有吸引力的车辆。
Ten years of the Airbus A220: from risky clean-sheet design to global success story
A220 项目最初是在加拿大米拉贝尔开发的庞巴迪 C 系列，标志着其 10 年里程碑，反映了从高风险的全新飞机项目到在五大洲运营的广泛使用的单通道喷气式飞机的长达十年的转变。该计划从多个飞行测试原型开始，其中包括“凤凰”，它象征着该飞机从早期被放弃的概念中重生，例如[...]
AvTalk Episode 377: About that low, low pass by the 777
在本周的 AvTalk 节目中，两次强烈地震在委内瑞拉造成了广泛的破坏和重大人员伤亡。我们研究援助如何到达该国以及对商业航空的影响。美国联邦航空局 (FAA) 正在调查一架 777 飞机低空飞过马蹄湾的事件。在一架小型飞机之后 […]AvTalk 第 377 集：关于 777 的低空飞行首先出现在 Flightradar24 博客上。
United Airlines New Boeing 787-9 Grounded Again Amid TCAS Failure
美国联合航空 (UA) 的最新高级波音 787-9 梦想飞机再次遭遇挫折，此前该飞机因交通警报和防撞系统 (TCAS) 问题而再次停飞。联合航空新型波音 787-9 因 TCAS 故障再次停飞的帖子首先出现在航空 A2Z 上。
Ashburton fling wings on Friday.
在我短暂的访问期间，有两架直升机出来。当我从航空俱乐部散步时，休斯 369D ZK-HDE3 c/n 610992D 被方便地从机库中推出。这款相当有趣的 D 型号于 1981 年 6 月在美国开始使用，并于 2006 年 8 月左右成为 N5016G，随后又成为 N317BM。它于 2006 年 8 月在新西兰注册。 2011 年 9 月 9 日，在阿德莫尔的 Oceania Aviation Ltd 注册为 ZK-HBZ3，仅 7 天，仅在 15 日重新注册为 ZK-HDE3，仍然在 Oceania，直到 2012 年 4 月 4 日在阿什伯顿的 Heli-Flightworks Ltd
Virgin Atlantic and Grey Goose launch miniature martini
维珍航空和灰雁公司合作打造了他们所说的“世界上最小的马提尼酒”，以纪念世界马提尼日，为旅客在希思罗机场 3 号航站楼俱乐部会所提供全新的优质飞行前体验。 Tiniest Tini 这种微型饮料被称为“Tiniest Tini”，是新合作的第一个成果[…]维珍航空和灰雁推出微型马提尼后，首先出现在旅行雷达 - 航空新闻上。
JetZero Takes Next Step Towards Blended Wing Aircraft
航空航天初创公司 JetZero 已开始建造第一架商用翼身融合 (BWB) 飞机。希望BWB技术能够减少每位乘客高达50%的燃油消耗。 JetZero 相信其原型机将在年底前准备好进行演示飞行。JetZero 迈向混合翼飞机的下一步的帖子首先出现在旅行雷达 - 航空新闻上。
Weapon Systems Annual Assessment: Requiring Mature Technologies Could Enable Shift to Rapid Delivery
GAO 的发现国防部 (DOD) 仍在努力在预算范围内快速交付技术。自上次年度评估以来，GAO 发现： 一些成本最高的主要国防采办计划 (MDAP) 的计划正在推迟临时事件和里程碑。国防部增加了对中间层采办 (MTA) 快速原型设计和部署途径的使用，预计在 5 年内完成。一些项目开始于 MTA 途径，其技术需要更多时间来开发，从而阻碍了基本功能的及时交付。项目并没有始终如一地遵循可以帮助国防部实现其既定目标的产品开发领先实践。 MDAP 中持续出现进度延迟，表明时间框架过于乐观。今年，交付功能的总体平均时间框架增加到了 12 年以上。此外，一些 MDAP 尚未设定新的交付日期或正在推迟关键的中
VideoFlexTok: Flexible-Length Coarse-to-Fine Video Tokenization
视觉分词器将高维原始像素映射为下游建模的压缩表示。除了压缩之外，标记器还决定保留哪些信息以及如何组织信息。视频标记化事实上的标准方法是将视频表示为标记的时空 3D 网格，每个标记捕获原始信号中相应的局部信息。这需要使用令牌的下游模型（例如文本到视频模型）学习“逐像素”预测所有低级细节，而不考虑视频固有的复杂性，从而导致......
Anti-Causal Domain Generalization: Leveraging Unlabeled Data
领域泛化问题涉及学习预测模型，这些模型在部署到以前未见过的新环境中时对分布变化具有鲁棒性。现有方法通常需要来自多个训练环境的标记数据，当标记数据稀缺时限制了它们的适用性。在这项工作中，我们研究反因果环境中的领域泛化，其中结果导致观察到的协变量。在这种结构下，影响协变量的环境扰动不会传播到结果，这会促使模型对……的敏感性进行正则化。
Learning Structured Reasoning via Tractable Trajectory Control
大型语言模型可以表现出紧急推理行为，通常表现为重复出现的词汇模式（例如，“等待”，表示验证）。然而，在无约束采样中，复杂的推理轨迹仍然稀疏，并且标准强化学习通常无法保证获取多样化的推理行为。我们提出通过结构化推理来系统地发现和强化不同的推理模式，这种范式需要在强化学习过程中有针对性地探索特定的推理模式。为此，我们提出了 Ctrl-R，一个学习框架......
Conformal Thinking: Risk Control for Reasoning on a Compute Budget
推理大型语言模型 (LLM) 可实现测试时间扩展，随着令牌预算的增加，数据集级别的准确性也会提高，从而激励自适应推理——在可靠性提高时使用令牌，并在额外计算不太可能有帮助时提前停止。然而，设置代币预算以及自适应推理的阈值是一项实际挑战，需要进行基本的风险与准确性权衡。我们将预算设置问题重新定义为风险控制，限制错误率，同时最大限度地减少计算量。我们的框架引入了一个上限，可以阻止......
On Robustness and Chain-of-Thought Consistency of RL-Finetuned VLMs
强化学习 (RL) 微调已成为增强推理密集型任务的大型语言模型 (LLM) 的关键技术，并推动其扩展到视觉语言模型 (VLM)。虽然经过 RL 调整的 VLM 改进了视觉推理基准，但它们仍然容易受到视觉基础薄弱、幻觉和过度依赖文本提示的影响。我们证明，简单的、受控的文本扰动——误导性的标题或不正确的思维链 (CoT) 痕迹——会导致鲁棒性和置信度大幅下降，并且当 CoT 一致性为……时，这些影响会更加明显。
California Senate Bill 813 highlights the need for a federal artificial intelligence framework
虽然参议院 813 号法案包含了一些建设性的想法，但它设想的标准类型和审计框架更适合联邦层面。加州参议院 813 号法案强调了对联邦人工智能框架的需求，该框架首先出现在 Reason Foundation 上。
GAO 发现自 2017 年以来，国土安全部 (DHS) 联邦紧急事务管理局 (FEMA)、住房和城市发展部 (HUD) 以及能源部 (DOE) 已为波多黎各的电网恢复和现代化拨款约 140 亿美元，但已拨付的资金有限。自 2017 年以来，FEMA 已支付约 111 亿美元中的约 27 亿美元，主要用于设备和材料以及建筑和工程。除 FEMA 外，HUD 和 DOE 分别承担了约 23 亿美元和 9.37 亿美元的义务。然而，这些资金大部分尚未支付。此外，能源部重新分配或取消了约 7.15 亿美元，最初用于社区和低收入家庭的太阳能项目，以解决电网稳定性和其他尚未确定的需求。利用联邦援助，在关键
Former Russian Space Entrepreneur Producing Long-Range Missiles for Ukraine
内容提要：Destinus 是俄罗斯第一家私营航天公司创始人米哈伊尔·科科里奇 (Mikhail Kokorich) 旗下的公司，已开始为欧洲和乌克兰生产远程导弹。 2024年1月，科科里奇放弃了俄罗斯国籍。自 2022 年以来，Destinus 一直向乌克兰和欧洲国家供应无人机和小型导弹。它希望补充昂贵的西方导弹，[…]前俄罗斯太空企业家为乌克兰生产远程导弹的帖子首先出现在詹姆斯敦。
Assisted Living Facilities: Information on Federal Spending and Medicaid Coverage
GAO 发现的内容辅助生活设施为需要饮食和洗澡等日常生活活动帮助的人提供了家庭护理和疗养院的住宿替代方案。GAO 对计划数据的分析显示，2024 年联邦医疗补助和医疗保险用于辅助生活设施提供的服务的支出总额至少为 120 亿美元。由于数据限制，这一金额可能被低估。例如，辅助生活设施不是统一定义的提供者类型，因此数据中的标识不一致。联邦医疗补助支出。 GAO 确定，到 2024 年，联邦医疗补助支出将至少有 35 亿美元用于辅助生活设施中提供的服务。州医疗补助计划可能涵盖辅助生活服务，即协助日常生活活动和辅助生活设施中提供的其他支持服务，以及物理治疗等其他服务。医疗保险支出。 GAO 确定，到
