微软宣布已经收购了Express Logic——一家相对低调但有影响力的软件制造商,其技术可以为全球大部分互联网连接的设备提供支持。
微软尚未披露这次收购的交易条款,不过考虑到Express Logic在互联设备生态系统中所扮演的突出角色,收购价格有可能是相当可观的。
Express Logic打造了ThreadX——一种专门用于功率受限的小型电子产品的操作系统,从智能灯泡到工厂中用于生产调度的工业控制系统,大多数应用中都可以找到ThreadX的身影。
ThreadX甚至被用于太空任务中——NASA选择了ThreadX为2005年从卡纳维拉尔角起飞的Deep Impact探测器提供动力。Express Logic方面称,自20多年前首次发布以来,ThreadX已经总计部署在62亿台设备上。
ThreadX平台最显着的特点是占用空间小,只需要几兆的存储空间即可安装,并且启动只需要不到120个处理器周期。
ThreadX将成为补充微软自主开发的Azure Sphere操作系统在互联设备领域的一个补充。Azure Sphere软件也相当轻巧,但对于某些低功耗系统来说可能过于耗费资源,这次收购正好填补了这一空白。
微软Azure IoT总监Sam George在博客文章中解释说:“我们会向客户推荐使用Azure Sphere实现最安全的云连接,但是Azure Sphere在高度受限的设备中无法使用,所以在这个领域我们会推荐使用Express Logic的ThreadX RTOS,而不是其他RTOS选项,因为它具有额外的认证以及与Azure IoT Hub的现成连接。”
IoT Hub是微软Azure公有云中的一套互联设备管理服务。收购完成后,微软可能会在ThreadX及微软云服务之间增加更多集成以推动企业采用Azure。
ThreadX目前也还在为AWS和Google云平台提供连机器,微软方面没有具体说明收购后是否会继续提供这些支持。
好文章,需要你的鼓励
TAE Technologies在最新一轮投资中获1.5亿美元,累计融资约18亿美元。公司利用 AI 技术优化融合反应堆设计,目标于 2030 年代商业化发电,谷歌等巨头均参与合作。
澳大利亚国立大学和广湾大学研究团队开发的VAU-R1系统通过强化学习显著提升了视频异常理解能力。该研究不仅创建了第一个专门用于训练和评估视频异常理解的思维链基准数据集VAU-Bench,还提出了一种数据高效的强化微调框架,使模型能更准确地回答问题、定位异常时间段并提供连贯解释。实验结果表明,VAU-R1在多项选择题准确率和时间定位方面比传统方法有显著提升,为安全监控、灾害预警等领域的智能系统带来了新的可能性。
Nvidia 正在全球数据中心推广 AI 芯片,其最新 Blackwell 架构在 MLPerf 基准测试中获得最高性能,大幅加速下一代 AI 应用的训练与部署。
这项研究由香港中文大学团队提出了视频-3D几何大语言模型(VG LLM),一种无需依赖显式3D数据输入,仅通过普通视频就能理解3D世界的创新方法。通过集成3D视觉几何编码器,该模型能从视频序列中提取3D先验信息,显著提升空间推理能力。实验表明,该4B参数模型在多项3D场景理解和空间推理任务上超越了现有技术,甚至在VSI-Bench评估中胜过Gemini-1.5-Pro。