主页 > 计算机论文 > 软件开发论文 > 计算科学 > 正文

计算科学 对计算科学与计算机展开的思索

2019-05-12 10:21:00来源:论文阁作者:佚名
计算科学导读:: 本文从什麼是计算说起, 经过对计算机的展开历史和人类对计算本质看法的回想, 提出量子计算系统的展开和成熟, 并且提出了人类看法未知世界

: 本文从什麼是计算说起, 经过对计算机的展开历史和人类对计算本质看法的回想, 提出量子计算系统的展开和成熟, 并且提出了人类看法未知世界的规律:“计算工具不时展开—全体思想才干的不时增强—公理系统的不时扩展—旧的神谕被处置—新的神谕不时发作”不时循环。

关键词:计算科学,计算工具,图灵模型,量子计算

计算科学 对计算科学与计算机展开的思索

1 计算的本质

笼统地说, 所谓计算, 就是从一个符号串f 变换成另一个符号串g 。比如说, 从符号串1 2 + 3 变换成1 5 就是一个加法计算。假设符号串f 是x2,而符号串g 是2x,从f 到g 的计算就是微分。定理证明也是如此, 令f 表示一组公理和推导规则, 令g 是一个定理, 那麼从f 到g 的一系列变换就是定理g的证明。从这个角度看, 文字翻译也是计算, 如f 代表一个英文句子, 而g 爲含义相反的中文句子, 那麼从f 到g 就是把英文翻译成中文。这些变换间有什麼共同点?爲何把它们都叫做计算?由于它们都是从己知符号( 串) 末尾, 一步一步地改动符号( 串) , 经过有限步骤, 最后失掉一个满足预先规则的符号( 串) 的变换进程。

从类型上讲, 计算主要有两大类: 数值计算和符号推导。数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等。符号推导包括代数与各种函数的恒等式、不等式的证明, 几何命题的证明等。但无论是数值计算还是符号推导,它们在本质上是等价的、分歧的, 即二者是密切关联的, 可以相互转化, 具有共同的计算本质。随着数学的不时展开, 还可以出现新的计算类型。

2 远古的计算工具

人们从末尾发作计算之日, 便不时寻求能方便中止和加速计算的工具。因此,计算和计算工具是毫不相关的。

早在公元前5 世纪, 中国人已末尾用算筹作爲计算工具, 并在公元前3 世纪失掉普遍的采用, 不时沿用了二千年。后来, 人们发明了算盘, 并在15 世纪失掉普遍采用, 取代了算筹。它是在算筹基础上发明的, 比算筹愈加方便适用, 同时还把算法口诀化,从而加快了计算速度。

3 近代计算系统

近代的科学展开促进了计算工具的展开: 在1 6 1 4 年, 对数被发明以后, 乘除运算可以化爲加减运算, 对数计算尺便是依据这一特点来设计。1 6 2 0 年, 冈特最先使用对数计算尺来计算乘除。1 8 5 0 年, 曼南在计算尺上装上光标, 因此而遭到事前科学打工者, 特别是工程技术人员普遍采用。机器式计算器是与计算尺同时出现的, 是计算工具上的一大发明。帕斯卡于1642 年发明了帕斯卡加法器。在1671 年,莱布尼茨发明了一种能作四则运算的手摇计算器, 是长1 米的大盒子。自此以后, 经过人们在这方面多年的研讨, 特别是经过托马斯、奥德内尔等人的改良后, 出现了多种多样的手摇计算器, 并盛行全世界。

4 电动计算机

英国的巴贝奇于1 8 3 4 年, 设计了一部完全顺序控制的分析机, 可惜碍于事前的机器技术限制而没有制成, 但已包括了现代计算的基本思想和主要的组成部分了。此后, 由于电力技术有了很大的展开,电动式计算器便渐渐取代以人工爲动力的计算器。1 9 4 1 年, 德国的楚泽采用了继电器, 制成了第一部进程控制计算器, 完成了1 0 0 多年前巴贝奇的理想。

5 电子计算机

2 0 世纪初, 电子管的出现, 使计算器的革新有了新的展开, 美国宾夕法尼亚大学和有关单位在1 9 4 6 年制成了第一台电子计算机。电子计算机的出现和展开, 使人类进入了一个全新的时代。它是2 0 世纪最伟大的发明之一, 也当之无愧地被以爲是迄今爲止由科学和技术所创造的最具影响力的现代工具。

在电子计算机和信息技术高速展开进程中, 因特尔公司的创始人之一戈登·摩尔(GodonMoore)对电子计算机产业所依赖的半导体技术的展开作出预言: 半导体芯片的集成度将每两年翻一番。理想证明,自2 0 世纪6 0 年代以后的数十年内, 芯片的集成度和电子计算机的计算速度理论是每十八个月就翻一番, 而价钱却随之降低一倍。这种奇迹般的展开速度被公以爲“摩尔定律”。

6 “摩尔定律”与“计算的极限”

人类能否可以将电子计算机的运算速度永无止境地提升? 传统计算机计算才干的提高有没有极限? 对此成果, 学者们在中止严密论证后给出了否认的答案。假设电子计算机的计算才干无限提高, 最终地球上一切的能量将转换爲计算的结果——构成熵的降低, 这种向低熵方向无限展开的运动被哲学界以爲是制止的, 因此, 传统电子计算机的计算才干必有上限。

而以IBM 研讨中心朗道(R.Landauer)爲代表的实践科学家以爲到2 1 世纪3 0 年代, 芯片内导线的宽度将窄到纳米尺度( 1纳米= 1 0 - 9 米) , 此时, 导线内运动的电子将不再遵照经典物理规律——牛顿力学沿导线运转, 而是按照量子力学的规律表现出奇特的“电子乱窜”的现象, 从而招致芯片无法正常打工; 异常, 芯片中晶体管的体积小到一定临界尺寸( 约5 纳米) 后, 晶体管也将遭到量子效应烦扰而呈现出奇特的正常效应。

哲学家和科学家对此成果的看法十分分歧: 摩尔定律不久将不再适用。也就是说, 电子计算机计算才干飞速展开的可喜景象很可以在2 1 世纪前3 0 年内终止。著名科学家, 哈佛大学终身教授威尔逊(EdwardO.Wilson)指出: “科学代表着一个时代最爲大胆的猜想( 形而上学) 。它地道是人爲的。但我们相信, 经过跟随“梦想—发现—解释—梦想”的不时循环, 我们可以开拓一个个新范围, 世界最终会变得越来越明晰, 我们最终会了解宇宙的奇妙。一切的美妙都是彼此联络和有意义的。”

栏目分类