首页 > 见闻 > 关键词  > 微软最新资讯  > 正文

微软收购 Express Logic 物联网系统公司,加速布局 IoT

2019-04-19 10:34 · 稿源:站长之家

站长之家(ChinaZ.com) 4 月 19 日消息:微软今天宣布收购物联网实时运营系统公司 Express Logic,以帮助其进军物联网。

图片来源图虫:已授站长之家使用

据悉,Express Logic 有超过 62 亿部设备都部署了其 ThreadX RTOS 系统,也是全球部署最多的 RTOS 之一。它是一家拥有 23 年历史的位于加利福尼亚州圣地亚哥的物联网(IoT)实时操作系统(RTOS)和微控制器单元(MCU)开发商。

此前微软官方表示,将在未来四年投入 50 亿美元用于物联网研究、产品、服务和新项目上。

举报

  • 相关推荐
  • 大家在看
  • PaperVision:自定义OpenCV算法的用户友好节点编辑器

    PaperVision是一个受Blender和Unreal Engine蓝图启发的用户友好的节点编辑器,用于创建自定义OpenCV算法。它允许用户快速原型设计视觉算法,并在编辑时提供实时预览。PaperVision旨在与EOCV-Sim集成,作为后端引擎,允许在节点编辑器中实时可视化处理流程。

  • Resticker.ai:使用AI技术快速创建个性化贴纸。

    Free AI Sticker Generator是一个在线平台,利用人工智能技术帮助用户无需设计技能即可快速创建个性化贴纸。用户只需输入描述或上传图片,AI即可生成多种风格的贴纸。这个工具适合设计师、个人、营销人员、小型企业和初创公司使用。产品的主要优点包括无需设计技能、快速创建、完全定制和高分辨率输出。

  • OuteTTS:一个实验性的文本到语音模型

    OuteTTS是一个使用纯语言建模方法生成语音的实验性文本到语音模型。它的重要性在于能够通过先进的语言模型技术,将文本转换为自然听起来的语音,这对于语音合成、语音助手和自动配音等领域具有重要意义。该模型由OuteAI开发,提供了Hugging Face模型和GGUF模型的支持,并且可以通过接口进行语音克隆等高级功能。

  • GenXD:生成任何3D和4D场景的先进框架

    GenXD是一个专注于3D和4D场景生成的框架,它利用日常生活中常见的相机和物体运动来联合研究一般的3D和4D生成。由于社区缺乏大规模的4D数据,GenXD首先提出了一个数据策划流程,从视频中获取相机姿态和物体运动强度。基于此流程,GenXD引入了一个大规模的现实世界4D场景数据集:CamVid-30K。通过利用所有3D和4D数据,GenXD框架能够生成任何3D或4D场景。它提出了多视图-时间模块,这些模块分离相机和物体运动,无缝地从3D和4D数据中学习。此外,GenXD还采用了掩码潜在条件,以支持多种条件视图。GenXD能够生成遵循相机轨迹的视频以及可以提升到3D表示的一致3D视图。它在各种现实世界和合成数据集上进行了广泛的评估,展示了GenXD在3D和4D生成方面与以前方法相比的有效性和多功能性。

  • FLUX.1-dev LoRA Outfit Generator:基于文本生成服装图像的AI模型

    FLUX.1-dev LoRA Outfit Generator是一个文本到图像的AI模型,能够根据用户详细描述的颜色、图案、合身度、风格、材质和类型来生成服装。该模型使用了H&M Fashion Captions Dataset数据集进行训练,并基于Ostris的AI Toolkit进行开发。它的重要性在于能够辅助设计师快速实现设计想法,加速服装行业的创新和生产流程。

  • Squire AI:代码审查新方式,提升代码质量和一致性。

    Squire AI是一个代码审查和质量平台,它通过人工智能技术帮助团队提高代码质量,确保代码遵循团队的最佳实践。用户可以自定义规则,Squire AI将根据这些规则审查代码。它支持自然语言描述规则,使得规则创建和代码审查更加直观和便捷。Squire AI的主要优点包括快速迭代、代码一致性提升、自动化的质量检查和无需上下文切换的即时沟通。产品背景信息显示,Squire AI旨在帮助团队更高效地进行代码审查,减少人为错误,加快代码部署速度。

  • OuteTTS-0.1-350M:一款通过纯语言模型实现的文本到语音合成模型

    OuteTTS-0.1-350M是一款基于纯语言模型的文本到语音合成技术,它不需要外部适配器或复杂架构,通过精心设计的提示和音频标记实现高质量的语音合成。该模型基于LLaMa架构,使用350M参数,展示了直接使用语言模型进行语音合成的潜力。它通过三个步骤处理音频:使用WavTokenizer进行音频标记化、CTC强制对齐创建精确的单词到音频标记映射、以及遵循特定格式的结构化提示创建。OuteTTS的主要优点包括纯语言建模方法、声音克隆能力、与llama.cpp和GGUF格式的兼容性。

  • Chat.com:交互式对话AI模型,提供问答和文本生成服务

    ChatGPT是由OpenAI训练的对话生成模型,能够以对话形式与人互动,回答后续问题,承认错误,挑战错误的前提,并拒绝不适当的请求。OpenAI日前买下了http://chat.com域名,该域名已经指向了ChatGPT。ChatGPT它是InstructGPT的姊妹模型,后者被训练以遵循提示中的指令并提供详细的回答。ChatGPT代表了自然语言处理技术的最新进展,其重要性在于能够提供更加自然和人性化的交互体验。产品背景信息包括其在2022年11月30日的发布,以及在研究预览期间免费提供给用户使用。

  • Lightning:世界上最快的文本到语音模型

    Lightning是由smallest.ai开发的最新文本到语音模型,以其超快速度和小巧的体积在多模态AI中突破了性能和尺寸的界限。该模型支持英语和印地语等多种口音,并计划迅速扩展更多语言。Lightning的非自回归架构使其能够同时合成整个音频剪辑,与传统的自回归模型相比,后者需要逐步生成音频。Lightning的主要优点包括生成速度快、模型体积小、支持多语言和快速适应新数据。产品背景信息显示,Lightning的推出旨在帮助语音机器人公司大幅降低延迟和成本,通过简化其架构。价格方面,Lightning的定价从每分钟0.04美元起,对于每月使用超过100,000分钟的企业客户,提供定制定价方案。

  • Aquila-VL-2B-llava-qwen:视觉语言模型,结合图像和文本信息进行智能处理。

    Aquila-VL-2B模型是一个基于LLava-one-vision框架训练的视觉语言模型(VLM),选用Qwen2.5-1.5B-instruct模型作为语言模型(LLM),并使用siglip-so400m-patch14-384作为视觉塔。该模型在自建的Infinity-MM数据集上进行训练,包含约4000万图像-文本对。该数据集结合了从互联网收集的开源数据和使用开源VLM模型生成的合成指令数据。Aquila-VL-2B模型的开源,旨在推动多模态性能的发展,特别是在图像和文本的结合处理方面。

  • 免费AI解梦:AI技术驱动的梦境解析服务

    免费AI解梦是一个利用人工智能技术,结合心理学和精神分析,为用户提供梦境解析的平台。它通过深度学习和大数据分析,即时洞察用户的梦境含义,帮助用户理解潜意识。该产品背景信息显示,它拥有超过1000个梦境符号数据库,能够提供即时、免费的梦境解析,并且有95%的解析准确率。产品定位于为梦境爱好者、心理学研究者和普通大众提供一个科学、便捷的解梦工具,无需支付费用即可享受服务。

  • InkSight:手写笔记数字化模型,无需专业设备

    InkSight是一个由Google Research开发的模型,旨在将手写笔记的照片转换成数字格式,精确还原书写笔迹,无需任何专业设备。这项技术的重要性在于它能够将传统的手写笔记转换为可编辑、可索引的数字形式,同时保留了手写的风格和感觉。InkSight通过学习“阅读”和“写作”来构建对书写的理解,使其能够在多种场景下,包括光线条件不佳、遮挡等情况下,都能良好地工作。这种技术的主要优点是它的通用性和对用户友好性,因为它不需要额外的硬件支持,降低了用户的入门门槛和成本。

  • NVIDIA Video Search and Summarization:构建视频搜索和摘要代理,提取视频洞察

    NVIDIA Video Search and Summarization 是一个利用深度学习和人工智能技术,能够处理大量实时或存档视频,并从中提取信息以进行摘要和交互式问答的模型。该产品代表了视频内容分析和处理技术的最新进展,它通过生成式AI和视频到文本的技术,为用户提供了一种全新的视频内容管理和检索方式。NVIDIA Video Search and Summarization 的主要优点包括高效的视频内容分析、准确的摘要生成和交互式问答能力,这些功能对于需要处理大量视频数据的企业来说至关重要。产品背景信息显示,NVIDIA 致力于通过其先进的AI模型,推动视频内容的智能化处理和分析。

  • Analytics Model:即时、可操作的洞察力分析平台

    Analytics Model是一个AI驱动的分析平台,它使每个人都能生成个性化的洞察力,从而实现明智的决策和可操作的结果。该平台通过将复杂数据转换为强大的洞察力,赋予企业和利益相关者迅速有效地做出战略决策的能力。它代表了数据分析领域的先进技术,以其快速、直观和强大的数据处理能力而著称,对于需要从大数据中快速获得有价值信息的企业和专业人士来说至关重要。

  • Geniai:AI助力的智能日程安排工具

    Geniai是一个由Teqnological Asia开发的AI驱动的日程安排工具,旨在通过智能算法优化用户的时间管理,提高工作效率。它通过与多个参与者协调时间,并根据用户的时间表提供定制的时间建议,使得安排会议变得更加简单和高效。Geniai的核心优势在于其能够减少安排会议时的时间和努力,同时提供个性化的时间建议,帮助用户更好地管理时间。

  • Crisp 4:全新的站点搜索体验,提升客户服务效率。

    Crisp 4是一个以异步通信为核心的客户服务平台,提供了全新的Inbox、设计、分析、AI功能和覆盖搜索小部件。它通过集成AI技术,优化了客户互动的每一个环节,帮助团队更清晰、高效地提供客户服务。Crisp 4的背景是随着在线业务的增长,企业需要更智能、更自动化的方式来处理客户咨询和支持请求,Crisp 4正是为了满足这一需求而设计的。产品定位于中大型企业,提供14天免费试用,之后为付费服务。

  • MyBaby.help:即时育儿助手,免费试用。

    MyBaby.help是一个基于人工智能的在线育儿助手,提供即时、个性化的育儿指导和建议。它通过用户共享的信息和宝宝的发展阶段,为用户提供针对性的答案,帮助解决日常育儿中的疑问和挑战。产品的主要优点包括即时响应、个性化服务、科学依据的信息提供,以及多语言支持。MyBaby.help适合忙碌的现代父母,特别是首次育儿的家庭,帮助他们更自信、更科学地育儿。产品提供免费试用,并且有不同级别的付费计划,满足不同用户的需求。

  • Face Sticker AI:使用AI将您的面部照片变成面部贴纸

    Face Sticker AI是一个AI驱动的面部贴纸工具,它通过添加文本提示将用户的面部图像转换成奇妙的面部贴纸图像。该产品利用先进的面部识别技术和自然语言处理技术,确保生成的贴纸与原始图像高度相似,同时保持高清图像质量。Face Sticker AI不仅支持真人照片,还支持动画角色照片,满足用户个性化表达和创造的需求。产品背景信息显示,Face Sticker AI旨在提供一个简单易用的平台,让用户能够以前所未有的方式探索和创造面部贴纸,释放创造力。产品定价分为Base、Standard和Pro三个等级,用户可以根据自己的需求选择合适的计划购买积分。

  • Magentic-One:多智能体系统,解决复杂任务

    Magentic-One是由微软研究团队开发的一个通用多智能体系统,旨在解决开放性网络和文件任务。该系统代表了人工智能领域向代理系统发展的重要一步,这些系统能够完成人们在工作和生活中遇到的复杂多步骤任务。Magentic-One采用了一个名为Orchestrator的主智能体,负责规划、跟踪进度和在需要时重新规划,同时指导其他专门智能体执行任务,如操作网络浏览器、导航本地文件或编写和执行Python代码。Magentic-One在多个挑战性的代理基准测试中表现出与最新技术相媲美的性能,且无需对其核心能力或架构进行修改。

  • Confi AI:Slack和Confluence的AI助手,简化内部文档管理。

    Confi AI是一个专为Slack和Confluence设计的AI助手,旨在简化内部文档管理。它通过AI技术,让用户能够直接从Slack获取文档信息,提高工作效率。产品背景信息显示,Confi AI由Lamona Technology开发,支持无代码快速设置,提供14天免费试用,并有年付优惠。价格方面,提供每月49美元的高级计划,包括无限文档、Slack消息和API调用,每日增量更新等。

今日大家都在搜的词:

热文

  • 3 天
  • 7天