对计算科学与计算机发展的思考_第1页
对计算科学与计算机发展的思考_第2页
对计算科学与计算机发展的思考_第3页
对计算科学与计算机发展的思考_第4页
对计算科学与计算机发展的思考_第5页
全文预览已结束

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、.:.;对计算科学与计算机开展的思索摘 要: 本文从什么是计算说起, 经过对 HYPERLINK lunwennet/thesis/List_17.html t _blank 计算机的开展 HYPERLINK lunwennet/thesis/List_148.html t _blank 历史和人类对计算本质认识的回想, 提出量子计算系统的开展和成熟, 并且提出了人类认识未知世界的规律:“计算工具不断开展整体思想才干的不断加强公理系统的不断扩展旧的神谕被处理新的神谕不断产生不断循环。关键词:计算科学 计算工具 图灵模型 量子计算 1 计算的本质笼统地说, 所谓计算, 就是从一个符号串f 变换成

2、另一个符号串g 。比如说, 从符号串1 2 + 3 变换成1 5 就是一个加法计算。假设符号串f 是x2,而符号串g 是2x,从f 到g 的计算就是微分。定理证明也是如此, 令f 表示一组公理和推导规那么, 令g 是一个定理, 那么从f 到g 的一系列变换就是定理g的证明。从这个角度看, 文字 HYPERLINK lunwennet/thesis/List_149.html t _blank 翻译也是计算, 如f 代表一个英文句子, 而g 为含意一样的中文句子, 那么从f 到g 就是把英文翻译成中文。这些变换间有什么共同点?为什么把它们都叫做计算?由于它们都是从己知符号( 串) 开场, 一步一

3、步地改动符号( 串) , 经过有限步骤, 最后得到一个满足预先规定的符号( 串) 的变换过程。从类型上讲, 计算主要有两大类: 数值计算和符号推导。数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等。符号推导包括代数与各种函数的恒等式、不等式的证明, 几何命题的证明等。但无论是数值计算还是符号推导,它们在本质上是等价的、一致的, 即二者是亲密关联的, 可以相互转化, 具有共同的计算本质。随着 HYPERLINK lunwennet/thesis/List_85.html t _blank 数学的不断开展, 还能够出现新的计算类型。2 远古的计算工具人们从开场产生计算之日, 便不断

4、寻求能方便进展和加速计算的工具。因此,计算和计算工具是息息相关的。早在公元前5 世纪, 中国人已开场用算筹作为计算工具, 并在公元前3 世纪得到普遍的采用, 不断沿用了二千年。后来, 人们发明了算盘, 并在15 世纪得到普遍采用, 取代了算筹。它是在算筹根底上发明的, 比算筹更加方便适用, 同时还把算法口诀化,从而加快了计算速度。3 近代计算系统近代的科学开展促进了计算工具的开展: 在1 6 1 4 年, 对数被发明以后, 乘除运算可以化为加减运算, 对数计算尺便是根据这一特点来设计。1 6 2 0 年, 冈特最先利用对数计算尺来计算乘除。1 8 5 0 年, 曼南在计算尺上装上光标, 因此而

5、遭到当时科学 HYPERLINK lunwennet/thesis/List_157.html t _blank 任务者, 特别是工程技术人员广泛采用。机械式计算器是与计算尺同时出现的, 是计算工具上的一大发明。帕斯卡于1642 年发明了帕斯卡加法器。在1671 年,莱布尼茨发明了一种能作四那么运算的手摇计算器, 是长1 米的大盒子。自此以后, 经过人们在这方面多年的研讨, 特别是经过托马斯、奥德内尔等人的改良后, 出现了多种多样的手摇计算器, 并风行全世界。4 电动计算机英国的巴贝奇于1 8 3 4 年, 设计了一部完全程序控制的分析机, 惋惜碍于当时的机械技术限制而没有制成, 但已包含了现

