XiaoMi-AI文件搜索系统
World File Search System率先
NSIN Vector 2024 作品集
在 Apiary，我们正在开发软件和硬件，使单个机器人能够在大型群体中自主协作，解决更复杂的问题。受大自然的启发，我们的群体技术增强了每个单元的能力，将地面和空中资产整合成一个多功能且有弹性的系统。我们的技术应用于国防、农业、灾难响应和太空探索，在广阔或危险的环境中蓬勃发展。我们率先采用智能团队来提升现有系统，开创机器人创新的协作时代，优先考虑集体努力而不是个人努力。
航空的未来 - ICAO
Skydio 的创始人是十年前在麻省理工学院攻读研究生时率先开创无人机自主飞行的研究人员，他们汇聚了顶尖大学的研究团队和硅谷最好的消费电子团队，是全球空中自主飞行领域的领导者。Skydio 无人机能够通过基于计算机视觉的全方位感知和避障功能，在建筑物附近和 GPS 无法探测的环境中安全飞行。客户信赖基于 Skydio 无人机的解决方案，这些解决方案能够实现更高质量的数据采集，以用于检查、测绘和态势感知任务。
可再生能源技术 第一单元
太阳能应用以环保的方式满足了数百万印度人的烹饪、照明和其他能源需求，使之受益匪浅。在太阳能解决方案方面取得巨大成功后，印度率先成立了国际太阳能联盟 (ISA)，这是一个以行动为导向、以成员为驱动力的协作平台，旨在增加太阳能技术的部署。ISA 的成员资格对联合国所有成员国开放，目前已有 107 个国家签署了 ISA 框架协议。该联盟旨在有效利用太阳能，减少对化石燃料的依赖，从而创造一个更加绿色的地球。
通过芯片组创新的一流雷达表现
Arbe（NASDAQ：ARBE）是全球感知雷达解决方案的领导者，正在率先进行一场雷达革命，从而使当今真正安全的驾驶员辅助系统在铺平道路上铺平道路。Arbe的雷达技术比市场上的任何其他雷达高100倍，并且是L2+和更高自主权的关键传感器。该公司正在授权汽车制造商，Tier-1供应商，自动企业，商业和工业车辆以及各种安全应用程序，并具有高级感应和改变范式的感知。Arbe总部位于特拉维夫，以色列以及中国，德国和美国的办事处。
勘探公司选择Skytrac Iridiumcertus®
SkyTrac [MD2]是航空公司的全方位服务，数据驱动的解决方案提供商，为固定翼，旋翼和无人航空市场提供服务。自1986年以来，SkyTrac率先开发了飞行，飞行数据和通信技术的发展，演变和商业化。今天，拥有900多个机身和在线数据管理门户网站的系统认证，这是7,500多名全球用户的首选工具，SkyTrac确实是数据引导的业务见解的首选合作伙伴。从性能趋势和运营报告到实时资产跟踪和情境意识 - SkyTrac提供了对
经过形式化验证的基于 SAT 的 AI 规划
简介：不同的规划竞赛 (Long 等人 2000；Coles 等人 2012；Vallati 等人 2015) 表明，规划系统正变得越来越可扩展和高效，使其适合实际应用。由于规划的许多应用都是安全至关重要的，因此提高规划算法和系统的可信度对于它们的广泛采用至关重要。因此，目前正在做出大量努力来提高规划系统的可信度 (Howey、Long 和 Fox 2004；Eriksson、R¨oger 和 Helmert 2017；Abdulaziz、Norrish 和 Gretton 2018；Abdulaziz 和 Lammich 2018)。提高软件的可信度是一个研究得很透彻的问题。文献中尝试了三种方法 (Abdulaziz、Mehlhorn 和 Nipkow 2019)。首先，通过应用软件工程技术，例如在正确的抽象层次上编程、代码审查和测试，可以提高系统的可信度。虽然这些做法相对容易实现，但它们并不完整。其次，有认证计算，给定的程序除了计算其输出外，还要计算一个证书，说明为什么这个输出是正确的。这将可信度的负担转移到证书检查器上，证书检查器应该比要认证其输出的系统简单得多，因此不容易出错。认证计算是由 Mehlhorn 和 N¨aher 于 1998 年率先提出的，他们将其用于他们的 LEDA 库。在规划领域，这种方法是由 Howey、Long 和 Fox 率先提出的，他们开发了规划验证器 VAL（Howey、Long 和 Fox 2004）。此外，认证规划的不可解性是由 Eriksson 率先提出的，
伊顿真空中断技术 (EVI)
2005 (E) 创建 80 kA VI 2004 (E) VI 在宾夕法尼亚州查尔方特的 KEMA Powertest 实验室中用于辅助断路器 2003 (E) 设计 63 kA VI，并在 5000 A VI 下成功测试 2003 (E) 收购 Holec 品牌技术 2002 (E) 在中国苏州建立 VI 制造厂 2002 (E) VI 在意大利米兰的 CESI 测试实验室中用于 15 和 38 kV 辅助断路器 2001 (E) 开发发电机断路器 VI 1999 (E) 为中国市场推出 Wave 陶瓷 VI 1995 (E) 实施专用 VI 接触器生产线 1992 (E) 收购 Westinghouse DCBU* 技术*（配电控制业务部门） 1988 (W) 率先推出 40 kA AMF VI 1986 (W) 推出 38 kV AMF VI 1985 (W) 开始生产 1.5 kV 320 A 接触器 1982 (H) 首款封装 VI 组件获得认证 1977 (W) 开发 72 kV VI 1975 (H) Holec 开始商业销售 VI 1970 (W) 设计 15 kV 的 LBS 1970 (W) 设计初始 AMF 触点结构 1968 (W) 率先研发 Cu-Cr 触点材料 1968 (W) 创建用于重合器应用的 VI 1967 (W) 交付首批商业生产的中压 VI 1965 (W) 首创 VI 批量生产工艺 1960 (H) Holec 开始真空研究 1940 (W) 开发长寿命真空技术
利用人工智能的力量推动零售业发展：第 1 部分
他们率先使用物联网、机器人、无人机、自动导引车 (AGV) 和自主移动机器人 (AMR) 来提高效率和实现体验转型。以客户为中心的技术旨在实现个性化、便利性、快速交付和超高效率，这促使零售企业倡导采用人工智能和其他数字技术来应对现代商业的复杂性。零售业人工智能的发展可以从基础自动化（简化库存管理和订单处理等任务）到更复杂的应用（如机器人流程自动化 (RPA)）来追溯。然而，随着消费者行为和市场动态的不断发展，对高级人工智能解决方案的需求也变得越来越明显。
共同前进 IFB 战略 2023-25
2021 年，超过 1500 万人观看了我们的 Crash for Cash 公关宣传活动，重点介绍了英国最热门的地点，在所有印刷、在线新闻、广播和电视上产生了 600 多篇媒体报道。2022 年，我们通过后续公关活动扩展了这一活动，重点介绍了区域热点。这得到了广泛的全国媒体报道，包括 ITV 新闻和影响深远的区域媒体报道。我们还率先开展了一项公众意识活动，强调参加 IFR 的后果，该活动在 BBC Radio 4 上播出，并得到了广泛的媒体报道。
