刷新
用SymPy自动求解三角形构造与全等条件验证

博主头像 做 Manim 动画演示三角形全等判定定理时,我需要根据给定的边长或角度条件,在坐标系中精确放置三角形的三个顶点。 手动调整点的位置来凑 SSS、SAS 这些条件,反复试错、坐标对不齐,根本没法精确展示“给定条件后三角形唯一确定”这个核心结论。 这篇文章用 SymPy 把几何约束转化为代数方程,自动 ...

关于spi_message,spi_transfer的再理解

一、 核心概念理解:spi_message 与 spi_transfer 在 Linux 内核的 SPI 驱动框架中,spi_transfer 和 spi_message 是最核心的两个数据结构。如果你用前面我们聊过的“分层”和“打包”的思维来理解它们,就会非常直观: spi_transfer: 是 ...

select、poll、epoll 到底有什么区别?一文讲透 I/O 多路复用

博主头像 概述 同步与异步 同步: 同步就是发起一个调用后,被调用者未处理完请求之前,调用不返回。此时需要调用者询问处理结果 异步: 异步就是发起一个调用后,立刻得到被调用者的回应表示已接收到请求,但是被调用者并没有返回结果,此时调用者来询问处理结果,被调用者通常依靠事件,回调等机制来通知调用者其返回结果。 ...

Python小记:星号解包的妙用

博主头像 最近在学习 Python asyncio,过程中遇到一段代码: await asyncio.gather( *(generate_random(num) for num in values) ) 初看这段代码就有一种熟悉的感觉,但是太久没有写 Python,并没有立刻反应过来 * 在这里到底在做什么 ...

9、IntelliJ IDEA 之断点调试

博主头像 9.1、断点调试的作用 代码运行出现错误时,需要排查定位问题所在。 当代码比较简单,或许能直接看出来;但当代码过于复杂的时候,就需要通过断点调试来查找错误。 9.2、断点调试步骤 9.2.1、添加断点 如上图所示,在代码左侧点击一下,即可添加一个断点(再点击即可取消),本示例添加了三个断点。 9.2 ...

GNU GCC 多版本函数扩展

博主头像 GNU GCC 为编写跨平台代码提供了多种支持,今天要讲的就是其中一种叫“多版本函数”的技术。 什么是多版本函数 多版本函数指的是可以为同一个函数在不同的处理器平台或者指令集下编写不同的实现,程序在运行时会自动选择一个最合适的实现作为这个函数真正运行的实体。 文字解释可能比较抽象,我们拿具体的cpp ...

用SymPy自动计算抛物线求根、判别式与顶点

博主头像 做 Manim 动画时,我想让抛物线 $ y=x^2+bx+2 $随着系数 b 的变化,自动、精准地显示它与 x 轴的交点。 手写求根公式不仅繁琐,还要自己处理判别式为负的情况,稍不注意 math.sqrt 就会让整个动画崩溃。 本文我们就用 SymPy 彻底解决这个痛点。 1. 痛点场景还原 假设 ...

网页为什么越来越快?一文看懂 HTTP 的三次进化

博主头像 HTTP/1.1的改进和不足 HTTP/1.1 相比 HTTP/1.0 性能上的改进: 使用长连接的方式改善了 HTTP/1.0 短连接造成的性能开销。 支持管道(pipeline)网络传输,只要第一个请求发出去了,不必等其回来,就可以发第二个请求出去,可以减少整体的响应时间 HTTP/1.1的不足 ...

Lua学习笔记:库函数

本文更新于2026-06-04,使用Lua 5.5.0。 目录基础函数assetipairsnextpairsprinttostringtypecoroutinecoroutine.createcoroutine.resumecoroutine.wrapcoroutine.yieldioio.clo ...

keycloak~aud受众字段的作用及如何生成

博主头像 在OAuth 2.0框架中,aud(受众)声明的核心功能是明确指定令牌的合法接收者,它是一个关键的安全验证机制。 ⚙️ 核心原则:标识与验证 具体来说,这个机制遵循以下原则: 标识:授权服务器在签发令牌时,会将目标API的唯一标识写入aud字段,明确告知客户端“这个令牌是发给谁用的”。 验证:API ...

Lua学习笔记:语法

本文更新于2026-02-20,使用Lua 5.5.0。 目录关键字标识符数据类型nilbooleannumberstringtableuserdatafunctionthread运算符数学运算符位运算符比较运算符逻辑运算符其它运算符表达式语句赋值语句if语句for语句while语句repeat语句 ...

一次函数图像工厂:用 SymPy 自动生成 y=kx+b 对比动画

博主头像 你在用 Manim 制作一次函数图像的对比动画时,是不是也遇到过这种麻烦:想直观展示不同斜率 k 和截距 b 对直线的影响,但每改一个参数,都得重新手算两端点坐标、重新算与坐标轴的交点,甚至要凭感觉“拉长”线段保证它贯穿画面。 改三组参数,工作量就翻三倍。 今天这篇文章,就是要彻底解决这个体力活。我 ...

数据分析05 numpy案例

博主头像 温度数据分析 [28,30,29,31,32,30,29] 计算平均气温,最高气温,低气温 找出气温超过30的天数 import numpy as np temps = np.array([28,30,29,31,32,30,29]) print(temps) # 保留3位小数 print("平均气 ...

PDF 表格转 CSV:Python 实现方法与代码解析

博主头像 PDF 格式因其版式固定性而广泛用于文档交换,但也导致结构化数据(如表格)难以直接抽取。尽管存在多种解析方案(如基于文本坐标启发式或 OCR),但对于具有明确边框和单元格边界的表格,专用表格提取器能提供更高的准确度。本文将介绍如何使用免费库 Free Spire.PDF for Python 解析 ...

<1···161718···50>