文献类型：期刊文章

作　　者：刘树森[1,2] 周立[3] 官极[1] 贺旸[1] 段润尧[1] 应明生[1,4,3]

机构地区：[1]Centre for Quantum Software and Information,Faculty of Engineering and Information Technology,University of Technology Sydney [2]中山大学数据科学与计算机学院 [3]清华大学计算机科学与技术系 [4]中国科学院软件研究所计算机科学国家重点实验室

出　　处：《中国科学：信息科学》

年　　份：2017

卷　　号：47

期　　号：10

起止页码：1300-1315

语　　种：中文

收录情况：BDHX、BDHX2014、CSCD、CSCD2017_2018、JST、RCCSE、ZGKJHX、核心刊

摘　　要：本文介绍了作者设计并实现的一个量子程序设计环境:Q|SI>.Q|SI>是基于.net语言开发的支持量子while扩展语言的平台环境,它包括了一个支持量子while语言的编译器和一套支持量子计算模拟、量子电路优化、量子程序分析和量子程序验证的工具.阐述了如何在经典计算机上通过平台的各个组件和概率算法来模拟量子行为.平台可扩展的架构允许用户在平台上自定义新的功能.同时,编译器是Q|SI>的核心,它内置的分解算法扩展了现阶段的量子硬件功能,使通用量子计算成为了可能,成为连接量子硬件和量子软件的桥梁.

关 键 词：量子程序  量子编译  量子模拟  量子程序分析  量子程序验证  

分 类 号：TP311.1]