NI关键词检索结果

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

USNI News Fleet and Marine Tracker: June 15, 2026

以下是根据海军和公开数据,截至 2026 年 6 月 15 日,美国海军在全球部署的航母打击群和两栖战备群的大致位置。如果 CSG 或 ARG 正在进行分类操作,图表会反映主力舰的位置。正在部署的总战力 292(USS 233、USNS 59) 103(USS 73、USNS 30)(37 FDNF、66 轮换) 87(66 部署、21 本地)在菲律宾海 乔治·华盛顿号航空母舰(CVN-73)正在菲律宾海进行春季巡逻。在南海两栖

JNIM 在与 ISSP 的自相残杀战争中升级萨赫勒攻势

JNIM Escalates Sahelian Offensives Amid Fratricidal War with ISSP

摘要:4 月 6 日,伊斯兰国 (IS) 通讯社阿玛克 (Amaq) 发布了其萨赫勒附属机构萨赫勒省伊斯兰国 (ISSP) 的一份声明。该组织在声明中声称在尼日尔西部蒂拉贝里地区杀死了 35 名与基地组织结盟的穆斯林努斯拉特伊斯兰大会 (JNIM) 武装分子。 ISSP 还声称已缴获了 30 多艘 […]JNIM 在与 ISSP 的兄弟相残战争中升级萨赫勒攻势后,首先出现在詹姆斯敦。

纠正 NIH 巨大的资金失衡

Correcting a Huge Funding Imbalance at NIH

Ross Pomeroy,RealClearScience 美国国立卫生研究院的使命是“寻求有关自然的基础知识......

NIH 科学家对向美国走私猴痘病毒的行为表示无罪

NIH scientists plead not guilty to smuggling monkeypox viruses into U.S.

被告因刑事指控面临监禁,但样本可能已全部灭活并用于常规诊断

NIST 数学证明支持人工智能系统向持续监控和更新安全模型的过渡

NIST Mathematical Proof Supports Transition to a Continuous-Monitor-and-Update Security Model for AI Systems

该证明将著名数学家库尔特·哥德尔 (Kurt Gödel) 使用的逻辑扩展到人工智能,他的不完备性定理对数学产生了近一个世纪的深远影响。

致谢

Acknowledgments

这是皮尤研究中心的皮尤-奈特倡议 (Pew-Knight Initiative) 报告,该倡议是由皮尤慈善信托基金 (Pew Charitable Trusts) 以及约翰·S. 和詹姆斯·L. 奈特基金会 (John S. and James L. Knight Foundation) 联合资助的一项研究项目。在线查找相关报告:https://www.pewresearch.org/pew-knight/。主要研究员 Elisa Shearer,高级研究员Luxuan Wang,研究员 Katerina Eva Matsa,新闻与信息研究总监 Michael Lipka,新闻副总监 [...

肉毒杆菌疗法:慢性偏头痛得到控制

Ботулинотерапия: хроническая мигрень под контролем

由医学博士、Nacimbio Holding 科学顾问 Igor Nikitin 讲述

A. Voronin、A. Kormishin(ROBOPRO/DOKA ROBOTS Group):“我们现在正在生产数百台机器人,并设定了生产数千台机器人的目标”

А. Воронин, А. Кормишин (ГК РОБОПРО/ DОКА РОБОТС): «Сейчас мы выпускаем сотни роботов и ставим цель выйти на тысячи»

今年5月,ROBOPRO集团推出了协作机器人(cobots)新品牌DOKA ROBOTS。它的展示在金属加工行业最重要的国内盛会 Metalworking 2026 展会上进行。请阅读我们对 ROBOPRO 集团公司技术总监 Alexander Voronin 和营销部门负责人 Alexander Kormishin 的采访,详细了解其外观背后的内容以及将新品牌推向市场的战略目标是什么。

卡卢加 InterMash 工厂案例:“带有机器视觉模块的金矿企业自动化采样系统”

Кейс завода «ИнтерМаш» г. Калуга: «Автоматизированная система отбора проб для золотодобывающего предприятия с модулем машинного зрения»