6、代计算的根本思想和主要的组成部分了。以后, 由于 HYPERLINK lunwennet/thesis/List_126.html t _blank 电力技术有了很大的开展,电动式计算器便渐渐取代以人工为动力的计算器。1 9 4 1 年, 德国的楚泽采用了继电器, 制成了第一部过程控制计算器, 实现了1 0 0 多年前巴贝奇的理想。5 电子计算机2 0 世纪初, 电子管的出现, 使计算器的改革有了新的开展, 美国宾夕法尼亚大学和有关单位在1 9 4 6 年制成了第一台电子计算机。电子计算机的出现和开展, 使人类进入了一个全新的时代。它是2 0 世纪最伟大的发明之一, 也当之无愧地被以为是迄今为

7、止由科学和技术所发明的最具影响力的现代工具。在电子计算机和信息技术高速开展过程中, 因特尔 HYPERLINK lunwennet/thesis/List_44.html t _blank 公司的开创人之一戈登摩尔(GodonMoore)对电子计算机产业所依赖的半导体技术的开展作出预言: 半导体芯片的集成度将每两年翻一番。现实证明,自2 0 世纪6 0 年代以后的数十年内, 芯片的集成度和电子计算机的计算速度实践是每十八个月就翻一番, 而价钱却随之降低一倍。这种奇观般的开展速度被公以为“摩尔定律。6 “摩尔定律与“计算的极限人类能否可以将电子计算机的运算速度永无尽头地提升? 传 HYPERLI

8、NK lunwennet/thesis/List_87.html t _blank 统计算机计算才干的提高有没有极限? 对此问题, 学者们在进展严密论证后给出了否认的答案。假设电子计算机的计算才干无限提高, 最终地球上一切的能量将转换为计算的结果呵斥熵的降低, 这种向低熵方向无限开展的运动被 HYPERLINK lunwennet/thesis/List_19.html t _blank 哲学界以为是制止的, 因此, 传统电子计算机的计算才干必有上限。而以IBM 研讨中心朗道(R.Landauer)为代表的实际科学家以为到2 1 世纪3 0 年代, 芯片内导线的宽度将窄到纳米尺度( 1纳米=

9、1 0 - 9 米) , 此时, 导线内运动的电子将不再遵照经典 HYPERLINK lunwennet/thesis/List_86.html t _blank 物理规律牛顿力学沿导线运转, 而是按照量子力学的规律表现出奇特的“电子乱窜的景象, 从而导致芯片无法正常任务; 同样, 芯片中晶体管的体积小到一定临界尺寸( 约5 纳米) 后, 晶体管也将遭到量子效应干扰而呈现出奇特的反常效应。哲学家和科学家对此问题的看法非常一致: 摩尔定律不久将不再适用。也就是说, 电子计算机计算才干飞速开展的可喜景象很能够在2 1 世纪前3 0 年内终止。著名科学家, 哈佛大学终身教授威尔逊(EdwardO.W

10、ilson)指出: “科学代表着一个时代最为大胆的猜测( 形而上学) 。它纯粹是人为的。但我们置信, 经过跟随“梦想发现解释梦想的不断循环, 我们可以开辟一个个新领域, 世界最终会变得越来越明晰, 我们最终会了解宇宙的微妙。一切的愉快都是彼此联络和有意义的。 HYPERLINK lunwennet/ 论/文/网 HYPERLINK lunwennet/ LunWenNet/Com 7 量子计算系统量子计算最初思想的提出可以追溯到20 世纪80 年代。物 HYPERLINK lunwennet/thesis/List_10.html t _blank 理学家费曼RichardP.Feynman

11、曾试图用传统的电子计算机模拟量子力学对象的行为。他遇到一个问题:量子力学系统的行为通常是难以了解同时也是难以求解的。以光的干涉景象为例,在干涉过程中, 相互作用的光子每添加一个, 有能够发生的情况就会多出一倍, 也就是问题的规模呈指数级添加。模拟这样的实验所需的计算量真实太大了, 不过, 在费曼眼里, 这却恰恰提供一个契机。由于另一方面, 量子力学系统的行为也具有良好的可预测性: 在干涉实验中, 只需给定初始条件, 就可以推测出屏幕上影子的外形。费曼推断以为假设算出干涉实验中发生的景象需求大量的计算, 那么搭建这样一个实验, 丈量其结果, 就恰好相当于完成了一个复杂的计算。因此, 只需在计算机

