期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

量子程序设计语言初探 被引量：4

原文传递
导出
摘要 结合简述几种有代表性的量子程序语言,着重阐明量子计算、语言风范、程序结构、输入输出、异常机制,以及南京大学量子计算研究组的新近研究成果,即函数式量子程序设计语言NDQFP.附录中给出了NDQFP之所有原始函数及组合型.
作者 徐家福 宋方敏
机构地区 南京大学计算机软件新技术国家重点实验室
出处 《中国科学（E辑）》 CSCD 北大核心 2008年第6期829-842,共14页 Science in China(Series E)
基金 国家自然科学基金资助项目(批准号:60721002)
关键词 量子程序设计语言 语言风范 命令式程序设计语言 申述式程序设计语言 词法分析程序 语法分析程序 汇编程序 解释程序
分类号 TP311.11 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献15

  • 1Feynman R P. Simulating physics with computers. Int J theor Phys, 1982, 21:467-488.
  • 2Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. P Roy Soc Lond A Mat, 1985, 400:97-117.
  • 3yon Neumann J. Mathematical Foundations of Quantum Mechanics. Princeton: Princeton University Press. 1955.
  • 4Nielson M A, Chuang I L. Quantum Computation and Quantum Information. Cambridge: Cambridge University Press. 2000.
  • 5Xu j F, Chong C H, Yang F Q, et at. On the design, implementation and use of the systems programming lan- guage XCY. Information Processing 80, 1980, 10:305-308.
  • 6Knill E. Conventions for Quantum Pseudocode. LANL Report. LA-UR-96-2724. Los Alamos National Laboratory. June 1996.
  • 7Zuliani P. Quantum Programming. Oxford: St Cross College University of Oxford. Trinity Term 2001.
  • 8Omer B. Structured quantum programming. Ph D Thesis. Institute for Theoretical Physics. Vienna: Technical University of Vienna, 2003.
  • 9Baker G D. QgoL: a system for simulating quantum computation: theory, implementation and insights. Honours Thesis. Macquarie: Department of Computing, Macquarie University, 1996, 10.
  • 10Gratlage J J. QML: a functional quantum programming language. Ph D Thesis. Nottingham: University of Nottingham, 2006.

二级参考文献10

  • 1Feynman R. Simulating physics with computers. Int'l Journal of Theoretical Physics, 1982,21(6):467-488.
  • 2Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. of the Royal Society A, 1985,400(1818):97-11.
  • 3Shor PW. Algorithms for quantum computation: Discrete log and factoring. In: Proc. of the 35th Annual Symp. on the Foundations of Computer Science. Santa: IEEE Computer Society Press, 1994. 124-134.
  • 4Grover 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.
  • 5Knill EH. Conventions for quantum pseudocode. LANL Report, LAUR-96-2724, 1996.
  • 6Baker GD. "Qgol": A system for simulating quantum computations: Theory, implementation and insights [Honours Degree Thesis]. Macquarie University, 1996.
  • 7Omer B. A procedural formalism for quantum computing [MS. Thesis]. Vienna: Technical University of Vienna, 1998.
  • 8Zuliani P. Quantum programming [Ph.D. Thesis]. Oxford: University of Oxford, 2001.
  • 9Selinger P. Towards a quantum programming language. Mathematical Structures in Computer Science, 2004,14(4):527-586.
  • 10Song FM, Qian SJ, Dai JA, Zhang YJ, Xu JF. Processing system of quantum programming language NDQJava. Journal of Software, 2008,19(1):9-16 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/19/9.htm

共引文献12

同被引文献27

  • 1邹佩琳,刘玉,王长强.利用量子计算语言进行量子通信仿真[J].系统仿真学报,2006,18(8):2327-2330. 被引量：2
  • 2温巧燕,郭奋卓,朱甫臣.量子保密通信协议的设计与分析[M].北京:科学出版社,2009:59-60.
  • 3尹浩,等.量子通信原理与技术[M].北京:电子工业出版社,2013.
  • 4陈汉武.量子通信与量子计算简明教程[M].南京:东南大学出版社,2006.
  • 5佐川弘幸,(日)吉田宣章著,宋鹤山,宋天译.突破经典信息科学的极限-量子信息论[M].大连:大连理工大学出版社.2007.
  • 6李刚.量子隐形传态与量子信道[D].福建师范大学,2009.
  • 7Bernhard (o)mer.Structured Quantum Programming[D].Ph-D thesis in Institute for Theoretical Physics Technical University of Vienna,2003.
  • 8杨伯君.量子通信基础[M].北京:北京邮电大学出版社,2007.
  • 9史洁玉,孔玲军.MATLABR2012a超级学习手册[M].北京:人民邮电出版社,2013.
  • 10宋方敏,钱士钧,戴静安,张云洁,徐家福.量子程序设计语言NDQJava处理系统[J].软件学报,2008,19(1):9-16. 被引量：10

引证文献4

二级引证文献1

中国科学（E辑）
2008年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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