倒进关键词检索结果

菲律宾航空承诺购买多达 20 架波音 787 梦想飞机

Philippine Airlines commits to up to 20 Boeing 787 Dreamliners

菲律宾航空公司在范堡罗国际航展上承诺订购多达 20 架波音 787 梦想飞机后,宣布计划对其长途机队进行现代化改造。该协议包括订购 15 架波音 787-10 飞机,并可选择购买另外 5 架飞机。梦想飞机加强运营 波音 787-10 将加入菲律宾航空公司 […]菲律宾航空公司承诺购买多达 20 架波音 787 梦想飞机的消息首先出现在《旅游雷达》-《航空新闻》上。

波音宣布重点关注生产,而非新订单

Boeing Announce Focus on Production, Not New Orders

据报道,美国飞机制造商波音公司在2026年范堡罗航展上强调将重点放在生产和改进上,而不是争取新订单。这是波音公司修复其声誉并提高其主要竞争对手空客公司表现的战略的一部分。严重积压 7 月 20 日,范堡罗机场 […]波音公司宣布专注于生产,而不是新订单的帖子首先出现在旅行雷达 - 航空新闻上。

一名志愿者在英国国家档案馆偶然发现了一份奇怪的文件。原来是 1776 年 7 月印刷的《独立宣言》的稀有副本

A Volunteer Stumbled Upon a Strange Document in the U.K. National Archives. It Turned Out to Be a Rare Copy of the Declaration of Independence Printed in July 1776

迈克尔·斯卡 (Michael Scurr) 是一名退休保险经纪人,他在对伦敦档案馆存放的 18 世纪信件进行编目时发现了这段文字。这是美国以外唯一已知的同类副本

长度价值模型:令牌级长度建模的可扩展价值预训练

Length Value Model: Scalable Value Pretraining for Token-Level Length Modeling

Token作为现代自回归模型的基本计算单位,生成长度直接影响推理成本和推理性能。尽管它很重要,但现有方法缺乏细粒度的长度建模,主要在粗粒度的序列级别上运行。在本文中,我们介绍了长度值模型(LenVM),这是一个令牌级框架,用于对每个解码步骤的剩余生成长度进行建模。通过将长度建模表述为价值估计问题,并为每个生成的代币分配恒定的负奖励,LenVM…

Kimi K3 – 全球最大的开放权重人工智能模型

Kimi K3 – the world’s largest open-weight AI model

中国Moonshot AI推出全球最大的开放权重人工智能模型Kimi K3,拥有2.8万亿个参数和100万个token上下文窗口。此次发布标志着开放人工智能领域的又一个重要里程碑,凸显了中国在人工智能前沿发展方面的快速进步,并加剧了与美国领先人工智能公司的全球竞争。

“充满希望的关注”:托德·布雷福格尔和希洛·布鲁克斯谈自由教育和自治

“Concern Filled with Hope”: Todd Breyfogle and Shilo Brooks on Liberal Education and Self-Government

7 月 8 日,Todd Breyfogle(阿斯彭研究所人文研究和实践高级顾问;阿斯彭-克恩高等教育领导力和品格项目)与 Shilo Brooks(乔治·W·布什总统基金会总裁兼首席执行官;南卫理公会大学政治学系实践教授)就“250 岁的美国:通识教育、自治……”帖子“充满关注”进行了座谈希望”:托德·布雷福格尔和希洛·布鲁克斯关于自由教育和自治的文章首先出现在阿斯彭研究所。

邻里音乐节能治愈社交孤立吗?

Can a neighborhood music festival cure social isolation?

“我走进去,觉得编织看起来平静而简单。这种幻觉持续了大约五分钟。“邻里音乐节可以治愈社交孤立吗?”这篇文章首先出现在阿斯彭研究所。

五角大楼网络安全计划的未来受到质疑

Future of Pentagon Cybersecurity Program Thrown into Question

国防部于 7 月 13 日宣布暂停其网络安全成熟度模型认证计划的第二阶段要求,并将对该工作进行为期 60 天的全面审查。

新唐人新闻:马克·桑顿博士谈社会主义为何行不通

NTD News: Dr. Mark Thornton on why Socialism Doesn't Work

人们对民主社会主义的兴趣日益浓厚,尤其是美国的年轻选民和进步政客。 《新唐人》与米塞斯研究所高级研究员马克·桑顿讨论了这一趋势。

人类行为学

Praxeology

没有图表,没有数据,没有实验——只有逻辑。大卫·戈登(David Gordon)探讨了奥地利经济学家如何从一个起点进行推理:人类的行为。

布法罗港疏浚开始;支持安全航行、经济和未来五大湖滨海湿地

Buffalo Harbor Dredging Starting; Supports Safe Navigation, the Economy and Future Great Lakes Coastal Wetland

美国陆军工程兵团将开始在布法罗港进行疏浚作业,以维护安全和通航的水道。

USAG Hawaii 继续维修供水系统,工作人员更换深井电机

USAG Hawaii continues water system repairs as crews replace deep-well motor

夏威夷斯科菲尔德军营 — 美国陆军驻夏威夷部队继续对向北部地区供水的深井泵系统进行重要维修,完整的...

陆军保障革命:加强保障战士职业

The Revolution of Army Sustainment: Strengthening the Sustainment Warfighter Profession

渐进变革的幻觉 在过去二十年的大部分时间里,陆军保障适应了战争的需求。从伊拉克和阿富汗到今天的...

装甲编队保障转型:在 ABCT 中构建空中投送能力

Transforming Sustainment for Armored Formations: Building Aerial Delivery Capabilities in the ABCT

斯巴达空中补给队 (SPAR) 正在通过吊索、战术无人机向第二装甲旅战斗队 (ABCT) 进行空中输送...

巴伐利亚建筑官员了解 USAG Ansbach

Bavarian Construction Officials get to know USAG Ansbach

德国安斯巴赫 - 美国陆军安斯巴赫驻地于 2026 年 7 月 6 日接待了来自巴伐利亚建筑当局的代表团,并进行了全天的挡风玻璃...

ASELSAN 在范堡罗展示集成无人机有效载荷生态系统

ASELSAN showcases integrated UAV payload ecosystem at Farnborough

[赞助] 从先进的电光和 AESA 雷达到电子战有效载荷和精确制导弹药,ASELSAN 展示了旨在提高下一代无人平台有效性的全面产品组合。

洛克希德公司推出更便宜的爱国者导弹,MBDA 展示低成本拦截机

Lockheed rolls out cheaper Patriot, MBDA showcases low-cost interceptor

新型 MBDA 武器在展会上以卡车安装配置展示,是该公司地面发射的先进短程空对空导弹 (ASRAAM) 的升级版,也可以集成在无人地面车辆或无人水面舰艇上。

新空军一号在安全问题后获得“最大”升级

New Air Force One to get ‘maxed out’ upgrades after security questions

特朗普周日在回答有关安全漏洞的问题时表示,卡塔尔捐赠的空军一号将被送去进行“极限”升级。