5.3.1 漏电积分发放(LIF)模型 在神经形态计算与脉冲神经网络(SNN)的工程实践中,若要问:哪一个模型是通往真实生物神经元建模的第一道窄门? 答案几乎毫无争议——漏电积分发放(Leaky Integrate-and-Fire, LIF)模型。它不是最精确的,也不是最复杂的;但它像一把被千次打磨的瑞士军刀:轻巧、可靠、可解析、可微分近似、可硬件映射、可批量部署。它不试图复刻海马体CA1锥体细胞上数百种离子通道的动力学细节,却以极简的数学骨架,撑起了从单神经元仿真到百万级脉冲网络训练的整个技术栈底层。 这不是一个“理论玩具”。