科学学术

凸优化计算实战:从凸集凸函数、次梯度与投影梯度到近端方法、ADMM 与加速梯度的完整工程链路

凸优化是现代机器学习的"底层发动机":从 SGD、Adam 到近端梯度、分布式 ADMM,几乎所有训练算法都可以统一在凸分析的语言下。本文从第一性原理出发,用可运行的 Python 代码把凸集、凸函数、次梯度、投影梯度、近端方法(ISTA/FISTA)、坐标下降与 ADMM 串成一条完整工程链路,并给出与深度学习优化器的精确映射表。全部数值实验均用纯 NumPy 从零实现,不依赖任何优化求解器。

寻找第二个地球:系外行星探测的科学革命

从飞马座51b到韦伯望远镜的系外行星大气分析,全面梳理系外行星探测的方法体系、里程碑发现和前沿展望,涵盖凌星法、径向速度法、微引力透镜法和直接成像四大探测技术,以及寻找宇宙生命的终极使命。

概率图模型深度实战:从贝叶斯网络、马尔可夫随机场与因子图到变量消去、置信传播与 Chow-Liu 树状结构学习的完整工程链路

概率图模型(Probabilistic Graphical Models, PGM)是不确定性的"通用语言":它用一张图把高维联合分布 $P(x_1,\dots,x_n)$ 拆解成若干局部因子的乘积,既压缩了参数、又显式编码了**条件独立性**。从贝叶斯网络(有向)、马尔可夫随机场(无向)到把二者统一起来的因子图,PGM 是现代统计推理与机器学习的共同底座——VAE 的变分下界、扩散模型的马尔可夫…

随机过程深度实战:从随机游走、泊松过程与布朗运动到伊藤积分、马尔可夫链与高斯过程的完整工程链路

随机过程是把"不确定性"变成可计算对象的第一性原理工具。我们日常写的神经网络、队列系统、扩散模型、强化学习环境、贝叶斯先验,背后几乎都站着某个随机过程——SGD 的噪声是布朗扰动,MCMC 采样是马尔可夫链,扩散模型的反向去噪是伊藤随机微分方程,PageRank 是平稳分布,主动学习的采集函数是高斯过程。本文用纯 NumPy 从零实现随机游走、泊松过程、布朗运动、伊藤 SDE、马尔可夫链、鞅与高斯…

合成生物学深度实战:从基因线路、遗传拨动开关与 repressilator 振荡器到代谢工程与 FBA 的完整工程链路

合成生物学把"细胞"当作可编译、可综合、可调试的"硬件":DNA 是寄存器,启动子与核糖体结合位点是逻辑门,蛋白质是信号线,代谢通路是一条条流水线。本文沿用本站的"深度实战"风格,用四个完全可运行的 Python 模型把合成生物学的核心工程链路讲透——双稳态的遗传拨动开关、自持振荡的 repressilator、可组合的基因调控逻辑门,以及把细胞当化工厂的通量平衡分析(FBA),并在每一节给出经过…