《对计算科学与计算机发展的思考解析.doc》由会员分享，可在线阅读，更多相关《对计算科学与计算机发展的思考解析.doc（4页珍藏版）》请在三一文库上搜索。
1、对计算科学与计算机发展的思考1计算的本质抽象地说,所谓计算，就是从一个符号串f变换成另一个符号串g。比如说，从符号串1 2 + 3变换成1 5就是一个加法计算。如果符号串f是x2,而符号串g是2x,从f到g的计算就是微分。定理证明也是如此令f表示一组公理和推导规则，令g是一个定理，那么从f到g的一系列变换就是定理 g的证明。从这个角 度看，文字翻译也是计算，如f代表一个英文句子，而g为含意相同的中文句子，那么从f到g就是把英文翻 译成中文。这些变换间有什么共同点？为什么把它们都叫做计算？因为它们都是从己知符号（串）开始，一步一步地改变符号（串），经过有限步骤，最后得到一个满足预先规定的符号 （
2、串）的变换过程。从类型上讲，计算主要有两大类：数值计算和符号推导。数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等。符号推导包括代数与各种函数的恒等式、不等式的证明，几何命题的证明等。但无论是数值计算还是符号推导 ，它们在本质上是等价的、一致的，即二者是密切关联的，可以相互转 化，具有共同的计算本质。随着数学的不断发展 ，还可能岀现新的计算类型。2远古的计算工具人们从开始产生计算之日，便不断寻求能方便进行和加速计算的工具。因此，计算和计算工具是息息相关的。早在公元前5世纪，中国人已开始用算筹作为计算工具 ，并在公元前3世纪得到普遍的采用，一直沿用 了二千年。后来，人们发明了算盘
3、，并在15世纪得到普遍采用，取代了算筹。它是在算筹基础上发明的 ，比 算筹更加方便实用，同时还把算法口诀化，从而加快了计算速度。3近代计算系统近代的科学发展促进了计算工具的发展 ：在1 6 1 4年，对数被发明以后，乘除运算可以化为加减运算， 对数计算尺便是依据这一特点来设计。1 6 2 0年，冈特最先利用对数计算尺来计算乘除。1 8 5 0年，曼南在计算尺上装上光标，因此而受到当时科学工作者，特别是工程技术人员广泛采用。机械式计算器是与计算 尺同时出现的，是计算工具上的一大发明。帕斯卡于1642年发明了帕斯卡加法器。在 1671年，莱布尼茨发明了一种能作四则运算的手摇计算器，是长1米的大盒子
4、。自此以后，经过人们在这方面多年的研究，特别是经过托马斯、奥德内尔等人的改良后，岀现了多种多样的手摇计算器，并风行全世界。4电动计算机英国的巴贝奇于1 8 3 4年，设计了一部完全程序控制的分析机 ，可惜碍于当时的机械技术限制而没有 制成，但已包含了现代计算的基本思想和主要的组成部分了。此后，由于电力技术有了很大的发展，电动式计算器便慢慢取代以人工为动力的计算器。1 9 4 1年，德国的楚泽采用了继电器，制成了第一部过程控制计算器，实现了 1 0 0多年前巴贝奇的理想。5电子计算机20世纪初，电子管的岀现，使计算器的改革有了新的发展，美国宾夕法尼亚大学和有关单位在 1 9 4 6 年制成了第一
5、台电子计算机。电子计算机的岀现和发展 ，使人类进入了一个全新的时代。它是 20世纪最 伟大的发明之一，也当之无愧地被认为是迄今为止由科学和技术所创造的最具影响力的现代工具。在电子计算机和信息技术高速发展过程中，因特尔公司的创始人之一戈登摩尔（GodonMoore）对电子计算机产业所依赖的半导体技术的发展作岀预言：半导体芯片的集成度将每两年翻一番。事实证明，自20世纪60年代以后的数十年内，芯片的集成度和电子计算机的计算速度实际是每十八个月就翻一番，而价格却随之降低一倍。这种奇迹般的发展速度被公认为摩尔定律”。6摩尔定律”与计算的极限”人类是否可以将电子计算机的运算速度永无止境地提升？传统计算机
6、计算能力的提高有没有极限 ？对此问题，学者们在进行严密论证后给岀了否定的答案。如果电子计算机的计算能力无限提高，最终地球上所有的能量将转换为计算的结果一一造成熵的降低，这种向低熵方向无限发展的运动被哲学界认为是禁止的，因此，传统电子计算机的计算能力必有上限。而以IBM研究中心朗道（R.Landauer）为代表的理论科学家认为到2 1世纪3 0年代，芯片内导线的宽度将窄到纳米尺度（1纳米=1 0 - 9米），此时，导线内运动的电子将不再遵循经典物理规律牛顿力学沿导线运行，而是按照量子力学的规律表现岀奇特的电子乱窜”的现象，从而导致芯片无法正常工作；同样，芯片中晶体管的体积小到一定临界尺寸（约5纳
7、米）后，晶体管也将受到量子效应干扰而呈现岀奇特的反常效应。哲学家和科学家对此问题的看法十分一致：摩尔定律不久将不再适用。也就是说，电子计算机计算能力飞速发展的可喜景象很可能在2 1世纪前30年内终止。著名科学家，哈佛大学终身教授威尔逊（EdwardO.Wilson）指出：科'学代表着一个时代最为大胆的猜想（形而上学）。它纯粹是人为的。但我们相信,通过追寻 梦想一发现一解释一梦想”的不断循环，我们可以开拓一个个新领域，世界最终会变得越来越 清晰，我们最终会了解宇宙的奥妙。所有的美妙都是彼此联系和有意义的。”7量子计算系统量子计算最初思想的提出可以追溯到20世纪80年代。物理学家费曼 Ri
8、chardP.Feynman 曾试图用传统的电子计算机模拟量子力学对象的行为。他遇到一个问题：量子力学系统的行为通常是难以理解同时也是难以求解的。以光的干涉现象为例，在干涉过程中，相互作用的光子每增加一个，有可能发生的情况就 会多岀一倍，也就是问题的规模呈指数级增加。模拟这样的实验所需的计算量实在太大了，不过，在费曼眼里,这却恰恰提供一个契机。因为另一方面，量子力学系统的行为也具有良好的可预测性：在干涉实验中，只要给定初始条件，就可以推测岀屏幕上影子的形状。费曼推断认为如果算岀干涉实验中发生的现象需要 大量的计算，那么搭建这样一个实验，测量其结果，就恰好相当于完成了一个复杂的计算。因此，只要在
9、计算机运行的过程中，允许它在真实的量子力学对象上完成实验，并把实验结果整合到计算中去，就可以获得远远超岀传统计算机的运算速度。在费曼设想的启发下，1 9 8 5年英国牛津大学教授多伊奇DavidDeutsch提出是否可以用物理学定律推导岀一种超越传统的计算概念的方法即推导岀更强的丘奇一一图灵论题。费曼指岀使用量子计算机时，不需要考虑计算是如何实现的，即把计算看作由 神谕”来实现的：这类计算在量子计算中被称为神谕”（Oracle种种迹象表明：量子计算在一些特定的计算领域内确实比传统计算更强，例如，现代信息安全技术的安全性在很大程度上依赖于把一个大整数（如1 0 2 4位的十进制数）分解为两个质数
10、的乘积的难度。这个问题是一个典型的困难问题”困难的原因是目前在传统电子计算机上还没有找到一种有效的办法将这种计算快速地进行。目前，就是将全世界的所有大大小小的电子计算机全部利用起来来计算上面的 这个1 0 2 4位整数的质因子分解问题，大约需要2 8万年，这已经远远超过了人类所能够等待的时间。而 且,分解的难度随着整数位数的增多指数级增大，也就是说如果要分解 2 0 4 6位的整数，所需要的时间已经远远超过宇宙现有的年龄。而利用一台量子计算机，我们只需要大约4 0分钟的时间就可以分解1024位的整数了。8量子计算中的神谕人类的计算工具，从木棍、石头到算盘，经过电子管计算机，晶体管计算机，到现在
11、的电子计算机，再到 量子计算。笔者发现这其中的过程让人思考：首先是人们发现用石头或者棍棒可以帮助人们进行计算，随后，人们发明了算盘，来帮助人们进行计算。当人们发现不仅人手可以搬动算珠”机器也可以用来搬动 算珠”，而且效率更高，速度更快。随后，人们用继电器替代了纯机械，最后人们用电子代替了继电器。就在人们改 进计算工具的同时，数学家们开始对计算的本质展开了研究，图灵机模型告诉了人们答案。量子计算的岀现，则彻底打破了这种认识与创新规律。它建立在对量子力学实验的在现实世界的不可 计算性。试图利用一个实验来代替一系列复杂的大量运算。可以说。这是一种革命性的思考与解决问题的 方式。因为在此之前，所有计算
12、均是模拟一个快速的算盘”即使是最先进的电子计算机的CPU内部，64位的寄存器(register)，也是等价于一个有着 6 4根轴的二进制算盘。量子计算则完全不同，对于量子计算的核心部件，类似于古代希腊中的神谕”没有人弄清楚神谕内部的机理，却对 神谕”内部产生的结果深信不疑。人们可以把它当作一个黑盒子，人们通过输入，可以得到输岀，但是对于黑盒子内部发生了什么和为什么这 样发生确并不知道。9神谕”的挑战与人类自身的回应人类的思考能力，随着计算工具的不断进化而不断加强。电子计算机和互联网的岀现，大大加强了人类整体的科研能力，那么，量子计算系统的产生，会给人类整体带来更加强大的科研能力和思考能力，并最
13、终解决困扰当今时代的量子神谕”。不仅如此，量子计算系统会更加深刻的揭示计算的本质，把人类对计算本质的认识从牛顿世界中扩充到量子世界中。如果观察历史，会发现人类文明不断增多的发现”已经构成了我们理解世界的公理”人们的公理系统在不断的增大，随着该系统的不断增大，人们认清并解决了许多问题。人类的认识模式似乎符合下面的规律：计算工具不断发展 一整体思维能力的不断增强 一公理系统的不断扩大 一旧的神谕被解决 一新的神谕 不断产生”不断循环。无论量子计算的本质是否被发现，也不会妨碍量子计算时代的到来。量子计算是计算科学本身的一次 新的革命，也许许多困扰人类的问题，将会随着量子计算机工具的发展而得到解决，它
14、将 计算科学”从牛顿时代引向量子时代，并会给人类文明带来更加深刻的影响。参考文献1 M.A.Nielsenandl.L.Chuang,QuantumComputation and Quantum lnformationM.CambridgeUniversity Press,2000.2 A.M.Turing.On computable numbers,with an application to the Entscheidungsproblem,Proc.Lond,1936(42):230265.3 Quantum Information Scienceand TechnologyQuIST program ver.2.0J.Defense AdvancedResearch ProjectsAgency DARPA,2004,4.