大和号关键词检索结果

基于梯度的长期世界模型规划

Gradient-based Planning for World Models at Longer Horizons

GRASP 是一种新的基于梯度的学习动态规划器(“世界模型”),它通过以下方式使长视野规划变得实用:(1) 将轨迹提升到虚拟状态,以便优化在时间上是并行的;(2) 直接向状态迭代添加随机性以进行探索;(3) 重塑梯度,以便动作获得清晰的信号,同时我们通过高维视觉模型避免脆弱的“状态输入”梯度。大型学习世界模型的能力越来越强。他们可以预测高维视觉空间中未来观察的长序列,并以几年前难以想象的方式概括任务。随着这些模型的扩展,它们开始看起来不再像特定于任务的预测器,而更像通用模拟器。但是拥有强大的预测模型并不等于能够有效地将其用于控制​​/学习/规划。在实践中,现代世界模型的长期规划仍然脆弱:优化变

英超:阿森纳主帅米克尔·阿尔特塔表示,现在这是一个新的联赛

EPL: It’s a new league now, says Arsenal manager Mikel Arteta

阿森纳主教练米克尔·阿尔特塔相信他的球员比以往任何时候都更有信心赢得英超联赛。尽管最近输给了曼城,但阿尔特塔认为球队的表现是一个积极的信号。他表示联赛仍然开放,还剩下五场比赛。

由于停火截止日期前紧张局势加剧,下一轮美伊谈判存在疑问

Next round of U.S.-Iran talks in doubt as tensions rise ahead of ceasefire deadline

由副总统万斯率领的美国代表团即将前往巴基斯坦,就近两个月的战争恢复与伊朗的谈判。伊朗官员对参加本轮会谈不置可否。特朗普总统也发出了复杂的信号,尽管他警告战争可能会持续下去,但他仍预测胜利。此前霍尔木兹海峡经历了一个紧张的周末。莉兹·兰德斯报道。

周一上午 10 点阅读

10 Monday AM Reads

我从旧金山早班火车回来的背上写着: • 美国的新税务口号:“国税局不会抓到我” 国税局的人员配置,看着税收合规崩溃。饱受打击的国税局裁掉了数千名执法人员,而更多的纳税人似乎急于作弊。这并不奇怪——这是一种选择,诚实的纳税人为……阅读更多 周一上午 10 点阅读的帖子首先出现在 The Big Picture 上。

免除消费税带来的财政困境

The fiscal quandary posed by waiving excise tax

随着千里之外的国际冲突演变成每天的实地生存之战,国会通过了第 12316 号共和国法案 (RA),旨在为能源危机提供救济。该法律于 2026 年 3 月 25 日签署,允许总统小费迪南德·马科斯 (Ferdinand R. Marcos, Jr.) 暂停或减少 [...] 的消费税

波尼市被指定为内布拉斯加州第 30 个住房和基础设施倡议领导力认证社区

Pawnee City Earns Designation as Nebraska’s 30th Leadership Certified Community for Housing, Infrastructure Initiatives

内布拉斯加州经济发展部 (DED) 认可波尼市(人口 835)在街道改善和购房者援助计划方面做出的战略努力。 4 月 13 日星期一,DED 内布拉斯加州东南部发展顾问 Dave Honz 向该市授予了领导力认证社区 (LCC) 计划的第一个称号。波尼市 [...]波尼市被指定为内布拉斯加州第 30 个住房、基础设施倡议领导力认证社区,该社区首先出现在内布拉斯加州经济发展部。

拿破仑的每日军事名言:“一名士兵会为了一点彩带而进行长期艰苦的战斗”

Military Quote of the Day by Napoleon: ‘A soldier will fight long and hard for a bit of colored ribbon’

要点与总结:“一个士兵会为了一点彩带而进行长期艰苦的战斗。”拿破仑·波拿巴于 1815 年 7 月 15 日在英国皇家海军柏勒罗丰号上与英国皇家海军上尉弗雷德里克·刘易斯·梅特兰交谈时做出了这一观察。梅特兰指挥着这艘 74 门火炮的战列舰,将战败的法国皇帝运送到流放地。随后,拿破仑发表了《每日军事名言》:“一名士兵将为了一点彩带而进行长期艰苦的战斗”,该名言首次出现在 19FortyFive 上。

“鱼雷命中”:如何一次又一次“击沉”美国海军航空母舰

‘Torpedo Hit’: How to ‘Sink’ A U.S. Navy Aircraft Carrier Over and Over Again

在 1999 年的一次北约演习(编号为 JTFEX/TMDI 99)中,一艘较旧的荷兰柴电潜艇 HNLMS 海象号 (S802) 偷偷越过了美国海军西奥多·罗斯福号航空母舰 (CVN-71) 令人印象深刻的护航舰阵列,并成功进入了这艘大型军舰的鱼雷射程内,令美国海军西奥多·罗斯福号 (CVN-71) 上的水兵感到震惊。荷兰柴电发电公司的帖子“鱼雷命中”:如何一遍又一遍地“击沉”美国海军航空母舰首先出现在 19FortyFive 上。

美国扣押违反封锁的悬挂伊朗国旗的货船

U.S. Seizes Iranian-Flagged Cargo Ship Violating Blockade

