- 1 简介模态逻辑（Modal Logic）是一种对“不确定性”、“可能性”、“必然性”等语义进行形式化推理的逻辑系统，它已经被广泛引入到现代人工智能（AI）、自然语言处理、知识表示与自动推理、博弈论、以及机器学习等领域。在数据科学中，模态逻辑与决策树（如 CART）结合使用，可以将“确定性计算”与“不确定性建模”融合，用于推理、决策支持或局部可信度评估。 2、模态逻辑的核心思想和计算目的基... 1 简介模态逻辑（Modal Logic）是一种对“不确定性”、“可能性”、“必然性”等语义进行形式化推理的逻辑系统，它已经被广泛引入到现代人工智能（AI）、自然语言处理、知识表示与自动推理、博弈论、以及机器学习等领域。在数据科学中，模态逻辑与决策树（如 CART）结合使用，可以将“确定性计算”与“不确定性建模”融合，用于推理、决策支持或局部可信度评估。 2、模态逻辑的核心思想和计算目的基...
- 这是以前做过的一个项目，我们理论不多说，直接上代码，根据代码来记录 1 CO传感器型号为TGS5042，使用STM32L151 ADC采样，计算CO的数值，使用Standby模式。 本文工程源码下载地... 这是以前做过的一个项目，我们理论不多说，直接上代码，根据代码来记录 1 CO传感器型号为TGS5042，使用STM32L151 ADC采样，计算CO的数值，使用Standby模式。 本文工程源码下载地...
- 个人背景 本211，硕985，专业机械电子工程， 项目经验1：stm32+改进PID控制+组网通信 项目经验2：一个信号采集测试系统，FPGA+QT+以太网通信逻辑设计+电路设计 学习经历 我本... 个人背景 本211，硕985，专业机械电子工程， 项目经验1：stm32+改进PID控制+组网通信 项目经验2：一个信号采集测试系统，FPGA+QT+以太网通信逻辑设计+电路设计 学习经历 我本...
- 本文是 矜辰所致 的 嵌入式 Linux 学习专栏的内容导航，结合自己的学习过程的总结记录。 1 目录 前言一、Linux 入门篇章二、环境篇2.1 硬件篇2.2 软件篇 三、裸机篇四、内... 本文是 矜辰所致 的 嵌入式 Linux 学习专栏的内容导航，结合自己的学习过程的总结记录。 1 目录 前言一、Linux 入门篇章二、环境篇2.1 硬件篇2.2 软件篇 三、裸机篇四、内...
- ❤️ 大家好，我是矜辰所致，从去年开始计划写博文的时候就已经在考虑嵌入式 Linux，但是在此之前花了快一年的时间整理了自己的一些笔记和心得，最后也就是以文章形式呈现给大家的这些博文。 ❤️ 发现在... ❤️ 大家好，我是矜辰所致，从去年开始计划写博文的时候就已经在考虑嵌入式 Linux，但是在此之前花了快一年的时间整理了自己的一些笔记和心得，最后也就是以文章形式呈现给大家的这些博文。 ❤️ 发现在...
- 早就有过想法写写关于 嵌入式操作系统 的一些学习和应用的笔记，也为了巩固学过知识，为了学习更多新的知识，温故而知新嘛。前段时间工作项目比较忙，也一直在学习nRF52832芯片，所以这一块迟迟未开始，我的计... 早就有过想法写写关于 嵌入式操作系统 的一些学习和应用的笔记，也为了巩固学过知识，为了学习更多新的知识，温故而知新嘛。前段时间工作项目比较忙，也一直在学习nRF52832芯片，所以这一块迟迟未开始，我的计...
- 用arm-none-eabi-gcc开发STM32也这么长时间了，期初编译过程也遇到过或多或少的问题， 与Keil的ARMCC还是有一些不同的，最近一次为了跑系统节约RAM空间，对以前的代码进行过一些修改... 用arm-none-eabi-gcc开发STM32也这么长时间了，期初编译过程也遇到过或多或少的问题， 与Keil的ARMCC还是有一些不同的，最近一次为了跑系统节约RAM空间，对以前的代码进行过一些修改...
- 嵌入式 Linux入门 环境篇第一课，初次体验开发板。 1 目录 前言一、开发板的体验流程二、开发板与 PC 连接2.1 终端软件SecureCRTMobaXterm 2.2 观察启动 ... 嵌入式 Linux入门 环境篇第一课，初次体验开发板。 1 目录 前言一、开发板的体验流程二、开发板与 PC 连接2.1 终端软件SecureCRTMobaXterm 2.2 观察启动 ...
- 目录 1、nRF52xx SPI介绍SPI接口基础介绍SPI 寄存器SPI 库函数介绍SPI初始化函数SPI数据传输函数 2、nRF52xx SPI 使用示例w25qxx SPI Fla... 目录 1、nRF52xx SPI介绍SPI接口基础介绍SPI 寄存器SPI 库函数介绍SPI初始化函数SPI数据传输函数 2、nRF52xx SPI 使用示例w25qxx SPI Fla...
- linux 设备驱动归纳总结（十）： 1.udev&misc xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx 不知不觉我的总结已经写得七七八八了，这一章节只是补充一下两个知识点：动态创建... linux 设备驱动归纳总结（十）： 1.udev&misc xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx 不知不觉我的总结已经写得七七八八了，这一章节只是补充一下两个知识点：动态创建...
- 在了解了基本的环境和框架之后，对FreeRTOS 的任务，消息队列，信号量，事件，软件定时器 这些基础的功能部分也得有个认识。 这篇文章主要介绍了一下关于任务的API以及源码的简单分析。 123 ... 在了解了基本的环境和框架之后，对FreeRTOS 的任务，消息队列，信号量，事件，软件定时器 这些基础的功能部分也得有个认识。 这篇文章主要介绍了一下关于任务的API以及源码的简单分析。 123 ...
- nRF52832 看门狗 使用 低频时钟源（LFCLK）提供时钟，是向下计数的定时器。 启动后，看门狗加载 CRV 寄存器中的指定值。然后开始计数，当计数到0后，会溢出产生 TIMEOUT 事件。看门狗 ... nRF52832 看门狗 使用 低频时钟源（LFCLK）提供时钟，是向下计数的定时器。 启动后，看门狗加载 CRV 寄存器中的指定值。然后开始计数，当计数到0后，会溢出产生 TIMEOUT 事件。看门狗 ...
- >>回到总目录<< 文章目录 嵌入式操作系统 嵌入式操作系统的分类 单体结构 分层结构 微内核结构... >>回到总目录<< 文章目录 嵌入式操作系统 嵌入式操作系统的分类 单体结构 分层结构 微内核结构...
- 常用的总线协议，I2C，SPI，CAN，MODBUS RTU485，随笔记录，除了CAN总线，其他都用过无数次了，有时间再补一补把，太基础了 1 目录 一、I2CI2C速度I2C软件实现 ... 常用的总线协议，I2C，SPI，CAN，MODBUS RTU485，随笔记录，除了CAN总线，其他都用过无数次了，有时间再补一补把，太基础了 1 目录 一、I2CI2C速度I2C软件实现 ...
- 本文学习一下I/O 设备模型之SPI设备使用，I/O 设备模型篇的最后一篇文章。 1 目录 前言一、SPI 通讯基础二、SPI 设备操作函数2.1 挂载 SPI 设备2.2 配置 SPI 设备2... 本文学习一下I/O 设备模型之SPI设备使用，I/O 设备模型篇的最后一篇文章。 1 目录 前言一、SPI 通讯基础二、SPI 设备操作函数2.1 挂载 SPI 设备2.2 配置 SPI 设备2...
上滑加载中
推荐直播
-
华为云码道 × 仓颉编程：工程化AI编码探索2026/05/27 周三 19:00-21:00
刘俊杰-华为云仓颉语言专家/李炎-华为云码道技术专家/王智鹏-OpenCangjie开源社区发起人
本场直播围绕华为云仓颉语言与华为云码道的深度结合，展示华为云智能编程从零基础到高效落地的完整生态能力。以华为云码道为引擎，仓颉语言为载体，带给大家日常提效、趣味创新到极速量产的开发体验。
回顾中 -
一个AI团队帮你写代码：华为云码道Agent Space实战2026/06/25 周四 19:00-21:00
张翰文-华为云码道工程师/郭英旭-青软创新科技集团股份有限公司 软件架构师
本场直播聚焦华为云码道Agent Space两大模式：研发办公、代码开发，亲身体验从需求到代码的AI自动化能力。实操演示基于华为 CodeArts CLI，依托 OpenSpec 规格体系从零搭建业务项目。
回顾中
热门标签