本文分类:news发布日期:2026/6/19 14:20:02
打赏

相关文章

形式化方法与《大象——thinking in UML》阅读心得

一、什么是形式化方法 以前我写代码,基本就是“需求看懂了,逻辑顺了,跑起来没bug就行”,从来没想过还有“用数学证明系统正确”这种操作…这次才知道,这就是形式化方法。简单说,形式化方法就是用数学和逻辑的“精…

机器学习之随机森林详解

摘要随机森林(Random Forest)是一种基于Bagging集成学习思想的 ensemble method,通过构建多棵决策树并综合其预测结果来实现分类和回归任务。本文详细介绍了随机森林的核心原理、关键超参数、OOB误差估计机制,以及其在特征重要性分…

手机版浏览

扫一扫体验

微信公众账号

微信扫一扫加关注

返回
顶部