- harmony_timeflow/htf_inspecthtf_inspect_2.0是一款专为嵌入式AI部署和昇腾(Ascend)NPU生态设计的静态分析工具。它能在模型实际烧录到硬件之前，对ONNX模型进行深度“体检”，提前发现内存溢出、算子不支持、缓存配置错误等致命风险，大幅降低调试成本。 一. 环境配置方法pip install -e . //安装当前目录下的工具包ech... harmony_timeflow/htf_inspecthtf_inspect_2.0是一款专为嵌入式AI部署和昇腾(Ascend)NPU生态设计的静态分析工具。它能在模型实际烧录到硬件之前，对ONNX模型进行深度“体检”，提前发现内存溢出、算子不支持、缓存配置错误等致命风险，大幅降低调试成本。 一. 环境配置方法pip install -e . //安装当前目录下的工具包ech...
- 从算法原型到嵌入式产品，中间隔着一道不浅的沟。不少团队在PC上跑通了模型，信心满满地往ARM板上一放，才发现帧率掉到零点几，界面卡死，内存泄漏……这些问题不是靠调几个参数能解决的，需要系统性地理解整个开发链条。一、QT界面开发：算法与界面必须解耦嵌入式AI应用通常需要图形界面，QT是常见选择。但开发中容易陷入一个误区：把算法函数直接写在界面类的响应函数里。点一下“开始检测”，界面就卡住，直到... 从算法原型到嵌入式产品，中间隔着一道不浅的沟。不少团队在PC上跑通了模型，信心满满地往ARM板上一放，才发现帧率掉到零点几，界面卡死，内存泄漏……这些问题不是靠调几个参数能解决的，需要系统性地理解整个开发链条。一、QT界面开发：算法与界面必须解耦嵌入式AI应用通常需要图形界面，QT是常见选择。但开发中容易陷入一个误区：把算法函数直接写在界面类的响应函数里。点一下“开始检测”，界面就卡住，直到...
- 在汽车电子、工业控制和医疗设备等对安全要求严苛的领域，软件失效的代价往往是巨大的。嵌入式软件的可靠性不仅关乎逻辑正确性，更涉及与硬件深度耦合下的鲁棒性、抗干扰能力以及全生命周期的质量管理。要构建一个真正可靠的嵌入式系统，开发者需要将视野从“实现功能”拓展至“确保系统在任何预期及非预期条件下均安全运行”，这涉及到从编译器选择到系统架构设计的多个维度。一、编译器：被忽视的可靠性“变量”许多工程师... 在汽车电子、工业控制和医疗设备等对安全要求严苛的领域，软件失效的代价往往是巨大的。嵌入式软件的可靠性不仅关乎逻辑正确性，更涉及与硬件深度耦合下的鲁棒性、抗干扰能力以及全生命周期的质量管理。要构建一个真正可靠的嵌入式系统，开发者需要将视野从“实现功能”拓展至“确保系统在任何预期及非预期条件下均安全运行”，这涉及到从编译器选择到系统架构设计的多个维度。一、编译器：被忽视的可靠性“变量”许多工程师...
- 无 无
- 1 简介本文简介context 的正确用法，循序渐进 + 可运行的例子给你讲清楚：如何用 ctx 管理任务是否完成 / 是否取消。 2 理清概念ctx 只做一件事：广播“该停了”这个信号任务是否完成 → 由任务自己决定ctx 只负责：取消 / 超时 / 上游结束 3 场景 1：最基础 —— 用 ctx 控制任务退出任务函数 func worker(ctx context.Contex... 1 简介本文简介context 的正确用法，循序渐进 + 可运行的例子给你讲清楚：如何用 ctx 管理任务是否完成 / 是否取消。 2 理清概念ctx 只做一件事：广播“该停了”这个信号任务是否完成 → 由任务自己决定ctx 只负责：取消 / 超时 / 上游结束 3 场景 1：最基础 —— 用 ctx 控制任务退出任务函数 func worker(ctx context.Contex...
- 1 简介一次一密（OTP）的安全本质OTP 的信息论安全性来自三点：密钥是真随机的密钥长度 ≥ 明文长度每个密钥只使用一次加密方式： C=P⊕K只要满足以上条件，密文不泄露任何关于明文的信息（Shannon 证明）。OTP 的致命缺点 ：密钥太长难以分发和管理现实中几乎不可用 2 ChaCha20 / Salsa20 的核心思想现代伪随机流加密算法（如ChaCha20、Salsa20）... 1 简介一次一密（OTP）的安全本质OTP 的信息论安全性来自三点：密钥是真随机的密钥长度 ≥ 明文长度每个密钥只使用一次加密方式： C=P⊕K只要满足以上条件，密文不泄露任何关于明文的信息（Shannon 证明）。OTP 的致命缺点 ：密钥太长难以分发和管理现实中几乎不可用 2 ChaCha20 / Salsa20 的核心思想现代伪随机流加密算法（如ChaCha20、Salsa20）...
- 一、引言在自动驾驶、工业控制、航空航天、通信等关键领域，确定性编程（Deterministic Programming）已成为系统设计的核心要求之一。所谓“确定性”，是指系统的每一步操作和响应都可以被精准预测：给定相同的输入、状态和时间，系统的行为必然一致。这种确定性是实现时间可预测性、严格的中断延迟控制、受控的内存访问仲裁与**实时GC（垃圾回收）**等机制的基础。本文将从理论到工程实践... 一、引言在自动驾驶、工业控制、航空航天、通信等关键领域，确定性编程（Deterministic Programming）已成为系统设计的核心要求之一。所谓“确定性”，是指系统的每一步操作和响应都可以被精准预测：给定相同的输入、状态和时间，系统的行为必然一致。这种确定性是实现时间可预测性、严格的中断延迟控制、受控的内存访问仲裁与**实时GC（垃圾回收）**等机制的基础。本文将从理论到工程实践...
- 一、引言在实时系统中，确定性编程和可预测性是核心要求。无论是工业控制、自动驾驶还是医疗设备，系统必须在严格的时间约束内完成任务，以确保安全性和可靠性。然而，现代系统的复杂性（如多线程、动态内存分配和中断处理）使得实现时间可预测性变得极具挑战性。本文将深入探讨确定性编程的核心概念，分析时间可预测性的实现方法，探讨内存访问仲裁和中断延迟控制的优化策略，并介绍实时垃圾回收（GC）算法在实时系统... 一、引言在实时系统中，确定性编程和可预测性是核心要求。无论是工业控制、自动驾驶还是医疗设备，系统必须在严格的时间约束内完成任务，以确保安全性和可靠性。然而，现代系统的复杂性（如多线程、动态内存分配和中断处理）使得实现时间可预测性变得极具挑战性。本文将深入探讨确定性编程的核心概念，分析时间可预测性的实现方法，探讨内存访问仲裁和中断延迟控制的优化策略，并介绍实时垃圾回收（GC）算法在实时系统...
- 一、引言操作系统调度是现代计算机系统性能、响应和资源利用的基石。尤其在嵌入式、工业控制、自动驾驶等对时效性和稳定性要求极高的领域，调度策略、实时任务优先级、中断处理机制、上下文切换优化及硬件中断亲和性等技术的选择和实现，直接决定了系统的可靠性和效率。本文将系统性梳理上述关键技术，结合实际内核实现和性能优化经验，为操作系统开发与调优提供一套理论与实践并重的参考。 二、操作系统调度基础与主流策... 一、引言操作系统调度是现代计算机系统性能、响应和资源利用的基石。尤其在嵌入式、工业控制、自动驾驶等对时效性和稳定性要求极高的领域，调度策略、实时任务优先级、中断处理机制、上下文切换优化及硬件中断亲和性等技术的选择和实现，直接决定了系统的可靠性和效率。本文将系统性梳理上述关键技术，结合实际内核实现和性能优化经验，为操作系统开发与调优提供一套理论与实践并重的参考。 二、操作系统调度基础与主流策...
- 1 简介Trivium / Grain 这类基于 LFSR 的硬件流密码，本质上是在“工程上无限逼近一次一密（OTP）的统计与使用条件”，而不是在信息论意义上真正实现 OTP。本文分层讲清楚 “它们是如何接近一次一密的工程需求”，以及具体在硬件中怎么落地。 2 一次一密真正“要求什么”真正的信息论安全 OTP 需要同时满足：密钥是真随机的密钥长度 ≥ 明文长度密钥只使用一次密钥绝不泄露第... 1 简介Trivium / Grain 这类基于 LFSR 的硬件流密码，本质上是在“工程上无限逼近一次一密（OTP）的统计与使用条件”，而不是在信息论意义上真正实现 OTP。本文分层讲清楚 “它们是如何接近一次一密的工程需求”，以及具体在硬件中怎么落地。 2 一次一密真正“要求什么”真正的信息论安全 OTP 需要同时满足：密钥是真随机的密钥长度 ≥ 明文长度密钥只使用一次密钥绝不泄露第...
- 1 简介如何评价这种 heartbeat 方式（优缺点）这个实现里潜在的问题与改进点。并发场景下如何“正确”扩展（重点）推荐的工程级模式（可直接用） 2 heartbeat 机制优缺点优点（为什么常用）与 context 解耦职责 context → 控制 是否该退出 heartbeat → 监控 是否还在健康运行这是 Go 里非常标准的分层设计。可检测“卡死/阻塞” gorou... 1 简介如何评价这种 heartbeat 方式（优缺点）这个实现里潜在的问题与改进点。并发场景下如何“正确”扩展（重点）推荐的工程级模式（可直接用） 2 heartbeat 机制优缺点优点（为什么常用）与 context 解耦职责 context → 控制 是否该退出 heartbeat → 监控 是否还在健康运行这是 Go 里非常标准的分层设计。可检测“卡死/阻塞” gorou...
- 1 简介在golang语言如何判断协程是否正常运行”？正确思路是你必须自己埋“探针”。 2 常见方式常见手段有 4 类（从简单到专业）最基础：done channel（是否结束） func DOtask(ctx context.Context, client *Client, done chan<- error) { defer func() { if r :... 1 简介在golang语言如何判断协程是否正常运行”？正确思路是你必须自己埋“探针”。 2 常见方式常见手段有 4 类（从简单到专业）最基础：done channel（是否结束） func DOtask(ctx context.Context, client *Client, done chan<- error) { defer func() { if r :...
- 1 背景 浮点数的计算和表示计算机的浮点数表示和计算难以精确，主要是因为计算机用有限二进制位表示无限连续的实数。离散有限 的二进制表示 vs. 连续无限 的实数。有限的存储位数、二进制的表示特性、运算中的舍入规则，三者共同导致浮点数计算难以完全精确。这是计算机体系结构的基本特征，不是 bug，而是设计上的 trade-off（用有限资源获得足够精度与较大动态范围）。这是因为计算机内部表示小... 1 背景 浮点数的计算和表示计算机的浮点数表示和计算难以精确，主要是因为计算机用有限二进制位表示无限连续的实数。离散有限 的二进制表示 vs. 连续无限 的实数。有限的存储位数、二进制的表示特性、运算中的舍入规则，三者共同导致浮点数计算难以完全精确。这是计算机体系结构的基本特征，不是 bug，而是设计上的 trade-off（用有限资源获得足够精度与较大动态范围）。这是因为计算机内部表示小...
- 1 简介一次一密流加密（Stream Cipher）中，“一次一密”（One-Time Pad / One-Time Key Stream）是一个工程与安全的理想目标。它的重要性和难以实现性，正好体现了理论安全与工程现实之间的差距。 2 一次一密 为何重要？1 安全性的上限：达到信息论安全“一次一密”指的是：密钥流只使用一次，且不被重复在这种情况下，流加密可以达到与**一次性密码本（On... 1 简介一次一密流加密（Stream Cipher）中，“一次一密”（One-Time Pad / One-Time Key Stream）是一个工程与安全的理想目标。它的重要性和难以实现性，正好体现了理论安全与工程现实之间的差距。 2 一次一密 为何重要？1 安全性的上限：达到信息论安全“一次一密”指的是：密钥流只使用一次，且不被重复在这种情况下，流加密可以达到与**一次性密码本（On...
- 1 简介本文从模式/结构类型、国际标准与代表算法、以及最基本的设计原理与思想三个层面，系统性地分析流加密（Stream Cipher）。 2 流加密的主要模式（结构类型）流加密并不是像分组密码那样有“ECB / CBC / CTR”等工作模式，而是根据密钥流（Keystream）的生成结构来分类。1 同步流加密（Synchronous Stream Cipher）特点密钥流只依赖于 密钥 ... 1 简介本文从模式/结构类型、国际标准与代表算法、以及最基本的设计原理与思想三个层面，系统性地分析流加密（Stream Cipher）。 2 流加密的主要模式（结构类型）流加密并不是像分组密码那样有“ECB / CBC / CTR”等工作模式，而是根据密钥流（Keystream）的生成结构来分类。1 同步流加密（Synchronous Stream Cipher）特点密钥流只依赖于 密钥 ...
上滑加载中
推荐直播
-
华为云码道 × 仓颉编程：工程化AI编码探索2026/05/27 周三 19:00-21:00
刘俊杰-华为云仓颉语言专家/李炎-华为云码道技术专家/王智鹏-OpenCangjie开源社区发起人
本场直播围绕华为云仓颉语言与华为云码道的深度结合，展示华为云智能编程从零基础到高效落地的完整生态能力。以华为云码道为引擎，仓颉语言为载体，带给大家日常提效、趣味创新到极速量产的开发体验。
回顾中
热门标签