量子计算动摇了丘奇-图灵论点吗--兼纪念图灵逝世50周年

1930年代初提出的丘奇-图灵论点。是判定什么是计算、什么问题是可计算的、什么问题是不可计算的这一切问题的最根本原则或标准。电子计算机诞生后，丘奇一图灵论点还成了刻画电子计算机计算能力的最基本的理论依据。70年过去了，尽管新型的计算范例不断涌现，如神经网络计算、遗传计算、进化计算、DNA计算等，但它们除了在计算复杂性方面(计算效率)较优。并没有从根本上动摇丘奇-图灵论点。     

为计算主义辩护

自1980年代以来，计算科学与计算技术已在科学活动和社会生活的各个方面显示出巨大威力。在科学方面，计算已与实验、理论形成三足鼎立之势，成为当代科学研究的一种新视角、新理念和新方法：在哲学方面，计算这一原本属于数学领域的专门概念也已上升为一种新的哲学范畴，成为人们审视世界的一种新的世界观。“计算主义”已成为当今科学界、哲学界最具时代特色的一个概念和主张。     

高性能计算机与计算科学

<正> 1 引言 在本世纪40年代末50年代初,电子数字计算机刚刚问世的时候,科学和工程计算问题是它唯一的应用领域。50年后的今天,计算机无论在性能还是应用方面都有了突飞猛进的发展,但科学与工程计算仍然是它的重要应用领域之一,尤其是高性能计算机的主要应用领域。 70年代中期以后,出现了以Cray计算机系列为代表的超级计算机。随着可解问题规模的增大,计算本身成了科学研究工作中不可分割的一个重要部分,从而形成了独立于理论科学和实验科学之外的第三类科学,即计算科学(computational science)。计算科学与理论和实验科学的相互作用是很强的:理论科学提出数据模型供计算科学用数值方法解决,而这种     

科学和工程计算

科学和工程计算的兴起是２０世纪后半叶最重要的科技进步之一。随着计算机和计算方法的飞速发展,几乎所有学科都走向定量化和精确化,从而产生了一系列计算性的学科分支,如计算物理、计算化学、计算生物学、计算地质学、计算气象学、计算材料科学等等,计算数学则是它们...     

高性能计算技术发展

高性能计算（超级计算）技术是国家发展的战略性制高点技术。本文介绍了高性能计算技术的重要地位及当今世界各国装备应用情况;介绍了高性能机的发展历史与分类、最近十年的标志性成果及最近一年的世界最快计算机的前10名;分析了发展高性能计算技术的主要难点和研究方向;展望了未来十年发展的巨大新挑战。     

"计算能"颠覆世界

明天的计算机将很小,能听懂我们的语言,随时随地陪着我们,并且把我们同整个世界的“计算能”联系在一起。     

支撑科技创新的高效能计算

高效能计算是从高性能计算逐步演变而来的,高性能计算(high performance computing)是计算机科学的一个分支,研究如何开发超级计算机以及在其上运行的软件,这些软件旨在把一个大的程序分解成许多小程序,以便在许多处理器上同时运行,快速实现问题的求解.     

计算机：能超越硅技术吗？

在关于新互联网经济的流行而愉快的谈论中，人们很容易忘记信息技术最终仍需要有形的东西：电路芯片、光学纤维、开关及所有其他的硬件。ＴＲ１００（《技术评论》杂志主持的一个项目）的硬件开发员工们正是为数字未来的这一方面工作着，不断推动原子和分子使数据库得以填充，电子邮件被发送，在线交易能够进行。从芯片到机器人，所有信息世界成为现实的地方都有硬件。而在这个舞台上，ＴＲ１００预见到至少三个至关重要的趋势：第一点是机器人将会随处可见（尽管它们不一定会以电影中惯常有的卡通形象出现）；第二和第三点源于同一事实，即…     

量子化学从头计算法研究C70的分子静电势

