自制电子卡尺 2024-11-09 本文介绍了作者自制电子卡尺的项目。作者利用电路板、微控制器和数学知识，构建了一个基于电容耦合的线性位置传感系统。文章详细解释了卡尺的工作原理，并分享了固件开发过程，包括正弦波生成、相位偏移测量等技术细节。作者还进行了参数扫描实验，以确定最佳测量精度，并最终实现了亚毫米级的精度。 阅读更多 (kevinlynagh.com) 15 未分类 电子卡尺
用Z3生成辛普森悖论 2024-08-12 本文介绍了如何使用Z3定理证明器来生成辛普森悖论的例子。辛普森悖论是指在分组比较中都占优势的一方，在总评时反而不占优势的现象。文章通过设定两名棒球运动员面对左投手和右投手的打击率，并使用Z3进行约束求解，最终得到一组满足条件的数据，展示了辛普森悖论的发生情况。 阅读更多 (kevinlynagh.com) 32 未分类 辛普森悖论 Z3定理证明器
