- 1 简介模态对于不确定性，可能性的研究存在于多方面。模态:可能性与不可能性、存在与不存在、必然性与偶然性。比如系统的互操作性（也称为多模型[与多模态不同]）是什么意思？更具体地说，对于像非技术性、以销售为重点的人或营销领导者来说，互操作性在通用语言中意味着什么？试着倒回去，以测试理解力。比如某人来自北京，通过八宝粥隐喻来理解生活，所以我用我的食物来分解它： 系统平台中的互操作性就像一锅八... 1 简介模态对于不确定性，可能性的研究存在于多方面。模态:可能性与不可能性、存在与不存在、必然性与偶然性。比如系统的互操作性（也称为多模型[与多模态不同]）是什么意思？更具体地说，对于像非技术性、以销售为重点的人或营销领导者来说，互操作性在通用语言中意味着什么？试着倒回去，以测试理解力。比如某人来自北京，通过八宝粥隐喻来理解生活，所以我用我的食物来分解它： 系统平台中的互操作性就像一锅八...
- 1 简介模态逻辑系统 S5 是模态逻辑中的一个重要系统，常用于表示和推理 知识 (knowledge)、信念 (belief)、可能性 (possibility) 和 必然性 (necessity) 等概念。S5 尤其在计算机科学中的知识表示与多智能体系统中具有广泛应用。用模态逻辑系统 S5，结合知识逻辑（Epistemic Logic），展示如何对一个简单的安全协议进行建模，尤其关注：攻... 1 简介模态逻辑系统 S5 是模态逻辑中的一个重要系统，常用于表示和推理 知识 (knowledge)、信念 (belief)、可能性 (possibility) 和 必然性 (necessity) 等概念。S5 尤其在计算机科学中的知识表示与多智能体系统中具有广泛应用。用模态逻辑系统 S5，结合知识逻辑（Epistemic Logic），展示如何对一个简单的安全协议进行建模，尤其关注：攻...
- ABoVE: Level-4 WRF-STILT Footprint Files for Circumpolar Receptors, 2016-2019简介该数据集提供了 2016-2019 年期间天气研究与预报 (WRF) 随机时间反演拉格朗日传输 (STILT) 足迹数据产品，适用于位于飞行路径沿线位置以及北纬极地位置各个固定观测点的接收器（观测点）。在 WRF-STILT 模型中，... ABoVE: Level-4 WRF-STILT Footprint Files for Circumpolar Receptors, 2016-2019简介该数据集提供了 2016-2019 年期间天气研究与预报 (WRF) 随机时间反演拉格朗日传输 (STILT) 足迹数据产品，适用于位于飞行路径沿线位置以及北纬极地位置各个固定观测点的接收器（观测点）。在 WRF-STILT 模型中，...
- 1 简介在人工智能快速发展的当下，命题逻辑（Propositional Logic）和模态逻辑（Modal Logic）显得更加重要，它们是逻辑学中的两个核心分支。命题逻辑处理命题的真假，模态逻辑则进一步扩展，用于表达“可能”、“必须”、“知道”、“应当”等抽象的模态概念。 2 命题逻辑：原理与框架概念与符号系统命题逻辑关注命题之间的逻辑关系，命题是可以被赋予真值的陈述。其核心元素包括：原... 1 简介在人工智能快速发展的当下，命题逻辑（Propositional Logic）和模态逻辑（Modal Logic）显得更加重要，它们是逻辑学中的两个核心分支。命题逻辑处理命题的真假，模态逻辑则进一步扩展，用于表达“可能”、“必须”、“知道”、“应当”等抽象的模态概念。 2 命题逻辑：原理与框架概念与符号系统命题逻辑关注命题之间的逻辑关系，命题是可以被赋予真值的陈述。其核心元素包括：原...
- 电影要火，能靠玄学吗？用大数据算一卦更靠谱！ 电影要火，能靠玄学吗？用大数据算一卦更靠谱！
- ABoVE: Landsat-derived Burn Scar dNBR across Alaska and Canada, 1985-2015简介该数据集包含 1985 年至 2015 年期间在阿拉斯加和加拿大北极寒带及脆弱性实验 (ABoVE) 项目区域内发生的火灾造成的烧伤痕迹，以 30 米分辨率计算的差分归一化燃烧比 (dNBR)。火灾范围来自阿拉斯加跨部门协调中心 (AICC... ABoVE: Landsat-derived Burn Scar dNBR across Alaska and Canada, 1985-2015简介该数据集包含 1985 年至 2015 年期间在阿拉斯加和加拿大北极寒带及脆弱性实验 (ABoVE) 项目区域内发生的火灾造成的烧伤痕迹，以 30 米分辨率计算的差分归一化燃烧比 (dNBR)。火灾范围来自阿拉斯加跨部门协调中心 (AICC...
- 1 简介抽象概念的特点、其在推理中的经典模型，以及它们在认知与智能中的重要性，涉及认知科学、哲学、人工智能与逻辑等多个学科。以下是系统的分析： 2 抽象概念的特点抽象概念（abstract concepts）与具体概念相对，是对非感官直接经验、无固定时空指向或多义含义的事物的认知表达。它们的几个主要特点包括：非感知性：抽象概念往往不能通过直接的感官体验获得，例如“正义”、“自由”、“时间”... 1 简介抽象概念的特点、其在推理中的经典模型，以及它们在认知与智能中的重要性，涉及认知科学、哲学、人工智能与逻辑等多个学科。以下是系统的分析： 2 抽象概念的特点抽象概念（abstract concepts）与具体概念相对，是对非感官直接经验、无固定时空指向或多义含义的事物的认知表达。它们的几个主要特点包括：非感知性：抽象概念往往不能通过直接的感官体验获得，例如“正义”、“自由”、“时间”...
- ABoVE: Atmospheric Gas Concentrations from Airborne Flasks, Arctic-CAP, 2017简介该数据集提供了 2017 年 4 月至 11 月期间，在北极碳飞机剖面 (Arctic-CAP) 月度采样活动期间，飞越阿拉斯加、育空地区和加拿大西北地区的飞行过程中获得的大气二氧化碳 (CO2)、甲烷 (CH4)、一氧化碳 (CO)、氢... ABoVE: Atmospheric Gas Concentrations from Airborne Flasks, Arctic-CAP, 2017简介该数据集提供了 2017 年 4 月至 11 月期间，在北极碳飞机剖面 (Arctic-CAP) 月度采样活动期间，飞越阿拉斯加、育空地区和加拿大西北地区的飞行过程中获得的大气二氧化碳 (CO2)、甲烷 (CH4)、一氧化碳 (CO)、氢...
- 1 简介本文实例构建一个系统资源监控程序，并使用go提供数据上报的服务实例 Prometheus + Grafana, Zabbix, Nagios可以使用 Go 提供数据上报的服务实例，用于配合以下监控系统进行系统资源监控。但实现方式在不同系统中有区别： 2 exporter 上报数据Prometheus + Grafana非常适合用 Go 编写 exporter 上报数据。推荐方式：... 1 简介本文实例构建一个系统资源监控程序，并使用go提供数据上报的服务实例 Prometheus + Grafana, Zabbix, Nagios可以使用 Go 提供数据上报的服务实例，用于配合以下监控系统进行系统资源监控。但实现方式在不同系统中有区别： 2 exporter 上报数据Prometheus + Grafana非常适合用 Go 编写 exporter 上报数据。推荐方式：...
- ABoVE: Atmospheric Profiles of CO, CO2 and CH4 Concentrations from Arctic-CAP, 2017简介该数据集提供了 2017 年 4 月至 11 月期间北极碳飞机剖面 (Arctic-CAP) 月度采样活动期间阿拉斯加、育空地区和加拿大西北地区的大气一氧化碳 (CO)、二氧化碳 (CO2)、甲烷 (CH4) 和水蒸气浓... ABoVE: Atmospheric Profiles of CO, CO2 and CH4 Concentrations from Arctic-CAP, 2017简介该数据集提供了 2017 年 4 月至 11 月期间北极碳飞机剖面 (Arctic-CAP) 月度采样活动期间阿拉斯加、育空地区和加拿大西北地区的大气一氧化碳 (CO)、二氧化碳 (CO2)、甲烷 (CH4) 和水蒸气浓...
- 1 简介现代数学、物理和工程学中，希腊字母经常用于表示变量、常量、函数、集合、角度等。在数学和科学中随处可见的它们代表方程中的变量并标记关键常量。但为什么要使用它们呢？这归结为历史以及它们如何帮助科学家和数学家清晰地交流。使用希腊字母可以轻松识别不同的概念和变量。例如，字母 π （pi） 表示圆的周长与其直径的比率。在物理学中，α （alpha）通常代表角度。希腊字母的一致使用有助于保持方... 1 简介现代数学、物理和工程学中，希腊字母经常用于表示变量、常量、函数、集合、角度等。在数学和科学中随处可见的它们代表方程中的变量并标记关键常量。但为什么要使用它们呢？这归结为历史以及它们如何帮助科学家和数学家清晰地交流。使用希腊字母可以轻松识别不同的概念和变量。例如，字母 π （pi） 表示圆的周长与其直径的比率。在物理学中，α （alpha）通常代表角度。希腊字母的一致使用有助于保持方...
- 支持COCO/VOC/YOLO格式的目标检测数据集标准化方法与工具链分析随着 YOLOv11 的发布，其在目标检测任务中的性能和易用性进一步提升。然而，想要训练一个高质量的模型，优质的数据集必不可少。Roboflow 作为 YOLOv11 官方推荐的数据平台，不仅提供了丰富的公开数据集，还支持将数据一键导出为多种格式（包括 YOLO、Pascal VOC、COCO、CSV 等），大大简化了... 支持COCO/VOC/YOLO格式的目标检测数据集标准化方法与工具链分析随着 YOLOv11 的发布，其在目标检测任务中的性能和易用性进一步提升。然而，想要训练一个高质量的模型，优质的数据集必不可少。Roboflow 作为 YOLOv11 官方推荐的数据平台，不仅提供了丰富的公开数据集，还支持将数据一键导出为多种格式（包括 YOLO、Pascal VOC、COCO、CSV 等），大大简化了...
- 基于PyTorch的YOLOv11全流程训练与部署研究本文将带你深入了解在Windows 11系统上从零搭建并训练YOLOv11模型的全过程。内容包括：硬件与依赖环境准备、CUDA与cuDNN安装、PyTorch与相关库配置、PyCharm集成、系统环境变量配置，以及YOLOv11源码获取与训练示例。 环境与硬件准备 硬件要求GPU：NVIDIA GTX 1060及以上，支持CUDA 11... 基于PyTorch的YOLOv11全流程训练与部署研究本文将带你深入了解在Windows 11系统上从零搭建并训练YOLOv11模型的全过程。内容包括：硬件与依赖环境准备、CUDA与cuDNN安装、PyTorch与相关库配置、PyCharm集成、系统环境变量配置，以及YOLOv11源码获取与训练示例。 环境与硬件准备 硬件要求GPU：NVIDIA GTX 1060及以上，支持CUDA 11...
- 本章系统介绍了数据驱动、知识驱动及双驱动人工智能的理论与应用。数据驱动方法依赖大数据和深度学习，在图像识别、自然语言处理等领域取得突破，但面临标注成本高、可解释性差等问题。知识驱动方法通过知识表示与推理提升系统理解能力，却在泛化性和适应性上受限。为弥补单一范式的不足，数据与知识双驱动融合两者优势，致力于构建更智能、可解释且安全可靠的AI系统，兼顾伦理与隐私保护。 本章系统介绍了数据驱动、知识驱动及双驱动人工智能的理论与应用。数据驱动方法依赖大数据和深度学习，在图像识别、自然语言处理等领域取得突破，但面临标注成本高、可解释性差等问题。知识驱动方法通过知识表示与推理提升系统理解能力，却在泛化性和适应性上受限。为弥补单一范式的不足，数据与知识双驱动融合两者优势，致力于构建更智能、可解释且安全可靠的AI系统，兼顾伦理与隐私保护。
- ABoVE: Hyperspectral Imagery AVIRIS-NG, Alaskan and Canadian Arctic, 2017-2019 V2简介该数据集提供机载可见光/红外成像光谱仪-下一代 (AVIRIS-NG) 仪器在 2017 年 6 月至 8 月以及 2018 年和 2019 年 7 月至 8 月飞越北极-北方脆弱性实验 (ABoVE) 区域期间测量的 1 ... ABoVE: Hyperspectral Imagery AVIRIS-NG, Alaskan and Canadian Arctic, 2017-2019 V2简介该数据集提供机载可见光/红外成像光谱仪-下一代 (AVIRIS-NG) 仪器在 2017 年 6 月至 8 月以及 2018 年和 2019 年 7 月至 8 月飞越北极-北方脆弱性实验 (ABoVE) 区域期间测量的 1 ...
上滑加载中
推荐直播
-
Skill 构建 × 智能创作：基于华为云码道的 AI 内容生产提效方案2026/03/25 周三 19:00-20:00
余伟，华为云软件研发工程师/万邵业（万少），华为云HCDE开发者专家
本次直播带来两大实战：华为云码道 Skill-Creator 手把手搭建专属知识库 Skill；如何用码道提效 OpenClaw 小说文本，打造从大纲到成稿的 AI 原创小说全链路。技术干货 + OPC创作思路，一次讲透！
回顾中 -
码道新技能，AI 新生产力——从自动视频生成到开源项目解析2026/04/08 周三 19:00-21:00
童得力-华为云开发者生态运营总监/何文强-无人机企业AI提效负责人
本次华为云码道 Skill 实战活动，聚焦两大 AI 开发场景：通过实战教学，带你打造 AI 编程自动生成视频 Skill，并实现对 GitHub 热门开源项目的智能知识抽取，手把手掌握 Skill 开发全流程，用 AI 提升研发效率与内容生产力。
回顾中 -
“虾”路相逢 脑洞无穷-龙虾Show& Talk2026/04/16 周四 15:00-18:00
叶文彬-华为云运营顾问、陈晶杰-华为云开发者专家、李成-华为云AI架构师、张剑-HCDE开发者专家
以OpenClaw为代表的AI智能体引发全民狂热，这场狂欢背后，是AI从"对话工具"向"数字员工"的范式跃迁，是用户渴望能自主执行任务、真正"干活"的AI代理。华为云已正式开启Openclaw体验计划，支持用户将龙虾部署在华为云上，与本地隐私数据进行隔离，如何让每一位用户优雅的“养虾”？欢迎收看本次直播
即将直播
热门标签