万维的玉质先生在我上篇博文《文化长廊》的留言中,提到了人工智能和它的有关应用,由于评论区的局限,无法让我畅所欲言,故另起这篇文章。 应用数学是什么概念? 首先,应用数学也是数学,应用数学是从应用中提炼出来的数学问题,也就是说,它的研究能够用到其他的科学领域,或者其他的工程领域。 当然,纯数学的研究,过些年也可能会变成应用数学。现在做的工作目前也许发现不了有什么用处,但是100年后,200 年后,你突然就发现它有用处了。比如说,以前物理学家觉得群论(group theory)没什么用处,这是纯数学家玩的东东,物理学家不需要懂得,但现在的物理学家却用群论用得很多。所以说,还真不好说,什么时候它就可以应用了。比如说,上面提到的物理学,工程学,或者航天上的流体力学,或者其他的天体物理,生物,化学 。。。。。都会用到应用数学。 那么计算数学又是扮演一个什么角色呢? 具体的说,计算微分方程。任何可以用微分方程来描述的物理现象,工程现象,计算微分方程都可能有它的用处。比如说流体力学,这是可以用微分方程来描述的。这些微分方程,当然,在数学上的描述是非常漂亮的,不幸的是,没法写出准确的解。这,就是一个典型的应用数学从应用中提出来的问题。 比如说,一元二次方程,你能写出准确的解,但是,一元五次方程,也许你就写不出准确的解了,那么,你就要用计算的方法去对付它。 计算流体力学就是流体力学,你要用数学的形式表示出来。上面所说的,有些微分方程无法写出它的解,但是,在数学上,你可以研究它的解是否存在,如果存在,是不是唯一的。还有,它是不是适定,也就是说,初值如果有变化,过一段时间以后,这个解的变化会有多大?这些问题,可以从数学上研究,但是,你具体要解出它的解来,这就难办了,很多微分方程是无法写出准确解的。怎么办?这时,就需要设计比较好的计算方法,在计算机上把这些解近似出来,注意,我说的是近似,不是准确地解出来。 比如,模拟飞机附近的流体状态, 飞机本身的表现,还有轮船,汽车,你想想,我们周围全是流体,是不是?包括气体,也就是我们周围的空气,它就是一种流体。以前,我们想设计一架飞机,靠的是风洞。预先假设机翼的形状,做成模型,放置在风洞里吹风,拿到些数据,然后,把机翼的形状改一改,再放到风洞里吹一遍,拿到一些好一点的数据,也就是说,这个数据比前面的好些,有些改进。改进的意思是,飞机飞起来可以少用一些油,或者飞起来更平稳,稳定性更好,等等。。。但是,这个代价是非常大的,你每吹一吹风洞,要耗费大量的能量。有了计算机后,可以做数值风洞,可以算出这些结果来。这就不需要很大的代价,不满意结果,最多就是在计算机上再跑一次。这样出来的最后结果,再去风洞吹一次,这就大量减少了风洞的使用,设计飞机的效率也大大的提高了。 除了飞行器,还有更高速的运动物体,解决起来会更困难些,所以说,计算流体力学,其实就是流体力学。流体力学这个描述,在一般比较极端的状态下,它这个本身就需要研究,相应带来对计算方法的挑战和考验 ----算法 要设计得更完备一些。 计算数学工作者的任务,是分析这些计算方法的稳定性,收敛性。这些数值方法一旦经过了这些分析,可以比较放心地使用了,然后,还要和工程师,物理学家,计算流体力学研究者一起,把它们运用到实际中去。 当然,目前用计算流体力学不能解决的工程问题还是很多。现在计算机当然发展的很好,但是,不管多好,实际上有些东西我们还是算不动。所谓算不动,就是一个模拟要算很长时间。如果是设计,那就要反反复复地做,这就不太实际了。当然,一个是数学理论上需要提高,另外是数值方法上需要大幅度改进。 最近几年来,人工智能发展得很快,在算法上,如果你想改进,把它算得快些,或者是一些颠覆性的结果,用人工智能设计出新形式的算法,这是最近的发展趋势。再有就是量子计算机。目前,真正造出来的量子计算机规模还比较小,现在还是一个理论上的东西,但是别急,以后造出来了,它在效率上的改变将是颠覆性的。 另外,湍流问题,这是个难题。湍流是指流体在运动中出现越来越小的流体结构,比如说,抽烟吐出来的那种虚无缥缈的烟圈。这个问题在数学上的描述已经相当不错了,问题是,要去算它的时候,这是件不容易做的事。当尺度越来越小,你想把它精确近似的话,要用大量的计算时间,这个“大量”目前是做不到的。那就要想些办法,做一些近似的湍流模型,然后去解这些近似的模型,这样,还能在今天的计算机上解决它。目前,工具方面和数学理论方面都不完备。 人工智能实际上是用到大数据的,所谓的人工智能,实际上就是让机器去学习,但是,你总得给它东西它才能学呀!那么,就需要大量的数据,这些数据可能是实验数据,可能是风洞里吹出来的数据,也可能是计算中产生的数据。你先算一些东西,放在那里,然后让机器去学,这就形成了人工智能模型,这个模型就可以解决新的问题。这应该是双管齐下,各种传统方法加上新的方法,各有优缺点,都需要发展,改进。如果计算的工具充分的有效,那就可以用它来设计出一些新鲜的东西,这是完全可能的。
|