Department of Chemical Engineering & Bioengineering Program, Lehigh University, Bethlehem, PA 18015, U.S.A.
Neural Comput. 2013 Dec;25(12):3183-206. doi: 10.1162/NECO_a_00503. Epub 2013 Jul 29.
We derive conditions for continuous differentiability of inter-spike intervals (ISIs) of spiking neurons with respect to parameters (decision variables) of an external stimulating input current that drives a recurrent network of synaptically connected neurons. The dynamical behavior of individual neurons is represented by a class of discontinuous single-neuron models. We report here that ISIs of neurons in the network are continuously differentiable with respect to decision variables if (1) a continuously differentiable trajectory of the membrane potential exists between consecutive action potentials with respect to time and decision variables and (2) the partial derivative of the membrane potential of spiking neurons with respect to time is not equal to the partial derivative of their firing threshold with respect to time at the time of action potentials. Our theoretical results are supported by showing fulfillment of these conditions for a class of known bidimensional spiking neuron models.
我们推导出了在外部刺激输入电流的参数(决策变量)作用下,具有脉冲神经元的尖峰间间隔(ISI)的连续可微性的条件,该电流驱动着一个突触连接神经元的递归网络。单个神经元的动力学行为由一类不连续的单神经元模型表示。我们在这里报告,如果(1)在时间和决策变量方面,在连续的动作电位之间存在连续可微的膜电位轨迹,并且(2)在动作电位时,脉冲神经元的膜电位对时间的偏导数不等于其触发阈值对时间的偏导数,那么网络中的神经元的 ISI 相对于决策变量是连续可微的。我们的理论结果得到了支持,证明了一类已知的二维脉冲神经元模型满足这些条件。