方程的判定式

困扰数学家百年的微分方程难题，被MIT解决了！

这个微分方程可以用来模拟神经元间通过突触的相互作用方式，换言之就是大脑传递信息的过程。现实生活中有诸多应用场景，比如自动驾驶、大脑和心脏的监测等。

然而，以前求解这个微分方程的过程比较复杂，计算量还会随着数据的增加而暴增——

模拟几个神经元之间的信息传递还好。但如果像人脑一样，有几百亿个神经元、几百万亿个突触呢？

现在，研究人员终于找到了这个微分方程的近似解析解，一下子将计算速度提升了好几倍。

要知道，论文第一作者表示，从1907年以来，就一直没有人能找到这个微分方程的解析解。

牵一发而动全身，论文第一作者还放话称：

还有网友表示：

相关论文已发表在最新一期的Nature MI上，立刻引发了不少关注：

到底是什么样的一个数学难题，能够让网友产生这样大的反应，一起来看看~

解决了一个什么样的难题？

这次MIT的突破，在于找到了两个神经元之间通过突触相互作用微分方程的近似解析解。

要模拟神经元间通过突触相互作用的过程，就需要模拟传导的动作电位。

MIT研究人员先是用去年做出来的“液体”神经网络 （Liquid Time-constant Networks，简称LTC）模拟了这一现象。

如下图，x(t)就是研究希望求解的突触后神经元电位，但之前它需要通过直接求解微分方程来计算，也就是图中左边的一大堆方程：

BUT，他们很快发现，LTC神经网络模型虽然模拟得好，但常微分方程（ODE）计算还是不够快，通常需要结合ODE求解器来搞定。

即通过左边的一堆公式，虽然在给定时间t的情况下也能算出x(t)来，但它不仅算得慢，而且误差还会随着求解过程中的迭代计算一步步被放大。

但如果能求出x(t)的解析解，也就是求出等式右边不包含x(t)这个变量的公式，那么计算效率就能得到成倍的提升。

然而，求解这个常微分方程dv/dt=−glv(t)+S(t)的方法，从1907年提出以来还没有人求出过它的解析解。

在通过一番计算后，研究人员终于得出了这个微分方程的近似解析解，能很好地近似出x(t)的数值：

最关键的是解析解能“一步到位”地求出结果，研究人员表示这比正常求微分方程模型快上1~5倍。

依靠这个新的近似解析解，研究人员提出了一种名叫CfC （closed-form continuous-depth networks，闭式连续深度神经网络）的模型，进一步提升了计算效率、降低了微分方程求解带来的近似误差（approximation error）。

求解出来与原微分方程的相似度也极高：

所以CfC的提出，究竟解决了什么问题？

作者：下一步建立大脑计算模型

提到CfC的作用，还得先说回它的基础，也就是MIT去年建立的“液体”神经网络（LTC）。

△图源：MIT

当时“液体”神经网络的提出，是用于简化如视频处理、金融数据和医疗诊断这类与连续时间强相关的问题计算。

这类问题往往与时间的相关度很高（如股票、视频等变量会不停地随着时间产生变化），这也导致它们的变化情况难以预测，往往需要求解非常复杂的偏微分方程。

“液体”神经网络就是为了解决这一点出现的，确实也提升了这类场景的计算效率。

然而，建立“液体”神经网络的灵感虽然来自小物种的大脑，具有很强的灵活性和适应能力，不过计算量仍然不算低——

一旦增加神经元和突触的数量，计算机可能就因为数据计算量过大“撑不住”了。

这不，今年MIT就带着CfC神经网络来了！

与“Liquid”神经网络相比，CfC可谓去粗取精，它既保留了“Liquid”网络的灵活、因果、稳定和可解释性，同时数量级更快、可扩展性更高。

换句话说，就是CfC更快更强了，而这也意味着它能够适用于更多任务。

论文中的测试结果显示，CfC在一系列任务中表现都要优于SOTA神经网络。

比如说在一项医学预测任务中，对8000名患者进行抽样调查，新模型的速度要比连续潜伏模型快220倍。

其中，CfC在从运动传感器识别人类活动、建立模拟步行机器人的物理动力学模型以及基于事件的连续图像处理方面具有相当高的加速度和性能。

而这对应到现实的实际应用，就是无人驾驶、无人机导航或者各类预测任务。