C_(60)和C_(70)是富勒烯家族中最重要的两个成员,几种制备方法获得的富勒烯产物都是C_(60)和C_(70)的混合物.~(13)C-NMR谱观察到C_(70)有5个峰存在,单晶X射线衍射、中子衍射和从头计算研究都一致确认C_(70).是具有D_(5h)点群对称性的外形酷似橄榄球的分子.分子的许多物理化学性质都与其静电势密切相关,分子静电势对于研究分子与带电离子和极性分子的相互作用机制具有重要价值.目前用实验方法直接精确地测量富勒烯球内外的静电势尚十分困难,用非经验的量子化学从头计算法精确地计算富勒烯的静电势是一项十分有意义的课题.最近作者曾用Hartree-Fock/6-31G从头计算法获得了C_(60)的分子静电势,并解释了C_(60)的电子亲合势、低温堆积结构和碱金属掺杂化合物结构等实验事实.本文继续在Hartree-Fock/6-31G从头计算法水平研究C_(70)的分子静电势,并与C_(60)进行对比分析.     

电厂消防系统设计的计算方法

作者介绍了电厂消防系统设计的计算方法,得出了用较高的消防压力、较小的管径可以使工程造价降低的结论.     

电厂消防系统设计的计算方法

作者介绍了电厂消防系统设计的计算方法,得出了用较高的消防压力、较小的管径可以使工程造价降低的结论。     

从互联网获取知识的未来“机器人大脑”

<正>未来的"机器人大脑"将能从互联网上获取海量信息,然后把其所掌握的知识和技能传授给机器人,使机器人成为家庭、办公室和企业的好帮手。这是7月中旬在美国召开的"2014年度机器人技术:科学与系统大会"上传出的消息。据专家介绍,所谓的"机器人大脑"就是一个大型计算系统,通过该系统的"结构深度学习"技术,机器人对诸如找钥匙、倒饮料、端盘子和在合适时机打断两个人的     

一种判定非线性发展方程差分格式计算稳定性的新方法

针对非线性发展方程的非守恒差分和式和非周期边界条件,以一维非线性平流方程为例,给出了一种判定差分格式计算稳定性的新方法。数值试验证明是实用的和有效的,得到的稳定性判据的确定是保证差分格式计算稳定的必要条件。     

量子计算机的0到N

众所周知，量子计算机在处理某些特定问题时的速度将快于传统计算机。由于各国争相布局量子计算，它将成为世界科技发展的新高地。作为新一代信息技术，具有颠覆性质的“它”能够给人类带来多少魅力？近年来，国内外针对量子计算的研究风起云涌，如今的量子计算又发展到了什么阶段?文章作为引玉之砖，对量子计算从底层研究跨越到技术路线的发展以及未来的产业动向作初步的探讨。     

理解计算

随着计算机日益广泛而深刻的运用,计算这个原本专门的数学概念已经泛化到了人类的整个知识领域,并上升为一种极为普适的科学概念和哲学概念,成为人们认识事物、研究问题的一种新视角、新观念和新方法.     

新兴交叉学科——计算统计学与《计算统计学基础》简介

本文是对一门新兴交叉学科——计算统计学的简单介绍与评述，并把George Mason大学E.G.詹姆士教授的一本新书《计算统计学基础》介绍给读者。它有助于我们了解计算科学，尤其是计算统计学这一领域的前沿与概貌。     

公路工程附和导线平差的两种计算方法

文章通过对307国道清徐段改线工程北营-油房堡公路的附和导线测量,提出导线平差的两种方法,提高了平差后数据的准确率,为今后施工测量放样奠定了良好的基础.     

浅谈新技术在建筑工程测量中的应用

文章通过对307国道清徐段改线工程北营—油房堡公路的附和导线测量,提出导线平差的两种方法,提高了平差后数据的准确率,为今后施工测量放样奠定了良好的基础。