期刊文献+

NDQJava语言处理系统量子汇编及解释程序 被引量:4

Quantum assembler and interpreter of NDQJava processing system
下载PDF
导出
摘要 量子计算被认为是有可能超越经典计算的一种新型计算模型,目前国内外已有大量相关实验和理论工作围绕量子计算及量子计算机而展开.南京大学计算机系量子计算和量子信息研究小组在量子计算领域中的量子程序设计语言方向上开展了一些工作,设计了一种量子程序设计语言NDQJava并在经典计算机上对其处理系统加以模拟实现.为了更好地描述量子计算的逻辑流程并和物理模型相对应,在NDQJava处理系统的设计和实现过程中定义了量子汇编及机器语言.量子汇编语言作为高级量子程序设计语言和量子器件之间的接口语言,其设计必须考虑完备、简明、易用三方面的因素.为了模拟实现NDQJava处理系统亦定义了量子机器语言并通过软件解释执行.文中在定义了量子汇编及机器语言后着重描述了NDQJava处理系统中汇编及解释程序的设计思想与实现方法,对其中的若干关键问题给出了相应图表及源程序片段加以阐明. Quantum computing is considered more powerful possibly than the classic computing model. So far there are a lot of research which have been done in the fields related to quantum computing. The QCI (Quantum Computing and Quantum Information) Group of Department of Computer Science and Technology in Nanjing University is working on the design and implementation of quantum programming language. At present a new kind of quantum programming language named NDO_lava has been designed and implemented in a simulation system based on classic computers. In this process quantum assembly and machine language are defined. As the interface between high level programming languages and quantum devices, the design of quantum assembly language has to take completeness, simplicity and user-friendly into consideration. In order to simulate the quantum computing process via software, a quantum machine language is also defined and interpreted by the interpreter running on classic computers. This article defines the quantum assembly language and corresponding machine language used by NDQJava processing system at first. Furthermore, it focuses on describing the design and implementation of its assembler and interpreter. Finally, it tries to explain some key issues in detail with diagrams and source program pieces.
出处 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第2期107-115,共9页 Journal of Nanjing University(Natural Science)
基金 江苏省自然科学基金(BK2007138)
关键词 量子计算 程序设计语言 汇编程序 解释程序 quantum computation, programming language, assembler, interpreter
  • 相关文献

参考文献12

  • 1徐家福,宋方敏,钱士钧,戴静安,张云洁.量子程序设计语言NDQJava[J].软件学报,2008,19(1):1-8. 被引量:13
  • 2徐明君,吴庆曦,宋方敏.NDQJava语言词法分析程序[J].南京大学学报(自然科学版),2008,44(2):116-122. 被引量:2
  • 3宋方敏,钱士钧,戴静安,张云洁,徐家福.量子程序设计语言NDQJava处理系统[J].软件学报,2008,19(1):9-16. 被引量:10
  • 4Tegmark M, Wheeler J A. 100 years of quantum mysteries. Scientific American, 2001, 284 (3): 68-75.
  • 5Zeilinger A. The quantum centennial. Nature, 2000, 408(2): 639-641.
  • 6Kleppner D, Jackiw R. One hundred years of quantum physics. Science, 2000, 289 (3): 893-898.
  • 7Feynman R Feynrnan lectures on computation. Massachusetts: Addison-Wesley, 1996,121-134.
  • 8Selinger P. Towards a quantum programming language. Mathematical Structure in Computer Science, 2004, 14(4): 527-586.
  • 9Zuliani P. Compiling quantum programs. Acta Informatica, 2005, 41(7): 435-473.
  • 10Shor P. Polynomial time algorithms for prime factorization and discrete logarithms on a quantum computer. Journal on Computing, 1997, 26: 1484-1509.

二级参考文献30

  • 1Shor PW. Algorithms for quantum computation: Discrete logarithms and factoring. In: Proc. of the 35th Annual Symp. on the Foundations of Computer Science. Santa: IEEE Computer Society Press, 1994. 124-134.
  • 2Grover LK. A fast quantum mechanical algorithm for database search. In: Proc. of the 28th Annual ACM Symp. on the Theory of Computing. ACM Press, 1996. 212-219.
  • 3Knill EH. Conventions for quantum pseudocode. LANL Report, LAUR-96-2724, 1996.
  • 4Baker GD. "Qgol": A system for simulating quantum computations: Theory, implementation and insights [Honours Degree Thesis]. Macquarie University, 1996.
  • 5Omer B. A procedural formalism for quantum computing [MS. Thesis]. Vienna: Technical University of Vienna, 1998.
  • 6Zuliani P. Quantum programming [Ph.D. Thesis]. Oxford: University of Oxford, 2001.
  • 7Altenkirch T, Grattage J. QML: Quantum Data and Control. 2005. http://www.cs.nott.ac.uk/-txa/publ/jqpl.pdf
  • 8Xu JF, Song FM, Qian SJ, Dai JA, Zhang YJ. Quantum programming language NDQJava. Journal of Software, 2008,19(1):1-8 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/19/1.htm
  • 9Feynman R. Simulating physics with computers. Int'l Journal of Theoretical Physics, 1982,21(6):467-488.
  • 10Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. of the Royal Society A, 1985,400(1818):97-11.

共引文献14

同被引文献17

  • 1吴楠,宋方敏.量子计算与量子计算机[J].计算机科学与探索,2007,1(1):1-16. 被引量:19
  • 2Alfred V A, Ravi S, Jeffery D U. Compilers: Principles, techniques, and tools. The Second Edition. Pearson Education, 2001, 38-72.
  • 3David G. Compiler construction for digital computers. John Wiley & Sons, Inc, 1971, 168-201.
  • 4Shor P. Polynomial time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM(Society for Industrial and Applied Mathematics). Journal on Computing, 1997, 26: 1484-1509.
  • 5Lov K G. A fast quantum mechanical algorithm for database search. Gary L M. Proceedings of the twenty-eighth annual ACM symposium on Theory of computing. New York: ACM Press, 1996, 212-219.
  • 6Knill E, Laflamme R, Milburn G J. A scheme for efficient quantum computation with linear optics. Nature, 2001,409(6816):46-52.
  • 7Baker G. Qgol: A system for simulating quantum computations. Theory, implementation and insight. Honors Degree Thesis, Macquarie University, 1996.
  • 8Omer B. Structured quantum programming. Ph. D. Thesis. Institute for Theoretical Physics, Technical University of Vienna, 2003.
  • 9Zuliani P. Quantum programming, Ph, D, The sis. Oxford University, 2001.
  • 10Selinger P. Towards a quantum programming language. Mathematical Structures in Computer Science, 2004,14(4) : 527-586.

引证文献4

二级引证文献17

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部