12、运转的过程中, 允许它在真实的量子力学对象上完成实验, 并把实验结果整合到计算中去, 就可以获得远远超出传统计算机的运算速度。在费曼想象的启发下, 1 9 8 5 年英国牛津大学教授多伊奇DavidDeutsch 提出能否可以用物理学定律推导出一种超越传统的计算概念的方法即推导出更强的丘奇图灵论题。费曼指出运用量子计算机时,不需求思索计算是如何实现的, 即把计算看作由“神谕来实现的: 这类计算在量子计算中被称为“神谕(Oracle)。种种迹象阐明: 量子计算在一些特定的计算领域内确实比传统计算更强, 例如,现代信息平安技术的平安性在很大程度上依赖于把一个大整数( 如1 0 2 4 位的十进制数

13、) 分解为两个质数的乘积的难度。这个问题是一个典型的“困难问题, 困难的缘由是目前在传统电子计算机上还没有找到一种有效的方法将这种计算快速地进展。目前, 就是将全世界的一切大大小小的电子计算机全部利用起来来计算上面的这个1 0 2 4 位整数的质因子分解问题, 大约需求2 8 万年, 这曾经远远超越了人类所可以等待的时间。而且, 分解的难度随着整数位数的增多指数级增大, 也就是说假设要分解2 0 4 6 位的整数, 所需求的时间曾经远远超越宇宙现有的年龄。而利用一台量子计算机, 我们只需求大约4 0 分钟的时间就可以分解1024 位的整数了。8 量子计算中的神谕人类的计算工具, 从木棍、石头到

14、算盘, 经过电子管计算机, 晶体管计算机, 到如今的电子计算机, 再到量子计算。笔者发现这其中的过程让人思索: 首先是人们发现用石头或者棍棒可以协助 人们进展计算, 随后, 人们发明了算盘, 来协助 人们进展计算。当人们发现不仅人手可以搬动“算珠, 机器也可以用来搬动“算珠, 而且效率更高, 速度更快。随后, 人们用继电器替代了纯机械, 最后人们用电子替代了继电器。就在人们改良计算工具的同时,数学家们开场对计算的本质展开了研讨,图灵机模型通知了人们答案。量子计算的出现, 那么彻底突破了这种认识与创新规律。它建立在对量子力学实验的在现实世界的不可计算性。试图利用一个实验来替代一系列复杂的大量运算

15、。可以说。这是一种革命性的思索与处理问题的方式。由于在此之前, 一切计算均是模拟一个快速的“算盘, 即使是最先进的电子计算机的CPU 内部,64 位的存放器(register),也是等价于一个有着6 4 根轴的二进制算盘。量子计算那么完全不同, 对于量子计算的中心部件, 类似于古代希腊中的“ 神谕, 没有人弄清楚神谕内部的机理, 却对“神谕内部产生的结果坚信不疑。人们可以把它当作一个黑盒子, 人们经过输入, 可以得到输出, 但是对于黑盒子内部发生了什么和为什么这样发生确并不知道。9 “神谕的挑战与人类本身的回应人类的思索才干, 随着计算工具的不断进化而不断加强。电子计算机和互联网的出现, 大大加强了人类整体的科研才干,那么, 量子计算系统的产生, 会给人类整体带来更加强大的科研才干和思索才干, 并最终处理困扰当今时代的量子“神谕。不仅如此, 量子计算系统会更加深化的提示计算的本质, 把人类对计算本质的认识从牛顿世界中扩展到量子世界中。假设察看历史, 会发现人类文明不断增多的“发现曾经构

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论