
简介
该用户还未填写简介
擅长的技术栈
未填写擅长的技术栈
可提供的服务
暂无可提供的服务
符号模型检验(7)ADD
代数决策图(ADD)是一种用于伪布尔函数表示和操作的图形化数据结构。
种群数量变化模型logistic模型的种群数量函数
对于logistic模型,我们经常见到的形式是这样子的dNdt=r∗N∗(1−NK)\frac{dN}{dt}=r*N*(1-\frac{N}{K})dtdN=r∗N∗(1−KN)其中N为种群生物数量(或密度),r为固定增长率,K为种群环境容纳量我们可以求它的原函数:先分离变量1r∗N∗(1−NK)∗dN=1dt\frac{1}{r*N*(1-\frac{N}{K})}*dN=1 dtr...
概率论各种基础分布期望和方差推导过程汇总
概率论的基础分布的期望和方差计算推导汇总

到底了