4月底,在上届 MiningWorld Russia 2026 展会上,Polyus Aldan 金矿企业的新型自动化采样系统在“机器人和自动驾驶车辆 (ATC)”类别中亮相。该解决方案被公认为“实用进口替代”类别的获胜者,实际上减少了 70% 以上的体力劳动,将获得分析的时间减少了近三分之一。

Aerialtronics 通过 3D 打印加快无人机生产

Aerialtronics ускорили производство дронов благодаря 3D-печати

与无人机相关的技术持续快速发展,而这个话题也引发了公众从喜悦到恐惧的各种情绪。荷兰公司 Aerialtronics 的首席开发人员 Joost Heesemans 是该领域进展的负责人之一。

“州可能在 SNAP 福利危机中发挥自己的作用” – 州议会新闻

“State may be playing its own role in unfolding SNAP benefit crisis” – State House News

作者:艾莉森·库兹尼茨 (Alison Kuznitz),2026 年 7 月 14 日 州长莫拉·希利 (Maura Healey) 签署新的国家预算几天后,粮食安全倡导者已经要求提供补充资金,以支持劳动力,帮助弱势居民获得 SNAP 福利。在他们的预算中,希利和参议院都为部门的社会工作者寻求约 1.48 亿美元。“州可能在 SNAP 福利危机中发挥自己的作用”一文——州众议院新闻首先出现在马萨诸塞州预算和政策中心。

压倒性胜利之后:2025 年大选以来的澳大利亚政治

After the landslide: Australian politics since the 2025 election

理查德·丹尼斯 (Richard Denniss) 和艾米·雷梅基斯 (Amy Remeikis) 讨论了自工党在选举中取得压倒性胜利以来澳大利亚政治格局发生的巨大变化。《压倒性胜利之后:自 2025 年大选以来的澳大利亚政治》一文首先出现在澳大利亚研究所上。

使用 Amazon Bedrock AgentCore 和 Amazon Nova 2 Sonic 构建餐厅电话 AI 主机

Building a restaurant telephony AI host with Amazon Bedrock AgentCore and Amazon Nova 2 Sonic

在这篇文章中,我们将向您展示如何构建一个语音订购系统,该系统可以接听电话号码并接受从问候到确认的订单。该系统使用 Amazon Bedrock AgentCore 托管和运行代理,并使用 Amazon Nova 2 Sonic 进行实时语音,并通过模型上下文协议 (MCP) 连接到餐厅后端。本演练涵盖使用 AWS 云开发套件 (AWS CDK) 部署完整堆栈,以及通过 Amazon Elastic Container Service (Amazon ECS) 和 AWS Fargate 上的会话启动协议 (SIP) 网关将电话呼叫桥接至代理。当电话仍在响铃时,它还能温暖座席会话,因此呼叫者永远

Saronic 今年将在德克萨斯州开始建造新造船厂

Saronic to start constructing new shipyard in Texas this year

该公司今天宣布,该造船厂将专注于国防和商业船舶。

欧洲公司计划在 2027 年测试大气层外拦截器

European firms plan exo-atmospheric interceptor for 2027 test

Bliksem EXO 旨在通过分离和机动再入飞行器击败弹道威胁,包括俄罗斯中程 Oreshnik 导弹。

新的软件生命周期

The New Software Lifecycle

以下文章最初出现在 Addy Osmani 的博客上,经作者许可在此重新发布。我与他人共同撰写了一份关于人工智能如何改变软件生命周期的谷歌白皮书。我不打算总结整个事情。相反,这里有一些我认为实际上很重要的想法,加上六位数 [...]

香草、肉丸 + Cooley's 固定费用 - 与 David Wang

Vanilla, Meatballs + Cooley’s Flat Fees – with David Wang

Cooley 的基金组建平台 Vanilla 现在提供其工作的关键要素——转账——固定费用为 495 美元。 AL 与...

扑动的机器人像潜水鸟一样游泳和飞行

A flapping robot swims and flies like a diving bird

图片版权:Raphael Zufferey。作者:Jennifer Chu 潜鸟、海鸥、海雀和海燕是 100 种既能飞又能游泳的鸟类之一。这些潜水鸟可以跳入水中游泳追捕猎物,然后跳回空中飞走。现在,受到这些自然水生飞行员的启发,工程师们 [...]