解释计算科学计算机科学,量子计算与计算机科学

量子计算与计算机科学

量子力学是研究物质微观特性及其运动规律的物理学分支,它与计算机科学的完美结合产生了一门新兴学科——量子计算信息学

(本文共2页)

阅读全文>>

量子计算是量子力学与计算机科学深度结合的产物,它在阐明计算的本质以及分析量子力学的基本问题两个方面都具有深刻的理论意义。尽管量子力学和计算科学早已备受科学哲学家们的关注,但是在国内专门针对量子计算进行的哲学研究还非常少。本论文的目的就是对量子计算所涉及到的逻辑基础问题、可计算性问题、计算复杂性问题以及量子力学的解释问题进行全面的哲学分析,由此来揭示量子计算的本质。论文包括引言、四章系统性的论述和结束语。第一章,量子计算概观：历史发展与形式表征。本章介绍了量子计算提出的历史背景及其物理基础；对量子计算理论进行了语形和语义分析,说明了量子计算加速性的具体表现就是量子并行运算；简单讨论了量子计算的出现对逻辑理论、可计算性理论、计算复杂性理论以及量子力学解释造成的影响。第二章,量子计算的逻辑意蕴。本章主要讨论量子计算的逻辑基础。首先介绍了经典逻辑理论,并在此基础上分析了传统量子逻辑的语形结构和语义内涵,接着详细考察了量子逻辑门所表征的逻...

(本文共142页)

本文目录 |

阅读全文>>

量子计算和量子信息是量子力学，计算机科学和信息科学的交叉学科。近二十年来，它一直是物理学和信息科学领域中人们集中关注的焦点。一方面，量子逻辑门的实现和控制因其在量子计算中的重要性而备受人们所重视。如何实现量子计算，方案并不少，问题是在实验上实现对微观量子态的控制和操纵确是太困难了。目前已经提出的方案主要利用了原子和光腔相互作用、冷阱束缚离子、电子或核自旋共振、量子点操纵、超导量子干涉等。现在还很难说哪一种方案更有前景，不过量子点方案和超导约瑟夫森结方案比较适合集成化和小型化，本文正是考虑到这一点，才试探性地提出了几何量子计算方案。另一方面，量子隐态传输的神奇性质、量子信源可接收信息(accessible information)在量子信息通信方面具有非常重要作用并为量子密钥分发的安全性证明提供了强有力的工具和手段，因此，加强这方面的研究对量子信息的发展具有重要的现实意义和实用价值。实际上，我们在本文中就上述两方面的问题作了一些探...

(本文共142页)

本文目录 |

阅读全文>>

本文从什么是计算说起,通过对计算机的发展历史和人类对计算本质认识的回顾,提出量子计算系统的发展和...

(本文共1页)

阅读全文>>

20世纪中叶以来,随着计算机的诞生及其对科学与社会日渐显现的影响力,离散数学的思想和方法迅速发展,展现出了更为多样和充满活力的知识形态。离散数学的知识创新具有典型的数学范式革命性。作为对微...

(本文共7页)

阅读全文>>

量子漫步是研究量子算法的有效工具,可以用来构造通用量子计算模型。目前,量子漫步作为量子计算研究领域的重要方向,在量子物理学和计算科学中均获得重要发展。本文将展开讨论离散型量子漫步和连续型量子漫步的数学模型的理论基础,量子漫步所蕴含的随机性和量子性,离散型量子漫步与连续型量子漫步之间的数学联系,量子漫步所关联的拓扑结构图等方面展开论述。本文随后讨论了对量子漫步的通用性模型的描述,以及基于离散型量子漫步的量子算法的应用场景,引述了搜索、停机、三角形判定等几个著名的决策问题。因为决策问题是完全问题,由此可以显然地得出通用量子算法设计的一个方法论。随后本文重点研究了基于连续型量子漫步来构造通用量子计算模型,并将决策问题在图论上抽象为两个树状图叶子结点之间的对接,而后构造树形图,讨论在漫步过程中哈密顿算子中的能量值E与节点透射系T(E)的数学关系,给出了对应的函数图像,并对算法的高效性进行了讨论。本文在最后对未来的量子计算机的工程实践提出...

(本文共46页)

本文目录 |

阅读全文>>