- 看不见的才最可怕？用机器学习“点亮”你的供应链盲区！ 看不见的才最可怕？用机器学习“点亮”你的供应链盲区！
- 本文分享自华为时习知，全文约4272字，阅读约需9分钟2025年初异常魔幻，意料之外的事层出不穷，其中就包括异军突起的DeepSeek。个人认为DeepSeek的火爆有两层意义：其一，DeepSeek使得中国大模型达到了与美国齐平的水平，大有“小米加步枪跟飞机大炮平局”的意义；其二，DeepSeek在国内掀起了一股全民AI的热潮，家庭主妇甚至是乡野村夫都知道DeepSeek，并且知道Deep... 本文分享自华为时习知，全文约4272字，阅读约需9分钟2025年初异常魔幻，意料之外的事层出不穷，其中就包括异军突起的DeepSeek。个人认为DeepSeek的火爆有两层意义：其一，DeepSeek使得中国大模型达到了与美国齐平的水平，大有“小米加步枪跟飞机大炮平局”的意义；其二，DeepSeek在国内掀起了一股全民AI的热潮，家庭主妇甚至是乡野村夫都知道DeepSeek，并且知道Deep...
- ABoVE: Lake Growing Season Green Surface Reflectance Trends, AK and Canada, 1984-2019简介该数据集提供了 1984 年至 2019 年 ABoVE 扩展研究区域内 472,890 个湖泊在生长季（六月和七月）的 Landsat 绿色表面反射率的年度时间序列及其年度趋势。反射率数据来自 Landsat-5、L... ABoVE: Lake Growing Season Green Surface Reflectance Trends, AK and Canada, 1984-2019简介该数据集提供了 1984 年至 2019 年 ABoVE 扩展研究区域内 472,890 个湖泊在生长季（六月和七月）的 Landsat 绿色表面反射率的年度时间序列及其年度趋势。反射率数据来自 Landsat-5、L...
- 1 简介在经典逻辑中，每个命题的值要么为真（True），要么为假（False）——这就是二值逻辑（Boolean Logic）。这是亚里士多德逻辑的基本立场，也是早期数学与计算机系统（如电路与布尔代数）的基础。例： 命题 P = “水本身是无色的”：如果成立，则 P=True，否则 P=False。这种逻辑结构虽然清晰、简洁，但也无法处理不确定性、模糊性、时间、信念等更复杂的语境。 2 ... 1 简介在经典逻辑中，每个命题的值要么为真（True），要么为假（False）——这就是二值逻辑（Boolean Logic）。这是亚里士多德逻辑的基本立场，也是早期数学与计算机系统（如电路与布尔代数）的基础。例： 命题 P = “水本身是无色的”：如果成立，则 P=True，否则 P=False。这种逻辑结构虽然清晰、简洁，但也无法处理不确定性、模糊性、时间、信念等更复杂的语境。 2 ...
- 看不见就管不好？——机器学习如何把供应链“照亮”！ 看不见就管不好？——机器学习如何把供应链“照亮”！
- ABoVE: Fractional Open Water Cover for Pan-Arctic and ABoVE-Domain Regions, 2002-2015简介该数据集提供了两个重叠区域的陆地表面分数开阔水域覆盖图：整个泛北极地区（纬度 >= 45 度）和横跨阿拉斯加和加拿大的北极-北方脆弱性实验 (ABoVE) 区域。数据表示 2002 年至 2015 年期间 10 天时间... ABoVE: Fractional Open Water Cover for Pan-Arctic and ABoVE-Domain Regions, 2002-2015简介该数据集提供了两个重叠区域的陆地表面分数开阔水域覆盖图：整个泛北极地区（纬度 >= 45 度）和横跨阿拉斯加和加拿大的北极-北方脆弱性实验 (ABoVE) 区域。数据表示 2002 年至 2015 年期间 10 天时间...
- 1 认知和信念认识逻辑是哲学逻辑的一个子领域，涉及 知识、信仰和相关概念的逻辑方法。虽然 任何具有认识论解释的逻辑都可以称为认识论逻辑，这是最广泛的认识论逻辑类型， 目前使用的是模态逻辑。知识和信念是 通过模态运算符 K 和 B 表示。引起认知逻辑学家关注的核心问题包括： 例如，确定哪些认知原则最 适合描述知识和信仰，逻辑在不同知识和信仰概念之间的关系，以及 代理组的认识特征。这超越哲学本... 1 认知和信念认识逻辑是哲学逻辑的一个子领域，涉及 知识、信仰和相关概念的逻辑方法。虽然 任何具有认识论解释的逻辑都可以称为认识论逻辑，这是最广泛的认识论逻辑类型， 目前使用的是模态逻辑。知识和信念是 通过模态运算符 K 和 B 表示。引起认知逻辑学家关注的核心问题包括： 例如，确定哪些认知原则最 适合描述知识和信仰，逻辑在不同知识和信仰概念之间的关系，以及 代理组的认识特征。这超越哲学本...
- AI驱动下的软件设计知识迁移与演化路径：从设计模式推荐到服务边界规划 一、引言：AI工具正在重塑软件开发方式随着人工智能（AI）技术不断进化，以 GitHub Copilot、Tabnine 为代表的AI辅助编程工具，正逐步渗透开发者的日常工作流。从自动补全代码到生成测试用例，甚至推荐架构设计模式，AI 的参与正日益深度与智能。然而，当前AI编程助手仍存在不少“幻觉”现象，其输出质量、上下... AI驱动下的软件设计知识迁移与演化路径：从设计模式推荐到服务边界规划 一、引言：AI工具正在重塑软件开发方式随着人工智能（AI）技术不断进化，以 GitHub Copilot、Tabnine 为代表的AI辅助编程工具，正逐步渗透开发者的日常工作流。从自动补全代码到生成测试用例，甚至推荐架构设计模式，AI 的参与正日益深度与智能。然而，当前AI编程助手仍存在不少“幻觉”现象，其输出质量、上下...
- 基于YOLOv8的100种中药分类识别项目｜完整源码数据集+PyQt5界面+完整训练流程+开箱即用！源码包含：完整YOLOv8训练代码+数据集(带标注)+权重文件+直接可允许检测的yolo检测程序+直接部署教程/训练教程。文末获取源码nc: 100names: ['安息香', '白扁豆', '白矾', '白蔹', '白茅根', '白前', '白芍', '白芷', '柏子仁', '北沙参',... 基于YOLOv8的100种中药分类识别项目｜完整源码数据集+PyQt5界面+完整训练流程+开箱即用！源码包含：完整YOLOv8训练代码+数据集(带标注)+权重文件+直接可允许检测的yolo检测程序+直接部署教程/训练教程。文末获取源码nc: 100names: ['安息香', '白扁豆', '白矾', '白蔹', '白茅根', '白前', '白芍', '白芷', '柏子仁', '北沙参',...
- 学霸养成计划：AI如何打造你的专属“学习外挂”？ 学霸养成计划：AI如何打造你的专属“学习外挂”？
- 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 命题逻辑：原理与框架概念与符号系统命题逻辑关注命题之间的逻辑关系，命题是可以被赋予真值的陈述。其核心元素包括：原...
- 电影要火，能靠玄学吗？用大数据算一卦更靠谱！ 电影要火，能靠玄学吗？用大数据算一卦更靠谱！
上滑加载中
推荐直播
-
华为云码道Agent集成与鸿蒙实战2026/08/11 周二 19:00-21:00
王一男-华为云码道产品规划专家；李炎-华为云码道产品专家；彭江敏-华为云鸿蒙端云一体化开发专家
本次直播带你解读华为云码道7月份产品新特性、新功能。更有专家演示码道Agent Space × 钉钉机器集成实战，从0到1打通消息通道；码道鸿蒙端云一体化实战，快速搭建员工签到系统。
回顾中 -
华为云开发者AI素养直播课·第五期2026/09/04 周五 16:00-18:00
林华鼎-华为云AI开发者运营负责人；蒋春阳-华为云AI开发者案例开发专家
本期直播内容： AI工具体验营 · 第5-8课连讲。Agent-Team 多智能体协作完成毕业设计实践
回顾中 -
华为云开发者AI素养ClassRoom·第六期2026/09/08 周二 19:00-20:00
樊渊-2026华为软件挑战赛冠军
高手来了：看软挑高手解析二维排样问题—从工业难题到算法突破
回顾中
热门标签