值得一提的是，据MIT消息，此前也已有证据证明，CfC神经网络能够在没有额外学习的情况下将所学技能迁移到一个全新的环境中，这恰恰是人工智能研究最基本的挑战之一。

（没错，CfC也是不容小觑的）

这一步研究团队解决了神经元之间如何相互作用的描述，那下一步准备干啥？他们立了个flag：

论文的第一作者，同时也是MIT CSAIL研究所附属机构的Ramin Hasani也表示：

据神经学家估计，人脑神经元数量在1000亿个左右，不知道团队是否会挑战“模拟人类大脑”这一难题（手动狗头）。

目前CfC模型已经开源，想要拿它用来模拟一些问题计算的小伙伴，可以去看看了~

CfC项目地址：

论文地址：

— 完 —

量子位 QbitAI · 头条号签约

訾妻股1634一元二次方程求解和判别公式问一下,关于一元二次方程的判别公式的关
丁姚震17387355638 ______ 一元二次方程是只含有一个未知数,并且未知数的最高次数是二次的多项式方程.例如,x2 − 3x 2 = 0,,t2 - 3 = 0等都是一元二次方程.一元二次方程的一般形式是:其中,...

訾妻股1634含有未知数的式子叫方程._____ - ( 判断对错 ) -
丁姚震17387355638 ______[答案] 含有未知数的等式是方程;由此判断:含有未知数的式子是方程,是错误的. 故答案为:*.

訾妻股1634一元二次方程的判断式? -
丁姚震17387355638 ______ b^2-4ac>0 方程有两个不相等的实数根. b^2-4ac=0 方程有两个相等的实数根. b^2-4ac<0 方程有两个共轭的虚数根(初中可理解为无实数根). 上述由左边可推出右边,反过来也可由右边推出左边. 谢谢

訾妻股1634一元二次方程式的判定式是什么? -
丁姚震17387355638 ______ 对于a*x**2+b*y+c=0的一元二次方程.判别式位b**2-4*a*c

訾妻股1634什么是方程?是从形式上判断或是化简后判断?如2x - 2x=1是方程吗? -
丁姚震17387355638 ______[答案] 含有未知数的等式叫住方程. 是从形式上判断.只要满足“含有未知数、等式”两个条件,就可以判定为方程. 2x-2x=1是方程.因为它含有未知数x,且是等式.

訾妻股1634判别式判断方程,判别式是个什东东?
丁姚震17387355638 ______ 任意一个一元二次方程ax^2+bx+c=0(a≠0)均可配成(x+(b/2a))^2=b^2-4ac,因为a≠0,由平方根的意义可知,b^2-4ac的符号可决定一元二次方程根的情况. b^2-4ac叫做一元二次方程ax^2+bx+c=0(a≠0)的根的判别式,用“△”表示(读做delta),即△=b^2-4ac. [编辑本段]根的情况判别 1 一元二次方程ax^2+bx+c=0(a≠0)的根的情况判别 (1)当△>0时,方程有两个不相等的实数根; (2)当△=0时,方程有两个相等的实数根; (3)当△

訾妻股1634含有x的式子叫做方程.___(判断对错) -
丁姚震17387355638 ______[答案] 因为含有x的等式叫做方程,含有x的式子不一定是等式, 所以含有x的式子不一定是方程, 所以题中说法不正确. 故答案为:*.

訾妻股1634含有字母的式子一定是方程.______.(判断对错) -
丁姚震17387355638 ______[答案] 由分析可知,含有字母的式子一定是方程,说法错误, 故答案为:错误.

訾妻股1634九年级化学方程式怎样判断对错怎样判断方程式的对错? -
丁姚震17387355638 ______[答案] 首先检查反应物和生成物的化学式是否正确;第二根据质量守恒定律检查等号两边原子的个数是否相等;第三检查是否正确标出反应条件/箭头是否在生成物后标明.

訾妻股1634判断:所有的方程都是等式. -
丁姚震17387355638 ______ “所有的等式都是方程”,这个说法是错误的,因为“方程是含有未知数的等式”,等式里如果没有未知数,就不是方程,比如3+2=5,是等式,但不是方程 “所有的方程都是等式”这种说法是正确的,因为“方程是含有未知数的等式”,所以方程首先是等式