简单摆的运动方程在 introductory physics 中通常通过用 θ 代替 sin θ 来简化,假设角度很小。这引发了关于*为什么*做出这种近似以及它的*准确性*如何的问题。
核心原因是原始方程由于正弦函数而*非线性*,无法用标准的 introductory calculus 技术求解。近似 sin θ ≈ θ 对于小角度是有效的,但随着角度增大,其准确性会降低。
精确(非线性)和近似(线性)解之间的关键区别在于振荡周期。非线性摆的周期*更长*,并随着初始角度的增大而增加。虽然一个具有调整后的更长周期的线性方程可以近似非线性解,但仍然存在差异——尽管通常很小。例如,在 60° 时,非线性周期比线性近似预测的周期长约 7.32%。
本质上,这种简化允许得到一个可解的方程,但理解其局限性以及对周期的影响对于准确的分析至关重要。
## 自动架构锦标赛:AI驱动的硬件优化
该项目探索了一个自主研究循环——一个提出、实施、测量和迭代改进的系统——是否能成功优化其专业领域之外的领域:CPU架构。使用SystemVerilog中的5级RV32IM核心,AI代理的任务是提高性能,以CoreMark/MHz为衡量标准。
在超过9.5小时的时间里,该代理生成了73个假设,并采纳了10项改进。这些优化范围从分支预测到ALU设计,最终将性能提升至**2.91 CoreMark/MHz (+92% 相对于基线)** 和 **577次迭代/秒**,甚至超过了人工调优的设计。
然而,关键的收获并非循环本身——后者正变得日益普及——而是**一个强大的*验证器*的关键作用**。 **73个假设中有63个存在缺陷**,凸显了严格检查(形式化验证、协同仿真、FPGA测试、CRC验证)的必要性,以防止回归并确保正确性。
作者认为,未来在于构建这些验证器——定义特定领域内“正确性”的明确规则——而不是仅仅关注改进AI循环。优先考虑强大验证的公司将释放显著的生产力收益,因为循环可以可靠地针对明确定义的约束进行优化。未来的工作包括基于种群的搜索以及使用Embench等不同工作负载进行测试。