美国扣押了违反海上封锁的悬挂伊朗国旗的货船 M/V Touska,美国海军斯普鲁恩斯号航空母舰用 5 英寸 MK45 火炮开火,海军陆战队员登上该船。美国军方扣押了一艘悬挂伊朗国旗的货船 M/V Touska,该船于 4 月试图驶向伊朗港口。 [...]

USNI 新闻舰队和海军陆战队追踪:2026 年 4 月 20 日

USNI News Fleet and Marine Tracker: April, 20 2026

以下是根据海军和公开数据,截至 2026 年 4 月 20 日,美国海军在全球部署的航母打击群和两栖战备群的大致位置。如果 CSG 或 ARG 正在进行分类操作,图表会反映主力舰的位置。正在部署的总战斗力 291(USS 232、USNS 59) 104(USS 73、USNS 31)(37 FDNF、67 轮换) 92(61 部署、31 本地) 日本 乔治·华盛顿号航空母舰 (CVN-73) 停泊在日本横须贺港。在西太平洋,两栖攻击舰拳师号(LHD-4)正在关岛附近执行任务

美国扣押试图穿越霍尔木兹海峡封锁的伊朗集装箱船

U.S. Disables, Seizes Iranian Container Ship Attempting to Run Strait of Hormuz Blockade

美国中央司令部周日宣布,美国中央司令部部队登上并扣押了一艘受到美国财政部制裁的悬挂伊朗国旗的货船,当时该货船试图驶入伊朗港口。据中央司令部发布的消息,亚伯拉罕·林肯航母打击群的驱逐舰斯普鲁恩斯号 (DDG-111) 在阿拉伯海拦截了集装箱船 MV Touska (IMO: 9328900)。据称,这艘船当时正驶往伊朗阿巴斯港。美国中央司令部表示,斯普鲁恩斯的船员多次向该船喊话,命令该船遵守美国对伊朗港口的封锁。美国上周表示将扣押受制裁的船只。

世纪战争罪起诉:澳大利亚责任

War Crimes Prosecution of the Century: Australian Accountability

这篇精彩的文章由两位经验丰富、深思熟虑的陆军法官辩护人撰写,概述了本世纪真正可能的战争罪起诉中涉及的无数问题——不仅对澳大利亚,而且对全世界。虽然这位博学的律师的文章重点讨论了澳大利亚起诉本·罗伯茨-史密斯过程中的证据和其他与审判相关的挑战,但它适当地凸显了审判澳大利亚最受勋的在世退伍军人在战场上犯下的多项谋杀罪所面临的政治、社会和文化障碍。这种动态在许多(如果不是大多数)战争罪审判中都存在,考虑到罗伯茨-史密斯是一位被授予国家最高军事荣誉的国家战争英雄,它们在这里得到了类固醇的增强。如果美国军事界认为海豹突击队埃迪·加拉格尔几年前因涉嫌战争罪而被军事法庭审理的案件是一部为电视节目制作的节目,

600 次火箭着陆! SpaceX 在周日星链发射期间实现了另一个里程碑(视频)

600 rocket landings! SpaceX notches another milestone during Sunday Starlink launch (video)

4 月 19 日,运载 25 颗星链卫星的 SpaceX 猎鹰 9 号火箭从加利福尼亚州范登堡太空部队站升空。此次任务是猎鹰第一级的第 600 次着陆。

月球背面一瞥 | 2026 年 4 月 20 日当天的太空照片

A peek at the far side of the moon | Space photo of the day for April 20, 2026

阿耳忒弥斯 2 号宇航员在 2026 年 4 月历史性的飞越过程中捕捉到了月球“黑暗面”的独特图像。

NASA 耗资 200 亿美元建造永久月球基地的计划,涉及惊人的 73 次着陆

Inside NASA’s $20 Billion Plan to Build a Permanent Moon Base, Involving a Staggering 73 Landings

NASA 放弃了“门户”号以实现 73 次登月、商业火箭和地面基地。

科学家创造出可与真实脑细胞通信的印刷神经元

Scientists create printed neurons that communicate with real brain cells

科学家们创造了可以与真实脑细胞直接通信的人工神经元,为新的医疗设备和更高效的计算打开了大门。在西北大学的一项新研究中,工程师开发了灵活的低成本设备,可以产生与人脑相似的电信号。当对小鼠的脑组织进行测试时,这些科学家创造的打印神经元可以与真实的脑细胞进行通信,这些神经元首先出现在《Knowridge Science Report》上。

CVE-2023-33538 遭受攻击一年,但利用仍未成功

CVE-2023-33538 under attack for a year, but exploitation still unsuccessful

黑客针对旧 TP-Link 路由器中的 CVE-2023-33538 漏洞已经一年了,但迄今为止尚未发现成功利用该漏洞的情况。一年多来,黑客一直在尝试利用过时 TP-Link 路由器中的一个严重缺陷,编号为 CVE-2023-33538(CVSS 评分为 8.8),但迄今为止尚未成功。该漏洞是一个命令 [...]

瑞安航空航班改道飞往奥斯坦德,乘客在无人协助的情况下离开

Ryanair flight diverted to Ostend, passengers left without assistance

周日从米兰贝加莫飞往布鲁塞尔南沙勒罗瓦机场的瑞安航空 FR3659 航班(波音 737-800,注册号 9H-QCH)的乘客在延误的航班被转移到奥斯坦德-布鲁日国际机场后滞留过夜,航班于 00:45 降落在该机场,引发了对缺乏信息和援助的投诉。该航班原定于 19:40 起飞,起飞时间超过 [...]